[論文レビュー] 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$ 以上のBergerサイクルを避ける $r$-一様超グラフに対する極値的境界を確立する。任意の such 超グラフが $n$ 頂点を持ち、$\frac{n-1}{k-2}\binom{k-1}{r}$ 本の辺を超えるならば、その中にこのようなサイクルが存在する。この境界は $k-2$ が $n-1$ を割り切るときタイトであり、等号成立は、各ブロックが完全 $r$-一様超グラフ $K_{k-1}^{(r)}$ である連結な超グラフに限る。この結果は、グラフに対するErd\'os--Gallai型定理を超グラフへと拡張し、長大なBergerサイクルに対する鋭い閾値を提供する。

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.

研究の動機と目的

• 長さ $k$ 以上のBergerサイクルを含まない $n$ 頂点の $r$-一様超グラフにおける辺数の最大値を特定すること。
• グラフに対するErd\'os--Gallai定理に類似したタイトな極値的境界を、超グラフおよびBergerサイクルへと拡張すること。
• 境界に等号が成立する極値的超グラフの構造を同定し、それらが各連結成分が完全 $r$-一様超グラフ $K_{k-1}^{(r)}$ であることを示すこと。
• 境界が $k = r+2$ の場合にも成り立つと予想するが、短いサイクル（$k \leq r+1$）の場合は未解決のままである。

提案手法

• 代表的ペアの概念を導入し、一般の $F$ に対してBerger-$F$-フリーな超グラフを分析することで、辺集合の構造的制御を可能にする。
• 低次数頂点を繰り返し除去する分解技術を適用し、組合せ的不等式により辺寄与量の境界を維持する。
• Kopylovの定理を適用し、分解段階における辺集合の成長を制御するための重要な不等式（補題5.2および5.3）を導出する。
• 境界における等号成立が、2シャドウが連結であり、各ブロックが完全グラフ $K_{k-1}$ であることを示し、対応する超辺が各ブロック上で完全 $r$-一様超グラフ $K_{k-1}^{(r)}$ を形成することを証明する。
• Bergerパスおよびサイクルを用いた背理法を用いて、完全ブロックからの任意の逸脱が長大なBergerサイクルを強制することを示す。
• 補題3.3を活用し、Bergerパスに関する境界を導出し、構造的分解を介してサイクルフリーな超グラフとパスフリーな構造との関連を確立する。

実験結果

リサーチクエスチョン

• RQ1 長さ $k$ 以上のBergerサイクルを含まない $n$ 頂点の $r$-一様超グラフにおける辺数の最大値は何か、ただし $k \geq r+3$ とする。
• RQ2 極値的境界 $\frac{n-1}{k-2}\binom{k-1}{r}$ がどのような条件下で達成され、極値的超グラフの構造は何か。
• RQ3 $k = r+2$ の場合に極値的境界を拡張できるか。もしできないならば、どのような構造的差異が生じるか。
• RQ4 超グラフにおけるBergerパスとBergerサイクルの関係は何か。一方の境界が他方の境界を示唆できるか。
• RQ5 極値的境界に等号が成立する超グラフはどのように特徴づけられるか。なぜそれらは $k-1$ 頂点上の完全 $r$-一様超グラフから構成される必要があるのか。

主な発見

• 長さ $k$ 以上のBergerサイクルを含まない $n$ 頂点の $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$-一様超グラフであるものに限る。
• この境界は、$\frac{k-2}{k-r}$ の要因により、先行研究のBergerパスに関する結果を上回り、連結な $r$-グラフにおいて長さ $k$ のBergerパスを含まない場合のより強力で一般性の高い境界を提供する。
• この結果により、$\frac{n-1}{k-2}\binom{k-1}{r}$ を超える辺数を持つ任意の $r$-グラフは、長さが少なくとも $k$ のBergerサイクルを含むことが保証され、鋭い閾値が確立される。
• 本稿は、$k = r+2$ の場合にも境界が成り立つと予想するが、$k \leq r+1$ の場合は構造的に異なるため未解決のままである。