[論文レビュー] Hedetniemi's Conjecture Via Alternating Chromatic Number

Meysam Alishahi, Hossein Hajiabolhassan|arXiv (Cornell University)|Mar 18, 2014

Topological and Geometric Data Analysis参考文献 20被引用数 1

ひとこと要約

本稿は、強アルターマチック数を用いて、ヘデトニエミの予想の緩い形を証明し、2つのグラフのカテゴリカル積の彩色数に対するタイトな下界を、それらのアルターマチック数および強アルターマチック数の観点から確立する。結果として、予想が成り立つ新たな十分条件が得られ、予想を満たすグラフの族が拡張される。

ABSTRACT

A $50$ years unsolved conjecture by Hedetniemi [{\it Homomorphisms of graphs and automata, ewblock {\em Thesis (Ph.D.)--University of Michigan}, 1966}] asserts that the chromatic number of the categorical product of two graphs $G$ and $H$ is $\min\{\chi(G),\chi(H)\}$. The present authors [{\it On the chromatic number of general {K}neser hypergraphs. ewblock {\em Journal of Combinatorial Theory, Series B}, 2015.}] introduced the altermatic and the strong altermatic number of graphs as two tight lower bounds for the chromatic number of graphs. In this work, we prove a relaxation of Hedetniemi's conjecture in terms of strong altermatic number. Also, we present a tight lower bound for the chromatic number of the categorical product of two graphs in term of their altermatic and strong altermatic numbers. These results enrich the family of pair graphs $\{G,H\}$ satisfying Hedetniemi's conjecture.

研究の動機と目的

• ヘデトニエミの予想（χ(G×H) = min{χ(G), χ(H)}）がより広いクラスのグラフに対して成り立つかを調査すること。
• 強アルターマチック数を新たな道具として導入し、彩色数に対する既存の下界を拡張すること。
• アルターマチック数および強アルターマチック数を用いて、カテゴリカル積の彩色数に対するタイトな下界を確立すること。
• ヘデトニエミの予想が成り立つ新たなグラフの組 {G, H} を同定することにより、成立する例の族を豊かにすること。

提案手法

• 強アルターマチック数を、グラフの彩色数の下界を提供する新たな不変量として導入する。
• 交互彩色の概念を用いてアルターマチック数および強アルターマチック数を定義し、以前の下界を一般化する。
• ケネザー超グラフの彩色を用いた位相的手法を適用し、カテゴリカル積の彩色数に対するタイトな下界を導出する。
• G×H の彩色数が G および H の強アルターマチック数の最小値以上であることを証明し、ヘデトニエミの予想を緩めることを示す。
• G および H のアルターマチック数および強アルターマチック数を用いて、χ(G×H) の一般下界を確立する。
• 既存のケネザー超グラフに関する結果を活用し、新フレームワークにおける下界のタイトさを保証する。

実験結果

リサーチクエスチョン

• RQ1 強アルターマチック数は、2つのグラフのカテゴリカル積の彩色数に対して有効な下界を提供するか？
• RQ2 G×H の彩色数は、χ_s(G) および χ_s(H) の最小値で下から抑えられるか（χ_s は強アルターマチック数を表す）？
• RQ3 アルターマチック数および強アルターマチック数とカテゴリカルグラフ積の彩色数の関係は何か？
• RQ4 これらの新しい不変量を用いた場合、G×H の彩色数が min{χ(G), χ(H)} に等しくなる条件は何か？
• RQ5 これらの新しい下界を用いて、ヘデトニエミの予想を満たすグラフの組の族を拡張できるか？

主な発見

• 強アルターマチック数は、カテゴリカル積 G×H の彩色数に対して有効な下界を提供する。
• G×H の彩色数は、G および H の強アルターマチック数の最小値以上であることが証明され、ヘデトニエミの予想の緩い形が成立することが示された。
• G および H のアルターマチック数および強アルターマチック数を用いて、χ(G×H) のタイトな下界が確立された。
• 結果として、ヘデトニエミの予想が成り立つ新たなグラフの組 {G, H} が同定され、成立する例のクラスが拡張された。
• 既知のケネザー超グラフおよび交互彩色に関する結果を活用することで、下界のタイトさが実証された。
• このフレームワークにより、組合せ的および位相的道具を用いて、新たなグラフ族に対して予想を体系的に検証する方法が提供された。