A shorter proof of the linear list Hadwiger conjecture

Abstract

The linear list Hadwiger conjecture asserts that every $K_t$-minor-free graph is $O(t)$-choosable. Following an approach outlined by Delcourt and Postle, we recently established $O(t\log\log t)$-choosability. Soon afterward, OpenAI provided a proof of the conjecture. A key new ingredient of their proof is a linear bound on the choice number of $K_t$-minor-free graphs with at most $t^{11/10}$ vertices. In this paper, we give a relatively simple proof of this small-graph bound for graphs with at most $t(\ln t)^5$ vertices.Combining this with the argument from our earlier $O(t\log\log t)$ bound, we obtain a shorter and somewhat more accessible proof of the conjecture.

Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.