[論文レビュー] 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} $ は、辺分布における準ランダム性やスペクトル境界といった強力な擬似ランダム性の性質を満たす。
• 独立数 $ \alpha(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の独立的な研究とも整合しており、導出された境界の堅牢性を裏付ける。