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

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

Topological and Geometric Data Analysis参考文献 2被引用数 4

ひとこと要約

この論文は、グラフのカテゴリー的積の彩色数に対する鋭い下界としての代数的数および強代数的数を用いて、Hedetniemiの予想の緩和を証明する。$ G \times H $ の彩色数は、$ G $ および $ H $ の強代数的数の最小値以上であることが示され、Kneser多重グラフ、マッチンググラフ、置換グラフ、反復Mycielskiansを含む、Hedetniemiの予想を満たすグラフの族が拡張される。

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\{χ(G),χ(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.

研究の動機と目的

• 代数的数および強代数的数に基づく新しい下界を導入することで、Hedetniemiの予想を満たすグラフの族を拡張すること。
• カテゴリー的積 $ G \times H $ の彩色数が、$ G $ および $ H $ の強代数的数の最小値以上であることを証明すること。
• Mycielskian構成における代数的数の振る舞いが予測可能であることを示し、少なくとも1以上増加することを示すこと。
• 代数的数および強代数的数を用いて、カテゴリー的積の彩色数に対する鋭い下界を確立すること。
• Kneser多重グラフ、マッチンググラフ、置換グラフ、反復Mycielskiansを含む、トポロジカルな鋭いグラフ族を拡張すること。

提案手法

• グラフの彩色数に対するトポロジカルな下界として、代数的数 $ \zeta(G) $ および強代数的数 $ \zeta_s(G) $ を導入する。
• 符号付きベクトルと交互部分列を用いて、グラフのKneser表現を通じて代数的数を定義・分析する。
• ハイパーグラフ $ \mathcal{L} = \{A \cup B : A \in \mathcal{G}, B \in \mathcal{H}\} $ における積構成を用いて、カテゴリー的積 $ KG(\mathcal{G}) \times KG(\mathcal{H}) $ をモデル化する。
• 符号付きベクトルの分解と交互部分列の分析を用いて、不等式 $ \zeta(G \times H) \geq \min\{\zeta(G), \zeta(H)\} $ を確立する。
• 強代数的数についても $ \zeta_s(G \times H) \geq \min\{\zeta_s(G), \zeta_s(H)\} $ を証明し、Hedetniemiの予想の緩和を得る。
• 既知のコホノロジー指数およびMycielskian構成に関する結果を活用し、$ \zeta_s(M(G)) \geq \zeta_s(G) + 1 $ を示し、反復Mycielskiansへの拡張を達成する。

実験結果

リサーチクエスチョン

• RQ1 強代数的数は、2つのグラフのカテゴリー的積の彩色数に対する下界を提供するか？
• RQ2 代数的数を用いて、Hedetniemiの予想の緩和を、新たなグラフ族に対して証明できるか？
• RQ3 代数的数はMycielskian構成においてどのように振る舞うか？
• RQ4 Kneser多重グラフ、マッチンググラフ、置換グラフは強く代数的 $ t $-彩色可能か？
• RQ5 カテゴリー的積 $ G \times H $ の彩色数は $ \chi(G \times H) \geq \min\{\zeta_s(G), \zeta_s(H)\} $ を満たすか？

主な発見

• カテゴリー的積 $ G \times H $ の彩色数は $ \chi(G \times H) \geq \min\{\zeta_s(G), \zeta_s(H)\} $ を満たし、Hedetniemiの予想の緩和を証明する。
• グラフ $ G $ のMycielskianの強代数的数は $ \zeta_s(M(G)) \geq \zeta_s(G) + 1 $ を満たし、既知の境界を一般化する。
• Hedetniemiの予想を満たすグラフの族は、Kneser多重グラフ、マッチンググラフ、置換グラフを含むように拡張される。
• 強代数的数は、カテゴリー的積の彩色数に対する鋭い下界を提供し、トポロジカルな下界に関する既知の結果を拡張する。
• この結果は、KneserグラフおよびSchrijverグラフから導かれるすべてのグラフを含む、反復Mycielskiansのグラフに対しても成り立つ。
• 符号付きベクトルと交互部分列を用いた証明技法により、複雑な辺構造を有する複数のグラフ族を統一的に扱えるようになる。