[논문 리뷰] Topological lower bounds for the chromatic number: A hierarchy

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

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$-등변 위상공간 간의 사상으로 매핑하는 함수적 상자 복합체 ${\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$-지수에서 상자 복합체의 스 suspension과 원래 복합체의 지수 사이에 차이가 존재하는가? 이는 그래프 상자 복합체의 맥락에서 어떻게 해석되는가?

주요 결과

• 색수에 대한 위상수학적 하한값들은 강도 순서로 거의 선형적으로 정렬되어 있으며, 이 중에서 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)$-색칠 가능성에 대해 더 강력한 장벽을 제공하며, 새로운 위상수학적 불변량을 나타낸다.