[论文解读] Hedetniemi's Conjecture Via Alternating Chromatic Number

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

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

一句话总结

本文通過強交替數（strong altermatic number）證明了赫德蒂尼emi猜想的一個放鬆版本，建立了圖的分類積的色數的緊緻下界，其表達式以圖的交替數與強交替數為基礎。結果提供了新的充分條件，使猜想成立，從而豐富了滿足該猜想的圖的家族。

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.

研究动机与目标

• 探討赫德蒂尼emi猜想——即 χ(G×H) = min{χ(G), χ(H)}——在更廣泛圖類中的有效性。
• 透過引入強交替數作為新工具，擴展現有的色數下界。
• 利用交替數與強交替數，為分類積的色數建立緊緻下界。
• 識別出新的圖對 {G, H}，使得赫德蒂尼emi猜想成立，從而擴展已知的滿足情形家族。

提出的方法

• 引入強交替數作為新不變量，提供圖色數的下界。
• 利用交替著色的概念定義交替數與強交替數，推廣先前的下界。
• 透過Kneser超圖著色的拓撲方法，推導出分類積色數的緊緻下界。
• 證明 G×H 的色數至少為 G 與 H 的強交替數的最小值，從而放鬆赫德蒂尼emi猜想。
• 建立以 G 與 H 的交替數與強交替數表達的 χ(G×H) 一般下界。
• 利用先前關於Kneser超圖的研究結果，確保新框架中下界的緊緻性。

实验结果

研究问题

• RQ1 強交替數是否為兩圖分類積色數的有效下界？
• RQ2 G×H 的色數能否被下界 min{χ_s(G), χ_s(H)} 所限制，其中 χ_s 表示強交替數？
• RQ3 交替數與強交替數和分類圖積色數之間的關係為何？
• RQ4 在使用這些新不變量時，G×H 的色數在何種條件下等於 min{χ(G), χ(H)}？
• RQ5 能否利用這些新下界擴展滿足赫德蒂尼emi猜想的圖對家族？

主要发现

• 強交替數為圖分類積 G×H 的色數提供了有效的下界。
• G×H 的色數至少為 G 與 H 的強交替數的最小值，從而證明了赫德蒂尼emi猜想的放鬆版本。
• 以 G 與 H 的交替數與強交替數為基礎，建立了 χ(G×H) 的緊緻下界。
• 研究結果識別出新的圖對 {G, H}，使得赫德蒂尼emi猜想成立，擴展了已知的滿足情形家族。
• 下界具有緊緻性，這一點透過利用已知的Kneser超圖與交替著色結果得以驗證。
• 該框架提供了一套系統化的方法，可結合組合與拓撲工具，用於驗證新圖族是否滿足該猜想。