[论文解读] Tur\'an numbers of extensions

Sergey Norin, Liana Yepremyan|arXiv (Cornell University)|Oct 15, 2015

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

一句话总结

本文利用稳定性方法和先前工作的新工具，确定了两类超图扩展的精确图兰数。结果表明，当 $ n $ 足够大时，对于 $ \mathcal{T} $ 为 $ t \geq M_r $ 个顶点的 Erd\'os-S\'{o}s 树的 $ (r-2) $-扩张的情形，平衡展开图 $ \mathcal{K}^{(r)}_{t+r-3}(n) $ 是唯一的 $ \operatorname{Ext}(\mathcal{T}) $-自由 $ r $-图；类似结果也适用于在密度约束下的成对覆盖超图的扩展。

ABSTRACT

The extension of an $r$-uniform hypergraph $G$ is obtained from it by adding for every pair of vertices of $G$, which is not covered by an edge in $G$, an extra edge containing this pair and $r-2$ new vertices. Keevash and Sidorenko~ have previously determined Tur\\'an densities of two families of hypergraph extensions. We determine the Tur\\'an numbers for these families, using classical stability techniques and new tools introduced in our earlier paper.

研究动机与目标

• 确定两类 $ r $-均匀超图扩展的精确图兰数：Erd\'os-S\'{o}s 树和成对覆盖超图。
• 将 Sidorenko 和 Keevash 的先前密度结果推广至大 $ n $ 时的精确极值结构，证明极值图的唯一性。
• 证明在严格密度条件下，平衡展开图 $ \mathcal{K}^{(r)}_{t}(n) $ 是 $ \operatorname{Ext}(\mathcal{F}^{+(t+1)}) $-自由超图的唯一极值 $ r $-图。
• 使用经典稳定性技术与一个新通用工具（定理 2.2）来弥合图兰密度与精确图兰数之间的差距。
• 通过将假设弱化为 $ \pi(\mathcal{F}) < r!t^{-r}\binom{t}{r} $，解决 Keevash 密度结果在精确版本中的一个猜想性缺口。

提出的方法

• 采用 Erd\'os 和 Simonovits 的经典稳定性方法，通过拉格朗日最大化与测度集中性的框架将其适配至超图。
• 使用定理 2.2（来自 [5] 的通用工具）来控制近极值超图的结构，表明其大诱导子超图必须是完全的。
• 应用 $ t $-尖刺与 $ t $-临界性的概念，分析 $ \operatorname{Ext}(\mathcal{F}^{+(t+1)}) $-自由超图的极值结构。
• 定义并分析超图族的 $ \mathfrak{B} $-弱稳定性，以证明任何拉格朗日值接近最大值的超图必须接近完全 $ r $-图。
• 使用拉格朗日 $ \lambda(\mathcal{G}, \mu) $ 比较超图及其展开图的边密度，其中 $ \lambda(\mathcal{K}_t^{(r)}) = r!t^{-r}\binom{t}{r} $ 作为关键基准。
• 证明任何满足 $ \lambda(\mathcal{F}, \mu) $ 接近图兰密度的 $ \mathcal{F} \in \operatorname{Forb}(\mathcal{T}) $ 必须包含一个在 $ t+r-3 $ 个顶点上的大完全 $ r $-图，从而迫使极值结构为平衡展开图。

实验结果

研究问题

• RQ1 对于哪些 $ r $-图族，其扩展的图兰数恰好由完全 $ r $-图的平衡展开图实现？
• RQ2 在何种条件下，对于基超图 $ \mathcal{F} $，扩展 $ \operatorname{Ext}(\mathcal{F}^{+(t+1)}) $ 在大 $ n $ 时唯一极值于平衡展开图 $ \mathcal{K}^{(r)}_t(n) $？
• RQ3 稳定性方法能否被拓展以证明超图扩展在已知密度结果之外的精确图兰数？
• RQ4 近极值超图必须满足何种结构性质，才能被强制成为完全 $ r $-图的展开图？
• RQ5 在扩展族的背景下，超图的拉格朗日值如何与其极值性相关？

主要发现

• 对每个 $ r \geq 2 $，存在 $ M_r $，使得对所有 $ t \geq M_r $，当 $ n \geq n_0 $ 时，平衡展开图 $ \mathcal{K}^{(r)}_{t+r-3}(n) $ 是在 $ n $ 个顶点上边数最多的唯一 $ \operatorname{Ext}(\mathcal{T}) $-自由 $ r $-图，其中 $ \mathcal{T} $ 是 $ t $ 个顶点的 Erd\'os-S\'{o}s 树的 $ (r-2) $-扩张。
• 对任意成对覆盖且满足 $ \pi(\mathcal{F}) < r!t^{-r}\binom{t}{r} $ 的 $ r $-图 $ \mathcal{F} $，当 $ n \geq n_0 $ 时，平衡展开图 $ \mathcal{K}^{(r)}_t(n) $ 是在 $ n $ 个顶点上边数最多的唯一 $ \operatorname{Ext}(\mathcal{F}^{+(t+1)}) $-自由 $ r $-图。
• 该证明表明，任何满足 $ \lambda(\mathcal{F}, \mu) $ 接近图兰密度的 $ \mathcal{F} \in \operatorname{Forb}(\mathcal{T}) $ 必须包含一个在 $ t+r-3 $ 个顶点上的大完全 $ r $-图，从而迫使极值结构为平衡展开图。
• 作者证明了对任意满足 $ \operatorname{v}(\mathcal{F}) \leq t $ 的成对覆盖 $ \mathcal{F} $，有 $ \operatorname{Ext}(\mathcal{F}^{+(t+1)}) $ 是严格 $ t $-临界的，从而可使用稳定性工具。
• 覆盖成对的 $ \operatorname{Ext}(\mathcal{F}^{+(t+1)}) $-自由超图族 $ \mathfrak{G}^* $ 是 $ \mathfrak{B}(\mathcal{K}_t^{(r)}) $-弱权重稳定的，确保在极值密度附近具有结构刚性。
• 结果是精确的：对所有 $ n \geq n_0 $，极值图是唯一的，且极值密度与在 $ t $ 或 $ t+r-3 $ 个顶点上的完全 $ r $-图的拉格朗日值一致。