[論文レビュー] Graphs with large chromatic number induce $3k$-cycles

Marthe Bonamy, Pierre Charbit+1 more|arXiv (Cornell University)|Aug 10, 2014

Advanced Combinatorial Mathematics被引用数 11

ひとこと要約

この論文は、3の倍数の長さの誘導巡回路を含まないグラフ（三重0巡回路）が有界な彩色数を持つことを証明し、KalaiとMeshulamの予想の最初のケースを解決している。構造的グラフ理論と独立集合複体の位相的性質を用いて、このようなグラフは任意に大きな彩色数を持てないことを示しており、層状分解における経路三重性解析と近隣制約を用いた背理法に依拠している。

ABSTRACT

Answering a question of Kalai and Meshulam, we prove that graphs without induced cycles of length $3k$ have bounded chromatic number. This implies the very first case of a much broader question asserting that every graph with large chromatic number induces a graph $H$ such that the sum of the Betti numbers of the independence complex of $H$ is also large.

研究の動機と目的

• 彩色数と独立集合複体のベッチ数の和を結びつけるKalaiとMeshulamの予想の、最初の非自明なケースを解明すること。
• 大いなる彩色数を持つグラフは、3k-巡回路を誘導しなければならず、その結果、独立集合複体に非自明な位相的構造が存在することを示すこと。
• 3の倍数の長さの誘導巡回路を含まないグラフ（三重グラフ）が、彩色数が有界であることを示すこと、これはクリーク数が大きくても成り立つ。
• 層状分解（X₀からX₄）と三重に基づく経路解析を用いた構造的枠組みを構築し、高彩色数グラフにおける矛盾を導出すること。

提案手法

• 大いなる彩色数を持つグラフの近隣構造と経路三重性を分析するため、層状グラフ分解（X₀, X₁, X₂, X₃, X₄）を用いる。
• 経路長の長さの3を法とする剰余（三重性）を用いた三重性解析を適用し、特にX₂およびX₃層における誘導経路系の矛盾を検出する。
• Fact 6（同じ端点を結ぶ2つの誘導経路が三重性1と2を持つことはできない）に基づく背理法を用いる。
• 層間におけるプライベート近隣と近隣包含関係（例：x→y または y→x）を分析し、禁止された三重性を持つ誘導巡回路を防ぐ。
• 極値的選択（例：共通の頂点によって支配される最も近い頂点対）を用いて構造的制約を導出し、矛盾を強制する。
• 独立集合複体からの位相的直観を応用する：三重性1または2の巡回路はベッチ数1を持ち、三重性0の巡回路はベッチ数2を持つ。これによりKalai-Meshulamの予想と結びつける。

実験結果

リサーチクエスチョン

• RQ1 大いなる彩色数を持つグラフは、必ず3の倍数の長さの誘導巡回路を含むのか？
• RQ2 誘導3k-巡回路の欠如が、彩色数の有界性を強制するのか？
• RQ3 巡回路長の三重性（mod 3）は、独立集合複体の位相的複雑さにとって重要な不変量なのか？
• RQ4 層状グラフ分解における近隣集合の構造的制約が、高彩色数を防ぐことができるか？
• RQ5 誘導部分グラフが大きなベッチ数の和を持つ必要がある場合に、Kalai-Meshulamの予想は最初の非自明なケースで成り立つか？

主な発見

• 3の倍数の長さの誘導巡回路（三重0巡回路）を含まないグラフは、有界な彩色数を持つ。これはKalai-Meshulamの予想の最初のケースを解決する。
• 証明により、任意の大いなる彩色数を持つグラフは、3の倍数の長さの誘導巡回路を含まざるを得ず、さもなければ層状近隣における経路三重性の矛盾が生じる。
• 誘導3k-巡回路を含まないグラフでは、X₀における誘導経路が、長さが三重性1または2である場合、X₁におけるプライベート近隣によって最小で支配されることはできない。これはX₂またはX₃における三重性の矛盾に起因する。
• X₀に7頂点の誘導奇数巡回路が存在する場合、X₁の頂点が2つの三重性1距離にある頂点を支配する場合を除き、矛盾が生じる。この状況は、9-または12-巡回路の矛盾を引き起こす。
• 最終的な矛盾は、X₁とX₂の頂点を用いて9-または12-巡回路を構成することで生じ、X₃における三重性制約に反する。これにより、彩色数が有界であることが証明される。
• この結果は、高彩色数グラフにおいて、ある誘導部分グラフHの独立集合複体のベッチ数の和が大きくなければならないことを示唆し、より広範なKalai-Meshulamの予想を支持する。