[论文解读] On a conjecture of Hefetz and Keevash on Lagrangians of intersecting hypergraphs and Turán numbers

Biao Wu, Yuejian Peng+1 more|arXiv (Cornell University)|Jan 22, 2017

Limits and Structures in Graph Theory参考文献 11被引用 6

一句话总结

该论文证实了 Hefetz 和 Keevash 对 r=4 的猜想，证明 $M_2^4$ 的扩展的图兰数为 $\frac{1}{4}n\binom{\frac{3}{4}n}{3}$，且唯一极值超图是 $S^4(n)$，即部分大小尽可能相等的完全 4-部 4-均匀超图。证明使用了稳定性方法、边-顶点度分析以及禁止子图论证，表明任何 $H_{2r}^{M_2^r}$-自由的 4-均匀超图，若边数最大，则必同构于 $S^4(n)$。

ABSTRACT

Let $S^r(n)$ be the $r$-graph on $n$ vertices with parts $A$ and $B$, where the edges consist of all $r$-tuples with $1$ vertex in $A$ and $r-1$ vertices in $B$, and the sizes of $A$ and $B$ are chosen to maximise the number of edges. Let $M_t^r$ be the $r$-graph with $t$ pairwise disjoint edges. Given an $r$-graph $F$ and a positive integer $p\geq |V(F)|$, we define the {\em extension} of $F$, denoted by $H_{p}^{F}$ as follows: Label the vertices of $F$ as $v_1,\dots,v_{|V(F)|}$. Add new vertices $v_{|V(F)|+1},\dots,v_{p}$. For each pair of vertices $v_i,v_j, 1\le i

研究动机与目标

• 验证 Hefetz 和 Keevash 关于 $r=4$ 时 $M_2^r$ 扩展的图兰数的猜想。
• 刻画在不包含 $H_{2r}^{M_2^r}$ 作为子图的前提下，达到最大边数的极值超图。
• 证明对于 $n$ 个顶点的 $H_{8}^{M_2^4}$-自由 4-均匀超图，当其边数为 $\frac{1}{4}n\binom{\frac{3}{4}n}{3}$ 时，唯一可能是 $S^4(n)$。
• 将稳定性与基于度数的分析方法扩展至具有匹配与相交结构的 $r=4$ 超图。

提出的方法

• 将问题约化为左压缩且稠密的超图，以简化结构分析。
• 使用基于度数的计数论证，以限制与高共度对顶点相连的边数。
• 应用 $K_{4,4}^4$-自由条件，当边分布偏离 $S^4(n)$ 时导出矛盾。
• 构造匹配与不相交三元组，以利用禁止子图结构，推导边密度约束。
• 采用加权与基于拉格朗日的方法，估算 $F$-自由超图中的最大边数。
• 通过计数超图补图中的边，采用反证法，表明任何偏离 $S^4(n)$ 结构的情况都会导致出现禁止子图。

实验结果

研究问题

• RQ1 对于 $n$ 个顶点的 4-均匀超图，扩展图 $H_{8}^{M_2^4}$ 的图兰数是多少？
• RQ2 对于足够大的 $n$，$S^4(n)$ 是否是唯一达到最大边数的 $H_{8}^{M_2^4}$-自由 4-均匀超图？
• RQ3 Hefetz 和 Keevash 关于拉格朗日数与图兰数的猜想是否可在 $r=4$ 时得到证实？
• RQ4 一个 $H_{8}^{M_2^4}$-自由的 4-均匀超图需具备何种结构特性，才能实现最大边数？

主要发现

• 对于足够大的 $n$，图兰数 $ex(n, H_8^{M_2^4})$ 精确等于 $\frac{1}{4}n\binom{\frac{3}{4}n}{3}$。
• 任何边数为 $\frac{1}{4}n\binom{\frac{3}{4}n}{3}$ 的 $H_8^{M_2^4}$-自由 4-均匀超图，其结构必同构于 $S^4(n)$。
• 证明表明，在极值超图中，所有边都必须是良边，即满足与 $S^4(n)$ 一致的严格度数与共度条件。
• 该方法表明，任何偏离 $S^4(n)$ 结构的情况都会导致出现 $K_{4,4}^4$ 子图，与 $H_8^{M_2^4}$-自由性矛盾。
• 极值超图中的边分布被证明在 $W_1 \times \binom{W_2}{3}$ 结构中达到最大密度，其中 $|W_1| = \lfloor n/4 \rfloor$ 或 $\lceil n/4 \rceil$。
• 该结果证实了 $r=4$ 时的猜想，完整刻画了该特定扩展的极值超图结构。