[論文レビュー] Topological lower bounds for the chromatic number: A hierarchy

Jiřı́ Matoušek, Günter M. Ziegler|ArXiv.org|Aug 9, 2002

Image Retrieval and Classification Techniques被引用数 36

ひとこと要約

本稿は、代数的位相を用いて、Lovászの元々の近傍複体手法を発展させ、グラフの彩色数に対する位相的下界の階層を確立する。関手的ボックス複体を導入し、従来の構成を簡素化・一般化する。下界の強さはほとんど線形的に順序付けられており、Lovászの元々の下界が最も強いことを証明する。

ABSTRACT

This paper is a study of ``topological'' lower bounds for the chromatic number of a graph. Such a lower bound was first introduced by Lovász in 1978, in his famous proof of the \emph{Kneser conjecture} via Algebraic Topology. This conjecture stated that the \emph{Kneser graph} $\KG_{m,n}$, the graph with all $k$-element subsets of $\{1,2,...,n\}$ as vertices and all pairs of disjoint sets as edges, has chromatic number $n-2k+2$. Several other proofs have since been published (by Bárány, Schrijver, Dolnikov, Sarkaria, Kriz, Greene, and others), all of them based on some version of the Borsuk--Ulam theorem, but otherwise quite different. Each can be extended to yield some lower bound on the chromatic number of an arbitrary graph. (Indeed, we observe that \emph{every} finite graph may be represented as a generalized Kneser graph, to which the above bounds apply.) We show that these bounds are almost linearly ordered by strength, the strongest one being essentially Lovász' original bound in terms of a neighborhood complex. We also present and compare various definitions of a \emph{box complex} of a graph (developing ideas of Alon, Frankl, and Lovász and of \kriz). A suitable box complex is equivalent to Lovász' complex, but the construction is simpler and functorial, mapping graphs with homomorphisms to $\Z_2$-spaces with $\Z_2$-maps.

研究の動機と目的

• 有限グラフの彩色数に対するさまざまな位相的下界を体系的に比較・順序付けすること。
• グラフのホモトピーと ${\mathbb{Z}}_2$-写像を保つ、より単純な関手的ボックス複体の構成を考案すること。
• 既知のすべての彩色数に対する位相的下界が、強さの面でほとんど線形的に順序付けられており、Lovászの近傍複体による下界が最も強いことの証明。
• すべての有限グラフが一般化されたKneserグラフとして表現可能であることを示し、位相的下界が普遍的に適用可能であることを示すこと。
• ボックス複体、Hom-複体、および等長位相の間の関係を、特にKneser超グラフと奇数サイクルの文脈で探求すること。

提案手法

• Lovászの近傍複体を一般化したボックス複体の族—${\sf B}_{\rm edge}(G)$, ${\sf B}_{\rm chain}(G)$, および ${\sf B}_{\rm chain}^{\rm KG}(G)$—を構成する。
• Borsuk–Ulam定理と等長位相を用いて、これらの複体の ${\mathbb{Z}}_2$-指数を通じて彩色数の下界を導出する。
• グラフのホモトピーを ${\mathbb{Z}}_2$-空間間の ${\mathbb{Z}}_2$-等長写像に写す関手的ボックス複体 ${\sf B}(G)$ を定義する。
• 異なるボックス複体の ${\mathbb{Z}}_2$-指数を比較することで下界の階層を確立し、それらがほとんど線形的に順序付けられていることを示す。
• Kneserグラフおよびその一般化、特に $p$-部グラフおよび $s$-非隣接Kneser超グラフに理論を適用する。
• ボックス複体をHom-複体と関連づけ、奇数サイクル $C_{2r+1}$ を含むような、より高い彩色数の障害を示す役割を議論する。

実験結果

リサーチクエスチョン

• RQ1 彩色数に対するさまざまな位相的下界の強さはどのように比較可能か。また、それらを体系的に順序付け可能か。
• RQ2 グラフのホモトピーと ${\mathbb{Z}}_2$-等長性を保つ、より単純で関手的なボックス複体の構成は可能か。
• RQ3 Borsuk–Ulam定理に基づく位相的下界は、Kneserグラフを越えてどの程度一般化可能か。
• RQ4 既存の下界（例：Hom-複体によるもの）では捉えきれない、$(k+4)$-彩色可能性に対する位相的障害は存在するか。
• RQ5 グラフボックス複体の文脈において、ボックス複体のスティルスの ${\mathbb{Z}}_2$-指数が元の複体のそれと異なることはあり得るか。

主な発見

• 彩色数に対する位相的下界は、強さの面でほとんど線形的に順序付けられており、Lovászの元々の近傍複体による下界が最も強い。
• ボックス複体 ${\sf B}(G)$ は関手的であり、グラフのホモトピーを ${\mathbb{Z}}_2$-等長写像に写す。これにより、従来の構成よりも洗練された代替手段が得られる。
• すべての有限グラフは一般化されたKneserグラフとして表現可能であるため、すべての位相的下界が有限グラフに対して普遍的に適用可能である。
• ${\sf B}(G)$ の ${\mathbb{Z}}_2$-指数は $\chi(G)$ の下界を提供し、Kneserグラフではこれがタイトである。
• 本稿は、Kneserが予想し、Lovászが証明した通り、Kneserグラフ ${\mathop{\rm KG}}_{n,k}$ の彩色数が $n-2k+2$ であることを確認する。
• 特に ${\rm Hom}(C_{2r+1}, G)$ を通じたHom-複体のアプローチは、従来の下界を上回る $(k+4)$-彩色不可能性の障害を提供し、新たな位相的不変量を表している。