[論文レビュー] Extremal graphs for clique-paths

Roman Glebov|arXiv (Cornell University)|Nov 30, 2011

Advanced Graph Theory Research参考文献 5被引用数 12

ひとこと要約

この論文は、$n$ 頂点のグラフがクロークルパス $P_{k,r}$（$r \geq 3$）を含まない場合の最大辺数を特定する。$P_{k,r}$ は $k$ 条の辺からなるパスで、各辺が $r$-クリークに拡張されている。十分に大きな $n$ に対して、最大辺数を達成するグラフは $G_{n,k,r}$ と同型であることが示され、$G_{n,k,r}$ はサイズ $\lfloor (k-1)/2 \rfloor$ のクリークとターラングラフ $T_{n-f,r-1}$ の結合から構成され、$k$ が偶数の場合は追加の辺が加わる。この結果により、最大辺数の正確な値と、最大辺数を達成するグラフの構造の一意性が両方とも確立される。

ABSTRACT

In this paper we deal with a Turán-type problem: given a positive integer n and a forbidden graph H, how many edges can there be in a graph on n vertices without a subgraph H? How does a graph look like if it has this extremal edge number? The forbidden graph in this article is a clique-path: a path of length k where each edge is extended to an r-clique, r >2. We determine both the extremal number and the extremal graphs for sufficiently large n.

研究の動機と目的

• 各辺が $r$-クリーク（$r \geq 3$）に拡張された $k$ 項パスの形をしたクロークルパス $P_{k,r}$ を含まない $n$ 頂点グラフにおける正確な極値辺数を特定すること。
• 十分に大きな $n$ に対して、最大辺数を達成するすべての $P_{k,r}$-フリーなグラフの構造を同定すること。
• 既知の極値グラフ論の結果を、クリークやスターパスのような単純な構造を越えて、より複雑なクリーク拡張構造へと拡張すること。
• 与えられた条件下で、極値グラフ構成 $G_{n,k,r}$ が唯一の最大辺数を達成するグラフであることを確立すること。

提案手法

• 極値グラフ $G_{n,k,r}$ を、サイズ $f = \lfloor (k-1)/2 \rfloor$ のクリークとターラングラフ $T_{n-f,r-1}$ の結合として構成し、$k$ が偶数の場合は追加の辺を加える。
• 安定性手法と極値グラフ論の技法を用いて、$P_{k,r}$-フリーで辺数が最大に近いグラフはすべて $G_{n,k,r}$ と同型であることを示す。
• 近隣と共通近隣の議論を用いて、大きな独立集合 $S$ に対して高い次数を持つ「犯罪者（felons）」を同定し、次数と交差制約によりその数を制限する。
• 三角形や辺の $P$-回避拡張を用いて帰納的に $P_{k,r}$ 部分グラフを構築し、このような頂点や辺が多すぎると禁止された構成が生じることを証明する。
• Erd\'os-Stone の漸近的結果と Simonovits の安定性法を適用して、問題を最小次数が高いグラフに還元する。
• 非 $G_{n,k,r}$ の最大辺数を持つグラフが存在すると仮定し、接続子拡張を用いて $P_{k,r}$ 部分グラフを構成することで背理法を用い、$P_{k,r}$-フリー性に反する。

実験結果

リサーチクエスチョン

• RQ1 $r \geq 3$ の場合に、$n$ 頂点のグラフが部分グラフとしてクロークルパス $P_{k,r}$ を含まない最大辺数は何か？
• RQ2 十分に大きな $n$ に対して、この最大辺数を達成する極値グラフの構造はどのように特徴づけられるか？
• RQ3 サイズ $\lfloor (k-1)/2 \rfloor$ のクリークとターラングラフ $T_{n-f,r-1}$ を結合して得られる極値グラフ $G_{n,k,r}$ は、どのようにして $P_{k,r}$ の形成を防いでいるか？
• RQ4 $k$ が偶数のとき、1つの追加辺を加えると、極値構造にどのような影響を与えるか？
• RQ5 極値グラフは $G_{n,k,r}$ として一意に特徴づけられるか？ また、このグラフが唯一の最大辺数を達成するグラフであるか？

主な発見

• $n > 16k^8r^{11}$ の場合、$P_{k,r}$-フリーな $n$ 頂点グラフにおける極値辺数は、$G_{n,k,r}$ と同型である場合にかつその場合にのみ達成される。ここで $G_{n,k,r}$ は、サイズ $f = \lfloor (k-1)/2 \rfloor$ のクリークとターラングラフ $T_{n-f,r-1}$ の結合であり、$k$ が偶数の場合は追加の辺が加わる。
• $G_{n,k,r}$ は $P_{k,r}$ 部分グラフを含まない。なぜなら、このグラフ内の各 $r$-クリークは、追加されたクリークまたは追加の辺から少なくとも1つの頂点を含み、最大で $k-1$ 条の辺を持つクロークルパスしかサポートできないため、必要な $k$ 条の辺に満たない。
• 辺数が $g_{n,k,r}$ を超える $P_{k,r}$-フリーなグラフは、必ず $P_{k,r}$ 部分グラフを含む。これにより、$G_{n,k,r}$ が極値であることが証明される。
• 独立集合 $S$ において高い近隣サイズを持つ「犯罪者（felons）」の数は $\lfloor (k-1)/2 \rfloor$ 以下であり、この上限はタイトである。
• $k$ が偶数の場合は $L_i$ 集合（独立集合内の追加の辺の候補）に高々1つの辺しか含めず、$k$ が奇数の場合は独立集合である。これは $P_{k,r}$ 部分グラフの形成リスクがあるためである。
• 極値グラフは同型を除いて一意である：$F$ と $S$ 間のすべての辺が存在し、$S$ は完全な $(r-1)$-部グラフ（ターラングラフ）で、$F$ は完全グラフであり、$k$ が偶数の場合は追加の辺が存在する。