[論文レビュー] Further Progress towards the List and Odd Versions of Hadwiger's Conjecture

Luke Postle|arXiv (Cornell University)|Oct 12, 2020

Advanced Graph Theory Research参考文献 21被引用数 7

ひとこと要約

本稿は、完全グラフマイナーを含まないグラフのリスト色数および奇数色数に対する改善された上界を確立し、$K_t$ マイナーを含まない任意のグラフが $O(t \cdot (\log \log t)^6)$-リスト色可能であり、奇数マイナー設定下でも同様に $O(t \cdot (\log \log t)^6)$-色可能であることを証明している。この結果は、先行研究における $\beta > 1/4$ の制限を排除し、リスト版および奇数版のハドウィガー予想に対して、$O(t \cdot (\log \log t)^6)$ の最初の境界を達成した。

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. Building on that work, we previously showed that every graph with no $K_t$ minor is $O(t (\log t)^β)$-colorable for every $β> 0$. More specifically, they are $O(t \cdot (\log \log t)^{6})$-colorable. In this paper, we extend that work to the list and odd generalizations of Hadwiger's conjecture.

研究の動機と目的

• 完全グラフマイナーを含まないグラフのための、リストおよび奇数版のハドウィガー予想を解消し、$K_t$ マイナーを含まないグラフの漸近的色数境界を改善すること。
• 既知の $O(t\sqrt{\log t})$ の境界と予想される線形境界 $O(t)$ の間のギャップを埋めるために、多対数的要因の改善を達成すること。
• $K_t$ マイナーを含まないグラフの色数に関する最近の進展を、より一般的なリストおよび奇数マイナー設定へと拡張すること。
• リストおよび奇数色付けの両方の変種において、$O(t \cdot (\log \log t)^6)$ の境界が一様に成立することを示し、線形ハドウィガー予想の予想される強化を確認すること。

提案手法

• マイナー閉包族の解析に、$m$-色分け可能性および $m$-ねじれ部分グラフに基づく構造的分解技術を活用する。
• 高連結部分グラフにおける $K_{a'}$-モデルおよび経路連結構造の構築に、反復的連結定理（定理 3.11 および定理 4.4）を適用する。
• リスト色付けの仮定下での偶奇ねじれ構造を用いて、二部グラフ拡張における色付け可能性を強制する。
• サイズおよび連結性を制御したサブグラフ $J_i'$ の再帰的構築を、$a' = (2/3)^{T+1}t$ および $b' = b + 2a'$ を用いて行い、帰納的境界を維持する。
• 定理 3.15 を適用して、$C_{\text{rooted2}}t$-連結な部分グラフ $H$ を抽出し、十分に大きなリスト割り当て $L'$ を保証する。非色付け可能性がマイナー包含を意味することを保証する。
• サブグラフが $L$-色付け不能である場合に、$K_t$-マイナー構築による最大性の議論と背理法に依存する。

実験結果

リサーチクエスチョン

• RQ1 完全グラフマイナーを含まないグラフに対して、$O(t(\log t)^\beta)$-リスト色付け境界が、すべての $\beta > 0$、特に $\beta \to 0$ に対しても拡張可能か？
• RQ2 ハドウィガー予想の奇数マイナー版は、すべての $\beta > 0$ に対して同様に $O(t(\log t)^\beta)$-色付け境界を満たすか？
• RQ3 $O(t \cdot (\log \log t)^6)$-色付け境界が、同時にリストおよび奇数色付けの両方の変種において達成可能か？
• RQ4 非色付け仮定下で $K_t$ マイナーの構築を可能にする構造的特徴（$m$-ねじれまたは偶奇ねじれ部分グラフを介して）は存在するか？
• RQ5 $\beta > 1/4$ に依存しない条件下で、リストおよび奇数色付け設定下で $O(t\sqrt{\log t})$ の境界を $O(t \cdot (\log \log t)^6)$ に改善可能か？

主な発見

• 完全グラフマイナーを含まない任意のグラフは $O(t \cdot (\log \log t)^6)$-リスト色付け可能であり、線形ハドウィガー予想のリスト版が最良の漸近的形で解決された。
• 同様の境界は奇数色付け版に対しても成立する：完全グラフマイナーを含まない任意のグラフは $O(t \cdot (\log \log t)^6)$-色付け可能である。
• この結果は、$\beta > 1/4$ の場合に限る以前の $O(t(\log t)^\beta)$ の境界を、すべての $\beta > 0$ に拡張することで、両設定において $O(t \cdot (\log \log t)^6)$ の最初の境界を達成した。
• 証明は、高連結部分グラフにおける $K_{a'}$-モデルおよび経路連結構造の構築に依存し、連結定理の反復的適用および $m$-ねじれ構造の使用によって実現される。
• すべてのリストが完全である（$L(v) = [k]$）という仮定下では、構築により二部グラフの $K_t$ マイナーが得られ、偶奇ねじれ構造が奇数マイナー包含を意味することを確認した。
• 主な技術的革新は、パラメータ $a'$ および $b'$ を徐々に縮小する再帰的サブグラフ分解の使用であり、非色付け性が背理法により $K_t$-マイナーの存在を示すことを保証する。