[論文レビュー] Chromatic number and mimimum degree of K_r-free graphs

Vladimir Nikiforov|arXiv (Cornell University)|Jan 13, 2010

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

ひとこと要約

この論文は、三角形を含まないグラフに関する古典的結果を、$K_{r+1}$-free グラフへと拡張し、彩色数を制御する最小次数の閾値を特定している。$K_{r+1}$-free グラフで最小次数が $\left(1 - \frac{2}{2r-1}\right)n$ を超える場合、彩色数は $r+2$ 以下であることを証明し、この閾値における $r+1$ および $r+2$ 彩色グラフの構造を同定しており、アンドラーシュファイとハイナルの先行研究を一般化している。

ABSTRACT

A number of famous results about triangle-free graphs determine the maximum chromatic number of graphs of order n with minimum degree greater than n/3. In this note these results are extended to Kr-free graphs.

研究の動機と目的

• 高次な最小次数を持つ $K_{r+1}$-free グラフの彩色数に関する理解の空白を埋め、三角形を含まないグラフに関する先行結果を拡張する。
• $r=2$ の場合に限るエドーシュ–シモノヴィツの予想とブランドト–トマッセーの定理を $r \geq 3$ に一般化する。
• 最小次数が $> \left(1 - \frac{2}{2r-1}\right)n$ で、彩色数が $r+1$ または $r+2$ である $K_{r+1}$-free グラフの構造を同定する。
• 最小次数が $> \left(1 - \frac{2}{2r-1}\right)n - o(n)$ で、任意に大きな彩色数を持つ $K_{r+1}$-free グラフの明示的族を構成する。
• 極値的構成とアンドラーシュファイ・グラフのブロー・アップを用いて、彩色数の上限 $r+2$ がタイトであることを確立する。

提案手法

• アンドラーシュファイ・グラフのブロー・アップを用いて、$K_3$-free グラフで高い最小次数と大きな彩色数を持つハルナルの構成を、$K_{r+1}$-free グラフへと一般化する。
• $K_{r+1}$-free グラフで最小次数を制御できるように、$T_{r-2}(n)$ であるツーラン・グラフを基本部品として用いる。
• $k$-番目のアンドラーシュファイ・グラフのブロー・アップ構成 $A_k(t)$ を用いて、$K_{r+1}$-free で $(r+1)$-彩色可能な高次な最小次数のグラフを構築する。
• ツーラン部品とアンドラーシュファイのブロー・アップ部品を別々に分析することで、最小次数の下界を確立する。
• 漸近的解析と床関数の推定を用いて、最小次数が $\left(1 - \frac{2k-1}{(2k-1)r - k + 1}\right)n - 1$ を超過することを示す。
• 極値的グラフを構成することで、境界のタイトさを証明し、それらがより小さいアンドラーシュファイ型グラフへのホモモーフィズムを持たないことを示す。

実験結果

リサーチクエスチョン

• RQ1 最小次数が $\left(1 - \frac{2}{2r-1}\right)n$ を超過する $K_{r+1}$-free グラフの彩色数の最大値は何か？
• RQ2 最小次数が $\left(1 - \frac{2}{2r-1}\right)n$ を超過する $K_{r+1}$-free グラフの彩色数はどれほど大きくなることができるか？
• RQ3 最小次数が $\left(1 - \frac{2}{2r-1}\right)n$ を超過し、彩色数が $r+1$ または $r+2$ である $K_{r+1}$-free グラフの構造的特徴は何か？
• RQ4 最小次数が $\left(1 - \frac{2}{2r-1}\right)n - o(n)$ を超過するように、任意に大きな彩色数を持つ $K_{r+1}$-free グラフを構成できるか？
• RQ5 最小次数が $\left(1 - \frac{2}{2r-1}\right)n$ を超過する $K_{r+1}$-free グラフに対して、彩色数の上限 $r+2$ はタイトか？

主な発見

• 任意の $r \geq 2$ に対して、$K_{r+1}$-free グラフ $G$ が $n$ 項で $\delta(G) > \left(1 - \frac{2}{2r-1}\right)n$ を満たすならば、$\chi(G) \leq r+2$ である。
• 最小次数が $\left(1 - \frac{2}{2r-1}\right)n - o(n)$ を超過する $K_{r+1}$-free グラフで、任意に大きな彩色数を持つものが存在する。
• $r+1$-彩色の $K_{r+1}$-free グラフで、$\delta(G) > \left(1 - \frac{2}{2r-1}\right)n$ を満たすものの構造は、ある $k$ に対して $A_k + K_{r-2}$ にホモモーフィックであることが同定された。
• $1 \leq k \leq 9$ に対して、$G$ が $K_{r+1}$-free で $\delta(G) > \left(1 - \frac{2k-1}{(2k-1)r - k + 1}\right)n$ を満たすならば、$G$ は $A_k + K_{r-2}$ にホモモーフィックであり、したがって $\chi(G) \leq r+1$ である。
• 極値的構成により、$\chi(G) \leq r+2$ の境界がタイトであることが示された。なぜなら、この閾値でこの彩色数に達する $K_{r+1}$-free グラフが存在するからである。
• 最小次数の閾値 $\left(1 - \frac{2}{2r-1}\right)n$ は鋭い：$r \geq 3$ の場合、$\delta(G) > \left(1 - \frac{2}{2r-1}\right)n - o(n)$ で、任意に大きな彩色数を持つ $K_{r+1}$-free グラフが存在する。