[论文解读] Smaller counterexamples to Hedetniemi's conjecture

Marcin Wrochna|arXiv (Cornell University)|Dec 25, 2020

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

一句话总结

本文構造了目前已知最小的五色彩色反例，用於反駁Hedetniemi猜想，使張量積的色數低於任一因子的色數。透過修改Tardif的框架，結合字典積與指數圖的細緻分析，作者提出一個反例，其中G有4,686個頂點，H有30個頂點，顯著改善了c=5時的先前結果。

ABSTRACT

Hedetniemi's conjecture~\cite{hedetniemi1966homomorphisms} for $c$-colorings states that the tensor product $G imes H$ is $c$-colorable if and only if $G$ or $H$ is $c$-colorable. El-Zahar and Sauer~\cite{El-ZaharS85} proved it for $c = 3$. In a recent breakthrough, Shitov~\cite{Shitov19} showed counterexamples, for large $c$. While Shitov's proof is already remarkably short, Zhu \cite{Zhu20} simplified the argument and gave a more explicit counterexample for $c=125$. Tardif \cite{Tardif20} showed that a modification of the arguments allows to use ``wide colorings'' to obtain counterexamples for $c=14$, and $c=13$ with a more involved use of lexicographic products. This note presents two more small modifications, resulting in counterexamples for $c=5$ (with $G$ and $H$ having 4686 and 30 vertices, respectively).

研究动机与目标

• 構造Hedetniemi猜想在c色彩化下的更小反例，特別是針對c=5等小c值。
• 在張量積G×H中縮小圖G與H的規模，以反證該猜想，其中χ(G×H) ≤ c，但χ(G) > c且χ(H) > c。
• 透過引入字典積的新構造並分析指數圖中的近乎常數函數，改良Tardif與Zhu的既有方法。
• 針對c=5，實現最小頂點數的反例，超越先前c=13與c=14的結果。

提出的方法

• 以Ω₁₃K₆取代Tardif框架中的圖F，確保Γ₅F具有三色化，進而促成更小的反例。
• 使用字典積構造Ω_d(K_n[K_k]) = Ω_dK_{n·k}，重新表述Γ_dF色化條件，簡化參數調校。
• 定義G上的特定函數h^{(d)}_{i,j}與g^q_i，以模擬指數圖K_c^G中色彩傳播，追蹤長度為d的路徑上色彩的傳遞。
• 分析這些函數在K_c^G假設c色化下的色化行為，顯示大小為c−k的團必須僅以k種顏色著色，當c ≥ 2k+1時導致矛盾。
• 透過常數函數、h^{q,(d)}_{i,j}與g^q_i函數，明確構造H = K_c^G的頂點集合，最小化|V(H)|，同時保留矛盾性質。
• 最佳化基於路徑的色彩傳播深度d（例如c=5時d=7），以減少所需函數數量與H中的頂點數。

实验结果

研究问题

• RQ1 能否構造出比先前已知更小圖形的Hedetniemi猜想反例，適用於c=5？
• RQ2 對Tardif框架的哪些修改可使G與H的頂點數減少，同時保持反例性質？
• RQ3 如何利用字典積與指數圖函數來最小化反例的規模？
• RQ4 要反證c=5時的Hedetniemi猜想，G與H所需的最小頂點數是多少？
• RQ5 c ≥ 2k+1的條件能否用於構造色化矛盾，從而證明c=5時猜想為偽？

主要发现

• 本文構造了一個針對五色彩色化的Hedetniemi猜想反例，使用G有4,686個頂點，H有30個頂點。
• 反例使用G = Ω₁₃K₆，H為K₅^G的子圖，H包含30個明確定義的頂點，包括常數函數與結構化函數。
• 透過設定k=2，c=5，n=3，作者滿足c ≥ n+1、c ≥ 2k+1與c+1 ≤ n·k等條件，這些是色化論證中產生矛盾的必要條件。
• 該構造依賴於在G中長度為7的路徑上分析色彩傳播，使用h^{(d)}_{i,j}與g^q_i函數模擬色彩轉移，並透過團著色推導矛盾。
• 最終矛盾來自H中大小為c−k=3的團必須僅以k=2種顏色著色，當c ≥ 2k+1時違反色數要求。
• 該方法使H的頂點數從89減少至30，G的頂點數從397,215減少至4,686，顯著優於Tardif與Zhu的構造。