[论文解读] A Completion of the Proof of the Edge-statistics Conjecture

Jacob Fox, Lisa Sauermann|arXiv (Cornell University)|Sep 5, 2018

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

一句话总结

本文通过证明：对于任意固定的常数 $ C $，当所有 $ \/ell \leq Ck $ 时，边诱导性 $ \operatorname{ind}(k,\ell) \leq \frac{1}{e} + o_k(1) $ 成立，从而完成了边统计猜想的证明，解决了先前工作未覆盖的剩余情形。此外，本文在子线性范围 $ \omega(1) \leq \ell \leq o(k) $ 内建立了近乎紧致的 $ \operatorname{ind}(k,\ell) $ 上界，并将结果推广至有界边大小的超图。

ABSTRACT

For given integers $k$ and $\ell$ with $0

研究动机与目标

• 完成边统计猜想的证明，该猜想提出：对所有 $ 0 < \ell < \binom{k}{2} $，边诱导性 $ \operatorname{ind}(k,\ell) $ 的上界为 $ 1/e + o_k(1) $。
• 解决猜想在范围 $ 1 \leq \ell \leq Ck $ 内的剩余情形，其中 $ C $ 是足够大的绝对常数，此前工作仅覆盖了 $ \ell \geq \Omega(k) $ 的情形。
• 在子线性情形 $ \omega(1) \leq \ell \leq o(k) $ 内，为 $ \operatorname{ind}(k,\ell) $ 提供近乎紧致的上界，优于先前结果。
• 将结果推广至边大小有界的 $ r $-均匀超图，将边诱导性框架推广至超图设置。

提出的方法

• 通过在顶点子集上使用新颖的标记与计数方法，限制恰好诱导出 $ \ell $ 条边的“好”序列的数量。
• 对顶点集进行递归分解，并通过分析邻域族 $ \mathcal{N}(v, A') $ 中的合法扩展数量来研究。
• 引入一个量 $ \Lambda(v_1, \dots, v_j) $ 来计数部分序列的有效扩展，其上界通过排除具有特定邻域结构的顶点得到。
• 利用指数衰减估计来界定 $ \Lambda(v_1, \dots, v_j) $，当非孤立顶点集合 $ B $ 被包含在初始段 $ \{v_1, \dots, v_j\} $ 中时，借助对 $ d $-元族上 $ c(\mathcal{X}) $ 的求和。
• 通过证明在 $ \ell \leq Ck $ 范围内，诱导出恰好 $ \ell $ 条边的极限概率最大值为 $ 1/e $，从而导出关键上界 $ \operatorname{ind}(k,\ell) \leq \frac{1}{e} + o_k(1) $。
• 通过为边大小有界的 $ r $-均匀超图定义类似的邻域族与计数机制，将该方法推广至超图。

实验结果

研究问题

• RQ1 对于范围 $ 1 \leq \ell \leq Ck $ 内的所有 $ \ell $，其中 $ C $ 是一个大的绝对常数，边统计猜想是否成立？
• RQ2 当 $ \ell $ 以子线性方式随 $ k $ 增长时，即 $ \omega(1) \leq \ell \leq o(k) $，$ \operatorname{ind}(k,\ell) $ 的最紧致上界是什么？
• RQ3 边诱导性框架能否推广至边大小有界的 $ r $-均匀超图？
• RQ4 在 $ \ell \leq k/\log^4 k $ 的范围内，$ \operatorname{ind}(k,\ell) \leq 90 \cdot \ell^{-1/4} $ 的界中，指数 $ -1/4 $ 是否为最优？
• RQ5 在 $ \omega(1) \leq \ell \leq o(k) $ 的范围内，猜想 $ \operatorname{ind}(k,\ell) = o_k(1) $ 是否成立？若成立，能否给出量化表达？

主要发现

• 边统计猜想已完全解决：对所有 $ 1 \leq \ell \leq Ck $，有 $ \operatorname{ind}(k,\ell) \leq \frac{1}{e} + o_k(1) $，从而完成了对所有 $ 0 < \ell < \binom{k}{2} $ 的证明。
• 对于 $ 1 \leq \ell \leq k/\log^4 k $，建立了界 $ \operatorname{ind}(k,\ell) \leq 90 \cdot \ell^{-1/4} $，并证明该指数 $ -1/4 $ 是最优的。
• 对于 $ k/\log^4 k \leq \ell \leq (1-\varepsilon)k/2 $，证明了界 $ \operatorname{ind}(k,\ell) \leq 90 \cdot k^{-1/4} \cdot \log k $，确认了在子线性范围内的衰减行为。
• 当 $ \ell = \binom{m}{2} $（$ m $ 为整数）时，实现了下界 $ \operatorname{ind}(k,\ell) \geq \Omega(\ell^{-1/4}) $，表明 $ \ell^{-1/4} $ 的衰减率是紧致的。
• 结果已推广至边大小有界的 $ r $-均匀超图，将边诱导性框架推广至超图设置。
• 对于 $ \ell \geq \omega(1) $ 且 $ \ell \leq o(k) $ 的情形，猜想 $ \operatorname{ind}(k,\ell) = o_k(1) $ 得到证实，并提供了显式的量化界。