Hadwiger's conjecture

Prove that every graph G contains the complete graph Kχ(G) as a minor, where χ(G) denotes the chromatic number of G.

Background

The paper situates its study of complete minors in the broader problem of determining the largest complete minor from graph parameters such as chromatic number and average degree. It identifies Hadwiger’s conjecture as the central open problem in this area. The conjecture would imply that chromatic number is characterized by the existence of a complete minor of the same order, substantially strengthening known general lower bounds for clique minors.

References

The most important open problem in this direction is Hadwiger's conjecture . This conjecture states that $G$ contains $K_{\chi(G)}$ as a minor, where $\chi(G)$ denotes the chromatic number of $G$.

— Minors in small-set expanders  (2503.06826 - Krivelevich et al., 10 Mar 2025) in Section 1, paragraph “Complete minors”