[论文解读] Making $K_{r+1}$-Free Graphs $r$-partite

József Balogh, Felix Christian Clemen+3 more|arXiv (Cornell University)|Sep 30, 2019

Advanced Graph Theory Research参考文献 10被引用 5

一句话总结

本文建立了从 $K_{r+1}$-free 圖中移除邊以使其成為 $r$-partite 圖所需邊數的漸近緊確界，並證明了誤差項中首項係數的最優性。對於低於 Turán 數 $\alpha n^2$ 的邊虧損，必須移除的最小邊數的漸近表達式為 $\frac{2r}{3\sqrt{3}}\alpha^{3/2}n^2$，並構造了 $K_{r-2} \otimes C_5$ 的爆破圖作為匹配的極端例子。

ABSTRACT

The Erdős-Simonovits stability theorem states that for all ε>0 there exists α>0 such that if G is a K_{r+1}-free graph on n vertices with e(G) > ex(n,K_{r+1}) - αn^2, then one can remove εn^2 edges from G to obtain an r-partite graph. Füredi gave a short proof that one can choose α=ε. We give a bound for the relationship of αand \varepsilon which is asymptotically sharp as ε o 0.

研究动机与目标

• 確定 $K_{r+1}$-free 圖中，邊數低於 Turán 數 $\alpha n^2$ 的虧損與需移除邊數之間的精確漸近關係。
• 建立 Erdős–Simonovits 穩定性定理的量化版本，並對小的 $\alpha$ 提供最優誤差界。
• 透過構造極端圖證明需移除邊數的界中首項係數是漸近緊確的。
• 提供證據支持一項結構性猜想：所有接近 Turán 門檻值的 $K_{r+1}$-free 圖，在邊移除複雜度上均被 $K_{r-2} \otimes C_5$ 的不平衡爆破圖主導。

提出的方法

• 基於 $r$-partite 近似中頂點鄰域分佈與度約束的精細穩定性分析。
• 構造頂點劃分 $X \cup \bar{X} \cup X_1 \cup \cdots \cup X_{r-2}$ 以控制跨邊，並界定非 $r$-partite 邊的數量。
• 應用 Turán 定理與爆破構造，計算極端圖中的邊數。
• 利用涉及 $\alpha$、$r$ 和 $n$ 的不等式推導鄰域大小的界，從而導出最小化邊移除數的劃分策略。
• 使用優化技術來界定如 $z\sqrt{1 - z/r}$ 之類的表達式，以實現誤差項中的最大貢獻。
• 構造特定極端圖，即 $C_5$ 的爆破圖，並附加全域頂點 $X_i$，從而實現邊移除數的下界。

实验结果

研究问题

• RQ1 從 $K_{r+1}$-free 圖中移除邊以使其成為 $r$-partite 圖的邊數，其在虧損 $\alpha n^2$ 低於 Turán 數時的最優漸近依賴關係為何？
• RQ2 Erdős–Simonovits 穩定性定理中的誤差項能否對小的 $\alpha$ 做到漸近緊確？
• RQ3 達到最小邊移除數的極端圖是否在結構上由 $K_{r-2} \otimes C_5$ 的不平衡爆破圖所決定？
• RQ4 邊移除界中首項係數 $\frac{2r}{3\sqrt{3}}\alpha^{3/2}n^2$ 是否代表最佳可能的漸近行為？
• RQ5 是否能透過極端構造驗證結構性猜想：所有此類極端圖在邊移除複雜度上均被 $K_{r-2} \otimes C_5$ 的爆破圖主導？

主要发现

• 對於滿足 $e(G) \geq \operatorname{ex}(n,K_{r+1}) - \alpha n^2$ 的 $K_{r+1}$-free 圖 $G$，使其成為 $r$-partite 圖所需移除的邊數至多為 $\left(\frac{2r}{3\sqrt{3}} + 30r^3\alpha^{1/6}\right)\alpha^{3/2}n^2$，其中 $\alpha$ 足夠小。
• 此上界是漸近緊確的，因為構造出的圖在相同邊虧損下滿足 $D_r(G) \geq \frac{2r}{3\sqrt{3}}\alpha^{3/2}n^2$。
• 達到下界的極端圖是 $K_{r-2} \otimes C_5$ 的不平衡爆破圖，其類大小被選擇以最小化 $r$-partite 近似。
• 該構造表明，需移除的最小邊數由爆破圖中最小的一對類（即 $X$ 和 $A$ 類）決定，這對類需刪除 $\frac{2r}{3\sqrt{3}}\alpha^{3/2}n^2$ 條邊。
• 本文確認誤差界中的首項係數是最優的，且下一階項被限制在 $-\frac{2r(r-3)}{9}\alpha^2n^2$，顯示當 $r > 3$ 時修正項為負。
• 結果為猜想 1.4 提供強有力的證據，該猜想主張所有接近 Turán 门檻值的 $K_{r+1}$-free 圖，在邊移除複雜度上均被不平衡的 $K_{r-2} \otimes C_5$ 爆破圖主導。