[論文レビュー] On the Erdös-Lovász Tihany Conjecture for Claw-Free Graphs

Maria Chudnovsky, Alexandra Fradkin+1 more|arXiv (Cornell University)|Sep 4, 2013

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

ひとこと要約

この論文は、クモの巣自由グラフにおけるErdős-Lovász Tihany予想の弱化版を証明している：任意のクモの巣自由グラフ $G$ に対して $χ(G) > ω(G)$ が成り立つとき、$χ(G \setminus K) > χ(G) - |K|$ を満たすサイズが5以下のクリーク $K$ が存在する。証明はクモの巣自由グラフの構造的分解と、既知のグラフクラスに基づくケース解析を用い、準線形グラフおよび線グラフに関する先行研究を拡張している。

ABSTRACT

In 1968, Erdös and Lovász conjectured that for every graph $G$ and all integers $s,t\geq 2$ such that $s+t-1=χ(G) > ω(G)$, there exists a partition $(S,T)$ of the vertex set of $G$ such that $χ(G|S)\geq s$ and $χ(G|T)\geq t$. For general graphs, the only settled cases of the conjecture are when $s$ and $t$ are small. Recently, the conjecture was proved for a few special classes of graphs: graphs with stability number 2 \cite{quasi-line}, line graphs \cite{line} and quasi-line graphs \cite{quasi-line}. In this paper, we consider the conjecture for claw-free graphs and present some progress on it.

研究の動機と目的

• 準線形グラフを真に含むより広いクラスのクモの巣自由グラフへ、Erdős-Lovász Tihany予想を拡張すること。
• クモの巣自由グラフで $χ(G) > ω(G)$ が成り立つ場合に、サイズ ≤ 5 の小さなクリーク $K$ が存在し、$K$ を削除することで彩色数が $|K|$ より少ない値にしか減少しないことを確立すること。
• クモの巣自由グラフ構造定理の構造的結果を分析することで、予想を弱化形で解決すること。
• 「かすれ円形区間グラフ」、「厚化けグラフ」、および「3つのクリークの和集合」というグラフクラスにわたるケース解析を通じて、最小反例を除外すること。

提案手法

• Chudnovsky と Seymour のクモの巣自由グラフの構造定理を用い、クリーク、共通近傍、混合頂点に基づいてグラフを成分に分解する。
• 重要な概念を定義する：Tihany クリーク（$χ(G \setminus K) \geq \chi(G) - |K| + 1$ を満たすもの）、密度の高いクリーク（$C(K)$ がクリークであるもの）、および良いクリーク（$C(K)$ が反マッチングであるもの）。
• ストリップ分解と非自明なストリップ構造を用いてグラフ成分を分析し、クリーク切断集合および線グラフストリップに関する補題を適用する。
• グラフの種類ごとのケース解析を行う：$Τ_1$、$Τ_2$、$Τ_3$（特定の基本グラフの厚化け）、および3つのクリークの和集合。
• 背理法を用いる：最小反例を仮定し、それがいかなる構造的クラスにも属しないことを示し、線グラフおよび準線形グラフに関する既知の結果により矛盾を導く。
• 先行研究を応用する：線グラフは予想を満たす[1]、準線形グラフは[9]でカバーされている。これらを用いて特定のケースを除外する。

実験結果

リサーチクエスチョン

• RQ1 Erdős-Lovász Tihany予想は、クモの巣自由グラフにおいて弱化形で成り立つか？
• RQ2 クモの巣自由グラフで $χ(G) > ω(G)$ が成り立つ場合に、サイズが5以下の小さなクリーク $K$ を見つけられ、$K$ を削除することで彩色数が $|K|$ より少ない値にしか減少しないか？
• RQ3 最小反例は、既知のグラフクラスへの構造的分解によって除外可能か？
• RQ4 クモの巣自由グラフの構造定理を活用して、有界サイズのTihanyクリークの存在を証明できるか？
• RQ5 3つのクリークの和集合やかすれ円形区間グラフは、サイズ ≤ 5 のTihanyクリークを含むか？

主な発見

• 任意のクモの巣自由グラフ $G$ で $χ(G) > ω(G)$ が成り立つとき、$χ(G \setminus K) > χ(G) - |K|$ を満たすサイズが5以下のクリーク $K$ が存在する。
• 最小反例の可能性がすべての構造的クラス（$Τ_1$、$Τ_2$、$Τ_3$、および3つのクリークの和集合）から除外されたことで、この結果が確立された。
• $Τ_1$ に属するグラフ（イコスハエドロンまたはその部分グラフの厚化け）は、構造的解析と既知のかすれ円形区間グラフに関する結果により除外された。
• $Τ_2$ および $Τ_3$ に属するグラフは、反多面体グラフおよび厚化け構造に関する結果を用いて除外された。
• 3つのクリークの和集合は、補題8.8によりサイズが5以下のTihanyクリークを含むことが示され、最小反例の存在を矛盾させた。
• 証明により、最小反例が存在しないことが確認されたため、クモの巣自由グラフにおける弱化された予想が正当化された。