[論文レビュー] Tree-chromatic number is not equal to path-chromatic number

Tony Huynh, Ringi Kim|arXiv (Cornell University)|May 22, 2015

Advanced Graph Theory Research参考文献 2被引用数 3

ひとこと要約

この論文は、木彩色数と経路彩色数が常に等しいわけではないことを示すことで、長年の未解決問題を解決した。特定の条件下で経路彩色数を増加させる新しいグラフ作用 $ R_m(G) $ を導入した。主な結果は、$ \chi_T(G) \neq \chi_P(G) $ を満たす $ k $-連結グラフの無限族を構成し、セイヤーの予想を解決した。また、ミエルツキー・グラフの経路彩色数が無限大に達することを示した。

ABSTRACT

For a graph $G$ and a tree-decomposition $(T, \mathcal{B})$ of $G$, the chromatic number of $(T, \mathcal{B})$ is the maximum of $χ(G[B])$, taken over all bags $B \in \mathcal{B}$. The tree-chromatic number of $G$ is the minimum chromatic number of all tree-decompositions $(T, \mathcal{B})$ of $G$. The path-chromatic number of $G$ is defined analogously. In this paper, we introduce an operation that always increases the path-chromatic number of a graph. As an easy corollary of our construction, we obtain an infinite family of graphs whose path-chromatic number and tree-chromatic number are different. This settles a question of Seymour. Our results also imply that the path-chromatic numbers of the Mycielski graphs are unbounded.

研究の動機と目的

• パール・セイヤーが提起した予想、すなわちすべてのグラフについて木彩色数と経路彩色数が等価でないことを解決すること。
• 特定の条件下で経路彩色数を体系的に増加させるグラフ作用 $ R_m(G) $ を構築すること。
• ミエルツキー・グラフの経路彩色数が無限大に達することを示すこと。
• すべてのグラフ $ G $ に対して $ \chi_T(G) \neq \chi_P(G) $ を満たす無限族の存在を確立すること。

提案手法

• グラフ $ G $ から $ m $ 個の $ G $ の頂点コピーと特別な頂点 $ v_0 $ を用いて新しいグラフを構成するグラフ作用 $ R_m(G) $ を導入。隣接関係は同じインデックスを共有するか、$ G $ で隣接する場合に定義される。
• 頂点列 $ \sigma $ に基づく経路分解 $ P_\sigma^G $ を定義。各集合 $ X_i $ は最初の $ i $ 個の頂点の閉近傍から最初の $ i-1 $ 個の頂点を除いたものである。
• 「特別な列挙」$ \sigma $ の概念を導入。ここで $ \chi(P_\sigma^G) = \chi_P(G) $ であり、各高彩色の袋に属する最後の頂点は、それより前の隣接頂点を持たない。
• 動的計画法と彩色の議論を用いて、特に $ [I, X_j \setminus v_j] $ という誘導部分グラフの彩色可能性を分析し、$ R_m(G) $ の彩色数を分析。
• 構造的補題（例：補題 3.1–3.4）を適用し、特別な列挙が存在すると仮定した場合の矛盾を導く。
• 定理 1.3 を証明する。$ R_\ell(R_m(G)) $ には特別な列挙が存在しないことを示し、それにより経路彩色数が $ \chi_P(G) $ を超えることが示された。

実験結果

リサーチクエスチョン

• RQ1 木彩色数が経路彩色数と厳密に異なるグラフは存在するか？
• RQ2 構造的性質を保存または変更しつつ、経路彩色数を増加させるグラフ作用を構築できるか？
• RQ3 ミエルツキー・グラフの経路彩色数は無限大に達するか？
• RQ4 すべてのグラフ $ G $ に対して $ \chi_P(G) \leq f(\chi_T(G)) $ を満たす関数 $ f $ が存在するか？

主な発見

• 本論文は、$ \chi_T(G) \neq \chi_P(G) $ を満たす $ k $-連結グラフの無限族を構成し、2つのパラメータが等価でないことを証明した。
• 任意のグラフ $ G $ について $ \chi_P(G) = k $ ならば、$ G $ に特別な列挙が存在しない場合、$ R_m(G) $ は経路彩色数を $ k+1 $ に増加させる。そうでない場合は $ k $ のまま維持される。
• $ R_m $ を2度適用した $ R_\ell(R_m(G)) $（$ \ell \geq m(n+1)+k+3 $）では、$ \chi_P(R_\ell(R_m(G))) > k $ が保証され、厳密な増加が証明された。
• ミエルツキー・グラフの経路彩色数は無限大に達する。これは、$ R_m $ を繰り返し適用可能であるためである。
• $ \chi_T(G) < \chi_P(G) $ を満たすグラフの存在は、すべての $ G $ に対して $ \chi_P(G) \leq f(\chi_T(G)) $ を満たす関数 $ f $ が存在しないことを示唆する。
• 証明は、特別な列挙の非存在に基づく構造的彩色の議論と矛盾によるものである。