[論文レビュー] Strong Tur\'an stability

Mykhaylo Tyomkyn, Andrew J. Uzzell|arXiv (Cornell University)|Sep 30, 2014

Limits and Structures in Graph Theory参考文献 7被引用数 3

ひとこと要約

本稿は、ターラン閾値付近の $K_{r+1}$-free 図形について、強い安定性結果を確立する。辺数が $t_{n,r} - O(n\log n)$ のとき、このような図形は同一の近傍を持つ二重頂点（twin vertices）の大きな集合を含むべきであることを示す。主な貢献は、有界なクライQUE数と高い彩色数を持つ極値図形についてのシモノヴィッツの定理の新しい証明であり、二重頂点構造を用いて、これらの図形が有界サイズの図形のブロー・アップであることを示している。

ABSTRACT

We study the behaviour of $K_{r+1}$-free graphs $G$ of almost extremal size, that is, typically, $e(G)=ex(n,K_{r+1})-O(n)$. We show that such graphs must have a large amount of 'symmetry', in particular that all but very few vertices of $G$ must have twins. As a corollary, we obtain a new, short proof of a theorem of Simonovits on the structure of extremal graphs with $\\omega(G)\\leq r$ and $\\chi(G)\\geq k$ for fixed $k \\geq r \\geq 2$.

研究の動機と目的

• 辺数がターラン数 $t_{n,r}$ に非常に近い、すなわち線形部分領域 $e(G) = t_{n,r} - O(n\log n)$ における $K_{r+1}$-free 図形の構造的安定性を調査すること。
• 極値図形における対称性の出現、特に同一の近傍を持つ二重頂点（twin vertices）の存在を、ターラン閾値付近の構造的特徴として理解すること。
• 彩色数が高く、クライQUE数が有界な極値 $K_{r+1}$-free 図形の単純性（ブロー・アップ構造）に関するシモノヴィッツの定理の、新しいかつ簡潔な証明を提供すること。
• クライQUE数 $r$ および彩色数 $k = r+2$ を持つ $K_{r+1}$-free 図形における、正確な極値辺数を特定し、そのような極値図形の構造を特徴づけること。

提案手法

• 高辺数の $K_{r+1}$-saturated 図形（最大の $K_{r+1}$-free 図形）の構造を分析し、特に二重頂点の出現に注目する。
• 極値図形理論およびラマジー的境界を用いて、$K_{r+1}$-saturated 図形における二重頂点の出現に向けた鋭い閾値を導出する。
• 近傍の対称性に基づく新しい安定性議論を適用し、$e(G) \geq t_{n,r} - cn\log n$ を満たす図形は十分に大きな $n$ に対して少なくとも一対の二重頂点を含むことを示す。
• やや緩い辺数条件のもとで、このような図形が $r$-彩色可能であることを示し、これによりシモノヴィッツの結果（極値図形の単純性）の新しい証明を得る。
• 既知のラマジー数 $R(3,t)$ および高彩色数の三角形を含まない図形に関する境界を活用し、$\Lambda_r(k)$（$\omega(G)=r$ かつ $\chi(G)\geq k$ を満たす $K_{r+1}$-free 図形の最大頂点数）の漸近的境界を導出する。
• 構成的技法を用いて、$\chi(G) = r+2$ かつ $\omega(G) = r$ を満たす極値図形を構築し、$r \geq 3$ のとき $\Lambda_r(r+2) = 2$ であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 すべての $K_{r+1}$-saturated 図形 $G$（位数 $n$）が少なくとも一対の二重頂点を含むための最小辺数 $e(G)$ は何か？
• RQ2 $K_{r+1}$-free 図形が $e(G) = t_{n,r} - O(n\log n)$ を満たすとき、どのような条件下で大規模な二重頂点集合が必然的に出現するか？
• RQ3 クライQUE数 $\leq r$ および彩色数 $\geq k$ を満たす極値図形が、有界サイズの図形のブロー・アップであることを示せるか？また、$k = r+2$ の場合の正確な極値辺数は何か？
• RQ4 $r=2$ と $r \geq 3$ の場合において、$K_{r+1}$-saturated 図形における構造的単純性（ブロー・アップ構造）の閾値にはどのような違いがあるか？
• RQ5 $\Lambda_r(k)$（$K_{r+1}$-free 図形で $\omega(G) = r$ かつ $\chi(G) \geq k$ を満たす最大頂点数）の正確な値は何か、特に $k = r+2$ の場合に？

主な発見

• すべての $r \geq 2$ に対して、ある定数 $c > 0$ が存在し、十分に大きな $(r+1)$-saturated 図形 $G$ で $e(G) \geq t_{n,r} - cn\log n$ を満たすならば、少なくとも一対の二重頂点が存在する。
• 二重頂点の出現閾値は $t_{n,r} - O(n\log n)$ であり、これはエルドシュ＝シモノヴィッツの安定性定理における $o(n^2)$ 閾値よりもターラン数にはるかに近い。
• $r=2$ の場合、$e(G) > t_{n,2} - cn$ を満たすすべての $3$-saturated 図形は単純（有界サイズの図形のブロー・アップ）であり、この境界は鋭い。
• $r \geq 3$ の場合、$e(G) > t_{n,r} - (2 - \varepsilon)n/r$ を満たすすべての $(r+1)$-saturated 図形は単純であり、この境界に対しても鋭い。
• $\Lambda_r(r+2)$ の正確な値は $r \geq 3$ に対して $2$ であり、$\omega(G) = r$ かつ $\chi(G) \geq r+2$ を満たす極値図形は、最大 $2$ 頂点の図形のブロー・アップであることを意味する。
• 本稿は、シモノヴィッツの定理の新しい短い証明を提供する：$\chi(G) \geq k$ かつ $\omega(G) \leq r$ を満たすすべての極値 $K_{r+1}$-free 図形は、最大 $m(k,r)$ 頂点の図形のブロー・アップである。ここで $m(k,r)$ は固定された $k,r$ に対して絶対的である。