[論文レビュー] Avoiding long Berge cycles II, exact bounds for all $n$

Zoltán Füredi, Alexandr Kostochka+1 more|arXiv (Cornell University)|Jul 16, 2018

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

ひとこと要約

本稿では、すべての $n$ に対して $k \geq r+4$ のとき、$n$ 頂点の $r$-uniformハイパーグラフで長さ $k$ 以上のBergerサイクルを避ける最大辺数を正確に特定する。極値ハイパーグラフは、$k-1$ 頂点上の完全 $r$-グラフと、$m = n \mod (k-2)$ であるより小さい完全 $r$-グラフを貼り合わせることで構成され、構造的およびシャドウに基づく議論により、この構成が最適であることが証明される。

ABSTRACT

Let $EG_r(n,k)$ denote the maximum number of edges in an $n$-vertex $r$-uniform hypergraph with no Berge cycles of length $k$ or longer. In the first part of this work, we have found exact values of $EG_r(n,k)$ and described the structure of extremal hypergraphs for the case when $k-2$ divides $n-1$ and $k\geq r+3$. In this paper we determine $EG_r(n,k)$ and describe the extremal hypergraphs for all $n$ when $k\geq r+4$.

研究の動機と目的

• すべての $n$ に対して、$r$-uniformハイパーグラフで長さ $k$ 以上のBergerサイクルを含まない場合の辺数の最大値 $\mathrm{EG}_r(n,k)$ を正確に特定すること。
• この最大辺数を達成する極値ハイパーグラフの構造を特徴づけること。
• [5] の先行研究（$k-2$ が $n-1$ を割り切る場合にのみ成立）を、すべての $n$ に拡張すること。
• $k \geq r+4$ の条件下で、極値ハイパーグラフが $k-1$ 頂点上の完全 $r$-グラフ $K_{k-1}^{(r)}$ と $m = n \mod (k-2)$ の $m$ 頂点上の完全 $r$-グラフの貼り合わせで構成されることを証明すること。
• このような構成に長さ $k$ 以上のBergerサイクルが存在しないこと、およびシャドウと積集合構造の分析により最適性が保証されることを確立すること。

提案手法

• Bergerサイクルが単一のシャドウブロック内に閉じ込められるため、ハイパーグラフの2次シャドウ $\partial_2{\mathcal{H}}$ を用いてサイクルの包含関係を分析する。
• グラフにおけるErdős–Gallai定理を基盤とし、Bergerサイクルの類似概念を用いて、その極値境界をハイパーグラフに拡張する。
• 完全 $r$-グラフ $K_{k-1}^{(r)}$ と $K_m^{(r)}$（$m = n \mod (k-2)$）を貼り合わせることで極値ハイパーグラフを構成し、長大なBergerサイクルを避ける。
• ハイパーエッジ上のSperner性と交差制約を用い、特に $\varphi(f)$（ハイパーエッジをシャドウ内の頂点集合に射影する写像）を用いてBergerサイクルを除外する。
• 矛盾による証明：もし射影構造 $\varphi({\mathcal{D}})$ にBergerサイクルが存在するならば、元のハイパーグラフにも長大なBergerサイクルが存在し、極値性仮定に反する。
• ハイパーエッジ $f$ の $\varphi(f)$ のサイズに基づく場合分けによる証明：$|\varphi(f)| = r$ と $|\varphi(f)| < r$ の場合を区別し、射影インデックス上に木構造を導入して最大性を保証する。

実験結果

リサーチクエスチョン

• RQ1 すべての $n$ に対して $k \geq r+4$ のとき、$n$ 頂点の $r$-uniformハイパーグラフで長さ $k$ 以上のBergerサイクルを含まない最大辺数は何か？
• RQ2 任意の $n$ に対して $k \geq r+4$ のとき、極値ハイパーグラフがどのような構造的性質を持つのか？
• RQ3 [5] の極値構成（$k-2$ が $n-1$ を割り切る場合にのみ有効）を、すべての $n$ に一般化できるか？
• RQ4 2次シャドウと写像 $\varphi(f)$ は、Bergerサイクル自由ハイパーグラフを特徴づけるのにどのように役立つか？
• RQ5 与えられた制約下で、極値ハイパーグラフの構造は同型を除いて一意的か？

主な発見

• $k \geq r+4$ のとき、$n$ 頂点の $r$-uniformハイパーグラフで長さ $k$ 以上のBergerサイクルを含まない最大辺数は、正確に \\n$$ \left\lfloor\frac{n-1}{k-2}\right\rfloor\binom{k-1}{r} + \begin{cases} m-1 & \text{if } 1 \leq m \leq r \\ \binom{m}{r} & \text{if } r+1 \leq m \leq k-2 \end{cases} $$ であり、$m = n \mod (k-2)$ である。
• 極値ハイパーグラフは、$\left\lfloor\frac{n-1}{k-2}\right\rfloor$ 個の完全 $r$-グラフ $K_{k-1}^{(r)}$ と、$m = n - (k-2)\left\lfloor\frac{n-1}{k-2}\right\rfloor$ 個の頂点を持つ追加の $K_m^{(r)}$ を貼り合わせることで構成される。
• $m \leq r$ のとき、最終ブロックには $\binom{m}{r}$ ではなく $m-1$ 個の辺がある。これはSperner性とBergerサイクル制約による。
• 極値ハイパーグラフは同型を除いて一意的であり、2次シャドウが $K_{k-1}$ と一つの $K_m$ の互いに素な和集合であり、ハイパーエッジがこれらのクリークに制限されている場合にのみ最大辺数を達成する。
• 証明は、任意の辺数がより多いハイパーグラフは、射影構造 $\varphi({\mathcal{D}})$ を分析することで長大なBergerサイクルを含むことになることを示すことにより、成立する。また、射影グラフにBergerサイクルが存在しないことから、元のハイパーグラフが制約を受ける。
• この構成は最適であり、[5] の定理3.1の上界と一致する。$m$ に関する場合分けと、射影インデックス上の木構造の使用により、最大性が保証される。