[論文レビュー] Complexes of graph homomorphisms

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

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

ひとこと要約

本稿は、グラフ G と H 間のグラフホモーモルフィズムをパラメータ化する多面体複体 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) のホモトピー型に関する結果を確立すること。
• ℤ₂作用の下での等変ホモトピー不変量を分析することにより、Lovász の彩色数の下界への位相的アプローチを一般化すること。
• 第一引数における折り畳み操作がホモトピー同値性を誘導することを示し、Hom 複体の構造的簡略化を可能にすること。

提案手法

• Hom(G,H) を、各頂点 x ∈ V(G) に対して η(x) ⊆ V(H)\{∅} を割り当て、辺の保存性（(x,y) ∈ E(G) ならば η(x) × η(y) ⊆ E(H)）を満たす関数 η の集合の順序付き集合の単体的複体として定義する。
• このような関数 η の鎖に対応する細分を用いて、Hom(G,H) の幾何的実現を、順序複体として構成する。
• 特に第一スティーフェル＝ホイットニー類 ϖ₁ を用いて、K_m の頂点交換によって誘導される ℤ₂作用の非自明性を検出する、等変位相的技法を適用する。
• 折り畳み還元を用いてホモトピー同値性を証明する：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) における ℤ₂作用の第一スティーフェル＝ホイットニー類 ϖ₁^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 猜想の証明を結びつける。