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)^{\beta})$-colorable for every $\beta > 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{\chi(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=\Omega(t)$ has a subgraph on $O(t \log^3 t)$ vertices with average degree $\Omega(d)$.

Measurable Brooks's Theorem for Directed Graphs

Brooks' theorem with forbidden colors

Measurable Vizing's theorem

Brooks' Theorem and Beyond

A Generalization of Boesch’s Theorem

Brooks-type colourings of digraphs in linear time

Measurable Regular Subgraphs

Borel Vizing's Theorem for Graphs of Subexponential Growth

Analogs of Brooks' Theorem for coloring parameters of infinite graphs and Konig's Lemma

Distributed Algorithms, the Lovász Local Lemma, and Descriptive Combinatorics

Dirac's theorem on chordal graphs implies Brooks' theorem

Coloring graphs with forbidden almost bipartite subgraphs

On Homomorphism Graphs

A Brooks type theorem for the maximum local edge connectivity

Brooks-type theorems for relaxations of square colorings

Improvement on Brook theorem for (3 Times K1)-free Graphs

Upper bounds for the list-distinguishing chromatic number

The measurable Hall theorem fails for treeings

Borel line graphs

Reducing Linear Hadwiger's Conjecture to Coloring Small Graphs