[论文解读] Hypergraphs with many extremal configurations

Xizhi Liu, Dhruv Mubayi+1 more|arXiv (Cornell University)|Feb 3, 2021

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

一句话总结

该论文针对每个正整数 $ t $，构造了一个三元系族 $ \mathcal{M}_t $，其具有恰好 $ t $ 个在编辑距离上彼此相距较远的极值配置；建立了强稳定性定理，表明所有接近极值大小的 $ \mathcal{M}_t $-自由超图都接近这 $ t $ 个配置中的某一个；并证明了 $ \mathcal{M}_t $ 的可行区域恰好有 $ t $ 个全局最大值，从而首次展示了具有任意有限个极值配置的超图图兰问题，并对应地给出了稳定性数 $ \xi(\mathcal{M}_t) = t $。

ABSTRACT

For every positive integer $t$ we construct a finite family of triple systems ${\mathcal M}_t$, determine its Turán number, and show that there are $t$ extremal ${\mathcal M}_t$-free configurations that are far from each other in edit-distance. We also prove a strong stability theorem: every ${\mathcal M}_t$-free triple system whose size is close to the maximum size is a subgraph of one of these $t$ extremal configurations after removing a small proportion of vertices. This is the first stability theorem for a hypergraph problem with an arbitrary (finite) number of extremal configurations. Moreover, the extremal hypergraphs have very different shadow sizes (unlike the case of the famous Turán tetrahedron conjecture). Hence a corollary of our main result is that the boundary of the feasible region of ${\mathcal M}_t$ has exactly $t$ global maxima.

研究动机与目标

• 解决长期悬而未决的开放问题：构造具有多个极值配置的超图图兰问题。
• 为具有任意有限个 $ t $ 个极值配置的超图建立强稳定性定理。
• 证明所构造族 $ \mathcal{M}_t $ 的可行区域恰好有 $ t $ 个全局最大值，从而解决关于可行区域结构的关键问题。
• 表明 $ \mathcal{M}_t $ 的极值超图具有不同的阴影大小，与已知情况（如图兰四面体问题）形成对比。
• 为将此类结果推广至 $ r \geq 4 $ 的 $ r $-均匀超图提供框架，如未来工作中所概述。

提出的方法

• 针对每个 $ t \in \mathbb{N} $，利用基于 $ t $ 个基三元系 $ \mathcal{G}_1, \dots, \mathcal{G}_t $（其阶数满足 $ n_1 < \cdots < n_t $）的特定放大构造，构造一个有限的三元系族 $ \mathcal{M}_t $。
• 定义图兰数 $ \mathrm{ex}(n, \mathcal{M}_t) \leq \lambda_t n^3 $，当 $ n $ 是某个 $ n_i $ 的倍数时取等号，并证明 $ \lambda_t < 1/6 $，趋近于拉格朗日上确界。
• 证明强稳定性结果：任何边数接近最大值 $ \varepsilon $ 范围内的 $ \mathcal{M}_t $-自由三元系，通过移除 $ \delta n $ 个顶点可变为 $ \mathcal{G}_i $-可着色。
• 利用极值配置之间的编辑距离，证明单个极值配置无法近似所有其他配置，从而推出 $ \xi(\mathcal{M}_t) = t $。
• 通过研究边密度与阴影密度的极限点，分析可行区域 $ \Omega(\mathcal{M}_t) $，表明函数 $ g(\mathcal{M}_t)(x) $ 在恰好 $ t $ 个不同的阴影密度处取得最大值。
• 通过配置 $ \mathcal{H}_i(n) $ 与 $ \mathcal{H}_j(n) $ 之间的边翻转过程应用连续性论证，表明中间密度点是可达的，从而证明可行区域在最大值之间包含区间。

实验结果

研究问题

• RQ1 一个超图图兰问题是否可以具有多个极值配置，若可以，这些配置在结构上是否可以彼此不同？
• RQ2 是否可以为任意给定的 $ t \in \mathbb{N} $ 构造一个超图族，使其稳定性数 $ \xi(\mathcal{F}) = t $，从而推广已知的 $ t=1 $ 和 $ t=2 $ 情况？
• RQ3 一个超图族的可行区域是否可以恰好有 $ t $ 个全局最大值（对任意有限 $ t $），且这些最大值是否对应于具有不同阴影大小的配置？
• RQ4 多个极值配置的存在是否意味着可行区域必须在它们之间包含区间，且能否通过配置的连续插值过程加以证明？
• RQ5 此类结果能否超越三元系，推广至 $ r \geq 4 $ 的 $ r $-均匀超图？

主要发现

• 对于每个正整数 $ t $，该论文构造了一个三元系族 $ \mathcal{M}_t $，其具有恰好 $ t $ 个在编辑距离上彼此相距较远的极值配置。
• 图兰数 $ \mathrm{ex}(n, \mathcal{M}_t) \leq \lambda_t n^3 $ 在 $ n $ 为任意 $ n_i $ 的倍数时取等号，且 $ \lambda_t < 1/6 $，趋近于理论上的上界。
• 稳定性数 $ \xi(\mathcal{M}_t) = t $，意味着所有接近极值大小的 $ \mathcal{M}_t $-自由三元系都必须接近这 $ t $ 个特定极值配置中的某一个。
• 可行区域 $ \Omega(\mathcal{M}_t) $ 恰好有 $ t $ 个全局最大值，每个最大值对应一个不同的阴影密度，且这些最大值是孤立且非退化的。
• $ \mathcal{M}_t $ 的极值超图是 $ t $ 个不同基三元系 $ \mathcal{G}_1, \dots, \mathcal{G}_t $ 的平衡放大，这些基系具有不同的阴影大小，与通常假设的阴影行为一致性的观点相矛盾。
• 通过使用配置间边翻转序列的连续插值论证，论文表明可行区域在 $ t $ 个最大值之间包含区间，从而表明 $ M(\mathcal{M}_t) $ 是有限的，且恰好为 $ t $ 元素。