[论文解读] 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

一句话总结

本文建立了一套图的色数的拓扑下界的层级结构，通过代数拓扑方法对洛瓦兹原始的邻域复形方法进行改进。它引入了函子性的盒子复形，简化并推广了早期的构造，证明这些下界在强度上近乎线性有序，其中洛瓦兹原始的下界是最强的。

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$-映射的性质。
• 证明所有已知的色数拓扑下界在强度上近乎线性有序，其中洛瓦兹的邻域复形下界是最强的。
• 证明每个有限图均可表示为广义的克内泽尔图，从而使拓扑下界对所有有限图普遍适用。
• 探讨盒子复形、Hom-复形与等变拓扑之间的联系，特别是在克内泽尔超图和奇圈的背景下。

提出的方法

• 构造了一类盒子复形家族——${\sf B}_{\rm edge}(G)$、${\sf B}_{\rm chain}(G)$ 和 ${\sf B}_{\rm chain}^{\rm KG}(G)$——它们推广了洛瓦兹的邻域复形。
• 利用博苏克-乌兰定理和等变拓扑，通过这些复形的 ${\mathbb{Z}}_2$-指标推导色数的下界。
• 定义了一个函子性的盒子复形 ${\sf B}(G)$，它将图同态映射为 ${\mathbb{Z}}_2$-空间之间的 ${\mathbb{Z}}_2$-等变映射。
• 通过比较不同盒子复形的 ${\mathbb{Z}}_2$-指标建立下界层级，证明它们在强度上近乎线性有序。
• 将该理论应用于克内泽尔图及其推广，包括 $p$-部图和 $s$-不相交克内泽尔超图。
• 将盒子复形与 Hom-复形关联，并讨论其在高色数障碍中的作用，例如涉及奇圈 $C_{2r+1}$ 的障碍。

实验结果

研究问题

• RQ1 不同色数的拓扑下界在强度上如何比较？能否系统地排序？
• RQ2 能否开发一种更简单、函子性的盒子复形构造，使其保持图同态和 ${\mathbb{Z}}_2$-等变性？
• RQ3 基于博苏克-乌兰定理的拓扑下界在多大程度上可推广至克内泽尔图之外？
• RQ4 是否存在一种拓扑障碍，使得图不能进行 $(k+4)$-染色，但未被现有下界（如 Hom-复形）所捕获？
• RQ5 在图盒子复形的背景下，盒子复形的悬垂的 ${\mathbb{Z}}_2$-指标是否可能不同于原复形的 ${\mathbb{Z}}_2$-指标？

主要发现

• 色数的拓扑下界在强度上近乎线性有序，其中洛瓦兹原始的邻域复形下界是最强的。
• 盒子复形 ${\sf B}(G)$ 具有函子性，能将图同态映射为 ${\mathbb{Z}}_2$-等变映射，为早期构造提供更清晰的替代方案。
• 每个有限图均可表示为广义克内泽尔图，因此所有拓扑下界对所有有限图普遍适用。
• ${\sf B}(G)$ 的 ${\mathbb{Z}}_2$-指标为 $\chi(G)$ 提供了一个下界，且对克内泽尔图而言该下界是紧的。
• 本文确认了克内泽尔图 ${\mathop{\rm KG}}_{n,k}$ 的色数为 $n-2k+2$，与克内泽尔的猜想一致，并由洛瓦兹证明。
• Hom-复形方法，特别是 ${\rm Hom}(C_{2r+1}, G)$，对 $(k+4)$-可染色性的障碍强于以往的下界，代表了一种新的拓扑不变量。