[論文レビュー] Stability and Tur\'an numbers of a class of hypergraphs via Lagrangians

Axel Brandt, David Irwin+1 more|arXiv (Cornell University)|Oct 12, 2015

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

ひとこと要約

本稿は、ラグランジュ最適化および対称化技術を用いて、埋め込まれたハイパーグラフ $F$ を持つ拡張クリーク $H^F_p$ のクラスに対して、広範なハイパーグラフの正確なツラン数を確立している。十分に大きな $n$ に対して、$\ mathrm{ex}(n, H^F_p) = |T_r(n, p-1)|$ を示しており、ここで $T_r(n, p-1)$ はバランスの取れた $(p-1)$-部の $r$-グラフである。さらに、近似極値グラフの構造的安定性も示している。

ABSTRACT

Given a family of $r$-uniform hypergraphs ${\\cal F}$ (or $r$-graphs for brevity), the Tur\\'an number $ex(n,{\\cal F})$ of ${\\cal F}$ is the maximum number of edges in an $r$-graph on $n$ vertices that does not contain any member of ${\\cal F}$. A pair $\\{u,v\\}$ is covered in a hypergraph $G$ if some edge of $G$ contains $\\{u,v\\}$. Given an $r$-graph $F$ and a positive integer $p\\geq n(F)$, let $H^F_p$ denote the $r$-graph obtained as follows. Label the vertices of $F$ as $v_1,\\ldots, v_{n(F)}$. Add new vertices $v_{n(F)+1},\\ldots, v_p$. For each pair of vertices $v_i,v_j$ not covered in $F$, add a set $B_{i,j}$ of $r-2$ new vertices and the edge $\\{v_i,v_j\\}\\cup B_{i,j}$, where the $B_{i,j}$'s are pairwise disjoint over all such pairs $\\{i,j\\}$. We call $H^F_p$ the expanded $p$-clique with an embedded $F$. For a relatively large family of $F$, we show that for all sufficiently large $n$, $ex(n,H^F_p)=|T_r(n,p-1)|$, where $T_r(n,p-1)$ is the balanced complete $(p-1)$-partite $r$-graph on $n$ vertices. We also establish structural stability of near extremal graphs. Our results generalize or strengthen several earlier results and provide a class of hypergraphs for which the Tur\\'an number is exactly determined (for large $n$).

研究の動機と目的

• 拡張 $p$-クリークに埋め込まれた $r$-グラフ $F$ を持つ、$r$-一様ハイパーグラフのクラス $H^F_p$ に対して、正確なツラン数 $\mathrm{ex}(n, H^F_p)$ を特定すること。
• ツラン数に近い値を達成するハイパーグラフに対して、構造的安定性を確立し、それがバランスの取れた完全 $(p-1)$-部の $r$-グラフに近いかどうかを示すこと。
• キャンセルラティブハイパーグラフ、一般化三角形、拡張クリークに関する以前の結果を一般化・強化すること。
• グラフ理論からハイパーグラフへと拡張された、ラグランジュ最適化および対称化技術をハイパーグラフ極値問題に適用すること。
• $F$-自由ハイパーグラフの文脈において、$k$-頂点木条件を用いて、$r$-一様ハイパーグラフにおける Erd\'os-S{\o}s} 予想のケースを解明すること。

提案手法

• $H^F_p$ を、$F$ の被覆されていないペア各々に $r-2$ 個の新しい頂点を追加して新たなエッジを形成することで得られる、埋め込まれた $r$-グラフ $F$ を持つ拡張 $p$-クリークとして定義する。
• 重み割り当てと $r$-一様ラグランジュ関数 $p_G(\tilde{x})$ に依存するラグランジュ最適化を用いて、$F$-自由 $r$-グラフの最大エッジ密度を評価する。
• 対称化および安定性技術を適用し、$H^F_p$-自由 $r$-グラフが近い最大エッジ数を持つ場合、バランスの取れた完全 $(p-1)$-部の $r$-グラフに近い構造を持つこと、すなわち構造的に近いことを示す。
• 特に、Erd\'os-S{\o}s} 予想を満たす $k$-頂点木 $T$ を持つ $T$-自由 $r$-グラフに注目し、帰納法と部分グラフのラグランジュの再帰的評価を用いる。
• 頂点分割を反復的に最適化するための閾値ベースのアルゴリズム（アルゴリズム 8.1）を導入し、大きな $k+r-3$-部の部分グラフを同定する。
• 任意の $H^F_p$-自由 $r$-グラフが、$\ frac{(k+r-3)_r}{(k+r-3)^r}$ に近い密度を持つ場合、最大 $\varepsilon n$ 個の頂点を削除した後、$(k+r-3)$-部のグラフに $\varepsilon$-近接していることを証明する。

実験結果

リサーチクエスチョン

• RQ1 どのクラスの $r$-一様ハイパーグラフ $H^F_p$ に対して、十分に大きなすべての $n$ に対してツラン数 $\mathrm{ex}(n, H^F_p)$ が正確に決定されるか。
• RQ2 ラグランジュ法は、古典的ツラン問題を越えて、ハイパーグラフの安定性結果を示すために拡張可能か。
• RQ3 埋め込まれたハイパーグラフ $F$ にどのような条件が課されると、$H^F_p$ のツラン数がバランスの取れた完全 $(p-1)$-部の $r$-グラフのサイズに等しくなるか。
• RQ4 近似極値 $H^F_p$-自由 $r$-グラフは、完全 $(p-1)$-部の $r$-グラフにどの程度構造的に近いか。
• RQ5 本結果は、キャンセルラティブ $3$-グラフ（Bollobás）、一般化三角形（Frankl-Füredi）、$r$-部のハイパーグラフ（Pikhurko, Norin-Yepremyan）に関する既知の結果をどの程度一般化するか。

主な発見

• 十分に大きなすべての $n$ に対して、$\mathrm{ex}(n, H^F_p) = |T_r(n, p-1)|$ が成り立ち、ここで $T_r(n, p-1)$ はバランスの取れた $(p-1)$-部の $r$-グラフである。
• このツラン数に達する極値ハイパーグラフは、ちょうどバランスの取れた完全 $(p-1)$-部の $r$-グラフである。
• 構造的安定性が成立する：エッジ数がツラン数から $\delta \binom{n}{r}$ の範囲内にある任意の $H^F_p$-自由 $r$-グラフは、最大 $\varepsilon n$ 個の頂点を削除した後、$(p-1)$-部のグラフに $\varepsilon$-近接している。
• キャンセルラティブ $3$-グラフ（Bollobás）、一般化三角形（Frankl-Füredi）、$r$-部のハイパーグラフ（Pikhurko, Norin-Yepremyan）に関する以前の結果を一般化している。
• ラグランジュ法と対称化を用いた手法は、$r \geq 3$ に対しても成功裏に拡張され、広範なハイパーグラフクラスにおける正確なツラン数の統一的枠組みを提供している。
• 証明は、$r$-一様ハイパーグラフにおける $k$-頂点木の Erd\'os-S{\o}s} 予想の再帰的適用に依存しており、$F$-自由グラフが高ラグランジュを持つ場合、そのリンク構造に大きな $k$-頂点木が存在することを示している。