[论文解读] Complexes of graph homomorphisms

Eric Babson, Dmitry N. Kozlov|ArXiv.org|Oct 5, 2003

Topological and Geometric Data Analysis参考文献 12被引用 9

一句话总结

本文介紹並研究了 Hom(G,H) 的拓撲性質，這是一種參數化圖同態的多面體複形。證明了 Hom(K_m, K_n) 同倫等價於 (n−m) 維球面的楔積，並建立在 Hom(K_m, G) 上的 ℤ₂ 作用下的非平凡同倫不變量可推出 χ(G) 的下界，從而透過拓撲障礙推廣了 Lovász 對 Kneser 猜想的證明。

ABSTRACT

$Hom(G,H)$ is a polyhedral complex defined for any two undirected graphs $G$ and $H$. This construction was introduced by Lovász to give lower bounds for chromatic numbers of graphs. In this paper we initiate the study of the topological properties of this class of complexes. We prove that $Hom(K_m,K_n)$ is homotopy equivalent to a wedge of $(n-m)$-dimensional spheres, and provide an enumeration formula for the number of the spheres. As a corollary we prove that if for some graph $G$, and integers $m\geq 2$ and $k\geq -1$, we have $\varpi_1^k( hom(K_m,G)) eq 0$, then $χ(G)\geq k+m$; here $Z_2$-action is induced by the swapping of two vertices in $K_m$, and $\varpi_1$ is the first Stiefel-Whitney class corresponding to this action. Furthermore, we prove that a fold in the first argument of $Hom(G,H)$ induces a homotopy equivalence. It then follows that $Hom(F,K_n)$ is homotopy equivalent to a direct product of $(n-2)$-dimensional spheres, while $Hom(\bar{F},K_n)$ is homotopy equivalent to a wedge of spheres, where $F$ is an arbitrary forest and $\bar{F}$ is its complement.

研究动机与目标

• 探討參數化圖同態的 Hom(G,H) 複形的拓撲結構。
• 針對特定圖族（如完全圖與森林）建立 Hom(G,H) 的同倫類型結果。
• 透過分析 Hom 複形上 ℤ₂ 作用下的等變同倫不變量，推廣 Lovász 對色數界限的拓撲方法。
• 證明第一個參數中的摺疊操作會誘導同倫等價，從而實現 Hom 複形的結構簡化。

提出的方法

• 將 Hom(G,H) 定義為多面體複形，其單元對應於集合值賦值 η: V(G) → 2^{V(H)}\{∅}，且滿足邊保持性質：若 (x,y) ∈ E(G)，則 η(x) × η(y) ⊆ E(H)。
• 利用此類函數 η 所構成的偏序集的單純複形，實現 Hom(G,H) 的幾何實體化，其中單元對應於此類函數的鏈。
• 應用等變拓撲技術，特別是第一個 Stiefel-Whitney 類 ϖ₁，以檢測由 K_m 中頂點交換所誘導的 Hom 複形上的非平凡 ℤ₂ 作用。
• 透過摺疊簡化證明同倫等價：若 G' 是由 G 經摺疊得到，則 Hom(G',H) ≃ Hom(G,H)，保持同倫型。
• 使用數學歸納法與結構簡化（例如移除具有相同鄰域的頂點）證明：對於森林 F，Hom(F, K_n) 同倫等價於 (n−2) 維球面的乘積。
• 利用鄰域複形 𝒩(G) 同倫等價於 Hom(K₂, G) 的性質，將新提出的 Hom 框架與 Lovász 原始 Kneser 猜想證明相連接。

实验结果

研究问题

• RQ1 對於整數 m ≤ n，Hom(K_m, K_n) 的同倫型為何？
• RQ2 特別是透過交換 K_m 中頂點所誘導的 ℤ₂ 作用，如何影響 Hom(K_m, G) 的拓撲性質？
• RQ3 能否證明 Hom(G,H) 第一參數中的摺疊操作會保持同倫型？
• RQ4 當 F 為森林時，Hom(F, K_n) 與 Hom(Ḟ, K_n) 的拓撲結構為何，其中 Ḟ 為 F 的補圖？
• RQ5 能否利用從 Hom 複形導出的拓撲障礙，來推導色數 χ(G) 的下界？

主要发现

• Hom(K_m, K_n) 同倫等價於 (n−m) 維球面的楔積，並有明確的球面數量計數公式。
• 若 Hom(K_m, G) 上 ℤ₂ 作用的第一個 Stiefel-Whitney 類 ϖ₁^k 非平凡，則 χ(G) ≥ k + m，提供色數的拓撲下界。
• Hom(G,H) 第一參數中的摺疊操作會誘導 ℤ₂-等變同倫等價，從而容許複形的結構簡化。
• 對於任意森林 F，Hom(F, K_n) 同倫等價於 (n−2) 維球面的乘積。
• 對於森林 F 的補圖 Ḟ，Hom(Ḟ, K_n) 同倫等價於 (n−m) 維球面的楔積，其中 m 為 F 中最大獨立集的大小。
• 複形 Hom(K₂, G) 同倫等價於鄰域複形 𝒩(G)，將新提出的 Hom 框架與 Lovász 原始 Kneser 猜想證明相連結。