[論文レビュー] An even better Density Increment Theorem and its application to Hadwiger's Conjecture

Luke Postle|arXiv (Cornell University)|Jun 25, 2020

Limits and Structures in Graph Theory参考文献 12被引用数 13

ひとこと要約

本稿では、$K_t$ マイナーを含まないグラフの彩色数に対するよりタイトな上界を導く、改良された密度増加定理を提示する。構造的分解技術を精緻化することで、このようなグラフが $O(t (/\log t)^6)$-彩色可能であることを示した。これは、従来の $O(t \sqrt{\log t})$ や $O(t (\log t)^\beta)$（$\beta > 0$）の形の上界に対して顕著な改善をもたらす。これはハドウィガー予想への前進をもたらす。

ABSTRACT

In 1943, Hadwiger conjectured that every graph with no $K_t$ minor is $(t-1)$-colorable for every $t\ge 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. Recently, Norin, Song and the author showed 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 $O(t\sqrt{\log t})$ bound. More recently, the author showed that every graph with no $K_t$ minor is $O(t (\log t)^β)$-colorable for every $β> 0$; more specifically, they are $t \cdot 2^{ O((\log \log t)^{2/3}) }$-colorable. In combination with that work, we show in this paper that every graph with no $K_t$ minor is $O(t (\log \log t)^{6})$-colorable.

研究の動機と目的

• $K_t$ マイナーを含まないグラフの彩色数に対する上界を改善すること。
• 密度増加法を精緻化し、彩色数の上界における $t$ 依存性をより良くすること。
• 彩色数の漸近的順序を低下させることで、ハドウィガー予想への前進を図ること。
• 任意の $\beta > 0$ に対して $O(t (\log t)^\beta)$-彩色可能性を達成した最近の結果を、$\log \log t$ の多対数的要因まで拡張すること。

提案手法

• より強い正則性と密度増加特性を備えた新しい密度増加定理を開発する。
• 改良された密度増加定理を用いて、グラフを低密度部分と構造的要素に分解する。
• 反復的分解を用いて、密度増加の精緻化を活用し、必要な色数を制御する。
• $K_t$-マイナーを含まないグラフに関する先行の構造的結果と新しい密度増加定理を組み合わせる。
• 分解に基づく再帰的彩色戦略を採用し、彩色数の上界を導く。
• 密度増加と反復深さの分析を精緻化することで、$\log \log t$ への依存関係を最適化する。

実験結果

リサーチクエスチョン

• RQ1 彩色数が $O(t \sqrt{\log t})$ よりも $\log t$ に緩やかに依存する関数で抑えられるかどうか。
• RQ2 $K_t$-マイナーを含まないグラフの彩色数上界で達成可能な最良の多対数的要因は何か。
• RQ3 密度増加法を強化することで、ある絶対定数 $k$ に対して $O(t (\log \log t)^k)$ の形の上界が得られるか。
• RQ4 新しい密度増加定理は、密度増加と構造的制御のトレードオフにおいて、従来の結果をどのように改善するか。
• RQ5 改善された上界は、ハドウィガー予想へのさらなる前進に利用できるか。

主な発見

• 本稿では、$K_t$ マイナーを含まない任意のグラフが $O(t (\log \log t)^6)$-彩色可能であることを確立した。これは $O(t \sqrt{\log t})$ の上界に対して顕著な改善である。
• この結果は、構造的グラフ分解における密度増加をより強く制御できる精緻化された密度増加定理によって達成された。
• 以前の $t \cdot 2^{O((\log \log t)^{2/3})}$-彩色可能性結果に対して、$\log \log t$ 項の指数を低下させることで上界を改善した。
• 本手法は $\log \log t$ における多対数的依存性を達成しており、ハドウィガー予想で予想される $O(t)$ 彩色数上界への大きな一歩である。
• 分析により、密度増加アプローチをより効率的に反復可能であることが示され、より良い漸近的上界が得られた。
• この結果により、$K_t$-マイナーを含まないグラフの彩色数が、任意の $\beta > 0$ に対して $O(t (\log t)^\beta)$ よりも遅く成長することが確認され、今や $\log \log t$ の固定べきで抑えられている。