[论文解读] Hypergraphs with infinitely many extremal constructions

Jianfeng Hou, Heng Li+3 more|arXiv (Cornell University)|Jun 8, 2022

Limits and Structures in Graph Theory被引用 7

一句话总结

本文通过一种新颖的基于多重线性多项式的膨胀操作——“交叉膨胀”（crossed blowup），构建了首个具有无穷多个彼此在编辑距离上相距甚远的极值构造的超图图论问题。关键结果是一个三元超图，其图论密度为 $2/9$，并拥有无穷多个非同构的极值图，从而解决了超图图论中关于可行区域与稳定性长期存在的疑问。

ABSTRACT

We give the first exact and stability results for a hypergraph Turán problem with infinitely many extremal constructions that are far from each other in edit-distance. This includes an example of triple systems with Turán density $2/9$, thus answering some questions posed by the third and fourth authors and Reiher about the feasible region of hypergraphs. Our results also provide extremal constructions whose shadow density is a transcendental number. Our novel approach is to construct certain multilinear polynomials that attain their maximum (in the standard simplex) on a line segment and then to use these polynomials to define an operation on hypergraphs that gives extremal constructions.

研究动机与目标

• 解决超图图论中可行区域结构的开放问题，特别是单个族是否可存在无穷多个极值构造。
• 构造一个图论密度为 $2/9$ 且拥有无穷多个非同构极值构造的超图族，证明此类极值族可在编辑距离上相距甚远。
• 表明极值构造的阴影密度可以是超越数，扩展了关于可行区域与稳定性的已知结果。
• 开发一种新方法——“交叉膨胀”——基于在单纯形上线段上取最大值的多重线性多项式，实现对极值超图的受控构造。
• 为具有无穷多个极值构造的超图图论问题提供首个精确且稳定的结论，挑战了超图理论中经典的稳定性范式。

提出的方法

• 在标准单纯形上定义一个多重线性多项式 $f$，使其最大值出现在一条线段上，从而通过膨胀操作构造极值超图。
• 引入“交叉膨胀”操作：将一个三元超图中的一对顶点替换为一个 $k$-维超立方体的顶点，通过受控的边替换保持极值性。
• 利用 $k$-交叉膨胀生成一族 $\mathcal{F}$-自由的三元超图，其边数为 $\mathrm{ex}(n,\mathcal{F})$，其中 $\mathcal{F}$ 是一个有限的三元系族。
• 通过扰动论证证明稳定性：任何接近极值密度的超图，必在编辑距离上接近所构造的极值族之一。
• 利用拉格朗日方法与阴影密度分析，界定可行区域，并证明最大值在正 Hausdorff 维数的集合上取得。
• 通过完全 $r$-图的广义膨胀或在基础构造中增加 $r-3$ 个新顶点，将构造推广至 $r \geq 4$ 的超图。

实验结果

研究问题

• RQ1 一个超图图论问题是否可以存在无穷多个在编辑距离上彼此相距甚远的非同构极值构造？
• RQ2 能否构造一个三均匀超图族，使其图论密度为 $2/9$ 且拥有无穷多个极值构造，从而回答关于可行区域的问题？
• RQ3 超图图论中极值构造的阴影密度是否可以是超越数？
• RQ4 是否存在一个有限的三元图族，其可行区域函数的最大值在 Cantor 型集合上取得？
• RQ5 能否利用在单纯形上线段上取最大值的多重线性多项式，生成具有受控稳定性质的极值超图？

主要发现

• 本文构造了一个有限的三元超图族 $\mathcal{F}$，其图论密度 $\pi(\mathcal{F}) = 2/9$，实现了首个具有无穷多个极值构造的超图图论问题的精确结果。
• 极值构造在编辑距离上两两相距甚远，$n$ 个顶点上非同构的 $\mathcal{F}$-自由三元超图的数量至少为 $\Omega(n^2)$，且稳定性数 $\xi(\mathcal{F}) = \infty$。
• 证明了极值构造的阴影密度为超越数，表明此类密度不限于代数数。
• 所构造族 $\mathcal{F}$ 的可行区域在正 Hausdorff 维数的集合上取得最大值，且最大值不在有限个点上实现。
• $k$-交叉膨胀方法可推广至 $r \geq 4$ 的超图，保持极值性，并在更高一致度下实现类似结果。
• 当 $t=1$ 时，$n$ 个顶点上最大 $\mathcal{F}_1$-自由三元超图的数量为 $\Theta(n^2)$，优于以往的界，表明即使在稳定情形下，极值族也可高度非唯一。