[論文レビュー] Evasiveness and the Distribution of Prime Numbers

László Babai, Anandam Banerjee+2 more|arXiv (Cornell University)|Jan 27, 2010

Limits and Structures in Graph Theory参考文献 17被引用数 7

ひとこと要約

本稿は、トポロジー的手法と数論的仮定を組み合わせることで、単調グラフ性質—特に禁止部分グラフ性質およびスパースグラフ性質—の最終的回避性を確立する。チョウラの予想のもとでは、禁止部分グラフ性質が最終的に回避的であることを証明し、$ n^{3/2 - \epsilon} $ 条以下の辺をもつグラフ上の非自明なすべての単調性質が最終的に回避的であることを示す。拡張されたリーマン仮説（ERH）のもとでは、境界が $ 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 $ の密度ゼロの集合を除くすべての $ n $ に対して、禁止部分グラフ性質はチョウラの予想を仮定しなくても回避的である。
• 拡張されたリーマン仮説のもとでは、$ O(n^{5/4 - \epsilon}) $ 条以下の辺をもつ非自明なすべての単調グラフ性質は最終的に回避的である。
• 条件なしに、ある $ c > 0 $ に対して、$ cn\log n + O(1) $ 条以下の辺をもつ非自明なすべての単調グラフ性質は最終的に回避的である。これはヴィノグラドフの定理に依存する。
• ERHのもとでは、構築された群作用における最小軌道サイズ $ m^* $ は $ \Omega(n^{5/4 - \epsilon}) $ を満たし、チョウラの予想のもとでは $ \Omega(n^{3/2 - 4\delta}) $ を満たす。