{"id":"arxiv/2609.02604","url":"https://arxiv.org/abs/2609.02604","tags":["math.CO","math.NT"],"score":0,"title":"Fourteen and fifteen lonely runners","domain":"math.CO","source":"arxiv","authors":["Jaan Allikvere"],"reviews":0,"subject":"math.CO","summary":"We prove the Lonely Runner Conjecture for fourteen and fifteen runners. Our proof combines a stronger bound on the speed product in a primitive counterexample with exhaustive computations modulo primes. To obtain the bound, we work with a projected lattice basis and use cases of the conjecture with fewer runners to bound partial sums of its squared Gram-Schmidt lengths. For fifteen runners, the product bound derived from the work of Malikiosis, Santos, and Schymura gives a logarithmic threshold of about $810$; ours reduces this to about $415$, making the computation feasible. For fourteen…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-02","reactions":{}}