[논문 리뷰] Topological lower bounds for the chromatic number: Ah ierarchy

Martin Ziegler|arXiv (Cornell University)|2003. 01. 01.

Topological and Geometric Data Analysis참고 문헌 32인용 수 80

한 줄 요약

이 논문은 그래프의 색수에 대한 위상적 하한의 계층을 수립하며, Lovász의 원래 이웃 복합체 하한이 가장 강력하다고 보여준다. Borsuk–Ulam 유형 정리들을 통한 색수 추정의 기존 위상적 접근법을 통합하고 강화하기 위해, Lovász의 복합체와 동치이지만 더 단순하고 함자적(functorial)인 상자 복합체 구축법을 제안한다.

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 Lovasz in 1978, in his famous proof of the Kneser conjecture via Algebraic Topology. This conjecture stated that the Kneser graph KGm,n ,t he graph with allk-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 Barany, Schrijver, Dol'nikov, Sarkaria, Kr´iz, Greene, and others), all of them based on some version of the Borsuk-Ulam theorem, but otherwise quite di!erent. Each can be extended to yield some lower bound on the chromatic number of an arbitrary graph. (Indeed, we observe that 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 Lovasz' original bound in terms of a neighborhood complex. We also present and compare various definitions of a box complex of a graph (developing ideas of Alon, Frankl, and Lovasz and of Kr´iz). A suitable box complex is equivalent to Lovasz' complex, but the construction is simpler and functorial, mapping graphs with homomorphisms to Z2-spaces with Z2-maps.

연구 동기 및 목표

• 유한 그래프의 색수에 대한 위상적 하한을 체계적으로 비교하고 순위를 매긴다.
• 위상적 그래프 이론에서 사용되는 상자 복합체의 정의를 명확히 하고 통일한다.
• 모든 유한 그래프가 일반화된 Kneser 그래프의 형태로 표현될 수 있음을 보여, 위상적 하한을 적용할 수 있도록 한다.
• Lovász의 원래 이웃 복합체 하한이 이러한 하한들의 계층에서 가장 강력하다는 것을 보여준다.
• 그래프 호모모르피즘을 Z2-사상 간의 Z2-공간 간 사상으로 매핑하는 더 단순하고 함자적인 상자 복합체 구축법을 개발한다.

제안 방법

• Lovász의 이웃 복합체와 동치이지만 정의가 더 단순하고 함자적인 새로운 상자 복합체를 그래프에 대해 구성한다.
• Borsuk–Ulam 정리를 기초 도구로 사용하여 색수에 대한 위상적 하한을 유도한다.
• 모든 유한 그래프가 일반화된 Kneser 그래프로 나타남을 보여주기 위해 일반화된 Kneser 그래프를 정의한다. 이를 통해 위상적 하한을 모든 그래프에 일반화 적용할 수 있다.
• Alon, Frankl, Lovász, Kríz가 제시한 상자 복합체의 다양한 정의를 비교하여 동치이거나 더 강력한 형태를 식별한다.
• Z2-작용 하에서의 위상적 불변량의 강도를 분석함으로써 하한의 계층을 수립한다.
• 이웃 복합체 하한이 계층 내 모든 다른 알려진 위상적 하한을 지배함을 증명한다.

실험 결과

연구 질문

• RQ1 색수에 대한 다양한 위상적 하한은 상호 비교 시 어떤 강도를 가지는가?
• RQ2 그래프 호모모르피즘을 유지하는 통합적이고 함자적인 상자 복합체 구축법을 정의할 수 있는가?
• RQ3 Lovász의 이웃 복합체 하한은 모든 알려진 위상적 하한 중에서 가장 강력한가?
• RQ4 모든 유한 그래프는 위상적 하한을 적용할 수 있도록 일반화된 Kneser 그래프로 포함시킬 수 있는가?
• RQ5 문헌에 등장하는 상자 복합체의 다양한 정의 간의 관계는 무엇인가?

주요 결과

• Lovász의 원래 이웃 복합체 하한은 색수에 대한 위상적 하한의 계층에서 가장 강력하다.
• Lovász의 이웃 복합체와 동치이지만 더 단순하고 함자적인 새로운 상자 복합체 구축법이 존재하며, 이는 그래프 호모모르피즘을 Z2-공간 간의 Z2-사상으로 매핑한다.
• 모든 유한 그래프는 일반화된 Kneser 그래프로 표현 가능하므로, 위상적 하한을 보편적으로 적용할 수 있다.
• 위상적 하한의 계층은 거의 선형적으로 순서가 정해져 있으며, 강도에서 미미한 예외 외에는 순서가 명확하다.
• 상자 복합체 구축법은 이전의 접근법을 단순화하고 통합하며, 특히 Alon, Frankl, Lovász, Kríz의 접근법과의 통합에 기여한다.
• 새로운 상자 복합체가 Lovász의 복합체와 동치임을 증명함으로써, 색수 추정을 위한 위상적 접근의 강건성을 확인한다.