[论文解读] The edge-statistics conjecture for $\ell \ll k^{6/5}$

Anders Martinsson, Frank Mousset+2 more|arXiv (Cornell University)|Sep 7, 2018

Limits and Structures in Graph Theory参考文献 9被引用 5

一句话总结

本文证明了当 $\pi \ll k^{6/5}$ 时的边统计猜想，表明在任意大图中，诱导出恰好 $\ell$ 条边的 $k$ 个顶点子集所占比例至多为 $1/e + o_k(1)$。证明使用了随机顶点染色过程与概率不等式，以控制罕见边数的出现概率，从而解决了该范围内 $\ell$ 的长期悬而未决的猜想。

ABSTRACT

Let $k$ and $\ell$ be positive integers. We prove that if $1 \leq \ell \leq o_k(k^{6/5})$, then in every large enough graph $G$, the fraction of $k$-vertex subsets that induce exactly $\ell$ edges is at most $1/e + o_k(1)$. Together with a recent result of Kwan, Sudakov, and Tran, this settles a conjecture of Alon, Hefetz, Krivelevich, and Tyomkyn.

研究动机与目标

• 解决 Alon 等人提出的边统计猜想，该猜想认为对于 $0 < \ell < \binom{k}{2}$，诱导出恰好 $\ell$ 条边的 $k$-顶点子集的最大概率至多为 $1/e + o_k(1)$。
• 在 $1 \leq \ell \leq o_k(k^{6/5})$ 范围内解决该猜想，扩展了先前的部分结果，并在与 Kwan、Sudakov 和 Tran 的近期工作结合后，完成了完整证明。
• 提供一个比现有方法（如 Fox 和 Sauermann 的方法）更简短的证明，同时在 $\ell = 1$ 和 $\ell = k-1$ 等关键情形中保持紧致性。
• 通过随机图和完全二部图构造，证明 $1/e + o_k(1)$ 的界在 $\ell = 1$ 和 $\ell = k-1$ 时是紧的。
• 通过澄清随机诱导子图中边分布的渐近行为，推动图诱导性研究的进一步发展。

提出的方法

• 定义 $X_{G,k}$ 为图 $G$ 中一个均匀随机 $k$-顶点子集中所含的边数，并研究 $\operatorname{ind}(k,\ell) = \lim_{n \to \infty} \max_G \mathbb{P}[X_{G,k} = \ell]$，即最大概率的极限值。
• 引入一种随机顶点染色过程：顶点按顺序被染成黑色或绿色，仅当其在先前已选黑色顶点中的邻点构成至少 $\ell$ 条边时，才被染成绿色。
• 定义 $Y_{G,k}$ 为在选定 $k-1$ 个黑色顶点之前被染成绿色的顶点数，并证明 $\mathbb{P}[X_{G,k} = \ell] \leq \mathbb{P}[Y_{G,k} = 1] + o_k(1)$，从而将问题简化为控制恰好一个绿色顶点的概率。
• 对随机子集中非中位度数的顶点数量使用集中不等式——特别是马尔可夫不等式与切比雪夫不等式——以控制罕见边配置的概率。
• 基于具有非中位度数的顶点数量，分两种情况分析：当此类顶点较少时（利用中位度数稳定性），当数量较多时（利用超几何尾部界限），证明事件 $\mathcal{E}_2$（其蕴含 $X_{G,k} = \ell$）的概率在两种情况下均为 $o(1)$。
• 证明事件 $\mathcal{E}_4$（关于随机子集中度数一致性的结构条件）渐近等价于 $\mathcal{D}_*$，并利用此关系证明 $\mathbb{P}[\mathcal{E}_4 \setminus \mathcal{D}_*] = o(1)$，从而完成界限的建立。

实验结果

研究问题

• RQ1 对于 $\ell \ll k^{6/5}$，最大概率 $1/e + o_k(1)$ 是否紧致，即随机 $k$-顶点子集诱导出恰好 $\ell$ 条边的概率？
• RQ2 当 $k \to \infty$ 时，随机 $k$-顶点子集中边数的分布行为如何渐近表现，特别是当 $\ell$ 随 $k$ 缓慢增长时？
• RQ3 能否使用统一的概率方法，证明边统计猜想在广泛 $\ell$ 范围内成立，包括 $\ell = 1$ 和 $\ell = k-1$？
• RQ4 该界 $1/e + o_k(1)$ 是否在 $1 \leq \ell \leq o_k(k^{6/5})$ 的所有 $\ell$ 上一致成立？是否存在除已知情形外的其他 $\ell$ 也达到紧致性？
• RQ5 能否构造出比现有方法更短、更清晰的证明，特别是针对稀疏边数的情形？

主要发现

• 本文证明了对于所有满足 $1 \leq \ell \leq o_k(k^{6/5})$ 的 $\ell = \ell(k)$，极限值 $\operatorname{ind}(k,\ell) \leq 1/e + o_k(1)$，从而在该范围内确认了边统计猜想。
• 当 $\ell = 1$ 时，该界是紧的，如随机图 $G_{n,p}$ 在 $p = 1/\binom{k}{2}$ 时所示，此时 $k$-子集中恰好有一条边的概率趋于 $1/e$。
• 当 $\ell = k-1$ 时，该界同样紧致，如两部分大小分别为 $n/k$ 和 $(k-1)n/k$ 的完全二部图所示，其渐近满足 $\mathbb{P}[X_{G,k} = k-1] \to 1/e$。
• 结合 Kwan、Sudakov 和 Tran 的近期工作，完整的边统计猜想——即对所有 $0 < \ell < \binom{k}{2}$，有 $\operatorname{ind}(k,\ell) \leq 1/e + o_k(1)$——现已完全解决。
• 该证明显著短于 Fox 和 Sauermann 的替代方法，为 $\ell = o_k(k)$ 范围内的猜想提供了更简洁、自包含的论证，且在某些子范围（如 $\ell = \omega_k(1)$ 到 $\ell = o_k(k)$）中更具优势。