[论文解读] Tree-chromatic number is not equal to path-chromatic number

Tony Huynh, Ringi Kim|arXiv (Cornell University)|May 22, 2015

Advanced Graph Theory Research参考文献 2被引用 3

一句话总结

本文通過證明圖的樹色數與路徑色數並非始終相等，解決了一個長期存在的問題，引入了一種新的圖運算 $ R_m(G) $，在特定條件下可提升路徑色數。關鍵結果是構造出一個無限多的 $ k $-連通圖族，其滿足 $ \chi_T(G) \neq \chi_P(G) $，從而解決了西蒙斯的猜想，並表明邁茨基圖的路徑色數是無界的。

ABSTRACT

For a graph $G$ and a tree-decomposition $(T, \mathcal{B})$ of $G$, the chromatic number of $(T, \mathcal{B})$ is the maximum of $χ(G[B])$, taken over all bags $B \in \mathcal{B}$. The tree-chromatic number of $G$ is the minimum chromatic number of all tree-decompositions $(T, \mathcal{B})$ of $G$. The path-chromatic number of $G$ is defined analogously. In this paper, we introduce an operation that always increases the path-chromatic number of a graph. As an easy corollary of our construction, we obtain an infinite family of graphs whose path-chromatic number and tree-chromatic number are different. This settles a question of Seymour. Our results also imply that the path-chromatic numbers of the Mycielski graphs are unbounded.

研究动机与目标

• 為解決保羅·西蒙斯提出的猜想：圖的樹色數與路徑色數並非對所有圖都等價。
• 構造一種圖運算 $ R_m(G) $，使其在特定條件下系統性地提升路徑色數。
• 證明邁茨基圖的路徑色數是無界的。
• 建立一個無限多的 $ k $-連通圖族，使得 $ \chi_T(G) \neq \chi_P(G) $。

提出的方法

• 引入一種圖運算 $ R_m(G) $，其透過使用 $ G $ 的頂點的 $ m $ 個複製品與一個特殊頂點 $ v_0 $ 構造新圖，其中鄰接關係由共享索引或 $ G $ 中的邊定義。
• 定義基於頂點枚舉 $ \sigma $ 的路徑分解 $ P_\sigma^G $，其中每個集合 $ X_i $ 為前 $ i $ 個頂點的閉鄰域減去前 $ i-1 $ 個頂點。
• 引入「特殊枚舉」$ \sigma $ 的概念，使得 $ \chi(P_\sigma^G) = \chi_P(G) $，且每個高色數區塊中最後一個頂點無較早的鄰居。
• 運用動態規劃與染色論證分析 $ R_m(G) $ 的色數，特別關注其誘導子圖 $ [I, X_j \setminus v_j] $ 及其可染色性。
• 應用結構性引理（例如引理 3.1–3.4）來界定色數，並在假設特殊枚舉存在的前提下導出矛盾。
• 透過證明定理 1.3，顯示 $ R_\ell(R_m(G)) $ 無法擁有特殊枚舉，進而推得其路徑色數超過 $ \chi_P(G) $。

实验结果

研究问题

• RQ1 是否存在某圖，其樹色數嚴格小於路徑色數？
• RQ2 能否構造一種圖運算，使其在保持或改變結構性質的同時提升路徑色數？
• RQ3 邁茨基圖的路徑色數是否無界？
• RQ4 是否存在函數 $ f $，使得對所有圖 $ G $，都有 $ \chi_P(G) \leq f(\chi_T(G)) $？

主要发现

• 本文構造出一個無限多的 $ k $-連通圖族，其滿足 $ \chi_T(G) \neq \chi_P(G) $，證明這兩個參數並非等價。
• 對於任一滿足 $ \chi_P(G) = k $ 的圖 $ G $，若 $ G $ 無特殊枚舉，則運算 $ R_m(G) $ 可使路徑色數提升至 $ k+1 $；否則色數維持不變。
• 透過兩次應用 $ R_m $，即 $ R_\ell(R_m(G)) $ 且 $ \ell \geq m(n+1)+k+3 $，可確保 $ \chi_P(R_\ell(R_m(G))) > k $，從而證明色數的嚴格增加。
• 邁茨基圖的路徑色數是無界的，因其構造允許重複應用 $ R_m $。
• 存在滿足 $ \chi_T(G) < \chi_P(G) $ 的圖，意味著不存在全域函數 $ f $ 使得 $ \chi_P(G) \leq f(\chi_T(G)) $。
• 證明依賴於結構性染色論證與透過 $ R_\ell(R_m(G)) $ 中特殊枚舉不存在所導出的矛盾。