[논문 리뷰] Succinct Definitions in the First Order Theory of Graphs II: No Quantifier Alternation

Oleg Pikhurko, Joel Spencer외 1명|arXiv (Cornell University)|2004. 05. 17.

Limits and Structures in Graph Theory인용 수 1

한 줄 요약

이 논문은 양자화자 전환 없이 그래프를 동형성까지 정의하는 데 필요한 최소 양자화자 깊이를 조사하며, 순서가 $ n $ 인 모든 그래프에 대해 이러한 깊이의 최소값인 $ q_0(n) $ 에 대해 날카러운 경계를 설정한다. 논문은 $ \log^*n - \log^*\log^*n - 1 \leq q_0(n) \leq \log^*n + 22 $ 를 증명하며, 깊이가 작은 모듈러 분해를 가진 그래프를 사용하여 상한을 달성한다.

ABSTRACT

Let $D(G)$ be the minimum quantifier depth of a first order sentence $\Phi$ that defines a graph $G$ up to isomorphism. Let $D_0(G)$ be the version of $D(G)$ where we do not allow quantifier alternations in $\Phi$. Define $q_0(n)$ to be the minimum of $D_0(G)$ over all graphs $G$ of order $n$. We prove that for all $n$ we have $\log^*n-\log^*\log^*n-1\le q_0(n)\le \log^*n+22$, where $\log^*n$ is equal to the minimum number of iterations of the binary logarithm needed to bring $n$ to 1 or below. The upper bound is obtained by constructing special graphs with modular decomposition of very small depth.

연구 동기 및 목표

• 양자화자 전환 없이 일阶 논리로 그래프 $ G $ 를 동형성까지 정의하는 데 필요한 최소 양자화자 깊이 $ D_0(G) $ 를 결정하는 것.
• 순서가 $ n $ 인 모든 그래프 $ G $ 에 대해 $ D_0(G) $ 의 최소값으로 정의된 함수 $ q_0(n) $ 을 분석하고, 그 점근적 경계를 설정하는 것.
• 모듈러 분해가 양자화자 전환 없이 짧은 일阶 정의를 허용하는 그래프를 구성하는 데서의 역할을 탐색하는 것.

제안 방법

• 양자화자 전환 없이 제한된 문장에서, 그래프 $ G $ 를 동형성까지 정의하는 최소 양자화자 깊이 $ D_0(G) $ 를 정의한다.
• 순서가 $ n $ 인 모든 그래프 $ G $ 에 대해 $ D_0(G) $ 의 최솟값으로 $ q_0(n) $ 을 정의하고, 그 점근적 행동을 분석한다.
• 양자화자 없이 전환되는 경우에 구별 가능한 그래프의 수에 기반한 조합론적 추론을 사용해 하한을 확립한다.
• 모듈러 분해의 깊이가 매우 작은 특수 그래프를 구성하여 $ q_0(n) $ 의 상한을 달성하며, 그 구조적 성질을 활용해 짧은 정의를 가능하게 한다.
• 반복 로그 $ \log^*n $ 을 중심 점근적 측정 기준으로 사용하며, 이는 $ n $ 이 1 이하가 될 때까지 이진 로그를 반복 적용해야 하는 횟수로 정의된다.
• 명시적으로 $ \log^*n + 22 $ 깊이의 일阶 문장을 구성함으로써 상한 $ q_0(n) \leq \log^*n + 22 $ 를 증명한다.

실험 결과

연구 질문

• RQ1 순서가 $ n $ 인 어떤 그래프를 정의하는 데 필요한, 전환 없이 양자화자 깊이의 점근적 성장률 $ q_0(n) $ 은 무엇인가?
• RQ2 양자화자 전환 없이 정의 깊이가 $ \log^*n $ 근처가 되는 그래프를 구성할 수 있는가?
• RQ3 모듈러 분해의 깊이가 양자화자 전환 없이 일阶 그래프 정의의 요약성과 어떻게 관련되는가?
• RQ4 $ q_0(n) $ 에 대한 가장 날카로운 하한은 무엇이며, 반복 로그 함수와 비교해 보면 어떻게 되는가?
• RQ5 양자화자 전환의 부재가 그래프를 동형성까지 정의하는 일阶 논리의 표현력을 어느 정도 제한하는가?

주요 결과

• 논문은 $ q_0(n) $ 에 대해 $ \log^*n - \log^*\log^*n - 1 $ 의 하한을 확립하며, 이는 어떤 순서가 $ n $ 인 그래프도 이보다 더 낮은 양자화자 깊이로 전환 없이 정의될 수 없다는 것을 보여준다.
• 상한 $ \log^*n + 22 $ 이 $ q_0(n) $ 에 대해 증명되었으며, 이는 순서가 $ n $ 인 그래프 중에서 양자화자 깊이가 $ \log^*n + 22 $ 이하이면서 전환 없이 동형성까지 정의 가능한 그래프가 존재한다는 것을 보여준다.
• 상한은 깊이가 매우 작은 모듈러 분해를 가진 그래프를 구성함으로써 달성되며, 이는 짧은 일阶 정의를 가능하게 한다.
• 경계는 상수 항을 제외하고 점근적으로 날카로워지며, 이는 $ q_0(n) $ 이 정확히 $ \log^*n $ 의 속도로 증가하고, 오직 작은 로그 보정 항만 존재한다는 것을 시사한다.
• 결과는 양자화자 전환이 일阶 그래프 정의에서 거의 최적의 요약성을 달성하는 데 필수적이지 않음을 보여주며, 동일한 점근적 복잡도는 전환 없이도 달성 가능하다.