[论文解读] 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

一句话总结

该论文利用拓扑方法结合数论假设，证明了单调图性质——特别是禁止子图性质和稀疏图性质——的最终不可回避性。在Chowla关于Dirichlet素数的猜想下，证明了禁止子图性质是最终不可回避的，并且所有边数不超过 $ n^{3/2 - \epsilon} $ 的图上的非平凡单调性质也是最终不可回避的；在广义黎曼假设（ERH）下，该边界提升至 $ O(n^{5/4 - \epsilon}) $，同时通过Vinogradov定理也建立了无条件结果。

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猜想。
• 在数论假设下，研究禁止子图性质与稀疏单调图性质的查询复杂度。
• 通过利用Vinogradov关于哥德巴赫猜想的深刻数论结果，建立无条件的不可回避性结果。
• 通过将Kahn、Saks与Sturtevant的拓扑框架与置换群作用及素数分布相联系，拓展该框架。

提出的方法

• 使用Kahn、Saks与Sturtevant的拓扑框架，通过单纯复形上的不动点定理分析决策树复杂度。
• 在顶点集上构造群作用 $ \Gamma(p,q,r) $，以分析轨道结构并推导查询复杂度的下界。
• 应用Dirichlet定理与Linnik定理，控制算术级数中合适素数 $ p, r, q $ 的存在性，以构造群作用。
• 利用广义黎曼假设（ERH）推导算术级数中最小素数的强界，从而实现更紧密的复杂度估计。
• 利用Chowla猜想强化对最小素数 $ p(m,a) $ 的界，从而提升对最小轨道大小 $ m^* $ 的下界。
• 应用Vinogradov定理于哥德巴赫猜想，建立关于边数为 $ O(n \log n) $ 的图的无条件不可回避性结果。

实验结果

研究问题

• RQ1 在何种数论假设下，可证明禁止子图性质是最终不可回避的？
• RQ2 能否在 $ \Omega(n^{3/2 - \epsilon}) $ 下界内约束稀疏图上单调图性质的查询复杂度？需要哪些假设？
• RQ3 广义黎曼假设如何改进算术级数中最小素数的界？这对不可回避性有何影响？
• RQ4 能否利用深刻的数论定理（如Vinogradov定理）建立稀疏单调图性质的无条件不可回避性结果？
• RQ5 置换群作用及其轨道结构在连接数论与决策树复杂度中起什么作用？

主要发现

• 在弱Chowla猜想下，对任意固定图 $ H $，禁止子图性质 $ Q_n^H $ 是最终不可回避的。
• 无条件地，禁止子图性质的查询复杂度为 $ \binom{n}{2} - O(1) $，即仅缺少常数数量的查询即可达到完全复杂度。
• 对于除密度为零的 $ n $ 集合外的所有 $ n $，禁止子图性质是不可回避的，即使不假设Chowla猜想。
• 在广义黎曼假设下，所有边数不超过 $ O(n^{5/4 - \epsilon}) $ 的非平凡单调图性质都是最终不可回避的。
• 无条件地，对某个 $ c > 0 $，所有边数不超过 $ cn\log n + O(1) $ 的非平凡单调图性质都是最终不可回避的，其依据为Vinogradov定理。
• 在所构造的群作用下，最小轨道大小 $ m^* $ 满足：在ERH下为 $ \Omega(n^{5/4 - \epsilon}) $，在Chowla猜想下为 $ \Omega(n^{3/2 - 4\delta}) $。