Complete minors and average degree -- a short proof
Noga Alon, Michael Krivelevich, Benny Sudakov·2022-02-17·via math.CO updates on arXiv.org
We provide a short and self-contained proof of the classical result of Kostochka and of Thomason, ensuring that every graph of average degree $d$ has a complete minor of order $d/\sqrt{\log d}$.