[论文解读] Avoiding long Berge cycles

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

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

一句话总结

该论文建立了避免长度为 $k$ 或更长的 Berge 循环的 $r$-均匀超图的极值界限，证明了任何在 $n$ 个顶点上且边数超过 $\frac{n-1}{k-2}\binom{k-1}{r}$ 的此类超图必然包含这样的循环。当 $k-2$ 整除 $n-1$ 时，该界限是紧的，且等式成立当且仅当超图是连通的，且每个块均为完全 $r$-均匀超图 $K_{k-1}^{(r)}$。该结果将 Erd\'os--Gallai 型定理推广至超图，并为长 Berge 循环提供了精确的阈值。

ABSTRACT

Let $n\geq k\geq r+3$ and $\mathcal H$ be an $n$-vertex $r$-uniform hypergraph. We show that if $|\mathcal H|> \frac{n-1}{k-2}\binom{k-1}{r}$ then $\mathcal H$ contains a Berge cycle of length at least $k$. This bound is tight when $k-2$ divides $n-1$. We also show that the bound is attained only for connected $r$-uniform hypergraphs in which every block is the complete hypergraph $K^{(r)}_{k-1}$. We conjecture that our bound also holds in the case $k=r+2$, but the case of short cycles, $k\leq r+1$, is different.

研究动机与目标

• 确定在 $n$ 个顶点上且不包含长度为 $k$ 或更长的 Berge 循环的 $r$-均匀超图的最大边数。
• 建立类似于 Erd\'os--Gallai 定理的紧致极值界限，但将其推广至超图和 Berge 循环。
• 刻画在界限中取等的极值超图，表明其由每个连通分量均为完全 $r$-均匀超图 $K_{k-1}^{(r)}$ 的结构组成。
• 推测该界限对 $k = r+2$ 同样成立，但短循环情形（$k \leq r+1$）仍为开放问题。

提出的方法

• 引入代表对的概念，并利用其分析一般 $F$ 的 Berge-$F$-自由超图，从而对边集实现结构控制。
• 应用分解技术，通过迭代移除低度顶点，利用组合不等式保持边贡献的界限。
• 应用 Kopylov 定理并推导关键不等式（引理 5.2 和 5.3），以控制分解步骤中边集的增长。
• 证明：若界限中取等，则其 2-阴影连通，且每个块均为完全图 $K_{k-1}$，其对应超边构成每个块上的完全 $r$-均匀超图 $K_{k-1}^{(r)}$。
• 通过涉及 Berge 路和循环的反证法，表明任何对完全块结构的偏离都将强制产生长 Berge 循环。
• 利用推论 3.3 推导 Berge 路的界限，通过结构分解将无环超图与无路结构联系起来。

实验结果

研究问题

• RQ1 对于 $k \geq r+3$，在 $n$ 个顶点上且不包含长度为 $k$ 或更长的 Berge 循环的 $r$-均匀超图的最大边数是多少？
• RQ2 在什么条件下极值界限 $\frac{n-1}{k-2}\binom{k-1}{r}$ 取等？其极值超图的结构如何？
• RQ3 该极值界限能否推广至 $k = r+2$ 的情形？若不能，其结构差异为何？
• RQ4 Berge 路与 Berge 循环在超图中如何关联？对其中一者的界限能否推出对另一者的界限？
• RQ5 什么特征决定了在极值界限中取等的超图？为何它们必须由 $k-1$ 个顶点上的完全 $r$-均匀超图组成？

主要发现

• 在 $n$ 个顶点上且不包含长度为 $k$ 或更长的 Berge 循环的 $r$-均匀超图中，最大边数至多为 $\frac{n-1}{k-2}\binom{k-1}{r}$，且当 $k-2$ 整除 $n-1$ 时该界限是紧的。
• 当且仅当超图的 2-阴影连通，且其 2-阴影的每个块均为完全图 $K_{k-1}$，且对应超边构成每个块上的完全 $r$-均匀超图 $K_{k-1}^{(r)}$ 时，该界限取等。
• 达到等式的极值超图正是那些每个连通分量均为 $k-1$ 个顶点上的完全 $r$-均匀超图的超图。
• 该界限相比先前关于 Berge 路的结果提高了 $\frac{k-2}{k-r}$ 倍，为无 Berge 路长度为 $k$ 的连通 $r$-图提供了更强且更一般的界限。
• 该结果表明，任何边数超过 $\frac{n-1}{k-2}\binom{k-1}{r}$ 的 $r$-图必然包含长度至少为 $k$ 的 Berge 循环，从而确立了精确的阈值。
• 本文推测该界限对 $k = r+2$ 同样成立，但 $k \leq r+1$ 的情形在结构上有所不同，目前仍为未解问题。