[論文レビュー] 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$を用いて極値的超グラフを構成し、必要に応じて補集合に追加のエッジを含める。
• 構造的分解を適用：超グラフ内に$k$-一様線形サイクル$\mathbb{C}_{\ell_1}^{(k)}$を特定し、残りの頂点に対して帰納法を適用する。
• 端点集合および$(k-1)$-エッジの概念を用いて、再帰的にサイクルを埋め込み、互いに素であることと禁止された部分グラフを避けることを保証する。
• Bergeパスおよび線形パスのターラン数に関する境界を活用し、漸近的エッジ数を導出し、極値性を検証する。

実験結果

リサーチクエスチョン

• RQ1 頂点に互いに素な最小サイクル$r$個の長さ$\ell_1,\ldots,\ell_r$の族を避ける$k$-一様超グラフの正確なターラン数$ex_k(n; \mathcal{S}(\ell_1,\ldots,\ell_r))$は何か？
• RQ2 頂点に互いに素な$k$-一様線形サイクル$r$個の和を避けるターラン数$ex_k(n; \mathbb{C}_{\ell_1}^{(k)},\ldots,\mathbb{C}_{\ell_r}^{(k)})$はどのように振る舞うか？
• RQ3 このようなサイクル族を達成する極値的超グラフは明示的に特徴付けられるか？
• RQ4 特にサイクル長が偶数または奇数の場合に、複数の互いに素なサイクルに対するターラン数と単一サイクルに対するものとの違いは何か？
• RQ5 エッジ数がターラン数を超える超グラフが、少なくとも1つの禁止サイクルを含むことを保証する構造的性質は何か？

主な発見

• 十分に大きな$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$の外側に1つの追加$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$-エッジに加え、すべての$\ell_i$が偶数の場合は$[n]\setminus S$内の2つの固定要素を含むすべての$k$-エッジが含まれる。
• 結果は、極値的超グラフが同型を除いて一意であり、禁止されたサイクル族を一切含まない最大エッジ数を達成することを確認する。
• 本稿は、頂点に互いに素なサイクルの和に対するターラン数が漸近的にタイトであり、$r=1$のとき既知の単一サイクルの結果と一致することを確立し、複数のサイクルへと拡張する。