[論文レビュー] 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$部分グラフを避けるようにランダムな順序で辺を追加するランダムなグリーディアルゴリズムについて分析する。漸近的にほとんど確実に、最終的なグラフ$M(n)$は$O(n^{8/5}(\text{ln}\,n)^{1/5})$本の辺を持つことが証明され、ボーマンの下界$\Omega(n^{8/5} (\text{ln}\,n)^{1/5})$と定数倍の違いを除いて一致する。また、$f_{3,4}(n)$というラムゼー型関数の新たな上界が確立され、クリーヴェリヴィッチの結果を$(\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$-freeグラフのサイズに関するタイトな漸近的境界を確立すること。
• $K_4$-freeグラフにおける三角形を含まない頂点集合の最大サイズを測るラムゼー型関数$f_{3,4}(n)$の既知の上界を改善すること。
• 誕生日順序付けを用いた複数層の反復的サンプリングプロセスを用いて、$K_4$-freeプロセスの洗練された分析を開発すること。

提案手法

• 初期段階の$K_4$-freeプロセスを模倣する三段階の反復的プロセスを導入し、適切に調整された確率を持つ独立なエッジサンプリングを用いる。
• 階層的なサンプリング方式を採用：まずランダムな部分集合$\text{BIGBite}_{i+1}$を選び、次に$\text{BigBite}_{i+1}$を選び、最後に確率を段階的に低下させながら$\text{Bite}_{i+1}$を選び出す。
• $\text{Bite}_{i+1}$内のエッジに一様にランダムな誕生日を割り当て、その順序で処理を行い、$K_4$を完成させない限り各エッジを追加する。
• スペンサーにインspiredされた分岐過程の議論を用い、進化するグラフにおける三角形の形成と$K_4$の回避を制御する。
• 個々のエッジの誕生日が与えられた段階で有利な三角形が追加されない確率を制限するために、McDiarmidの不等式を適用する。
• Chernoffの不等式を用いて、十分に大きな数の候補となる三角形が高確率でサンプリングに残ることを示し、反復的構築における進行を保証する。

実験結果

リサーチクエスチョン

• RQ1 $K_4$-freeプロセスにおける辺の漸近的数は何か？ボーマンの下界$\Omega(n^{8/5} (\text{ln}\,n)^{1/5})$は真のオーダーを反映しているか？
• RQ2 $K_4$-freeグラフにおける三角形を含まない頂点集合の最大サイズの上界は、クリーヴェリヴィッチの$O(n^{3/5} (\text{ln}\,n)^{1/2})$を越えて改善可能か？
• RQ3 $K_4$-freeプロセスが、改善されたラムゼー境界を満たすために必要な、$s = \Theta(n^{3/5} (\text{ln}\,n)^{1/5})$個の頂点がすべて三角形を含むグラフを生成するか？
• RQ4 誕生日順序付けを用いた複数段階の反復的サンプリングプロセスは、$K_4$部分グラフを避ける一方で、グラフの成長をきめ細かく制御できるか？

主な発見

• ボーマンの下界$\Omega(n^{8/5} (\text{ln}\,n)^{1/5})$と定数倍の違いを除いて一致する。$M(n)$における辺の数は、漸近的にほとんど確実に$O(n^{8/5} (\text{ln}\,n)^{1/5})$である。
• $K_4$-freeグラフにおける三角形を含まない頂点集合の最大サイズを測るラムゼー型関数$f_{3,4}(n)$は、$O(n^{3/5} (\text{ln}\,n)^{1/5})$で抑えられ、クリーヴェリヴィッチの境界を$(\text{ln}\,n)^{3/10}$の要因で改善する。
• 反復的プロセスにより、高確率で、最終グラフ$M_I$における任意の$s = \Theta(n^{3/5} (\text{ln}\,n)^{1/5})$個の頂点の集合が少なくとも1つの三角形を含むことが保証される。
• 任意の段階で有利な三角形が追加されない確率は、$n^{-\varepsilon_1 - 2/5} y_{i,1,s^3}$に指数的に依存し、非常に小さくなる。これにより、グラフの成長が強く保証される。
• 中間のサンプリング層と誕生日順序付けを用いることで、エッジ追加の依存関係を制御し、McDiarmidの不等式による集中不等式を可能にする。
• 構成により、各段階を通過する候補となる三角形の数が十分に多く、最終グラフにおける三角形形成が極めて高い確率で実現されることを保証する。