[論文レビュー] On $r$-uniform hypergraphs with circumference less than $r$

Alexandr Kostochka, Ruth Luo|arXiv (Cornell University)|Jul 12, 2018

Limits and Structures in Graph Theory参考文献 8被引用数 19

ひとこと要約

本稿は、$k \geq 4$ および $n > r \geq k+1$ の場合、長さ $k$ 以上のベルジサイクルを含まない $r$-一様超グラフにおける辺数の正確な上界 $\frac{(k-1)(n-1)}{r}$ を確立する。著者らは、周囲長と次数制約が有限な二部グラフを用いる独自のアプローチを採用し、インシデントグラフとブロック構造を通じて超グラフに結果を翻訳することで、超グラフ理論における先行の極値境界を精緻化する。

ABSTRACT

We show that for each $k\geq 4$ and $n>r\geq k+1$, every $n$-vertex $r$-uniform hypergraph with no Berge cycle of length at least $k$ has at most $\frac{(k-1)(n-1)}{r}$ edges. The bound is exact, and we describe the extremal hypergraphs. This implies and slightly refines the theorem of Győri, Katona and Lemons that for $n>r\geq k\geq 3$, every $n$-vertex $r$-uniform hypergraph with no Berge path of length $k$ has at most $\frac{(k-1)n}{r+1}$ edges. To obtain the bounds, we study bipartite graphs with no cycles of length at least $2k$, and then translate the results into the language of multi-hypergraphs.

研究の動機と目的

• $k \geq 4$ および $r \geq k+1$ の場合、長さ $k$ 以上のベルジサイクルを含まない $r$-一様超グラフにおける辺数の最大値を特定すること。
• ジーリ、カトナ、レモンズらの先行研究に基づき、$r$-一様超グラフにおけるベルジパスおよびベルジサイクルに関する極値結果を精緻化・拡張すること。
• 上界に達する極値超グラフを特徴づける正確な境界を提供すること。
• 一方で、周囲長と一方の部の最小次数 $r$ が制限された二部グラフを分析する新しい手法を構築し、その構造的制約を超グラフ設定に翻訳すること。

提案手法

• 超グラフをそのインシデント二部グラフ $G(\mathcal{H})$ でモデル化し、頂点部 $V$（頂点）と辺部 $E$（辺）をもち、$V$ の各頂点の次数が $r$ 以上であることを保証する。
• 長さ $2k$ 以上のサイクルを含まない二部グラフ $G$ を分析し、次数制約と不足度 $D(G,X)$、および特別なブロック数 $Q(G,X)$ に注目する。
• $2k$-飽和グラフの概念を導入し、$n$、$D(G,X^*)$、$Q(G,X^*)$ を用いた $|X^*|$ の極値境界を用いて辺数の境界を導出する。
• 極値超グラフが、$r+1$ 個の頂点と $k-1$ 個の辺を持つ $(r+1,k-1)$-ブロックが木のような構造で接続されたものであることを証明する。
• 下位ランク $r$ で辺の重複度が有界な超グラフへ結果を拡張するための変換を用い、境界が依然としてタイトに保たれることを保証する。
• インシデントグラフ法を適用し、境界における等号成立が、ちょうど互いに素または連結な $(r+1,k-1)$-ブロックツリーからなる超グラフに限ることを証明する。

実験結果

リサーチクエスチョン

• RQ1 $k \geq 4$ および $r \geq k+1$ の場合、$n$ 頂点の $r$-一様超グラフで、長さ $k$ 以上のベルジサイクルを含まないものにおける辺数の最大値は何か？
• RQ2 辺数が上界に達する場合、そのような超グラフの極値的構造はどのように特徴づけられるか？
• RQ3 $k \leq r$ の範囲において、ベルジサイクルのツーラン型境界は、従来の漸近的または近似的結果を越えて精緻化可能か？
• RQ4 特に周囲長と最小次数が制限されたインシデントグラフの構造的性質が、どのように極値的辺数を示唆するか？
• RQ5 二部グラフにおける不足度と特別なブロック数は、どのようにして超グラフの辺数に対するタイトな境界に翻訳されるか？

主な発見

• 長さ $k$ 以上のベルジサイクルを含まない $n$ 頂点の $r$-一様超グラフにおける辺数の最大値は、$k \geq 4$ および $n > r \geq k+1$ の場合、正確に $\frac{(k-1)(n-1)}{r}$ である。
• この境界に達する極値超グラフは、正確に $(r+1,k-1)$-ブロックツリーであり、各超ブロックは $r+1$ 個の頂点と $k-1$ 個の辺を持ち、すべてのカット頂点が頂点集合に属する。
• この境界はタイトであり、インシデントグラフが $2k$-飽和であり、かつすべてのブロックが $K_{k-1,r+1}$ に同型で、カット頂点が辺集合に属する場合にのみ等号が成立する。
• この結果は、ジーリ、カトナ、レモンズの先行定理を、漸近的または近似的結果ではなく正確な境界を提供することで、精緻化・強化する。
• 証明は、周囲長と最小次数 $r$ が制限された二部グラフを分析する新しい手法を導入し、極値超グラフ理論における従来の手法とは別個の代替手法を提供する。
• 周囲長 $c(G) < 2k$ を満たす二部グラフにおいて、不足度と特別なブロック数を用いた $|X^*|$ の一般不等式を確立し、これが主たる超グラフ結果を含意する。