[论文解读] Hypergraph Turán numbers of vertex disjoint cycles

Ran Gu, Xueliang Li+1 more|arXiv (Cornell University)|May 23, 2013

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

一句话总结

本文确定了避免指定长度的顶点不相交最小环或线性环族的 $k$-均匀超图的精确图兰数。通过极值超图理论与归纳法，作者为足够大的 $n$ 建立了此类超图中最大边数的精确公式，将先前关于单个环的结果推广至不相交环的并集，提供了显式构造与紧致界。

ABSTRACT

The Turán number of a $k$-uniform hypergraph $H$, denoted by $e{x_k}\left({n;H} ight)$, is the maximum number of edges in any $k$-uniform hypergraph $F$ on $n$ vertices which does not contain $H$ as a subgraph. Let $\mathcal{C}_{\ell}^{\left(k ight)}$ denote the family of all $k$-uniform minimal cycles of length $\ell$, $\mathcal{S}(\ell_1,\ldots,\ell_r)$ denote the family of hypergraphs consisting of unions of $r$ vertex disjoint minimal cycles of length $\ell_1,\ldots,\ell_r$, respectively, and $\mathbb{C}_{\ell}^{\left(k ight)}$ denote a $k$-uniform linear cycle of length $\ell$. We determine precisely $e{x_k}\left({n;\mathcal{S}(\ell_1,\ldots,\ell_r)} ight)$ and $e{x_k}\left({n;\mathbb{C}_{\ell_1}^{\left(k ight)}, \ldots, \mathbb{C}_{\ell_r}^{\left(k ight)}} ight)$ for sufficiently large $n$. The results extend recent results of Füredi and Jiang who determined the Turán numbers for single $k$-uniform minimal cycles and linear cycles.

研究动机与目标

• 将已知的关于单个 $k$-均匀最小环与线性环的图兰数推广至顶点不相交环族。
• 确定避免 $r$ 个顶点不相交最小环（长度分别为 $\ell_1,\ldots,\ell_r$）的 $k$-均匀超图的极值数 $ex_k(n; \mathcal{S}(\ell_1,\ldots,\ell_r))$。
• 为顶点不相交的 $k$-均匀线性环族建立 $ex_k(n; \mathbb{C}_{\ell_1}^{(k)},\ldots,\mathbb{C}_{\ell_r}^{(k)})$ 的表达式。
• 提供精确公式，并刻画实现最大边数而不包含禁止环族的极值超图。
• 通过归纳与结构论证，将 Füredi 和 Jiang 关于单个环的先前结果推广至不相交环的并集。

提出的方法

• 运用极值超图理论分析避免指定环族的 $k$-均匀超图中的最大边数。
• 对环的数量 $r$ 使用归纳法，其中基础情形 $r=1$ 依赖于 Füredi 和 Jiang 关于单个环的已知结果。
• 通过固定一个 $t$-集合 $S$ 构造极值超图，包含所有与 $S$ 相交的 $k$-边，并在必要时在补集中添加额外边。
• 应用结构分解：在超图中识别一个 $k$-均匀线性环 $\mathbb{C}_{\ell_1}^{(k)}$，然后在剩余顶点上应用归纳法。
• 利用终端集与 $(k-1)$-边的概念递归嵌入环，确保不相交性并避免出现禁止子图。
• 利用伯杰路径与线性路径的图兰数界，推导渐近边数并验证极值性。

实验结果

研究问题

• RQ1 对于避免 $r$ 个顶点不相交最小环（长度分别为 $\ell_1,\ldots,\ell_r$）的 $k$-均匀超图，其精确图兰数 $ex_k(n; \mathcal{S}(\ell_1,\ldots,\ell_r))$ 是什么？
• RQ2 对于 $r$ 个顶点不相交的 $k$-均匀线性环的并集，图兰数 $ex_k(n; \mathbb{C}_{\ell_1}^{(k)},\ldots,\mathbb{C}_{\ell_r}^{(k)})$ 的行为如何？
• RQ3 能否显式刻画实现图兰数的极值超图？
• RQ4 当环长度为偶数或奇数时，多个不相交环的图兰数与单个环的图兰数有何不同？
• RQ5 何种结构性质可保证：若一个超图的边数超过图兰数，则必然包含至少一个禁止环？

主要发现

• 对于足够大的 $n$，有 $ex_k(n; \mathcal{S}(\ell_1,\ldots,\ell_r)) = \binom{n}{k} - \binom{n-t}{k} + J$，其中 $t = \sum_{i=1}^r \lfloor \ell_i / 2 \rfloor$，且当所有 $\ell_i$ 为偶数时 $J=1$，否则 $J=0$。
• 对于 $\mathcal{S}(\ell_1,\ldots,\ell_r)$ 的极值超图由所有与固定 $t$-集合 $S$ 相交的 $k$-边组成，若所有 $\ell_i$ 为偶数，则额外包含一条在 $S$ 外的 $k$-边。
• 对于 $ex_k(n; \mathbb{C}_{\ell_1}^{(k)},\ldots,\mathbb{C}_{\ell_r}^{(k)})$，当所有 $\ell_i$ 为偶数时，其精确值为 $\binom{n}{k} - \binom{n-t}{k} + \binom{n-t-2}{k-2}$，否则为 $\binom{n}{k} - \binom{n-t}{k}$。
• 对于 $\mathbb{C}_{\ell_1}^{(k)},\ldots,\mathbb{C}_{\ell_r}^{(k)}$ 的极值构造包含所有与固定 $t$-集合 $S$ 相交的 $k$-边，以及所有在 $[n]\setminus S$ 中包含两个固定元素的 $k$-边（当所有 $\ell_i$ 为偶数时）。
• 结果表明，极值超图在同构意义下唯一，且在不包含任何禁止环族的前提下实现了最大边数。
• 本文证明，顶点不相交环并集的图兰数渐近紧致，且当 $r=1$ 时与已知的单个环结果一致，从而将结果推广至多个环。