[論文レビュー] Turán numbers of hypergraph trees

Zoltán Füredi, Tao Jiang|arXiv (Cornell University)|May 13, 2015

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

ひとこと要約

本稿は、$r$-一様超グラフの木の広いクラスにおける漸近的ターラン数を確立し、$2$-還元可能な$r$-木に埋め込める$r$-グラフ$\mathcal{H}$に対して、$\mathrm{ex}(n,\mathcal{H}) = (\sigma - 1)\binom{n}{r-1} + o(n^{r-1})$が成り立つことを示している。ここで$\sigma$はクロスカット数である。この結果は、近似極値グラフの構造的安定性を用いて証明され、エドーシュ＝コ＝ラドの領域を超えて、極値超グラフ理論の既存の結果を拡張する。

ABSTRACT

An $r$-graph is an $r$-uniform hypergraph tree (or $r$-tree) if its edges can be ordered as $E_1,\ldots, E_m$ such that $\forall i&gt;1 \, \exists α(i)<i></i>

研究の動機と目的

• 2-還元可能な$r$-木に埋め込める$r$-グラフ$\mathcal{H}$のターラン数$\mathrm{ex}(n,\mathcal{H})$を特定すること。
• 古典的なエドーシュ＝コ＝ラド設定を超えて、特に$\Theta(n^{r-1})$の範囲において、極値超グラフに関する既知の結果を拡張すること。
• 近似極値$r$-グラフの構造的安定性を確立し、部分族に対する正確なターラン数結果を導出すること。
• クロスカット数$\sigma(\mathcal{H})$がこの超グラフクラスのターラン数を支配する役割を明確にすること。

提案手法

• $r$-木を、各新しい辺が以前の辺の和集合とちょうど一つの親辺で交わるような、木を定義するエッジ順序によって定義する。
• クロスカット数$\sigma(\mathcal{H})$を、$\mathcal{H}$の各辺とちょうど一度だけ交わる頂点集合の最小サイズとして定義する。
• 近似極値$r$-グラフの構造に基づく安定性議論を用いて、固定された$(\sigma-1)$-集合を避けるエッジ数を評価する。
• エッジ集合を$\mathcal{F}_A$、$\mathcal{B}$、$\mathcal{C}$に段階的に分解する。ここで$\mathcal{B}$は、固定された$r$-集合と最大で一つの頂点で交わるエッジからなる。
• シャドウ作用素$\partial_{r-1}$および$\partial_{r-2}$を用いて、$\mathcal{B}$内のエッジ数を$r$-一様および$(r-1)$-一様超グラフのエッジ数に関連づけ、既知の極値境界を活用する。
• $\mathcal{H}_w$（高次元頂点$w$におけるスターモジュール）が$\mathcal{C}$に埋め込めないことを証明し、$|\mathcal{C}|$に対する再帰的評価を得る。

実験結果

リサーチクエスチョン

• RQ1 2-還元可能な$r$-木に埋め込める$r$-グラフ$\mathcal{H}$に対する漸近的ターラン数$\mathrm{ex}(n,\mathcal{H})$は何か？
• RQ2 クロスカット数$\sigma(\mathcal{H})$は、このような超グラフにおける極値エッジ数をどのように支配するか？
• RQ3 近似極値$r$-グラフの構造的安定性を確立することで、部分族に対する正確なターラン数を導出できるか？
• RQ4 $2$-還元可能な$r$-木のターラン数は、カライの予想およびエドーシュ＝コ＝ラドの定理とどのように比較されるか？

主な発見

• 2-還元可能な$r$-木に埋め込める$r$-グラフ$\mathcal{H}$のすべての$\mathcal{H}$に対して、クロスカット数が$\sigma$であるとき、ターラン数は$\mathrm{ex}(n,\mathcal{H}) = (\sigma - 1)\binom{n}{r-1} + o(n^{r-1})$を満たす。
• この上限に達する極値$r$-グラフは構造的に安定しており、$\sigma - 1$個の頂点上の完全な$(r-1)$-一様超グラフのブローモデルに近い構造を持つ。
• $\mathrm{ex}(n,\mathcal{H}) \leq \binom{n}{r} - \binom{n - \sigma + 1}{r}$の不等式が、$\mathcal{F}_A$、$\mathcal{B}$、$\mathcal{C}$へのエッジ集合の分解を用いて確立され、$\mathcal{C}$はスターモジュール$\mathcal{H}_w$を避ける。
• この結果は、以前の還元可能で埋め込める超グラフの木に関する結果を一般化し、特に$r \geq 4$の場合に顕著である。
• 近似極値グラフの構造的安定性を用いて、特定の部分族に対する正確なターラン数が導出された。
• 本稿では、$2$-還元可能な$r$-木が、ターラン数が頂点数ではなくクロスカット数によって主に支配される領域に位置することを示しており、カライの予想とは対照的である。