[論文レビュー] Turán's Theorem for random graphs

Bobby DeMarco, Jeff Kahn|arXiv (Cornell University)|Jan 7, 2015

Limits and Structures in Graph Theory参考文献 16被引用数 8

ひとこと要約

本稿は、 Erdős-Rényi 確率的グラフ $G_{n,p}$ の最大 $K_r$-自由部分グラフが必ず $(r-1)$-部グラフであるという性質の鋭い閾値を確立している。$p > C n^{-2/(r+1)} olimits \log^{2/((r+1)(r-2))} n$ のとき、この等式は高確率で成り立つ。この結果は、Babai, Simonovits, および Spencer が提起した長年の未解決問題を解決し、定数 $C$ を除いて最適である。

ABSTRACT

For a graph $G$, denote by $t_r(G)$ (resp. $b_r(G)$) the maximum size of a $K_r$-free (resp. $(r-1)$-partite) subgraph of $G$. Of course $t_r(G) \geq b_r(G)$ for any $G$, and Turán's Theorem says that equality holds for complete graphs. With $G_{n,p}$ the usual ("binomial" or "Erdős-Rényi") random graph, we show: For each fixed r there is a C such that if \[ p=p(n) > Cn^{- frac{2}{r+1}}\log^{ frac{2}{(r+1)(r-2)}}n, \] then $\Pr(t_r(G_{n,p})=b_r(G_{n,p})) ightarrow 1$ as $n ightarrow\infty$. This is best possible (apart from the value of $C$) and settles a question first considered by Babai, Simonovits and Spencer about 25 years ago.

研究の動機と目的

• ランダムグラフ $G_{n,p}$ の最大 $K_r$-自由部分グラフが必ず $(r-1)$-部グラフであるような条件を特定し、ツーランの古典的定理をランダムグラフの文脈に拡張する。
• Babai, Simonovits, および Spencer が提起した、$G_{n,p}$ におけるこの性質の閾値に関する長年の未解決問題を解決する。
• 高確率で $t_r(G_{n,p}) = b_r(G_{n,p})$ が成り立つための正確な漸近的閾値を確立し、自然な予想されたオーダーと一致させる。
• 定数因子 $C$ を除いて最適な鋭い閾値結果を提供し、先行研究が残した空白を埋める。
• $r=3$ の場合の知見を一般化し、任意の固定された $r \geq 4$ に対して、閾値の期待されるスケーリングを確認する。

提案手法

• 証明は、$p$ がある閾値を超えるとき、$G_{n,p}$ の大きな $K_r$-自由部分グラフが $(r-1)$-部グラフに近いという、Erdős-Simonovits の安定性定理（定理 1.4）のスパarsなランダム版を活用する。
• 安定性および正則性の技法と組み合わせたコンテナ型の議論を用いて、大きな $K_r$-自由部分グラフの構造を制御する。
• 確率的技法を用い、$p$ が閾値を超えるとき、最大の $K_r$-自由部分グラフは $(r-1)$-部グラフでなければならないことを示す。非部グラフ的極値部分グラフの存在を除外することで達成する。
• 集中不等式を確立し、エッジ露出のマルティンゲールを用いて、$G_{n,p}$ における最大カットおよび部分グラフ構造の挙動を分析する。
• 色付きのエッジの概念と $H$-自由グラフの構造的性質を用い、クライークへの一般化を図る。
• $p$ が閾値未満のとき、どの $K_r$ にも含まれないエッジが高確率で存在することを示し、それらは $K_r$-自由部分グラフに含められるが、$(r-1)$-部グラフに含めることはできない。これにより等式が破れる。

実験結果

リサーチクエスチョン

• RQ1 高確率で、$G_{n,p}$ のすべての最大 $K_r$-自由部分グラフが $(r-1)$-部グラフであるような鋭い閾値 $p(n)$ は何か？
• RQ2 $t_r(G_{n,p}) = b_r(G_{n,p})$ のための閾値が、自然な予想されたオーダー $n^{-2/(r+1)} \log^{2/((r+1)(r-2))} n$ と一致するか？
• RQ3 この結果を、クライークに限らない一般のグラフ $H$ に拡張できるか。特に、色付きエッジを持つグラフに対しては？
• RQ4 $t_r(G_{n,p}) = b_r(G_{n,p})$ のための閾値は、すべてのエッジが $K_r$ のコピーに含まれるという性質の閾値と漸近的に同値か？
• RQ5 $t_r(G) = b_r(G)$ の性質は、$p$ に関して単峰的（unimodal）であるか。つまり、満たされる確率に局所的最小値が1つだけ存在するか？

主な発見

• 各固定された $r \geq 4$ に対して、ある定数 $C$ が存在し、$p > C n^{-2/(r+1)} \log^{2/((r+1)(r-2))} n$ のとき、$n \to \infty$ において $\Pr(t_r(G_{n,p}) = b_r(G_{n,p})) \to 1$ となる。
• この閾値は、定数 $C$ を除いて最適であり、$p$ が小さいとき、どの $K_r$ にも含まれないエッジが高確率で存在することから示される。それらのエッジは $K_r$-自由部分グラフに含められるが、$(r-1)$-部グラフには含められない。
• この結果は、$r=3$ に対する予想された閾値を確認し、$r \geq 4$ 全てに拡張し、25年以上にわたる未解決問題を解決する。
• $p$ が小さいとき、$t_r(G_{n,p}) < (1 - 1/(r-1))|G_{n,p}|$ が成り立つ（定理 1.3 によるが）、等式 $t_r(G_{n,p}) = b_r(G_{n,p})$ は、導出された閾値を超えたときのみ成立する。
• 証明は、安定性結果（定理 1.4）の洗練された応用に依拠しており、大きな $K_r$-自由部分グラフがほぼ $(r-1)$-部グラフであることを示し、その後、閾値未満ではそれらの部分グラフが正確に $(r-1)$-部グラフでなければならないことを証明する。
• $r=3$ の場合、閾値 $p > C n^{-1/2} \log^{1/2} n$ は既知の鋭い結果と一致し、一般の場合では正しい指数スケーリングでそれらを高次の $r$ に拡張する。