[論文レビュー] 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 にするために削除しなければならない辺の数に対する漸近的に鋭い上限を確立し、誤差項の主項が最適であることを示している。$\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 なグラフにおけるターラン数より $\alpha n^2$ の辺不足がある場合、削除する辺の数とその不足 $\alpha n^2$ の間の正確な漸近的関係を特定すること。
• 小さな $\alpha$ に対して、誤差項が最適となる定量的なエドーシュ＝シモノビーツ安定性定理のバージョンを確立すること。
• 削除する辺の数に対する境界の主項が漸近的に鋭いことを示すために、極値グラフを構成することで証明すること。
• $K_{r+1}$-free なグラフがターランの閾値に近い場合、すべてのグラフが辺削除の複雑さの観点から不均衡な $K_{r-2} \otimes C_5$ のブローモンによって支配されているという構造的予想に証拠を提供すること。

提案手法

• $r$-partite 近似における頂点の近傍分布と次数制約に基づく洗練された安定性議論の使用。
• クロスエッジを制御し、非 $r$-partite エッジの数を抑えられるように、頂点分割 $X \cup \bar{X} \cup X_1 \cup \cdots \cup X_{r-2}$ の構成。
• ターランの定理とブローモン構成の適用により、極値グラフにおける辺の数を計算。
• $\alpha$, $r$, $n$ を含む不等式を用いた近傍サイズの境界の導出により、エッジ削除数を最小化する分割戦略を導出。
• $z\sqrt{1 - z/r}$ のような式を上限付けるための最適化技術の使用により、誤差項における最大寄与を達成。
• 特定の極値グラフを、追加の普遍的頂点 $X_i$ を持つ $C_5$ のブローモンとして構成し、エッジ削除数の下限を達成。

実験結果

リサーチクエスチョン

• RQ1 $K_{r+1}$-free グラフから削除する辺の数が、ターラン数より $\alpha n^2$ の不足がある場合、その最適な漸近的依存関係は何か？
• RQ2 エドーシュ＝シモノビーツ安定性定理における誤差項を、小さな $\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$ のブローモンによって支配されているという構造的予想は、極値構成によって検証可能か？

主な発見

• $K_{r+1}$-free グラフ $G$ に対して $e(G) \geq \operatorname{ex}(n,K_{r+1}) - \alpha n^2$ が成り立つとき、$r$-partite にするために削除すべき辺の数は、十分に小さい $\alpha$ に対して $\left(\frac{2r}{3\sqrt{3}} + 30r^3\alpha^{1/6}\right)\alpha^{3/2}n^2$ 以下である。
• この上界は、同じ辺不足のもとで $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$ の場合に修正項が負であることを示している。
• 結果は、すべての $K_{r+1}$-free グラフがターランの閾値に近い場合、辺削除の複雑さの観点から不均衡な $K_{r-2} \otimes C_5$ ブローモンによって支配されているという予想 1.4 に対する強い証拠を提供している。