[论文解读] 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)$ 时，此类图必须包含大组孪生顶点（具有相同邻域的顶点）。其主要贡献是通过孪生顶点结构，为西蒙诺维奇关于具有有界团数和高色数的极值图的定理提供了新证明，表明这些图是大小有界的图的吹胀（blow-up）形式。

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}$ 的 $K_{r+1}$-free 图的结构稳定性，特别关注线性子区域 $e(G) = t_{n,r} - O(n\log n)$ 的情形。
• 理解在图兰阈值附近极值图中对称性的出现，特别是孪生顶点（具有相同邻域的顶点）的存在，作为结构特征的标志。
• 为西蒙诺维奇关于具有高色数和有界团数的极值 $K_{r+1}$-free 图的简洁性（吹胀结构）定理提供一种新且简明的证明。
• 确定具有团数 $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)$ 的渐近界，其中 $\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 是否存在一个最小边数 $e(G)$，使得每个阶为 $n$ 的 $K_{r+1}$-saturated 图 $G$ 必须包含一对孪生顶点？
• RQ2 在 $e(G) = t_{n,r} - O(n\log n)$ 条件下，$K_{r+1}$-free 图在何种条件下必然包含一组大数量的孪生顶点？
• RQ3 能否证明 $\omega(G) \leq r$ 且 $\chi(G) \geq k$ 的极值图是大小有界的图的吹胀形式？对于 $k = r+2$，其精确极值边数是多少？
• RQ4 $K_{r+1}$-saturated 图中，结构简洁性（吹胀结构）的阈值在 $r=2$ 和 $r \geq 3$ 之间有何不同？
• RQ5 最大顶点数 $\Lambda_r(k)$（即满足 $\omega(G) = r$ 且 $\chi(G) \geq k$ 的 $K_{r+1}$-free 图的最大顶点数）的确切值是多少，特别是当 $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 图都是简单的，且该边界也是紧的。
• 对所有 $r \geq 3$，$\Lambda_r(r+2)$ 的精确值为 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$ 为绝对常数。