[論文レビュー] Breaking the degeneracy barrier for coloring graphs with no $K_t$ minor

Sergey Norin, Postle, Luke+1 more|arXiv (Cornell University)|Oct 21, 2019

Advanced Graph Theory Research参考文献 35被引用数 24

ひとこと要約

この論文は、$K_t$ minor を持たないグラフの彩色数に対する上界を改善し、任意の $\beta > 1/4$ に対して $O(t(\log t)^\beta)$-彩色可能であることを示した。これは、Kostochka と Thomason が確立した長年の $O(t\sqrt{\log t})$ の退化性の壁を破ったものである。証明では密度増加の議論と、連結性に基づく minor の構成技術を用い、従来の漸近的限界を上回った。

ABSTRACT

In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\geq 1$. In the 1980s, Kostochka and Thomason independently proved that every graph with no $K_t$ minor has average degree $O(t\sqrt{\log t})$ and hence is $O(t\sqrt{\log t})$-colorable. We show that every graph with no $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$, making the first improvement on the order of magnitude of the Kostochka-Thomason bound.

研究の動機と目的

• Kostochka と Thomason が確立した、$K_t$-minor-free グラフにおける彩色数の長年の $O(t\sqrt{\log t})$ 上界を克服すること。この上界は退化性に関連づけられ、タイトであるとみなされていた。
• このようなグラフに $\Omega(t\sqrt{\log t})$ 色が必要であるという「一般的に述べられる反証仮説」を否定すること。
• 彩色数の上界における漸近的オーダーの改善を図り、定数倍の改善を超えて、質的により良い成長率に到達すること。
• 新しい手法の広範な適用可能性を示すために、リスト彩色および奇数 minor への拡張を図ること。

提案手法

• 任意の十分に密度の高い $K_t$-minor-free グラフ内に、密度の高い部分グラフを特定するための密度増加の議論を導入する。
• 高連結性を持つグラフに多数の互いに素な密度の高い部分グラフが存在する場合、$K_t$ minor を含むことを示す、連結性に基づく minor の構成技術を開発する。
• 密度の高い $K_t$-minor-free グラフにおいて、小さな密度の高い部分グラフを特定するために定理 2.4 を用いる。これにより反復的精錬が可能になる。
• 複数の密度の高く、高連結性を持つ部分グラフを、辺の縮約によって $K_t$ minor に統合するため、定理 2.6 を適用する。
• これらの結果を既知の退化性の境界と連結性の閾値と組み合わせ、改善された彩色境界を導出する。
• 新しい技術的変種を導入することで、リスト彩色および奇数 minor への適用を可能にした。特に、高連結な $K_t$-minor-free グラフのサイズに関する境界を含む。

実験結果

リサーチクエスチョン

• RQ1 $K_t$-minor-free グラフの彩色数は、$\beta < 1/2$ に対して $O(t(\log t)^\beta)$ で抑えられるか。これは $O(t\sqrt{\log t})$ の境界を改善するものか？
• RQ2 $O(t\sqrt{\log t})$ の退化性の境界は本当にタイトなのか、それとも漸近的に改善可能なのか？
• RQ3 彩色数を制限するためのこの手法は、$K_t$-minor-free グラフにおけるリスト彩色および奇数 minor に拡張可能か？
• RQ4 $K_t$-minor-free グラフにおいて $K_t$ minor を強制するための、連結性と密度の条件の極限的挙動は何か？

主な発見

• すべての $K_t$ minor を持たないグラフは、任意の $\beta > 1/4$ に対して $O(t(\log t)^\beta)$-彩色可能である。これは、Kostochka-Thomason の境界を超える、初めてのオーダーの改善である。
• 境界 $O(t\sqrt{\log t})$ はタイトではなく、本論文は「これが最良の漸近的境界である」という「一般的に述べられる反証仮説」を反証した。
• 新しい密度増加の議論（定理 2.4）により、密度の高い $K_t$-minor-free グラフ内に、小さな密度の高い部分グラフを特定できるようになった。
• 連結性に基づく minor の構成（定理 2.6）により、多数の互いに素な密度の高い部分グラフを含む高連結グラフは、$K_t$ minor を含むことが示された。
• この手法はリスト彩色へも拡張可能である。すべての $K_t$-minor-free グラフは、任意の $\beta > 1/4$ に対して $O(t(\log t)^\beta)$-list colorable である。
• 奇数 minor の場合にも同様の結果が成り立つ。すべての奇数 $K_t$ minor を持たないグラフは、任意の $\beta > 1/4$ に対して $O(t(\log t)^\beta)$-colorable である。