{"id":"arxiv/2609.28966","url":"https://arxiv.org/abs/2609.28966","tags":["math.CO"],"score":0,"title":"A Combinatorial Proof of Hilton's Conjecture and Beyond","domain":"math.CO","source":"arxiv","authors":["Thomas Lesgourgues","Luke Postle"],"reviews":0,"subject":"math.CO","summary":"Using refined absorption, we prove that for every integer $g\\ge 1$ and real $γ> 0$, and for sufficiently large $n$, there exists an $n^{-1+γ}$-spread distribution on Latin squares of order $n$ and girth at least $g$ that have no proper subsquares. This implies a combinatorial proof of Hilton's conjecture from the 1970s (recently proved algebraically by Allsop and Wanless) that for all sufficiently large $n$, there exists a subsquare-free Latin square of order $n$; indeed, it implies there exist at least $n^{(1-o(1))n^2}$ subsquare-free squares. Simultaneously it also implies the existence of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-24","reactions":{}}