[論文レビュー] Tur\'an Number of Generalized Triangles

Sergey Norin, Liana Yepremyan|arXiv (Cornell University)|Jan 8, 2015

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

ひとこと要約

この論文は、$r = 5,6$ および十分に大きな $n$ に対して、一般化された三角形 $\Sigma_r$ のツーラン数が特定の $r$-グラフ $T_r$ のそれと等しいという、フランクルとフューレディの予想を証明している。ラグランジュ法、安定性解析、対称化を用いて、極値の $T_r$-自由超グラフは、一意な $(11,5,4)$ および $(12,6,5)$ ステイナー系のブローモップに近いことが示され、これらのケースにおける正確なツーラン数が確立された。

ABSTRACT

The family $\Sigma_r$ consists of all $r$-graphs with three edges $D_1,D_2,D_3$ such that $|D_1\cap D_2|=r-1$ and $D_1 riangle D_2 \subseteq D_3$. A generalized triangle, $\mathcal{T}_r \in \Sigma_r$ is an $r$-graph on $\{1,2,\ldots,2r-1\}$ with three edges $D_1, D_2, D_3$, such that $D_1=\{1,2,\dots,r-1, r\}, D_2= \{1, 2, \dots, r-1, r+1 \}$ and $D_3 = \{r, r+1, \dots, 2r-1\}.$ Frankl and F\"{u}redi conjectured that for all $r\geq 4$, $ex(n,\Sigma_r) = ex(n,\mathcal{T}_r )$ for all sufficiently large $n$ and they also proved it for $r=3$. Later, Pikhurko showed that the conjecture holds for $r=4$. In this paper we determine $ex(n,\mathcal{T}_5)$ and $ex(n,\mathcal{T}_6)$ for sufficiently large $n$, proving the conjecture for $r=5,6$.

研究の動機と目的

• フランクルとフューレディの予想、すなわち $r = 5,6$ および十分に大きな $n$ に対して $\mathrm{ex}(n, T_r) = \mathrm{ex}(n, \Sigma_r)$ が成り立つかを解決すること。
• 極値の超グラフの構造を特定することで、$r = 5,6$ に対して正確なツーラン数 $\mathrm{ex}(n, T_r)$ を決定すること。
• 極値の $T_r$-自由 $r$-グラフが $r=5,6$ の場合、それぞれ一意な $(11,5,4)$ および $(12,6,5)$ ステイナー系のブローモップであることを確立すること。
• 標準的な頂点削除手法が失敗する場合に、ツーラン型問題における安定性技術を拡張すること、これには追加の数え上げ的議論が必要である。

提案手法

• ラグランジュ関数の連続性の性質を活用して、重み付きから非重み付き超グラフ設定への結果の移行にラグランジュ法を適用する。
• 局所的安定性条件から大域的安定性を導く、新しい対称化定理を導入し、極値超グラフの構造的解析を可能にする。
• 高密度の $T_r$-自由超グラフは、それぞれのステイナー系のブローモップに近い（編集距離の意味で）ことを示す安定性の議論を用いる。
• 標準的な頂点削除変換が失敗する場合に対処するための洗練された数え上げ技法を導入し、極値構成への収束を保証する。
• 超グラフ除去補題を、局所的および大域的安定性の結果と組み合わせ、$T_r$-自由グラフが $\varepsilon$-近傍でステイナー系のブローモップに近いことを証明する。
• すべての $F^* \in F^*$ に対して $\lambda(F, \xi_F) \geq \lambda(F^*, \mu)$ が成り立ち、等号が成立するのは $F^*$ が $F$ に同型で $\mu = \xi_F$ のときのみであることを証明することで、家族 $\mathrm{Forb}(T_r)$ の $B$-安定性を確立する。これにより、極値構成の一意性が保証される。

実験結果

リサーチクエスチョン

• RQ1 $r = 5,6$ およびすべての十分に大きな $n$ に対して $\mathrm{ex}(n, T_r) = \mathrm{ex}(n, \Sigma_r)$ が成り立つか？
• RQ2 $r = 5,6$ の場合、極値の $T_r$-自由 $r$-グラフの正確な構造は何か？
• RQ3 標準的な頂点削除議論が失敗する場合に、安定性技法を拡張できるか？
• RQ4 一意な $(11,5,4)$ および $(12,6,5)$ ステイナー系が、$r=5,6$ の場合の $T_r$-自由超グラフの唯一の極値構成か？
• RQ5 ラグランジュ法を $r$-グラフの非重み付き設定において正確なツーラン数を証明するために適応可能か？

主な発見

• フランクルとフューレディの予想は $r = 5,6$ で成立：すべての十分に大きな $n$ に対して $\mathrm{ex}(n, T_r) = \mathrm{ex}(n, \Sigma_r)$ が成り立つ。
• $r = 5,6$ の場合、極値の $T_r$-自由 $r$-グラフは、それぞれ一意な $(11,5,4)$ および $(12,6,5)$ ステイナー系のブローモップに一致する。
• $r = 5$ の場合、ツーラン数は $\mathrm{ex}(n, T_5) = \left(\frac{1}{11} - o(1)\right)\binom{n}{5}$ であり、$r = 6$ の場合 $\mathrm{ex}(n, T_6) = \left(\frac{1}{12} - o(1)\right)\binom{n}{6}$ である。定数はそれぞれステイナー系の密度から導かれる。
• 著者らは、家族 $\mathrm{Forb}(T_r)$ が $B(S)$-安定であることを証明した。ここで $B(S)$ はそれぞれのステイナー系 $S$ のブローモップの家族である。これにより、極値グラフの構造的安定性が確認された。
• 局所的安定性から大域的安定性を導くことのできる新しい対称化定理が確立され、頂点削除が失敗する非標準的ケースを扱う上で極めて重要である。
• 標準的な安定性技法が失敗する場合に対処するための洗練された数え上げ的議論が導入され、高密度の $T_r$-自由グラフが編集距離の意味でステイナー系のブローモップに近いことが保証された。