[论文解读] On $r$-uniform hypergraphs with circumference less than $r$

Alexandr Kostochka, Ruth Luo|arXiv (Cornell University)|Jul 12, 2018

Limits and Structures in Graph Theory参考文献 8被引用 19

一句话总结

该论文为满足 $k \geq 4$ 且 $n > r \geq k+1$ 的 $r$-均匀超图建立了无长度为 $k$ 或更长的 Berge 环的边数的精确上界 $\frac{(k-1)(n-1)}{r}$。作者通过双分图中围长和度数约束的新型方法，利用关联图和块结构将结果回传至超图，从而改进了超图理论中先前的极值界。

ABSTRACT

We show that for each $k\geq 4$ and $n>r\geq k+1$, every $n$-vertex $r$-uniform hypergraph with no Berge cycle of length at least $k$ has at most $\frac{(k-1)(n-1)}{r}$ edges. The bound is exact, and we describe the extremal hypergraphs. This implies and slightly refines the theorem of Győri, Katona and Lemons that for $n>r\geq k\geq 3$, every $n$-vertex $r$-uniform hypergraph with no Berge path of length $k$ has at most $\frac{(k-1)n}{r+1}$ edges. To obtain the bounds, we study bipartite graphs with no cycles of length at least $2k$, and then translate the results into the language of multi-hypergraphs.

研究动机与目标

• 确定当 $k \geq 4$ 且 $r \geq k+1$ 时，$n$ 个顶点的 $r$-均匀超图中无长度为 $k$ 或更长的 Berge 环的边数最大值。
• 改进并拓展 Győri、Katona 和 Lemons 等人关于 $r$-均匀超图中 Berge 路径与环的先前极值结果。
• 提供一个紧确的上界，并刻画达到该上界的极值超图。
• 提出一种基于分析围长有界且一个部分最小度为 $r$ 的双分图的新方法，将结构约束转化为超图设定下的结果。

提出的方法

• 通过其关联双分图 $G(\mathcal{H})$ 建模超图，其中顶点部分为 $V$（顶点）和 $E$（边），且 $V$ 中每个顶点的度数至少为 $r$。
• 分析无长度 $2k$ 或更长环的双分图 $G$，重点关注度数约束以及缺陷 $D(G,X)$ 和特殊块数 $Q(G,X)$。
• 引入 $2k$-饱和图的概念，并利用 $|X^*|$ 关于 $n$、$D(G,X^*)$ 和 $Q(G,X^*)$ 的极值界推导边数界。
• 证明极值超图由 $(r+1,k-1)$-块组成——即具有 $r+1$ 个顶点和 $k-1$ 条边的超图块——并以树状结构连接。
• 通过变换将结果推广至低秩 $r$ 且边重数有界的超图，确保上界仍为紧确。
• 应用关联图方法证明：当且仅当超图由不相交或连通的 $(r+1,k-1)$-块树构成时，上界取等。

实验结果

研究问题

• RQ1 当 $k \geq 4$ 且 $r \geq k+1$ 时，$n$ 个顶点的 $r$-均匀超图中无长度为 $k$ 或更长的 Berge 环的边数最大值是多少？
• RQ2 当边数达到上界时，此类超图的极值结构如何刻画？
• RQ3 在 $k \leq r$ 的情形下，Berge 环的 Turán 型界能否超越先前的渐近或近似结果？
• RQ4 关联图的结构特性——特别是围长有界和最小度——如何蕴含极值边数？
• RQ5 双分图中缺陷与特殊块数如何转化为超图边数的紧确界？

主要发现

• 当 $k \geq 4$ 且 $n > r \geq k+1$ 时，$n$ 个顶点的 $r$-均匀超图中无长度为 $k$ 或更长的 Berge 环的边数最大值为 $\frac{(k-1)(n-1)}{r}$，且该值精确。
• 达到该上界的极值超图恰好是 $(r+1,k-1)$-块树，其中每个超图块包含 $r+1$ 个顶点和 $k-1$ 条边，且所有割点均属于顶点集。
• 该上界是紧确的，且当且仅当关联图为 $2k$-饱和图，且所有块同构于 $K_{k-1,r+1}$ 且割点位于边集中时取等。
• 该结果通过提供精确界而非渐近或近似界，改进并强化了 Győri、Katona 和 Lemons 的先前定理。
• 该证明提出了一种基于围长有界且一个部分最小度为 $r$ 的双分图的新方法，为极值超图理论提供了新颖的替代途径。
• 作者建立了双分图中 $|X^*|$ 的一般不等式，条件为 $c(G) < 2k$，涉及缺陷与特殊块数，该不等式蕴含了主要的超图结果。