[論文レビュー] General lemmas for Berge-Tur\'an hypergraph problems.

Dániel Gerbner, Abhishek Methuku+1 more|arXiv (Cornell University)|Aug 31, 2018

Limits and Structures in Graph Theory参考文献 25被引用数 20

ひとこと要約

本稿では、Berge-Turánハイパーグラフ問題に対する2つの一般化された補題を導入し、r-一様なBerge-F-自由ハイパーグラフにおけるハイパーエッジの最大数を評価する統一的な枠組みを提供する。これらの補題により、パス、サイクル、サブグラフ、K_{2,t}、完全グラフ、木など、さまざまなグラフFについて、改善されたまたは新しい境界が得られる。特にr=3およびk≥6、またはnが十分に大きい場合にK_kについて正確な結果が得られる。

ABSTRACT

For a graph $F$, a hypergraph $\\mathcal{H}$ is a Berge copy of $F$ (or a Berge-$F$ in short), if there is a bijection $f : E(F) \ ightarrow E(\\mathcal{H})$ such that for each $e \\in E(F)$ we have $e \\subset f(e)$. A hypergraph is Berge-$F$-free if it does not contain a Berge copy of $F$. We denote the maximum number of hyperedges in an $n$-vertex $r$-uniform Berge-$F$-free hypergraph by $\\mathrm{ex}_r(n,\ extrm{Berge-}F).$ In this paper we prove two general lemmas concerning the maximum size of a Berge-$F$-free hypergraph and use them to establish new results and improve several old results. In particular, we give bounds on $\\mathrm{ex}_r(n,\ extrm{Berge-}F)$ when $F$ is a path (reproving a result of Gy\\H{o}ri, Katona and Lemons), a cycle (extending a result of F\\"uredi and \\"Ozkahya), a theta graph (improving a result of He and Tait), or a $K_{2,t}$ (extending a result of Gerbner, Methuku and Vizer). We also establish new bounds when $F$ is a clique (which implies extensions of results by Maherani and Shahsiah and by Gy\\'arf\\'as) and when $F$ is a general tree.

研究の動機と目的

• Berge-Turánハイパーグラフ問題に対する既存の手法を統合・強化する一般化された補題の開発。
• パス、サイクル、木を含むさまざまなグラフFについて、\mathrm{ex}_r(n,\text{Berge-}F)の既知の境界を改善または再証明すること。
• 特にr=3およびk≥4の場合に、\mathrm{ex}_r(n,\text{Berge-}K_k)の正確またはタイトな漸近的境界を確立すること。
• TuránハイパーグラフT_r(n,k-1)がBerge-K_k-自由ハイパーグラフにおけるハイパーエッジ数を最大化する閾値n_0(k,r)を明確にすること。

提案手法

• Berge-F-自由ハイパーグラフを表現するための赤-青エッジ彩色モデルを導入し、赤エッジはグラフのエッジを、青エッジはハイパーエッジの拡張の可能性を表す。
• 関数g_r(G) = e(G_{\text{red}}) + \mathcal{N}(K_r, G_{\text{blue}})を定義し、これによりF-自由な赤-青グラフGに対応する任意のBerge-F-自由ハイパーグラフのサイズが上界で抑えられることを示す。
• 補題2の証明：任意のr-一様なBerge-F-自由ハイパーグラフ\mathcal{H}は、F-自由な赤-青グラフGに一意に関連付けられ、|\mathcal{H}| ≤ g_r(G)が成り立つことを示す。
• 定理19を用いて、F-自由な赤-青グラフGの上でのg_r(G)の最大化により、\mathrm{ex}_r(n,\text{Berge-}F)を評価し、極値境界を導出する。
• 帰納法とTurán型極値結果を用いて、k > r+2のとき、TuránグラフT_2(n,k-1)がg_r(G)を最大化することを示し、これにより\mathrm{ex}_r(n,\text{Berge-}K_k) = |T_r(n,k-1)|が成り立つことを示す。
• ケース解析と既知の極値グラフ理論を応用し、nとkが小さい場合の\mathrm{ex}_3(n,\text{Berge-}K_k)の正確な値を特定する。特にn=5, k=5およびn=5, k=4のケースを含む。

実験結果

リサーチクエスチョン

• RQ1 与えられたグラフFに対して、r-一様なBerge-F-自由ハイパーグラフにおけるハイパーエッジの最大数は何か？
• RQ2 一般化された補題は、\mathrm{ex}_r(n,\text{Berge-}F)の既存の境界を統合・改善するためにどのように利用できるか？
• RQ3 どのnとkの値に対して、TuránハイパーグラフT_r(n,k-1)がBerge-K_k-自由ハイパーグラフにおいて最適となるか？
• RQ4 特にn < kの場合に、\mathrm{ex}_3(n,\text{Berge-}K_k)の正確な値は何か？
• RQ5 赤-青グラフGの構造は、Berge-F-自由ハイパーグラフの極値サイズとどのように関係するか？

主な発見

• 関数g_r(G) = e(G_{\text{red}}) + \mathcal{N}(K_r, G_{\text{blue}})は、\mathrm{ex}_r(n,\text{Berge-}F)の上界を提供する。F-自由なGの場合には等号が成立しうる。
• k > r+2のとき、すべてのnに対して、TuránハイパーグラフT_r(n,k-1)は、r-一様なBerge-K_k-自由ハイパーグラフにおけるハイパーエッジ数を最大にする。
• r=3の場合、すべてのnとk≥4について、\mathrm{ex}_3(n,\text{Berge-}K_k)の正確な値が決定され、特に\mathrm{ex}_3(5,\text{Berge-}K_5) = 9および\mathrm{ex}_3(5,\text{Berge-}K_4) = 5が得られる。
• n < kのとき、\mathrm{ex}_r(n,\text{Berge-}K_k) = \binom{n}{r}である。これは、n個の頂点上の完全なr-一様ハイパーグラフがBerge-K_k-自由であるためである。
• k = r+1またはk = r+2の場合、nが小さい（例えばn = k）とき、TuránハイパーグラフT_r(n,k-1)は最適でない。この場合、完全ハイパーグラフの方が多くのハイパーエッジを持つ。
• T_r(n,k-1)がBerge-K_k-自由ハイパーグラフにおいて最適となる閾値n_0(k,r)は、k = r+2のとき、r + \log r + O(1)で上界が与えられる。