[論文レビュー] Tur\'an numbers of extensions

Sergey Norin, Liana Yepremyan|arXiv (Cornell University)|Oct 15, 2015

Limits and Structures in Graph Theory参考文献 2被引用数 7

ひとこと要約

本稿は、安定性手法と先行研究からの新規ツールを用いて、2つのハイパーグラフ拡張族の正確なトゥーラン数を決定する。$ n $ が十分に大きい場合、$ \mathcal{T} $ が $ t \geq M_r $ 頂点を持つ Erd\'os-S\'{o}s 樹の $ (r-2) $-拡張であるとき、$ \mathcal{K}^{(r)}_{t+r-3}(n) $ は唯一の extremal $ \operatorname{Ext}(\mathcal{T}) $-free $ r $-グラフである。同様に、密度制約下でのペアカバーされたハイパーグラフの拡張に対しても同様の結果が成り立つ。

ABSTRACT

The extension of an $r$-uniform hypergraph $G$ is obtained from it by adding for every pair of vertices of $G$, which is not covered by an edge in $G$, an extra edge containing this pair and $r-2$ new vertices. Keevash and Sidorenko~ have previously determined Tur\\'an densities of two families of hypergraph extensions. We determine the Tur\\'an numbers for these families, using classical stability techniques and new tools introduced in our earlier paper.

研究の動機と目的

• 2つの $ r $-一様ハイパーグラフ族、Erd\'os-S\'{o}s 樹およびペアカバーされたハイパーグラフの拡張族の正確なトゥーラン数を決定すること。
• Sidorenko および Keevash の先行密度結果を、$ n $ が大きい場合の正確な極値構造に拡張し、極値グラフの一意性を証明すること。
• 密度条件が厳密に満たされる場合、$ \mathcal{K}^{(r)}_{t}(n) $ が $ \operatorname{Ext}(\mathcal{F}^{+(t+1)}) $-free ハイパーグラフに対して唯一の極値 $ r $-グラフであることを確立すること。
• 古典的安定性技法と新規の汎用的ツール（定理 2.2）を用いて、トゥーラン密度と正確なトゥーラン数の間のギャップを埋めること。
• Keevash の密度結果の正確版における予想的ギャップを解消するために、仮定を $ \pi(\mathcal{F}) < r!t^{-r}\binom{t}{r} $ に弱める。

提案手法

• Erd\'os と Simonovits が提唱した古典的安定性手法を、ラグランジュ最大化と測度集中の枠組みを用いてハイパーグラフに適応する。
• 文献 [5] からの汎用的ツール（定理 2.2）を用い、近似極値ハイパーグラフの構造を制御する。具体的には、大きな誘導部分ハイパーグラフが完全であることを示す。
• $ t $-スパイクおよび $ t $-臨界性の概念を用いて、$ \operatorname{Ext}(\mathcal{F}^{+(t+1)}) $-free ハイパーグラフの極値構造を分析する。
• $ \mathfrak{B} $-弱安定性を定義・分析し、ラグランジュ値が最大に近い任意のハイパーグラフが完全 $ r $-グラフに近いことを示す。
• ハイパーグラフの辺密度とそのブロードアウトの比較にラグランジュ $ \lambda(\mathcal{G}, \mu) $ を用い、$ \lambda(\mathcal{K}_t^{(r)}) = r!t^{-r}\binom{t}{r} $ を重要な基準とする。
• 任意の $ \mathcal{F} \in \operatorname{Forb}(\mathcal{T}) $ で $ \lambda(\mathcal{F}, \mu) $ がトゥーラン密度に近い場合、$ t+r-3 $ 頂点上の大きな完全 $ r $-グラフを含むことが証明され、極値構造がバランスドブロードアウトであることが強制される。

実験結果

リサーチクエスチョン

• RQ1 どの $ r $-グラフ族に対して、その拡張のトゥーラン数が完全 $ r $-グラフのバランスドブロードアウトによって正確に達成されるか。
• RQ2 ベースハイパーグラフ $ \mathcal{F} $ に対してどのような条件下で、$ \operatorname{Ext}(\mathcal{F}^{+(t+1)}) $ は $ n $ が十分に大きい場合にバランスドブロードアウト $ \mathcal{K}^{(r)}_t(n) $ で唯一の極値 $ r $-グラフとなるか。
• RQ3 安定性手法を、既知の密度結果を超えてハイパーグラフ拡張の正確なトゥーラン数を証明するために拡張可能か。
• RQ4 近似極値ハイパーグラフが完全 $ r $-グラフのブロードアウトであることを強制するために満たすべき構造的性質は何か。
• RQ5 ハイパーグラフのラグランジュ値は、拡張族の文脈における極値性とどのように関係するか。

主な発見

• 任意の $ r \geq 2 $ に対して、$ M_r $ が存在し、すべての $ t \geq M_r $ に対して、$ \mathcal{K}^{(r)}_{t+r-3}(n) $ は、$ t $ 頂点を持つ Erd\'os-S\'{o}s 樹の $ (r-2) $-拡張 $ \mathcal{T} $ に対して、$ n \geq n_0 $ 頂点の $ \operatorname{Ext}(\mathcal{T}) $-free $ r $-グラフの中で最大の辺数を持つ唯一のものである。
• 任意のペアをカバーする $ r $-グラフ $ \mathcal{F} $ で $ \pi(\mathcal{F}) < r!t^{-r}\binom{t}{r} $ を満たすものに対して、$ \mathcal{K}^{(r)}_t(n) $ は $ n \geq n_0 $ 頂点の $ \operatorname{Ext}(\mathcal{F}^{+(t+1)}) $-free $ r $-グラフの中で最大の辺数を持つ唯一のものである。
• 証明により、$ \lambda(\mathcal{F}, \mu) $ がトゥーラン密度に近い任意の $ \mathcal{F} \in \operatorname{Forb}(\mathcal{T}) $ は、$ t+r-3 $ 頂点上の大きな完全 $ r $-グラフを含むことが示され、極値構造がバランスドブロードアウトであることが強制される。
• 著者らは、任意のペアカバーされた $ \mathcal{F} $ で $ \operatorname{v}(\mathcal{F}) \leq t $ を満たすものに対して、$ \operatorname{Ext}(\mathcal{F}^{+(t+1)}) $ が鋭い $ t $-臨界性を持つことを証明し、安定性ツールの適用を可能にした。
• $ \operatorname{Ext}(\mathcal{F}^{+(t+1)}) $-free ハイパーグラフでペアをカバーする族 $ \mathfrak{G}^* $ は、$ \mathfrak{B}(\mathcal{K}_t^{(r)}) $-弱重み安定性を満たし、極値密度付近での構造的剛性を保証する。
• 結果は鋭く、すべての $ n \geq n_0 $ に対して極値グラフが一意であり、極値密度が $ t $ または $ t+r-3 $ 頂点の完全 $ r $-グラフのラグランジュ値と一致する。