# A Combinatorial Proof of Hilton's Conjecture and Beyond

Preprint · Thomas Lesgourgues, Luke Postle

- Archive id: arxiv:2609.28966
- Published: 2026-09-24
- arXiv: https://arxiv.org/abs/2609.28966
- Source URL: https://arxiv.org/abs/2609.28966
- PDF: https://arxiv.org/pdf/2609.28966
- Provenance: arxiv

## Abstract

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 high girth Latin squares (recently proved by Kwan, Sah, Sawhney and Simkin) and even an $n^{-1+γ}$-spread distribution on high girth Latin squares.

_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.