[論文レビュー] Cycles of given lengths in hypergraphs

Tao Jiang, Jie Ma|arXiv (Cornell University)|Sep 26, 2016

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

ひとこと要約

本稿は、超グラフにおけるサイクル長の研究のための新しい組合せ的補題を導入し、平均次数 $\Omega(k^{r-1})$ を持つ任意の $r$-一様超グラフが $k$ 個の連続する長さのベルジサイクルを含むことを確立した。これはヴェルストラの予想を確認するものである。この手法により、ベルジサイクルのツーラン数についてのタイトな境界が得られ、偶数サイクルのザランキエヴィツ数についても改善がなされた。

ABSTRACT

In this paper, we develop a method for studying cycle lengths in hypergraphs. Our method is built on earlier ones used in [21,22,18]. However, instead of utilizing the well-known lemma of Bondy and Simonovits [4] that most existing methods do, we develop a new and very simple lemma in its place. One useful feature of the new lemma is its adaptiveness for the hypergraph setting. Using this new method, we prove a conjecture of Verstraëte [37] that for $r\ge 3$, every $r$-uniform hypergraph with average degree $Ω(k^{r-1})$ contains Berge cycles of $k$ consecutive lengths. This is sharp up to the constant factor. As a key step and a result of independent interest, we prove that every $r$-uniform linear hypergraph with average degree at least $7r(k+1)$ contains Berge cycles of $k$ consecutive lengths. In both of these results, we have additional control on the lengths of the cycles, which therefore also gives us bounds on the Turán numbers of Berge cycles (for even and odd cycles simultaneously). In relation to our main results, we obtain further improvements on the Turán numbers of Berge cycles and the Zarankiewicz numbers of even cycles. We will also discuss some potential further applications of our method.

研究の動機と目的

• $r$-一様超グラフにおける $k$ 個の連続するベルジサイクル長の存在に関するヴェルストラの予想を解決すること。
• 古典的なボンディ＝シモノビーツの補題に代わる、新しい適応可能な補題を、超グラフのサイクル問題に特化して開発すること。
• ベルジサイクルのツーラン数についてのタイトな境界を確立し、偶数サイクルのザランキエヴィツ数を改善すること。
• 結果を線形超グラフに拡張し、線形サイクルやレインボー・ツーラン問題への応用を検討すること。

提案手法

• サイクル長の極値問題においてボンディ＝シモノビーツの補題に代わる、新しい単純で超グラフに適応可能な補題を導入すること。
• 新しい補題を用いて、平均次数が $7r(k+1)$ 以上の $r$-一様線形超グラフが $k$ 個の連続するベルジサイクル長を含むことを証明すること。
• この手法を用いて、ベルジサイクルの $k$ 個の連続する長さに対するツーラン数 $\mathrm{ex}_r(n,\{C_\ell^{\text{Berge}}\}_{\ell=k}^{k+\ell-1})$ についてのタイトな境界を導出すること。
• この手法を用いて、偶数サイクルのザランキエヴィツ数についての既知の上界を改善すること。
• 線形超グラフにこの手法を適応し、平均次数 $\Omega(k)$ で十分に $k$ 個の連続する線形サイクルが保証されることを示すこと。
• 帰納法と辺削除の議論を用いて、$k$-サイクルを含まない部分超グラフに含まれるハイパーエッジの数の上限を評価すること。

実験結果

リサーチクエスチョン

• RQ1 平均次数がどの程度の $r$-一様超グラフであれば、$k$ 個の連続するベルジサイクル長を保証できるか？
• RQ2 ボンディ＝シモノビーツの補題よりも超グラフ設定に適応性の高い新しい組合せ的補題を構築できるか？
• RQ3 $k$ 個の連続する長さのベルジサイクルに対するツーラン数のタイトな境界は何か？
• RQ4 この手法を線形超グラフにおける線形サイクルに拡張できるか？
• RQ5 この手法は偶数サイクルのレインボー・ツーラン問題に貢献できるか？

主な発見

• 本稿はヴェルストラの予想を確認した：平均次数が $\Omega(k^{r-1})$ の任意の $r$-一様超グラフは、$k$ 個の連続する長さのベルジサイクルを含む。
• 線形 $r$-一様超グラフでは、平均次数が $7r(k+1)$ 以上であれば、$k$ 個の連続するベルジサイクル長が保証される。
• この手法により、$k$ 個の連続する長さのベルジサイクルに対するツーラン数についてのタイトな境界が得られ、既知の結果が改善された。
• 偶数サイクルのザランキエヴィツ数の係数について、既存の値よりも改善された上界が得られた。
• この手法は線形サイクルに拡張可能であり、線形 $r$-グラフで平均次数 $\Omega(k)$ であれば、$k$ 個の連続する線形サイクルが保証されることを示した。
• 結果として、$k$ 個の連続するベルジサイクルを含むために必要な最小平均次数 $f_r(k)$ は $\Theta(k^{r-1})$ であることが示され、予想された下界と一致する。