Abstract:In 1943, Hadwiger conjectured that every graph with no K t K_t minor is ( t − 1 ) (t-1) -colorable for every t ≥ 1 t\ge 1 . In the 1980s, Kostochka and Thomason independently proved that every graph with no K t K_t minor has average degree O ( t log ⁡ t ) O(t\sqrt {\log t}) and hence is O ( t log ⁡ t ) O(t\sqrt {\log t}) -colorable. Recently, Norin, Song and the second author showed that every graph with no K t K_t minor is O ( t ( log ⁡ t ) β ) O(t(\log t)^{\beta }) -colorable for every β > 1 / 4 \beta > 1/4 , making the first improvement on the order of magnitude of the O ( t log ⁡ t ) O(t\sqrt {\log t}) bound. The first main result of this paper is that every graph with no K t K_t minor is O ( t log ⁡ log ⁡ t ) O(t\log \log t) -colorable. This is actually a corollary of our main technical result that the chromatic number of a K t K_t -minor-free graph is bounded by O ( t ( 1 + f ( G , t ) ) ) O(t(1+f(G,t))) where f ( G , t ) f(G,t) is the maximum of χ ( H ) a \frac {\chi (H)}{a} over all a ≥ t log ⁡ t a\ge \frac {t}{\sqrt {\log t}} and K a K_a -minor-free subgraphs H H of G G that are small (i.e. O ( a log 4 ⁡ a ) 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 K_t -minor-free graphs, we show that K t K_t -minor-free graphs are O ( t log ⁡ log ⁡ t ) O(t\log \log t) -colorable. Second, it shows that proving Linear Hadwiger’s Conjecture (that K t K_t -minor-free graphs are O ( t ) O(t) -colorable) reduces to proving it for small graphs. Third, we prove that K t K_t -minor-free graphs with clique number at most log ⁡ t / ( log ⁡ log ⁡ t ) 2 \sqrt {\log t}/ (\log \log t)^2 are O ( t ) O(t) -colorable. This implies our final corollary that Linear Hadwiger’s Conjecture holds for K r K_r -free graphs for every fixed r r ; more generally, we show there exists C ≥ 1 C\ge 1 such that for every r ≥ 1 r\ge 1 , there exists t r t_r such that for all t ≥ t r t\ge t_r , every K r K_r -free K t K_t -minor-free graph is C t Ct -colorable. One key to proving the main theorem is building the minor in two new ways according to whether the chromatic number ‘separates’ in the graph: sequentially if the graph is the chromatic-inseparable and recursively if the graph is chromatic-separable. The other key is a new standalone result that every K t K_t -minor-free graph of average degree d = Ω ( t ) d=\Omega (t) has a subgraph on O ( t log 3 ⁡ t ) O(t \log ^3 t) vertices with average degree Ω ( d ) \Omega (d) .

Refinement of Higher-Rank Graph Reduction

A new definition of outsplitting on $k$-graphs preserving Morita equivalence

Embeddability of higher-rank graphs in groupoids, and the structure of their C*-algebras

Graph reductions, binary rank, and pivots in gene assembly

C*-algebras of higher-rank graphs from groups acting on buildings, and explicit computation of their K-theory

Real and complex K-theory for higher rank graph algebras arising from cube complexes

Reducing Linear Hadwiger's Conjecture to Coloring Small Graphs

Recasting the Hazrat Conjecture: Relating Shift Equivalence to Graded Morita Equivalence

Bounding the number of graph refinements for Brill-Noether existence

Classifying Higher Rank Analytic Toeplitz Algebras

Reducing linear Hadwiger’s conjecture to coloring small graphs

On The Evans Chain Complex

Classification of higher grade $\ell$ graphs for $\mathrm{U}(N)^2\times \mathrm{O}(D)$ multi-matrix models

Reductions of some two-dimensional crystalline representations via Kisin modules

$k$-local Graphs

Higher-rank trees: Finite higher-rank planar trees arising from polyhedral graphs. Differences from one-trees

Rank-determining sets of metric graphs

Rank-decreasing transductions

Picard rank jumps for K3 surfaces with bad reduction

Reverse Ranking by Graph Structure: Model and Scalable Algorithms