[論文レビュー] A new upper bound on the chromatic number of graphs with no odd $K_t$ minor

Sergey Norin, Zi‐Xia Song|arXiv (Cornell University)|Dec 16, 2019

Limits and Structures in Graph Theory参考文献 9被引用数 8

ひとこと要約

この論文は、奇数の $K_t$ minor を持たないグラフの彩色数に対する新たな上界を確立し、任意の $\beta > \frac{1}{4}$ に対して $O(t(\log t)^\beta)$-彩色可能であることを証明した。これは、以前の $O(t\sqrt{\log t})$ の上界を改善するものである。この結果は、弱連結グラフにおける構造的分解とリンクェージ技法を用いた最近の進展を拡張するものである。

ABSTRACT

Gerards and Seymour conjectured that every graph with no odd $K_t$ minor is $(t-1)$-colorable. This is a strengthening of the famous Hadwiger's Conjecture. Geelen et al. proved that every graph with no odd $K_t$ minor is $O(t\sqrt{\log t})$-colorable. Using the methods the present authors and Postle recently developed for coloring graphs with no $K_t$ minor, we make the first improvement on this bound by showing that every graph with no odd $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$.

研究の動機と目的

• 奇数の $K_t$ minor を持たないグラフの彩色数に対する上界を改善すること。これは、奇数のハドウィガー予想の中心的である。
• 最近の $K_t$-minor-free グラフに関する進展を、構造がより制限されている奇数 minor の設定に拡張すること。
• 任意の $\beta > \frac{1}{4}$ に対して、$O(t(\log t)^\beta)$ の形のほぼ多項式的上界を確立することにより、予想される $(t-1)$-彩色可能性に近づけること。
• 奇数の $K_t$ minor を持たないグラフにおける構造的複雑性を管理するために、弱連結性およびルート付きリンクェージの新しい概念を考案・適用すること。

提案手法

• 奇数の $K_t$ minor を持たないグラフにおける構造的分解を制御するため、弱 $l$-連結性という新しい連結性概念を導入する。
• 高い弱連結性と大きな彩色数を持つ部分グラフを特定する再帰的彩色戦略を用いる。
• メンジャーの定理およびリンクェージ定理を用いて、頂点を互いに共有しないパスを構築し、部分グラフ内の $K_{2x}$-拡張を介してそれらを再ルーティングする。
• 特定の頂点にルートを持つ木と再ルーティングされたリンクェージを組み合わせることで、グラフ内に二部グラフの $K_{xy}$-拡張を構築する。
• 中心部分グラフにおける偶奇が絡んだ集合と $8k$-連結性を用いて、大きな完全二部グラフ minor を埋め込む。
• すべての構成要素を一つの二部グラフ部分グラフに統合し、$K_{xy}$-拡張をサポートするようにすることで、高い彩色数を示す。

実験結果

リサーチクエスチョン

• RQ1 ジーリーンらが確立した $O(t\sqrt{\log t})$ の下限を下回る、奇数の $K_t$ minor を持たないグラフの彩色数は、本当に有界にできるか？
• RQ2 $K_t$-minor-free グラフに開発された技術は、奇数 minor の設定にどの程度適応可能か？
• RQ3 奇数 minor の場合に、$\beta > \frac{1}{4}$ に対して $O(t(\log t)^\beta)$ の形の上界を達成することは可能か？これは、$K_t$-minor-free グラフで知られている最良の上界に一致する。
• RQ4 弱連結性およびルート付きリンクェージは、奇数の $K_t$ minor を持たないグラフにおいて、大きな二部グラフ minor を構築するためにどのように利用できるか？

主な発見

• 任意の奇数の $K_t$ minor を持たないグラフの彩色数は、任意の $\beta > \frac{1}{4}$ に対して $O(t(\log t)^\beta)$ で有界である。これは、以前の $O(t\sqrt{\log t})$ の上界を改善するものである。
• この結果は、奇数のハドウィガー予想への重要な一歩を示しており、同予想はこのようなグラフが $(t-1)$-彩色可能であるとしている。
• この証明は、奇数の $K_t$ minor を持たないグラフにおける構造的分解を可能にする、弱連結性の新しい概念を導入している。
• 主な技術的イノベーションは、中心部分グラフにおける再ルーティングされたリンクェージと偶奇が絡んだ集合を用いて、二部グラフの $K_{xy}$-拡張を構築することにある。
• この手法は、$K_t$-minor-free グラフ彩色に関する最近の進展を、はるかに複雑な奇数 minor の設定に成功して拡張した。
• $\beta > \frac{1}{4}$ に対して $O(t(\log t)^\beta)$ の上界は、$K_t$-minor-free グラフで知られている最良の上界と一致しており、現在のアプローチのタイトさを示唆している。