[论文解读] Avoiding long Berge cycles II, exact bounds for all $n$

Zoltán Füredi, Alexandr Kostochka+1 more|arXiv (Cornell University)|Jul 16, 2018

Limits and Structures in Graph Theory参考文献 5被引用 15

一句话总结

本文确定了在所有 $ n $ 下，当 $ k \geq r+4 $ 时，$ r $-均匀超图在避免长度为 $ k $ 或更长的 Berge 圈时，边数的最大精确值。结果表明，极值超图由若干个 $ k-1 $ 个顶点上的完全 $ r $-图与一个 $ m $ 个顶点上的较小完全 $ r $-图粘合而成，其中 $ m = n \mod (k-2) $，并通过结构和影射分析证明该构造为最优。

ABSTRACT

Let $EG_r(n,k)$ denote the maximum number of edges in an $n$-vertex $r$-uniform hypergraph with no Berge cycles of length $k$ or longer. In the first part of this work, we have found exact values of $EG_r(n,k)$ and described the structure of extremal hypergraphs for the case when $k-2$ divides $n-1$ and $k\geq r+3$. In this paper we determine $EG_r(n,k)$ and describe the extremal hypergraphs for all $n$ when $k\geq r+4$.

研究动机与目标

• 确定 $ \mathrm{EG}_r(n,k) $ 的精确值，即在 $ n $ 个顶点的 $ r $-均匀超图中，不包含长度为 $ k $ 或更长的 Berge 圈时的最大边数，适用于所有 $ n $。
• 刻画实现该最大边数的极值超图的结构。
• 将 [5] 中的结果（仅在 $ k-2 $ 整除 $ n-1 $ 时成立）推广至所有 $ n $ 的情形。
• 证明在 $ k \geq r+4 $ 条件下，极值超图由若干个 $ k-1 $ 个顶点上的完全 $ r $-图和一个 $ m $ 个顶点上的完全 $ r $-图构成，其中 $ m = n \mod (k-2) $。
• 证明此类构造中不包含长度为 $ k $ 或更长的 Berge 圈，并通过影射和交集结构分析证明其最优性。

提出的方法

• 利用超图的 2-影射 $ \partial_2{\mathcal{H}} $ 分析圈的包含关系，因为 Berge 圈被限制在 2-影射的单个块内。
• 应用图论中的 Erdős–Gallai 定理作为基础，通过 Berge 圈的类比将图的极值界限推广至超图。
• 通过将完全 $ r $-图 $ K_{k-1}^{(r)} $ 和一个 $ K_m^{(r)} $（其中 $ m = n \mod (k-2) $）粘合，构造极值超图，确保不出现长 Berge 圈。
• 运用 Sperner 性质及超边的交集约束来排除 Berge 圈，特别是通过 $ \varphi(f) $（将超边投影到影射中的顶点集）实现。
• 通过反证法检测 Berge 圈：若投影结构 $ \varphi({\mathcal{D}}) $ 中存在 Berge 圈，则原超图将包含长 Berge 圈，违反极值假设。
• 通过分析超边 $ f $ 的 $ \varphi(f) $ 大小进行分类讨论，区分 $ |\varphi(f)| = r $ 与 $ |\varphi(f)| < r $ 的情形，并利用投影索引上的树状结构来强制实现最大性。

实验结果

研究问题

• RQ1 当 $ k \geq r+4 $ 时，对所有 $ n $，$ r $-均匀超图在不包含长度为 $ k $ 或更长的 Berge 圈时，其最大边数的精确值是多少？
• RQ2 当 $ k \geq r+4 $ 且 $ n $ 为任意值时，极值超图具有何种结构特性？
• RQ3 能否将 [5] 中仅在 $ k-2 $ 整除 $ n-1 $ 时有效的极值构造推广至所有 $ n $？
• RQ4 2-影射和投影映射 $ \varphi(f) $ 如何有助于刻画无 Berge 圈的超图？
• RQ5 在给定约束下，极值超图结构是否在同构意义下唯一？

主要发现

• 当 $ k \geq r+4 $ 时，$ n $ 个顶点的 $ r $-均匀超图中，若不包含长度为 $ k $ 或更长的 Berge 圈，则其最大边数精确为 $ \left\lfloor\frac{n-1}{k-2}\right\rfloor\binom{k-1}{r} + \begin{cases} m-1 & \text{若 } 1 \leq m \leq r \\ \binom{m}{r} & \text{若 } r+1 \leq m \leq k-2 \end{cases} $，其中 $ m = n \mod (k-2) $。
• 极值超图由 $ \left\lfloor\frac{n-1}{k-2}\right\rfloor $ 个 $ K_{k-1}^{(r)} $ 完全 $ r $-图和一个额外的 $ K_m^{(r)} $（在 $ m $ 个顶点上）构成，其中 $ m = n - (k-2)\left\lfloor\frac{n-1}{k-2}\right\rfloor $。
• 当 $ m \leq r $ 时，最终块中的极值超图仅有 $ m-1 $ 条边，而非 $ \binom{m}{r} $，这是由于 Sperner 性质和 Berge 圈约束所致。
• 极值超图在同构意义下唯一，且仅当其 2-影射为若干个 $ K_{k-1} $ 与一个 $ K_m $ 的不相交并集，且超边被限制在这些团内时，才能达到最大边数。
• 证明的关键在于：任何边数更多的超图都必然包含长度为 $ k $ 或更长的 Berge 圈，通过分析投影结构 $ \varphi({\mathcal{D}}) $ 并利用投影图中无 Berge 圈的性质来约束原超图。
• 该构造为最优，且与 [5] 中定理 3.1 的上界一致，通过针对 $ m $ 的情形分析以及在投影索引上使用树状结构来强制实现最大性，从而将结果推广至所有 $ n $。