[论文解读] Tur\'an Number of Generalized Triangles

Sergey Norin, Liana Yepremyan|arXiv (Cornell University)|Jan 8, 2015

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

一句话总结

本文证明了Frankl与F"uredi的猜想：当 $ r = 5,6 $ 且 $ n $ 足够大时，广义三角形 $\Sigma_r$ 的Tur\'an数等于特定 $ r $-图 $ T_r $ 的Tur\'an数。通过拉格朗日方法、稳定性分析与对称化技术，作者表明极值 $ T_r $-自由超图接近于唯一的 $(11,5,4)$ 与 $(12,6,5)$ 斯坦纳系的吹胀构造，从而确立了这些情形下的精确Tur\'an数。

ABSTRACT

The family $\Sigma_r$ consists of all $r$-graphs with three edges $D_1,D_2,D_3$ such that $|D_1\cap D_2|=r-1$ and $D_1 riangle D_2 \subseteq D_3$. A generalized triangle, $\mathcal{T}_r \in \Sigma_r$ is an $r$-graph on $\{1,2,\ldots,2r-1\}$ with three edges $D_1, D_2, D_3$, such that $D_1=\{1,2,\dots,r-1, r\}, D_2= \{1, 2, \dots, r-1, r+1 \}$ and $D_3 = \{r, r+1, \dots, 2r-1\}.$ Frankl and F\"{u}redi conjectured that for all $r\geq 4$, $ex(n,\Sigma_r) = ex(n,\mathcal{T}_r )$ for all sufficiently large $n$ and they also proved it for $r=3$. Later, Pikhurko showed that the conjecture holds for $r=4$. In this paper we determine $ex(n,\mathcal{T}_5)$ and $ex(n,\mathcal{T}_6)$ for sufficiently large $n$, proving the conjecture for $r=5,6$.

研究动机与目标

• 为解决Frankl与F"uredi的猜想：$\mathrm{ex}(n, T_r) = \mathrm{ex}(n, \Sigma_r)$ 对于 $ r = 5,6 $ 且 $ n $ 足够大成立。
• 通过刻画极值超图，确定 $ r = 5,6 $ 时精确的Tur\'an数 $\mathrm{ex}(n, T_r)$。
• 确立 $ T_r $-自由 $ r $-图的极值结构为唯一 $(11,5,4)$ 与 $(12,6,5)$ 斯坦纳系的吹胀构造，其中 $ r=5,6 $。
• 将Tur\'an型问题中的稳定性技术扩展至标准顶点删除方法失效的情形，需引入额外计数论证。

提出的方法

• 应用拉格朗日方法，将加权超图设定下的结果转化为无权超图设定，利用拉格朗日函数的连续性性质。
• 提出一种新颖的对称化定理，从局部稳定性条件推导出全局稳定性，从而实现对极值超图的结构分析。
• 使用稳定性论证表明：高密度的 $ T_r $-自由超图必须在编辑距离上接近于相应斯坦纳系的吹胀构造。
• 引入一种精细化的计数技术，以处理标准顶点删除变换失效的情形，确保收敛至极值配置。
• 结合超图去除引理与局部及全局稳定性结果，证明 $ T_r $-自由图在 $ \varepsilon $ 范围内接近于斯坦纳系的吹胀构造。
• 通过证明对所有 $ F^* \in F^* $ 有 $ \lambda(F, \xi_F) \geq \lambda(F^*, \mu) $，且等式成立当且仅当 $ F^* $ 同构于 $ F $ 且 $ \mu = \xi_F $，确立了 $ \mathrm{Forb}(T_r) $ 的 $ B $-稳定性，从而保证极值配置的唯一性。

实验结果

研究问题

• RQ1 对于 $ r = 5,6 $ 且所有足够大的 $ n $，是否成立 $\mathrm{ex}(n, T_r) = \mathrm{ex}(n, \Sigma_r)$？
• RQ2 当 $ r = 5,6 $ 时，$ T_r $-自由 $ r $-图的精确结构是什么？
• RQ3 能否将稳定性技术扩展至标准顶点删除论证失效的情形？
• RQ4 唯一 $(11,5,4)$ 与 $(12,6,5)$ 斯坦纳系是否为 $ r=5,6 $ 时 $ T_r $-自由超图的唯一极值配置？
• RQ5 拉格朗日方法能否被调整以在无权超图设定下证明 $ r $-图的精确Tur\'an数？

主要发现

• Frankl与F"uredi的猜想在 $ r = 5,6 $ 时成立：对所有足够大的 $ n $，有 $\mathrm{ex}(n, T_r) = \mathrm{ex}(n, \Sigma_r)$。
• 当 $ r = 5,6 $ 时，$ T_r $-自由 $ r $-图的极值结构恰好为唯一 $(11,5,4)$ 与 $(12,6,5)$ 斯坦纳系的吹胀构造。
• 当 $ r = 5 $ 时，Tur\'an数为 $\mathrm{ex}(n, T_5) = \left(\frac{1}{11} - o(1)\right)\binom{n}{5}$；当 $ r = 6 $ 时，$\mathrm{ex}(n, T_6) = \left(\frac{1}{12} - o(1)\right)\binom{n}{6}$，其中常数由斯坦纳系的密度导出。
• 作者证明了族 $\mathrm{Forb}(T_r)$ 是 $ B(S) $-稳定的，其中 $ B(S) $ 为相应斯坦纳系 $ S $ 的吹胀族，从而确认了极值图的结构稳定性。
• 建立了一个新的对称化定理，使得可从局部稳定性推导出全局稳定性，这对处理顶点删除失效的非标准情形至关重要。
• 证明引入了一种精细化的计数论证，以应对标准稳定性技术失效的情形，确保高密度的 $ T_r $-自由图在编辑距离上必须接近斯坦纳系的吹胀构造。