MathLabs

Open problem, Combinatorics and discrete mathematics, posed 1943

Hadwiger's conjecture (graph minors)

Open

Every loopless graph GG with no KtK_t minor is (t−1)(t - 1)-colorable; equivalently, every graph GG with chromatic number χ(G)≥t\chi(G) \ge t contains the complete graph KtK_t as a minor.

Research frontier as of 2026

As of 2026, Hadwiger's conjecture is proved for t≤6t \le 6 and open for all t≥7t \ge 7. Even the linear Hadwiger conjecture—that χ(G)≤Ct\chi(G) \le C t for every KtK_t-minor-free graph GG—remains open. After Kostochka (1982) and Thomason (1984) showed that degeneracy gives χ(G)=O(tlog⁡t)\chi(G) = O(t \sqrt{\log t}), Norin, Postle, and Song (2019/2023) broke the degeneracy barrier, and Delcourt and Postle (2021) established the current best general bound χ(G)=O(tlog⁡log⁡t)\chi(G) = O(t \log \log t).

Best known results

  • Hadwiger's conjecture holds exactly for all t≤6t \le 6 (Robertson, Seymour, and Thomas, 1993).
  • Every KtK_t-minor-free graph GG has chromatic number χ(G)=O(tlog⁡log⁡t)\chi(G) = O(t \log \log t) (Delcourt and Postle, 2021, improving Norin–Postle–Song).

Tools and where they stop

ToolAchievedWhere it stops
Graph minor structure theory and apex reductionsClassifies minimal 66-chromatic K6K_6-minor-free graphs as apex graphs over planar graphs, reducing t=6t = 6 to the four-color theorem.For t≥7t \ge 7, KtK_t-minor-free graphs can be built from higher-genus surfaces and vortices that are no longer controlled by planar coloring theorems.
Dense subgraph linking and chromatic-separability decompositionsExtracts vertex-disjoint dense highly connected subgraphs in high-chromatic graphs and links them into a KtK_t minor, yielding χ(G)=O(tlog⁡log⁡t)\chi(G) = O(t \log \log t).Recursive density-increment steps lose a log⁡log⁡t\log \log t factor when balancing small-graph bounds against the number of parts needed to build KtK_t.

Open questions

  • Is every graph with no K7K_7 minor 66-colorable (t=7t = 7)?
  • Does there exist an absolute constant C>0C > 0 such that every KtK_t-minor-free graph GG satisfies χ(G)≤Ct\chi(G) \le C t (the linear Hadwiger conjecture)?

References

  1. Neil Robertson, Paul Seymour, Robin Thomas (1993). Hadwiger's conjecture for K6-free graphs · DOI:10.1007/BF01202354
  2. Sergey Norin, Luke Postle, Zi-Xia Song (2023). Breaking the degeneracy barrier for coloring graphs with no Kt minor · DOI:10.1016/j.aim.2023.108959 · arXiv:1910.09378