[论文解读] 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)} "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$，確認閾值的預期比例關係。

提出的方法

• 證明利用了稀疏隨機版本的 Erdős-Simonovits 穩定性定理（定理 1.4），該定理表明當 $p$ 超過某個閾值時，$G_{n,p}$ 中的大型 $K_r$-自由子圖接近於 $(r-1)$-部圖。
• 結合容器型論證與穩定性及正則性技術，控制大型 $K_r$-自由子圖的結構。
• 應用機率方法，證明當 $p$ 超過閾值時，任何最大 $K_r$-自由子圖必為 $(r-1)$-部圖，方法是排除非部圖極值子圖的存在。
• 建立集中不等式，並使用邊暴露鞅分析 $G_{n,p}$ 中最大割與子圖結構的行為。
• 利用色彩臨界邊的概念與 $H$-自由圖的結構性質，將論證推廣至完全圖。
• 證明當 $p$ 低於閾值時，以高概率存在不包含於任何 $K_r$ 中的邊，這些邊可被包含於某個 $K_r$-自由子圖中，但無法出現在任何 $(r-1)$-部圖子圖中，從而破壞等式。

实验结果

研究问题

• RQ1 是否存在一個精確的閾值 $p(n)$，使得以高概率，$G_{n,p}$ 的每一個最大 $K_r$-自由子圖均為 $(r-1)$-部圖？
• 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$ 上是否呈現單峰行為，即在滿足機率上僅有一個局部最小值？

主要发现

• 對於每個固定的 $r \geq 4$，存在常數 $C$，使得當 $p > C n^{-2/(r+1)} \log^{2/((r+1)(r-2))} n$ 時，有 $\Pr(t_r(G_{n,p}) = b_r(G_{n,p})) \to 1$ 當 $n \to \infty$。
• 該閾值在常數 $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$，並具備正確的指數比例。