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

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

Limits and Structures in Graph Theory参考文献 47被引用 56

一句话总结

该论文将无三角形过程扩展至完成，证明了最终的随机图 $ G_{n,\triangle} $ 几乎必然具有 $ \left(\frac{1}{2\sqrt{2}} + o(1)\right) n^{3/2} \sqrt{\log n} $ 条边。它建立了强伪随机性质，并利用这些性质推导出一个新的下界 $ R(3,k) \geq \left(\frac{1}{4} - o(1)\right) \frac{k^2}{\log k} $，显著改进了Kim的结果，并接近Shearer的上界。

ABSTRACT

The areas of Ramsey Theory and Random Graphs have been closely linked every since Erd\H{o}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) = \Theta (k^2 / log k).In this paper we improve the results of both Bohman and Kim, and follow the triangle-free process all the way to the end. In particular, we shall prove that e(G_{n, riangle}) = (1 / 2\sqrt{2} + o(1)) n^{3/2} \sqrt{log n}, with high probability as n o \infty. We also obtain several 'pseudo-random' properties of G_{n, riangle}, and use them to bound its independence number, which gives as an immediate corollary R(3,k) \ge (1/4 - o(1)) 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. Similar results have been proved independently by Bohman and Keevash.

研究动机与目标

• 将无三角形过程扩展至其完整持续时间，而非像以往工作那样在完成正分数步骤后停止。
• 确定由该过程生成的最终图 $ G_{n,\triangle} $ 的精确渐近边数。
• 建立 $ G_{n,\triangle} $ 的伪随机性质，以界定其独立数。
• 推导出Ramsey数 $ R(3,k) $ 的新、更优的下界，缩小与目前已知最佳上界之间的差距。

提出的方法

• 通过追踪避免形成三角形的边添加过程来分析无三角形过程，采用概率方法和微分方程方法。
• 应用微分方程方法来追踪图随时间的演化，扩展了Bohman（2009年）的前期工作。
• 证明 $ G_{n,\triangle} $ 展现出强伪随机性质，如边分布的准随机性及特征值有界性。
• 利用伪随机性来界定独立数 $ \alpha(G_{n,\triangle}) $，这直接关联到Ramsey数 $ R(3,k) $。
• 应用集中不等式和鞅论论证，证明关键图参数的高概率收敛性。
• 结合边数与独立数的结果，推导出 $ R(3,k) $ 的新下界。

实验结果

研究问题

• RQ1 无三角形过程最终生成的图中，边数的渐近数量是多少？
• RQ2 最终图 $ G_{n,\triangle} $ 是否表现出可被用于Ramsey理论界估计的伪随机性质？
• RQ3 能否对 $ G_{n,\triangle} $ 的独立数进行紧密界定，以获得 $ R(3,k) $ 的改进下界？
• RQ4 最终的边数与独立数与以往结果（特别是Kim和Shearer的界限）相比如何？

主要发现

• 当 $ n \to \infty $ 时，$ G_{n,\triangle} $ 中的边数几乎必然为 $ \left(\frac{1}{2\sqrt{2}} + o(1)\right) n^{3/2} \sqrt{\log n} $。
• 最终图 $ G_{n,\triangle} $ 满足强伪随机性质，包括边分布的准随机性及谱界。
• 对 $ G_{n,\triangle} $ 的独立数的界定意味着 $ R(3,k) \geq \left(\frac{1}{4} - o(1)\right) \frac{k^2}{\log k} $。
• 该新下界相比Kim的先前结果改进了一个常数因子，并且与Shearer的上界仅相差一个因子 $ 4 + o(1) $。
• 该结果确认了无三角形过程在整个持续时间内的渐近行为，解决了Ramsey理论中长期存在的开放问题。
• 该发现与Bohman和Keevash的独立工作一致，进一步强化了所推导边界的稳健性。