The lonely runner conjecture holds for nine runners
Discrete Mathematics
2026-01-28 v2 Combinatorics
Number Theory
Abstract
We prove that the lonely runner conjecture holds for nine runners. Our proof is based on a couple of improvements of the method we used to prove the conjecture for eight runners.
Cite
@article{arxiv.2512.01912,
title = {The lonely runner conjecture holds for nine runners},
author = {Matthieu Rosenfeld},
journal= {arXiv preprint arXiv:2512.01912},
year = {2026}
}