[论文解读] On Lagrangians of $3$-uniform hypergraphs

Hui Lei, Linyuan Lü+1 more|arXiv (Cornell University)|Jun 28, 2018

Limits and Structures in Graph Theory参考文献 17被引用 9

一句话总结

本文通过证明 Frankl 和 F"uredi 关于 3-一致超图最大拉格朗日量的猜想的弱化版本，解决了该问题：对于任意具有 $ m $ 条边的 3-一致超图，其拉格朗日量至多等于边数为 $ m + c m^{2/9} $ 的字典序最小超图的拉格朗日量，其中 $ c > 0 $ 为某一绝对常数。这表明该猜想在 $ m $ 接近 $ \binom{t}{3} $ 的范围内成立，改进了先前的界限，并在非平凡区间内证实了该猜想。

ABSTRACT

Frankl and Füredi conjectured in 1989 that the maximum Lagrangian of all $r$-uniform hypergraphs of fixed size $m$ is realized by the minimum hypergraph $C_{r,m}$ under the colexicographic order. In this paper, we prove a weaker version of the Frankl and Füredi's conjecture at $r=3$: there exists an absolute constant $c>0$ such that for any $3$-uniform hypergraph $H$ with $m$ edges, the Lagrangian of $H$ satisfies $λ(H)\leq λ(C_{3,m+cm^{2/9}})$. In particular, this result implies that the Frankl and Füredi's conjecture holds for $r=3$ and $m\in [{t-1\choose 3}, {t\choose 3}-(t-2)-ct^{\frac{2}{3}}]$. It improves a recent result of Tyomkyn.

研究动机与目标

• 证明 Frankl 和 F"uredi 猜想的弱化形式，即对于 $ r $-一致超图，具有 $ m $ 条边时最大拉格朗日量由字典序最小的超图 $ C_{r,m} $ 实现，特别针对 $ r = 3 $ 的情形。
• 改进此前对 $ \lambda_3(m) $（即所有具有 $ m $ 条边的 3-一致超图中拉格朗日量的最大值）的上界。
• 通过将拉格朗日量与 $ C_{m + c m^{2/9}} $ 关联，证明该猜想在区间 $ \left[\binom{t-1}{3}, \binom{t}{3} - (t-2) - c t^{2/3}\right] $ 内成立，其中 $ c > 0 $ 为某一绝对常数。
• 通过扩展先前结果（尤其是 Tyomkyn 的工作），进一步细化已知 Frankl-F"uredi 猜想成立的范围。

提出的方法

• 作者通过将极值 3-一致超图的拉格朗日量与字典序超图 $ C_m $ 的拉格朗日量进行比较，分析其结构，采用一种扰动论证方法，通过修改边集在特定条件下提升拉格朗日量。
• 他们定义了一个变换 $ G \to G' $，在满足拉格朗日量增加的条件下，将特定边 $ \{1,t-1,t\} $ 替换为非边 $ \{t-s-1,t-s,t\} $，若原超图为极值图则导致矛盾。
• 证明依赖于顶点权重 $ \vec{x} $ 的不等式，特别是利用权重最优性及补超图的结构，将 $ x_{t-1} $ 用 $ x_1 $、$ x_{t-s-1} $ 和 $ x_{t-s} $ 表示。
• 引入参数 $ \eta = \lceil 4t^{2/3}\rceil $ 以控制字典序后缀中非边的数量，并基于 $ s^2 + s < \eta $ 或否进行分类讨论，其中 $ s $ 由补超图的结构导出。
• 通过分类讨论建立关键不等式 $ w(G,\vec{x}) \leq w(G',\vec{x}) $，表明任何非字典序超图均可被改进，从而证明最大拉格朗日量必由略多边数的字典序超图实现。
• 最后，选择足够大的常数 $ c $，使得 $ c m^{2/9} > 4\lceil t^{2/3}\rceil $ 且 $ c m^{2/9} > \binom{t-1}{2} $，确保 $ C_{m + c m^{2/9}} $ 包含所有相关的极值构型。

实验结果

研究问题

• RQ1 Frankl-F"uredi 猜想对 $ r = 3 $ 是否成立，即具有 $ m $ 条边的 3-一致超图的最大拉格朗日量是否由字典序最小的超图 $ C_{3,m} $ 实现？
• RQ2 该猜想对 $ m $ 的适用范围能否超越先前结果，特别是在 $ \binom{t}{3} $ 附近？
• RQ3 对 $ \lambda_3(m) $ 的最优上界是什么？其与 $ C_{m + c m^{2/9}} $ 的拉格朗日量相比如何？
• RQ4 边数 $ m $ 与实现最大拉格朗日量的字典序超图的边数之间是否存在定量关系？
• RQ5 能否用边数仅略多的字典序超图的拉格朗日量，对任意 3-一致超图的拉格朗日量给出上界？

主要发现

• 存在绝对常数 $ c > 0 $，使得对任意 $ m > 0 $，最大拉格朗日量 $ \lambda_3(m) $ 满足 $ \lambda_3(m) \leq \lambda(C_{m + c m^{2/9}}) $，该上界强于先前结果。
• 当 $ m \in \left[\binom{t-1}{3}, \binom{t}{3} - (t-2) - c t^{2/3}\right] $ 时，Frankl-F"uredi 猜想成立，即 $ \lambda_3(m) = \frac{\binom{t-1}{3}}{(t-1)^3} $，在非平凡区间内确认了该猜想。
• 该结果改进了 Tyomkyn 的先前界限：后者需从 $ \binom{t}{3} $ 中减去 $ \delta_3 t^{3/4} $ 条边，而本研究将误差项减少至 $ c t^{2/3} $，实现显著改进。
• 基于边替换与权重比较的证明方法表明，任何非字典序超图均可被转化为拉格朗日量严格更大的超图，从而说明极值超图必为字典序形式。
• 作者证明了对所有 $ m $，有 $ \lambda_3(m) \leq \lambda(C_{m + c m^{2/9}}) $，且该界在 $ m $ 接近 $ \binom{t}{3} $ 时具有紧致性，即 $ C_{m + c m^{2/9}} $ 捕获了极值结构。
• 当 $ m = \binom{t}{3} - l $ 且 $ l < (t-2) + c t^{2/3} $ 时，有 $ \lambda_3(m) \leq \lambda(C_{m + c l^{2/3}}) $ 成立，表明其对距离完全 3-图距离的依赖关系更为精细。