[论文解读] 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 $ 的強交替數中的最小值，從而將滿足Hedetniemi猜想的圖的家族擴展至包含Kneser多重圖、匹配圖、排列圖以及迭代Mycielskian圖。

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構造下的可預測行為，其值至少增加一。
• 利用交替數與強交替數為分類積的色數建立緊緻下界。
• 透過納入Kneser多重圖、匹配圖、排列圖與迭代Mycielskian圖，豐富拓撲緊緻圖家族。

提出的方法

• 引入交替數 $ \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 $，並將此界推廣至迭代Mycielskian圖。

实验结果

研究问题

• RQ1 強交替數是否為兩張圖的分類積的色數提供下界？
• 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多重圖、匹配圖與排列圖。
• 強交替數為分類積的色數提供了緊緻下界，並擴展了已知的拓撲下界結果。
• 此結果對擴展家族中的圖的迭代Mycielskian圖也成立，包括所有由Kneser圖與Schrijver圖衍生出的圖。
• 利用符號向量與交錯子序列的證明技術，可統一處理多種圖家族，包含具有複雜邊結構的圖。