[论文解读] The typical structure of graphs with no large cliques

József Balogh, Neal Bushaw+4 more|arXiv (Cornell University)|Jun 26, 2014

Limits and Structures in Graph Theory参考文献 16被引用 4

一句话总结

该论文证明了对于所有满足 $ r \leq (\log n)^{1/4} $ 的函数 $ r = r(n) $，几乎所有顶点数为 $ n $ 的 $ K_{r+1} $-自由图都是 $ r $-部图。证明结合了埃里克·埃尔德什–西蒙诺维茨稳定性定理的新超饱和结果、超图容器方法以及一种计数技术，表明远离 $ r $-部图的图在数量上呈指数级稀少，从而证明即使当 $ r $ 随 $ n $ 增长时，典型结构仍为 $ r $-部图。

ABSTRACT

In 1987, Kolaitis, Prömel and Rothschild proved that, for every fixed $r \in \mathbb{N}$, almost every $n$-vertex $K_{r+1}$-free graph is $r$-partite. In this paper we extend this result to all functions $r = r(n)$ with $r \leqslant (\log n)^{1/4}$. The proof combines a new (close to sharp) supersaturation version of the Erdős-Simonovits stability theorem, the hypergraph container method, and a counting technique developed by Balogh, Bollobás and Simonovits.

研究动机与目标

• 将经典结果从固定的 $ r $ 推广至随 $ n $ 增长的函数 $ r = r(n) $，即证明几乎所有 $ K_{r+1} $-自由图都是 $ r $-部图。
• 解决当禁止团大小随 $ n $ 增长时，对 $ K_{r+1} $-自由图典型结构的刻画挑战，尤其在 $ r \leq (\log n)^{1/4} $ 的情形下。
• 为埃里克·埃尔德什–西蒙诺维茨稳定性定理建立一个精确的超饱和结果，以控制远离 $ r $-部图的 $ K_{r+1} $-自由图的数量。
• 将超图容器方法与改进的计数技术结合，证明此类非 $ r $-部图的 $ K_{r+1} $-自由图相比 $ r $-部图而言在数量上呈指数级稀少。
• 为 $ K_{r+1} $-自由图提供一个定量结构定理，强化对稀疏且团大小增长情形下极值图与典型图性质的理解。

提出的方法

• 引入一个新的超饱和结果（定理 1.2），给出图距离 $ r $-部图 $ t $ 步时，其包含的 $ K_{r+1} $ 复制数的近乎最优下界，该下界仅相差一个 $ e^r $ 的因子。
• 应用超图容器方法，通过编码避免大团的容器，控制非 $ r $-部图的 $ K_{r+1} $-自由图的数量。
• 使用 Balogh、Bollobás 和 Simonovits 提出的改进计数技术，比较接近 $ r $-部图的 $ K_{r+1} $-自由图与远离 $ r $-部图的图的数量。
• 定义并分析集合 $ \mathcal{Q}(n,r) $，即距离 $ r $-部图 $ n^{2-1/r^2} $ 步以内但本身不是 $ r $-部图的 $ K_{r+1} $-自由图，以隔离例外情况。
• 利用熵和二项式系数估计，界定 $ \mathcal{Q}(n,r) $ 中图的最优划分集合的大小，证明其在 $ n $ 上为次指数级。
• 通过容器图 $ F_m $ 中的双重计数，综合所有界限，证明 $ |\mathcal{Q}(n,r)| $ 比 $ |\mathcal{K}(n,r)| $（即 $ r $-部 $ K_{r+1} $-自由图的数量）呈指数级小。

实验结果

研究问题

• RQ1 经典结果中几乎所有 $ K_{r+1} $-自由图为 $ r $-部图是否可推广至 $ r $ 随 $ n $ 增长的情形？
• RQ2 在几乎所有 $ K_{r+1} $-自由图仍为 $ r $-部图的前提下，$ r(n) $ 的最大增长率是多少？
• RQ3 如何量化远离 $ r $-部图的 $ K_{r+1} $-自由图的数量，特别是在 $ r $ 随 $ n $ 增长时？
• RQ4 是否存在一个足够强的埃里克·埃尔德什–西蒙诺维茨稳定性定理的超饱和结果，可控制在 $ r $ 增长情形下非 $ r $-部图的 $ K_{r+1} $-自由图数量？
• RQ5 能否将超图容器方法与改进的计数技术结合，证明例外图（非 $ r $-部图但 $ K_{r+1} $-自由）的数量相比 $ r $-部图可忽略不计？

主要发现

• 定理 1.1 证明了对所有满足 $ r = r(n) \leq (\log n)^{1/4} $ 的 $ r $，几乎所有顶点数为 $ n $ 的 $ K_{r+1} $-自由图都是 $ r $-部图，将经典结果推广至 $ r $ 增长的情形。
• 新的超饱和结果（定理 1.2）表明，任何距离 $ r $-部图 $ t $ 步的图至少包含 $ \frac{n^{r-1}}{e^{2r} r!} \left( e(G) + t - \left(1 - \frac{1}{r}\right)\frac{n^2}{2} \right) $ 个 $ K_{r+1} $ 复制，且该下界仅相差一个 $ e^r $ 的因子，因此是几乎精确的。
• 距离 $ r $-部图 $ n^{2-1/r^2} $ 步以内但本身不是 $ r $-部图的 $ K_{r+1} $-自由图的数量至多为 $ 2^{-2^{-6r}n} \cdot |\mathcal{K}(n,r)| $，表明其在数量上呈指数级稀少。
• 通过结合容器方法、新超饱和结果与计数技术，作者证明了此类例外图的集合 $ \mathcal{Q}(n,r) $ 相对于 $ r $-部 $ K_{r+1} $-自由图的集合可忽略不计。
• 界限 $ r \leq (\log n)^{1/4} $ 几乎是最优的，因为典型结构发生转变的临界点预计在 $ r \sim \log n $ 附近，而本结果与该值仅相差一个常数因子。