[论文解读] The K_4-free process

Guy Wolfovitz|arXiv (Cornell University)|Aug 24, 2010

Limits and Structures in Graph Theory参考文献 20被引用 8

一句话总结

本文分析了 $K_4$-free 过程，这是一种随机贪心算法，通过按随机顺序添加边来构建 $K_4$-自由图，同时避免出现 $K_4$ 子图。结果表明，渐近几乎必然地，最终图 $M(n)$ 的边数为 $O(n^{8/5}(\text{ln}\,n)^{1/5})$，与 Bohman 的下界在常数因子内一致，并建立了新的 $f_{3,4}(n)$ 类 Ramsey 函数的上界，相比 Krivelevich 的结果改进了 $(\text{ln}\,n)^{3/10}$ 的因子。分析依赖于一种多阶段迭代过程，结合受控的边采样与出生时间排序，以控制三角形的形成。

ABSTRACT

We consider the K_4-free process. In this process, the edges of the complete n-vertex graph are traversed in a uniformly random order, and each traversed edge is added to an initially empty evolving graph, unless the addition of the edge creates a copy of K_4. Let M(n) denote the graph that is produced by that process. We prove that a.a.s., the number of edges in M(n) is O( n^{8/5} (\ln n)^{1/5} ). This matches, up to a constant factor, a lower bound of Bohman. As a by-product, we prove the following Ramsey-type result: for every n there exists a K_4-free n-vertex graph, in which the largest set of vertices that doesn't span a triangle has size O( n^{3/5} (\ln n)^{1/5} ). This improves, by a factor of (\ln n)^{3/10}, an upper bound of Krivelevich.

研究动机与目标

• 为现有 $K_4$-free 过程中边数的下界与上界之间的差距画上句号。
• 为随机贪心过程产生的最大 $K_4$-自由图的大小建立紧致的渐近界。
• 改进已知的 $f_{3,4}(n)$ 类 Ramsey 函数的上界，该函数衡量的是在任意 $n$ 个顶点的 $K_4$-自由图中，不包含三角形的最大顶点子集的大小。
• 通过使用分层迭代采样过程与出生时间排序，发展对 $K_4$-free 过程的精细化分析。

提出的方法

• 引入一个三阶段迭代过程，模拟 $K_4$-free 过程的早期阶段，采用独立边采样，并使用经过仔细调整的概率。
• 采用分层采样方案：首先选择随机子集 $\text{BIGBite}_{i+1}$，然后选择 $\text{BigBite}_{i+1}$，最后选择 $\text{Bite}_{i+1}$，且概率逐层递减。
• 为 $\text{Bite}_{i+1}$ 中的边分配均匀随机的出生时间，并按顺序处理，仅在不构成 $K_4$ 时才添加。
• 使用受 Spencer 启发的分支过程论证，经调整后用于控制图演化过程中的三角形形成与 $K_4$ 避免。
• 应用 McDiarmid 不等式，以界定在特定步骤中未添加有利三角形的概率，利用单个边出生时间的有界影响。
• 使用 Chernoff 不等式证明，以高概率存在足够多的候选三角形在采样后存活，从而确保迭代构造过程的进展。

实验结果

研究问题

• RQ1 在 $K_4$-free 过程中，边数的渐近数量是多少？Bohman 的下界 $\Omega(n^{8/5} (\text{ln}\,n)^{1/5})$ 是否代表了真实的数量级？
• RQ2 能否将 $K_4$-free 图中最大无三角形顶点集大小的上界改进至超过 Krivelevich 的 $O(n^{3/5} (\text{ln}\,n)^{1/2})$？
• RQ3 $K_4$-free 过程是否会产生一种图，使得每个大小为 $s = \Theta(n^{3/5} (\text{ln}\,n)^{1/5})$ 的顶点集都至少包含一个三角形，从而满足改进的 Ramsey 上界？
• RQ4 能否使用具有出生时间排序的多阶段迭代采样过程，以精确控制图的增长，同时避免出现 $K_4$ 子图？

主要发现

• 在 $K_4$-free 过程产生的图 $M(n)$ 中，边数渐近几乎必然为 $O(n^{8/5} (\text{ln}\,n)^{1/5})$，与 Bohman 的下界在常数因子内一致。
• 类 Ramsey 函数 $f_{3,4}(n)$（衡量任意 $n$ 个顶点的 $K_4$-自由图中不包含三角形的最大顶点子集的大小）被界定为 $O(n^{3/5} (\text{ln}\,n)^{1/5})$，相比 Krivelevich 的结果改进了 $(\text{ln}\,n)^{3/10}$ 的因子。
• 该迭代过程确保，以高概率，最终图 $M_I$ 中任意大小为 $s = \Theta(n^{3/5} (\text{ln}\,n)^{1/5})$ 的顶点集都至少包含一个三角形。
• 分析证明，任何一步中未能添加有利三角形的概率为 $\exp\left(-n^{-\varepsilon_1 - 2/5} y_{i,1,s^3}\right)$ 量级，从而确保图的稳健增长。
• 该方法通过使用中间采样层与出生时间排序，成功控制了边添加之间的依赖关系，使得可通过 McDiarmid 不等式获得集中性界。
• 该构造保证了每一阶段后存活的候选三角形数量足够多，从而确保在最终图中三角形的形成具有高度可能性。