[论文解读] Mantel's Theorem for random graphs

Bobby DeMarco, Jeff Kahn|arXiv (Cornell University)|Jun 5, 2012

Limits and Structures in Graph Theory参考文献 10被引用 14

一句话总结

本文確立了 Erdős–Rényi 隨機圖 $ G(n,p) $ 的臨界概率，使得最大無三角形子圖幾乎必然為二分圖。利用機率方法與切割結構分析，作者證明當 $ p > Cn^{-1/2}\log^{1/2}n $ 時，其中 $ C $ 為足夠大的常數，幾乎必然地，$ G(n,p) $ 的每一個最大無三角形子圖都是二分圖——此臨界值在常數 $ C $ 的意義下為最佳。

ABSTRACT

For a graph $G$, denote by $t(G)$ (resp. $b(G)$) the maximum size of a triangle-free (resp. bipartite) subgraph of $G$. Of course $t(G) \geq b(G)$ for any $G$, and a classic result of Mantel from 1907 (the first case of Turán's Theorem) says that equality holds for complete graphs. A natural question, first considered by Babai, Simonovits and Spencer about 20 years ago is, when (i.e. for what $p=p(n)$) is the "Erdős-Rényi" random graph $G=G(n,p)$ likely to satisfy $t(G) = b(G)$? We show that this is true if $p>C n^{-1/2} \log^{1/2}n $ for a suitable constant $C$, which is best possible up to the value of $C$.

研究动机与目标

• 確立 Erdős–Rényi 隨機圖 $ G(n,p) $ 中最大無三角形子圖幾乎必然為二分圖的臨界機率 $ p(n) $。
• 解決 Babai、Simonovits 和 Spencer 提出的長期懸而未決問題：當 $ p = n^{-c} $ 且 $ c > 0 $ 較小時，$ t(G) = b(G) $ 是否成立？
• 確立精確的臨界值 $ p = Cn^{-1/2}\log^{1/2}n $，並證明此值在常數 $ C $ 的意義下為最佳，且在該臨界值下所有最大無三角形子圖均為二分圖。
• 將分析推廣至更廣泛的圖論極值問題，並提出一個關於 $ K_r $-自由子圖在隨機圖中為 $ (r-1) $-分圖的臨界值的猜想。
• 探討是否可避免使用如稀疏正則性引理等深奧工具，尋求替代證明方法，並連結此問題與 clique complex 的同調性質（如一階同調群消失）。

提出的方法

• 分析 $ G(n,p) $ 中的平衡切割 $ (A,B) $，根據對側集合中低度點定義集合 $ X(\Pi) $ 和 $ T(\Pi) $。
• 應用 Kohayakawa–Łuczak–Rödl 定理（定理 2.1）的變體，該定理斷言：任何接近邊數一半的大型無三角形子圖，僅需移除 $ \vartheta n^2p $ 條邊即可轉為二分圖。
• 使用機率集中不等式來限制非二分圖的無三角形子圖中的邊數，證明此類子圖無法達到最大大小。
• 採用基於邊集與三角形均勻相交的計數論證，將問題連結至一階同調群 $ H_1(X(G), \mathbb{Z}_2) $ 消失的性質，此性質表示僅有切割會與所有三角形均勻相交。
• 證明當 $ p > Cn^{-1/2}\log^{1/2}n $ 時，最大無三角形子圖非二分圖的機率趨近於零，方法為邊暴露與度數集中分析。
• 透過反證法：假設存在非二分圖的最大無三角形子圖，則其需包含過多條不屬於任何三角形的邊，而此在該 $ p $ 值下極不可能。

实验结果

研究问题

• RQ1 對於哪些 $ p(n) $，$ t(G_{n,p}) = b(G_{n,p}) $ 幾乎必然成立？
• RQ2 臨界值 $ p = Cn^{-1/2}\log^{1/2}n $ 在常數 $ C $ 的意義下是否最佳，使得 $ t(G) = b(G) $ 在 $ G(n,p) $ 中成立？
• RQ3 此結果能否推廣至 $ K_r $-自由子圖在 $ G(n,p) $ 中為 $ (r-1) $-分圖？對應的臨界值為何？
• RQ4 使用稀疏正則性引理（透過定理 2.1）是否為證明主結果所必需？能否避免使用？
• RQ5 三角形自由子圖的結構與 $ G(n,p) $ 的 clique complex 同調性之間有何關聯？

主要发现

• 當 $ p > Cn^{-1/2}\log^{1/2}n $ 且常數 $ C $ 足夠大時，幾乎必然地，$ G(n,p) $ 的每一個最大無三角形子圖都是二分圖。
• 臨界值 $ p = Cn^{-1/2}\log^{1/2}n $ 在常數 $ C $ 的意義下為最佳，因為當 $ p = 0.1n^{-1/2}\log^{1/2}n $ 時，$ G(n,p) $ 通常包含一個不屬於任何三角形的五邊形。
• 在 $ p \in [n^{-1}, 0.1n^{-1/2}\log^{1/2}n] $ 時，$ t(G_{n,p}) = b(G_{n,p}) $ 的機率趨近於零，顯示存在明顯的相變。
• 此結果表示在臨界值以上，由於邊分佈的結構約束，任何非二分圖的無三角形子圖均無法達到最大大小。
• 證明方法在最終版本中避免了對稀疏正則性引理的依賴，現已提供定理 2.1 的新且更簡潔的證明。
• 問題與拓撲性質相關：幾乎必然地 $ H_1(X(G), \mathbb{Z}_2) = 0 $，表示僅有切割會與所有三角形均勻相交，此性質支持主結果。