# A shorter proof of the linear list Hadwiger conjecture

Preprint · Yangyan Gu, Rongxing Xu

- Archive id: arxiv:2610.01946
- Published: 2026-10-01
- arXiv: https://arxiv.org/abs/2610.01946
- Source URL: https://arxiv.org/abs/2610.01946
- PDF: https://arxiv.org/pdf/2610.01946
- Provenance: arxiv

## 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 reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.