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

Martin Ziegler|arXiv (Cornell University)|Jan 1, 2003

Topological and Geometric Data Analysis参考文献 32被引用数 80

ひとこと要約

この論文は、グラフの彩色数に対する位相的下界の階層を確立し、Lovászの元々の近傍複体による下界が最も強いことを示している。Borsuk–Ulam型定理を用いた彩色数推定の既存の位相的アプローチを統合・強化する、簡素でファンクター的なボックス複体の構成を導入している。

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グラフを定義し、すべての有限グラフがこのようなグラフとして現れることを示し、位相的下界をすべてのグラフに拡張可能であることを示す。
• 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の複体と同値であることを示すことで、彩色数推定における位相的アプローチの頑健性が裏付けられる。