[論文レビュー] 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

ひとこと要約

この論文は、三角形を形成しないように辺を追加する完全グラフ上の確率的グラフ過程「三角形を避ける過程」を分析し、漸近的に最適な辺数を持つ三角形を含まないグラフを生成することを示している。主な結果は、ラマゼ数 $ 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 $ のとき、三角形を避ける過程によって生成されるグラフの最終的な辺数を特定すること。
• 得られたグラフの擬似ランダム性の性質を用いて、ラマゼ数 $ 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} $ に漸近的に収束する。
• 任意の $ \gamma > 0 $ に対して、高確率で $ G_{n,\triangle} $ の独立数は $ \left(\sqrt{2}+\gamma\right)\sqrt{n\log n} $ 以下である。
• ラマゼ数 $ 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 が以前に正の割合の期間のみ追跡したのを拡張している。