[论文解读] The triangle-free process and the Ramsey number $R(3,k)$

Gonzalo Fiz Pontiveros, Simon Griffiths+1 more|arXiv (Cornell University)|Feb 25, 2013

Limits and Structures in Graph Theory被引用 34

一句话总结

本文分析了无三角形过程——一种在不形成三角形的前提下向完全图中随机添加边的随机图过程——并证明该过程可生成边数渐近最优的无三角形图。关键结果是得到了 Ramsey 数 $ R(3,k) $ 的紧下界，证明了 $ R(3,k) \geq \left(\frac{1}{4}-o(1)\right)\frac{k^2}{\log k} $，该结果与目前已知的最佳上界相差一个因子 $ 4+o(1) $。

ABSTRACT

The areas of Ramsey theory and random graphs have been closely linked ever since Erdős' famous proof in 1947 that the 'diagonal' Ramsey numbers $R(k)$ grow exponentially in $k$. In the early 1990s, the triangle-free process was introduced as a model which might potentially provide good lower bounds for the 'off-diagonal' Ramsey numbers $R(3,k)$. In this model, edges of $K_n$ are introduced one-by-one at random and added to the graph if they do not create a triangle; the resulting final (random) graph is denoted $G_{n, riangle}$. In 2009, Bohman succeeded in following this process for a positive fraction of its duration, and thus obtained a second proof of Kim's celebrated result that $R(3,k) = Θ\big( k^2 / \log k \big)$. In this paper we improve the results of both Bohman and Kim, and follow the triangle-free process all the way to its asymptotic end. In particular, we shall prove that $$e\big( G_{n, riangle} \big) \,=\, \left( \frac{1}{2\sqrt{2}} + o(1) ight) n^{3/2} \sqrt{\log n },$$ with high probability as $n o \infty$. We also obtain several pseudorandom properties of $G_{n, riangle}$, and use them to bound its independence number, which gives as an immediate corollary $$R(3,k) \, \ge \, \left( \frac{1}{4} - o(1) ight) \frac{k^2}{\log k}.$$ This significantly improves Kim's lower bound, and is within a factor of $4 + o(1)$ of the best known upper bound, proved by Shearer over 25 years ago.

研究动机与目标

• 分析无三角形过程的渐近行为，该过程是一种避免形成三角形的随机图过程。
• 确定当 $ n \to \infty $ 时，无三角形过程生成图的最终边数。
• 利用所得图的伪随机性质，推导出 Ramsey 数 $ R(3,k) $ 的新下界。
• 改进 Kim 于 1995 年对 $ R(3,k) $ 的下界，使其与 Shearer 的上界相差一个因子 $ 4+o(1) $。

提出的方法

• 通过跟踪图随时间的演化过程来分析无三角形过程，只要不形成三角形，就以均匀随机的方式添加边。
• 作者使用微分方程方法追踪关键图参数（如边数和度数）的演化。
• 他们定义并分析了一系列高概率事件 $ \mathcal{E}(m^*), \mathcal{Y}(m^*), \mathcal{Z}(m^*), \mathcal{Q}(m^*) $，以控制过程直至结束时的行为。
• 通过集中不等式和鞅论证，建立了最终图 $ G_{n,\triangle} $ 的伪随机性质。
• 通过事件分解和尾概率估计分析最大独立集的大小，推导出独立数的界。
• 证明依赖一系列引理，以控制罕见配置（如高阶顶点或大独立集）发生的可能性。

实验结果

研究问题

• RQ1 当 $ n \to \infty $ 时，无三角形过程生成图的渐近边数是多少？
• RQ2 无三角形过程生成的最终图 $ G_{n,\triangle} $ 具有哪些伪随机性质？
• RQ3 如何通过界定 $ G_{n,\triangle} $ 的独立数，以获得对 $ R(3,k) $ 的改进下界？
• RQ4 能否将无三角形过程追踪至其完整的渐近终点，而非仅其持续时间的正分数部分，以获得更紧的界？

主要发现

• 以高概率，$ G_{n,\triangle} $ 中的边数渐近为 $ \left(\frac{1}{2\sqrt{2}}+o(1)\right)n^{3/2}\sqrt{\log n} $。
• 以高概率，$ G_{n,\triangle} $ 的独立数至多为 $ \left(\sqrt{2}+\gamma\right)\sqrt{n\log n} $，其中任意 $ \gamma > 0 $。
• Ramsey 数 $ R(3,k) $ 满足 $ R(3,k) \geq \left(\frac{1}{4}-o(1)\right)\frac{k^2}{\log k} $，显著改进了 Kim 早期的下界。
• 该下界与 Shearer 的上界相差一个因子 $ 4+o(1) $，将差距缩小至常数因子以内。
• 证明表明，无三角形过程可生成具有强伪随机性质的图，支持其在极值图论中的应用。
• 该分析确认，该过程可被追踪至其完整的渐近终点，扩展了 Bohman 早期仅追踪其持续时间正分数部分的工作。