[論文レビュー] Reducing Linear Hadwiger's Conjecture to Coloring Small Graphs

Michelle Delcourt, Luke Postle|arXiv (Cornell University)|Aug 3, 2021

Limits and Structures in Graph Theory被引用数 8

ひとこと要約

この論文は、任意の $K_t$-minor-free グラフの彩色数が $O(t(1 + f(G,t)))$ で有界であることを示すことで、線形ハドウィガー予想を小さなグラフの彩色問題に還元した。ここで $f(G,t)$ は、小さな $K_a$-minor-free 部分グラフにおける最大彩色密度を測る。主な結果は、$K_t$-minor-free グラフが $O(t\log\log t)$-彩色可能であることで、従来の境界を著しく改善し、線形ハドウィガー予想の証明が、サイズ $O(t\log^4 t)$ のグラフについての検証に帰着されることを示している。

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 second 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. The first main result of this paper is that every graph with no $K_t$ minor is $O(t\log\log t)$-colorable. This is a corollary of our main technical result that the chromatic number of a $K_t$-minor-free graph is bounded by $O(t(1+f(G,t)))$ where $f(G,t)$ is the maximum of $\frac{χ(H)}{a}$ over all $a\ge \frac{t}{\sqrt{\log t}}$ and $K_a$-minor-free subgraphs $H$ of $G$ that are small (i.e. $O(a\log^4 a)$ vertices). This has a number of interesting corollaries. First as mentioned, using the current best-known bounds on coloring small $K_t$-minor-free graphs, we show that $K_t$-minor-free graphs are $O(t\log\log t)$-colorable. Second, it shows that proving Linear Hadwiger's Conjecture (that $K_t$-minor-free graphs are $O(t)$-colorable) reduces to proving it for small graphs. Third, we prove that $K_t$-minor-free graphs with clique number at most $\sqrt{\log t}/ (\log \log t)^2$ are $O(t)$-colorable. This implies our final corollary that Linear Hadwiger's Conjecture holds for $K_r$-free graphs for every fixed $r$. One key to proving the main theorem is a new standalone result that every $K_t$-minor-free graph of average degree $d=Ω(t)$ has a subgraph on $O(t \log^3 t)$ vertices with average degree $Ω(d)$.

研究の動機と目的

• 数十年にわたる研究にもかかわらず未解決のままの、$K_t$-minor-free グラフの彩色数を界する長年の問題に取り組む。
• コストォチカとトーマソンが確立した $O(t\sqrt{\log t})$ の境界を改善し、より緊密な漸近的境界を達成する。
• 線形ハドウィガー予想 — すなわち、$K_t$-minor-free グラフが $O(t)$-彩色可能であること — を証明することが、サイズ $O(t\log^4 t)$ のグラフについての証明に帰着されることを示す。
• $K_t$-minor-free グラフのクライQUE数が小さい場合、$O(t)$-彩色可能であることを示し、予想をより広いグラフクラスへ拡張する。
• 彩色分離可能と彩色非分離可能な場合を区別する新しい構造的枠組みを提供し、$K_t$-minor-free グラフを分析するための新規な枠組みを確立する。

提案手法

• 論文は、グラフの彩色数が小さな成分に「分離するか」どうかに応じて、その性質に基づく新しい構造的分解を導入し、この性質に応じて逐次的または再帰的な構成を行う。
• 主な技術的革新：平均次数 $d = \Omega(t)$ を持つ任意の $K_t$-minor-free グラフは、$O(t\log^3 t)$ 頂点の部分グラフを含み、その平均次数が $\Omega(d)$ であることを示す独立した結果。この部分グラフは高い彩色密度を保持する。
• 関数 $f(G,t)$ を定義し、$a \in [t/\sqrt{\log t}, t]$ かつ $v(H) \leq C a \log^4 a$ を満たす $K_a$-minor-free 部分グラフ $H$ における $\chi(H)/a$ の最大比を測定することで、局所的な彩色密度を定量化する。
• $C_{\text{rooted2}}$-連結部分グラフと $K_a$-モデルに基づく再帰的議論を用い、高彩色数が $t' \geq t$ の $K_{t'}$ マイナーを含むことを示し、$K_t$-free 性と矛盾する。
• 特定の頂点集合にルートされた $K_a$-モデルを構成するための連結性定理を適用し、局所的な高彩色密度がグローバルなマイナー包含を示唆することを保証する。
• もし $K_t$-minor-free グラフの彩色数が $C t (1 + f(G,t))$ を超えるならば、$t' \geq t$ なる $K_{t'}$ マイナーを含むことになり、これは矛盾を引き起こす。

実験結果

リサーチクエスチョン

• RQ1 $K_t$-minor-free グラフの彩色数は、$O(t\sqrt{\log t})$ よりも tighter に界せられるか？
• RQ2 線形ハドウィガー予想の証明が、サイズ $O(t\log^4 t)$ のグラフについての検証に帰着されるのか？
• RQ3 クライQUE数が $\leq \sqrt{\log t}/(\log\log t)^2$ である $K_t$-minor-free グラフは、$O(t)$-彩色可能か？
• RQ4 $K_t$-minor-free グラフの彩色数は $O(t\log\log t)$ で界せられるか？ これは $O(t\sqrt{\log t})$ の境界を改善するか？
• RQ5 小さな部分グラフにおける高局所的彩色密度が、グローバルなマイナー包含を示唆するのはどのような条件下か？

主な発見

• すべての $K_t$-minor-free グラフは $O(t\log\log t)$-彩色可能であり、以前の最良境界 $O(t\sqrt{\log t})$ よりも改善された。
• 任意の $K_t$-minor-free グラフ $G$ の彩色数は、$O(t(1 + f(G,t)))$ で界せられ、ここで $f(G,t)$ は小さな $K_a$-minor-free 部分グラフにおける最大彩色密度を測る。
• 線形ハドウィガー予想は、$K_t$-minor-free グラフのサイズが $O(t\log^4 t)$ 未満である場合に限って証明すれば十分であり、反例が存在するならば、このサイズ範囲内に反例が存在する。
• クライQUE数が $\sqrt{\log t}/(\log\log t)^2$ 未満であるすべての $K_t$-minor-free グラフは $O(t)$-彩色可能であり、このクラスにおいて予想が正当化された。
• 任意の固定された $r$ に対して、ある $t_r$ が存在し、すべての $t \geq t_r$ に対して、$K_r$-free かつ $K_t$-minor-free グラフは、ある絶対定数 $C$ を用いて $Ct$-彩色可能である。これは予想を $K_r$-free グラフへ拡張する。