[논문 리뷰] Evasiveness and the Distribution of Prime Numbers

László Babai, Anandam Banerjee외 2명|arXiv (Cornell University)|2010. 01. 27.

Limits and Structures in Graph Theory참고 문헌 17인용 수 7

한 줄 요약

이 논문은 위상수학적 방법과 수론적 가정을 결합하여 단조 그래프 성질—특히 금지된 부분그래프 성질과 희박한 그래프 성질—의 최종적으로 회피 가능함을 증명한다. 초우파의 추측에 기반하여, 금지된 부분그래프 성질은 최종적으로 회피 가능하며, $ n^{3/2 - \epsilon} $ 개 이하의 간선을 가진 그래프에서의 모든 비자명한 단조 성질 역시 최종적으로 회피 가능하다. 확장된 리만 가설을 가정할 경우 이 bound는 $ O(n^{5/4 - \epsilon}) $ 으로 향상되며, 비가정 기반 결과 역시 비노바코프의 정리에 기반하여 확립된다.

ABSTRACT

We confirm the eventual evasiveness of several classes of monotone graph properties under widely accepted number theoretic hypotheses. In particular we show that Chowla's conjecture on Dirichlet primes implies that (a) for any graph $H$, "forbidden subgraph $H$" is eventually evasive and (b) all nontrivial monotone properties of graphs with $\le n^{3/2-ε}$ edges are eventually evasive. ($n$ is the number of vertices.) While Chowla's conjecture is not known to follow from the Extended Riemann Hypothesis (ERH, the Riemann Hypothesis for Dirichlet's $L$ functions), we show (b) with the bound $O(n^{5/4-ε})$ under ERH. We also prove unconditional results: (a$'$) for any graph $H$, the query complexity of "forbidden subgraph $H$" is $\binom{n}{2} - O(1)$; (b$'$) for some constant $c>0$, all nontrivial monotone properties of graphs with $\le cn\log n+O(1)$ edges are eventually evasive. Even these weaker, unconditional results rely on deep results from number theory such as Vinogradov's theorem on the Goldbach conjecture. Our technical contribution consists in connecting the topological framework of Kahn, Saks, and Sturtevant (1984), as further developed by Chakrabarti, Khot, and Shi (2002), with a deeper analysis of the orbital structure of permutation groups and their connection to the distribution of prime numbers. Our unconditional results include stronger versions and generalizations of some result of Chakrabarti et al.

연구 동기 및 목표

• 위상수학적 및 수론적 도구를 사용하여 특정 클래스의 단조 그래프 성질에 대해 Aanderaa-Rosenberg-Karp 추측을 해결한다.
• 수론적 가정 하에서 금지된 부분그래프 성질과 희박한 단조 그래프 성질의 쿼리 복잡도를 조사한다.
• 비노바코프의 정리와 같은 깊은 수론적 결과를 활용하여 비가정 기반의 회피 가능성 결과를 확립한다.
• 카한, 색스, 슈트레븐트의 위상적 프레임워크를 확장하여 순열군 작용과 소수 분포를 연결한다.

제안 방법

• 카한, 색스, 슈트레븐트의 위상적 프레임워크를 사용하여 단순 복합체 위의 고정점 정리에 기반해 의사결정 트리 복잡도를 분석한다.
• 정점 집합에 대한 군 작용 $ \Gamma(p,q,r) $ 를 구성하여 궤도 구조를 분석하고 쿼리 복잡도의 하한을 도출한다.
• 산술급수 내의 소수에 대한 딜리클레 정리와 린니크 정리를 적용하여 군 작용을 구성하는 데 필요한 적절한 소수 $ p, r, q $ 의 존재를 제어한다.
• 확장된 리만 가설(ERH)을 사용하여 산술급수 내의 최소 소수에 대한 강력한 하한을 도출함으로써 더 날카로운 복잡도 추정을 가능하게 한다.
• 초우파의 추측을 적용하여 최소 소수 $ p(m,a) $ 에 대한 유계를 강화함으로써 최소 궤도 크기 $ m^* $ 의 하한을 향상시킨다.
• 비노바코프의 정리(골드바흐 추측)를 적용하여 $ O(n \log n) $ 개의 간선을 가진 그래프에 대한 비가정 기반의 회피 가능성 결과를 확립한다.

실험 결과

연구 질문

• RQ1 어떤 수론적 가정 하에 금지된 부분그래프 성질이 최종적으로 회피 가능함을 보일 수 있는가?
• RQ2 희박한 그래프에서 단조 그래프 성질의 쿼리 복잡도는 $ \Omega(n^{3/2 - \epsilon}) $ 로 하한을 정할 수 있는가? 어떤 가정이 필요한가?
• RQ3 확장된 리만 가설은 산술급수 내의 최소 소수에 대한 유계를 어떻게 향상시키며, 이는 회피 가능성에 어떤 영향을 미치는가?
• RQ4 깊은 수론적 정리(예: 비노바코프의 정리)를 활용하여 희박한 단조 그래프 성질에 대해 비가정 기반의 회피 가능성 결과를 도출할 수 있는가?
• RQ5 순열군 작용과 그 궤도 구조는 수론과 의사결정 트리 복잡도를 연결하는 데 어떤 역할을 하는가?

주요 결과

• 약한 초우파 추측 하에, 임의의 고정된 그래프 $ H $ 에 대해 금지된 부분그래프 성질 $ Q_n^H $ 는 최종적으로 회피 가능하다.
• 비가정 기반으로, 금지된 부분그래프 성질의 쿼리 복잡도는 $ \binom{n}{2} - O(1) $ 이며, 이는 전체 복잡도에서 상수 개의 쿼리만 누락됨을 의미한다.
• 모든 $ n $ 의 밀도가 0인 집합을 제외한 나머지에 대해, 초우파의 추측 없이도 금지된 부분그래프 성질은 회피 가능하다.
• 확장된 리만 가설 하에, $ O(n^{5/4 - \epsilon}) $ 개 이하의 간선을 가진 비자명한 단조 그래프 성질은 최종적으로 회피 가능하다.
• 비가정 기반으로, 어떤 $ c > 0 $ 에 대해 $ cn\log n + O(1) $ 개 이하의 간선을 가진 비자명한 단조 그래프 성질은 최종적으로 회피 가능하다. 이는 비노바코프의 정리에 기반한다.
• 구축된 군 작용 하에서 최소 궤도 크기 $ m^* $ 는 ERH 하에서 $ \Omega(n^{5/4 - \epsilon}) $ 이고, 초우파의 추측 하에서는 $ \Omega(n^{3/2 - 4\delta}) $ 를 만족한다.