Skip to content
Preprint

A shorter proof of the linear list Hadwiger conjecture

Oct 2026 · 1 citation · 30 references
Mathematics

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.

View source

Similar papers

Preprint Sep 2026

Disproof of the dominating Hadwiger conjecture

Hadwiger's conjecture (1943) states that every graph $G$ with chromatic number at least $t$ contains a $K_t$-model: a collection of $t$ vertex-disjoint connected subgraphs $T_1,\dots,T_t$ such that for all $1\le i<j\le t$ some vertex in $T_j$ has a neighbour in $T_i$. Replacing"some"in this definition by"every"gives ri...

Freddie Illingworth, Raphael Steiner · 1 citation
Preprint Sep 2026

Coloring Small $K_t$-Minor-Free Graphs

Delcourt and Postle proved that every $K_t$-minor-free graph is $O(t\log\log t)$-colorable and reduced the Linear Hadwiger Conjecture to coloring $K_t$-minor-free graphs on $O(t\log^4 t)$ vertices. In this paper, we use the star contraction technique to improve their bound for small graphs and use their reduction to ex...

Xin-Heng Lin · 1 citation
Preprint Sep 2026

Sharper Zarankiewicz and Diagonal Bipartite Ramsey Bounds

We prove that there is an absolute positive constant $c$ such that every bipartite graph with $N$ vertices in each part and at least $N^2/2$ edges contains a complete bipartite graph $K_{t,t}$ whenever $N\ge c\, 2^{t}$. This improves the classical K\H{o}v\'ari-S\'os-Tur\'an bound requiring $N$ of order $t\,2^t $. As a...

D. Mubayi · 0 citations
Preprint Sep 2026

A nearly linear bound for the Lov\'asz conjecture

The celebrated conjecture of Lov\'asz from 1969 asks whether every connected vertex-transitive graph has a Hamiltonian path. Buci\'c, Christoph, Pokrovskiy and Steiner recently proved that every such graph on $n$ vertices contains a cycle of length $n^{2/3-o(1)}$. In this paper, we improve this bound to $n^{1-o(1)}$. O...

Bo-Wen Li, Abhishek Methuku · 2 citations
Preprint Oct 2026

Tweaking the constant in the Linear Hadwiger Theorem

Norin and Steiner recently proved the Linear Hadwiger Conjecture. That is, there is an absolute constant $C$ such that every graph $G$ satisfies $\chi(G)\leqslant C\,\text{had}(G)$, where $\chi(G)$ is the chromatic number and $\text{had}(G)$ is the Hadwiger number of $G$. They estimate that their proof gives a non-opti...

David R. Wood · 2 citations
Preprint Oct 2026

Optimal Bounds on Spanning Tree Embeddings

We prove that the number of labelled embeddings of any $n$-vertex tree $T$ into an $n$-vertex graph $G$ of maximum degree $d$ satisfies $$ \mathrm{inj}(T,G) \leq (d/e)^n \exp(o_d(1) n). $$ The bound is sharp up to determining $o_d(1)$, even for paths, and the dependence of the error $\exp(o_d(1)n)$ on $d$ is necessary....

Csongor Beke, V. Boskovic, Nina Kamčev et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.