[論文レビュー] Extremal results for Berge-hypergraphs

Dániel Gerbner, Cory Palmer|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|May 29, 2015

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

ひとこと要約

本稿は、Berge-ハイパーグラフの極値的境界を確立し、Kővári-Sós-Turán定理のハイパーグラフへの一般化を導入する。$K_{s,t}$-フリーなハイパーグラフで、辺のサイズが $s+t$ 以上である場合、辺サイズの和は $O(n^{2-1/s})$ であることが示され、極値的グラフ結果と一致する。また、$C_4$-フリーなハイパーグラフについてもタイトな境界を与える。$Σ(|h|-3) = \Theta(n^{3/2})$ が得られ、Berge-サイクルの長さと線形ハイパーグラフに関する結果も拡張される。

ABSTRACT

Let $G$ be a graph and $\mathcal{H}$ be a hypergraph both on the same vertex set. We say that a hypergraph $\mathcal{H}$ is a \emph{Berge}-$G$ if there is a bijection $f : E(G) ightarrow E(\mathcal{H})$ such that for $e \in E(G)$ we have $e \subset f(e)$. This generalizes the established definitions of "Berge path" and "Berge cycle" to general graphs. For a fixed graph $G$ we examine the maximum possible size (i.e.\ the sum of the cardinality of each edge) of a hypergraph with no Berge-$G$ as a subhypergraph. In the present paper we prove general bounds for this maximum when $G$ is an arbitrary graph. We also consider the specific case when $G$ is a complete bipartite graph and prove an analogue of the K\H ovári-Sós-Turán theorem.

研究の動機と目的

• ベースとなるグラフ $G$ の辺を含むハイパーエッジを有する Berge-$G$ の構成を用いて、極値的グラフ理論をハイパーグラフへと拡張すること。
• Berge-$G$ の部分ハイパーグラフを含まないハイパーグラフにおける辺サイズの和の最大値を特定すること。
• 特に完全二部グラフ $K_{s,t}$ に対して、Kőváリ-Sós-Turán定理をハイパーグラフへ一般化すること。
• $C_4$-フリーなハイパーグラフに対して、辺サイズが3を超える部分を考慮するパラメータ $\sum(|h|-3)$ を用いてタイトな境界を確立すること。
• 特に禁止された Berge-サイクルに関連して、極値的ハイパーグラフ理論におけるサイクル長（girth）と線形性の役割を調査すること。

提案手法

• ハイパーグラフ $\mathcal{H}$ において、$E(G)$ から $E(\mathcal{H})$ への単射写像を介して、$G$ の各辺がハイパーエッジに含まれるとき、そのハイパーグラフを Berge-$G$ と定義する。
• 非一様ハイパーグラフにおいて特に重要な極値的パラメータとして、$\sum_{v \in V(\mathcal{H})} d(v) = \sum_{h \in \mathcal{H}} |h|$ を用いる。
• 辺のサイズが十分に大きい（$\geq |V(F)|$）場合の $F$-フリーなハイパーグラフに対して一般上界を証明し、一般の $F$ に対して $O(n^2)$ を得る。
• Kővári-Sós-Turán定理のハイパーグラフ版を確立：$K_{s,t}$-フリーなハイパーグラフで辺サイズが $s+t$ 以上である場合、辺サイズの和は $O(n^{2-1/s})$ である。
• 既知の極値的グラフ（例：LazebnikとVerstraëteの結果）を用いた頂点の複製による極値的例の構成により、下界 $\Omega(n^{2-1/s})$ を証明する。
• $C_4$-フリーなハイパーグラフに対する境界を精緻化するために、パラメータ $\sum(|h|-3)$ を用い、タイトな $\Theta(n^{3/2})$ の境界を示す。

実験結果

リサーチクエスチョン

• RQ1 一般のグラフ $G$ に対して、Berge-$G$ の部分ハイパーグラフを含まないハイパーグラフにおける辺サイズの和の最大値は何か？
• RQ2 $K_{s,t}$-フリーなグラフにおける Kővári-Sós-Turán定理は、ハイパーグラフへと拡張可能か？ その場合、極値的辺サイズ和の境界は何か？
• RQ3 $C_4$-フリーなハイパーグラフにおける $\sum(|h|-3)$ の極値的挙動は何か？ また、極値的グラフ理論とどのように関係するか？
• RQ4 Berge-サイクルの意味でのサイクル長制約は、特に $3$-一様ハイパーグラフにおいて、極値的境界にどのように影響するか？
• RQ5 線形性（$C_2$-フリー性）は、ハイパーグラフの極値的問題とグラフの極値的問題との関係において、どのような役割を果たすか？

主な発見

• 任意のグラフ $F$ に対して、辺サイズが $|V(F)|$ 以上である $F$-フリーなハイパーグラフにおける辺サイズの和は $O(n^2)$ であり、この境界はタイトである。
• $K_{s,t}$-フリーなハイパーグラフで辺サイズが $s+t$ 以上である場合、辺サイズの和は $O(n^{2-1/s})$ であり、この境界はタイトであり、グラフ理論的極値数と一致する。
• $K_{s,t}$-フリーで辺サイズが $s+t$ であるハイパーグラフが存在し、その辺サイズの和が $\Omega(\mathrm{ex}(n,K_{s,t}))$ に達することを示し、境界の鋭さを裏付ける。
• $C_4$-フリーなハイパーグラフにおいて、$\sum(|h|-3)$ は $\frac{\sqrt{6}}{2}n^{3/2} + O(n)$ で上界され、構成により $\frac{1}{3\sqrt{3}}n^{3/2} + o(n^{3/2})$ に達することが示され、以前の境界を改善する。
• $3$-一様ハイパーグラフで Berge-サイクル長が $5$ 以上である場合、$|\mathcal{H}| \leq \frac{1}{3} \mathrm{ex}(n, C_4, C_5, \dots, C_{g-1})$ を満たし、ハイパーグラフの極値数をグラフの極値数と関連付ける。
• $3$-一様 $C_4$-フリーなハイパーグラフの頂点複製による $9$-一様 $C_4$-フリーなハイパーグラフの構成により、$\sum(|h|-3)$ の下界が確認される。