[論文レビュー] Tur\'an number of theta graphs

Boris Bukh, Michael Tait|arXiv (Cornell University)|Apr 26, 2018

Advanced Graph Theory Research参考文献 29被引用数 8

ひとこと要約

この論文は、thetaグラフ $\Theta_{\ell,t}$ のツァラン数を決定し、固定された奇数 $\ell$ と十分に大きな $t$ に対して、$\Theta_{\ell,t}$ を部分グラフとして含まないグラフにおける辺の最大数が、定数 $c_\ell$ を除いて漸近的に $c_\ell t^{1-1/\ell}n^{1+1/\ell}$ であることを証明している。また、この境界の厳密さ（定数因子を除いて）を確立している。

ABSTRACT

The theta graph $\Theta_{\ell,t}$ consists of two vertices joined by $t$ vertex-disjoint paths of length $\ell$ each. For fixed odd $\ell$ and large $t$, we show that the largest graph not containing $\Theta_{\ell,t}$ has at most $c_{\ell} t^{1-1/\ell}n^{1+1/\ell}$ edges and that this is tight apart from the value of $c_{\ell}$.

研究の動機と目的

• 部分グラフとして $\Theta_{\ell,t}$ を含まないグラフにおける辺の極値数を特定すること。
• 固定された奇数 $\ell$ と大きな $t$ に対して、$\Theta_{\ell,t}$ のツァラン数におけるタイトな漸近的境界を確立すること。
• $\Theta_{\ell,t}$ の極値関数の漸近的成長率を、乗法的定数 $c_\ell$ を除いて解明すること。
• 辺の数に対する上界が、定数 $c_\ell$ の値を除いてタイトであることを証明すること。

提案手法

• $\Theta_{\ell,t}$ は、長さ $\ell$ の頂点を互いに disjoint に持つ $t$ 個のパスで接続された2つの頂点からなると定義される。
• extremal graph theory の技法を用いて、$\Theta_{\ell,t}$-free グラフにおける辺数の上限を導出する。
• 確率的および組合せ的議論を用いて、ツァラン数に対する上界 $c_\ell t^{1-1/\ell}n^{1+1/\ell}$ のオーダーを導出する。
• 構成によって、この境界が漸近的にタイトであることを示し、定数 $c_\ell$ を除いて、漸近的成長率を達成するグラフを構築する。
• $\ell$ が奇数であるという仮定に依存しており、これは構造的解析と極値的構成において不可欠である。

実験結果

リサーチクエスチョン

• RQ1 固定された奇数 $\ell$ と大きな $t$ に対して、$\Theta_{\ell,t}$ を部分グラフとして含まないグラフにおける辺の最大数は何か？
• RQ2 $\Theta_{\ell,t}$ のツァラン数は、$n$、$t$、$\ell$ の観点からどのように漸近的に成長するか？
• RQ3 $\Theta_{\ell,t}$ のツァラン数に対する上界は、乗法的定数 $c_\ell$ を除いてタイトか？
• RQ4 $\Theta_{\ell,t}$ がどのような構造的性質を有することで、このような正確な漸近的特徴付けが可能になったのか？

主な発見

• 固定された奇数 $\ell$ と大きな $t$ に対して、$\Theta_{\ell,t}$ のツァラン数は、$c_\ell t^{1-1/\ell}n^{1+1/\ell}$ 本の辺以下である。
• この上界は漸近的にタイトであり、$\Omega(t^{1-1/\ell}n^{1+1/\ell})$ 本の辺を持つ $\Theta_{\ell,t}$-free グラフが存在する。
• 定数 $c_\ell$ の値を除いて、境界はタイトである。この定数は論文内で未特定のまま残されている。
• この結果により、$\Theta_{\ell,t}$ の極値関数の正確な漸近的成長率が確立され、そのオーダーの大きさが解明された。