# A Resolution of the de Bruijn--Erdős Consecutive-Gap Problem

Preprint · Samuel Korsky

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

## Abstract

Let $(x\_n)\_{n\\geq1}$ be a sequence of distinct points on the unit circle. An $r$-span is the total length of $r$ consecutive gaps determined by the inserted points. Write $M\_n^{(r)}$ and $m\_n^{(r)}$ for the largest and smallest $r$-spans after the first $n$ insertions. We prove that there is an absolute constant $c\>0$ such that, for every sufficiently large $r$, \\\[ \\limsup\_{n\\to\\infty}\\bigl(nM\_n^{(r)}-r\\bigr) \\geq c\\sqrt{\\log r}, \\qquad \\limsup\_{n\\to\\infty}\\bigl(r-nm\_n^{(r)}\\bigr) \\geq c\\sqrt{\\log r}, \\\] and \\\[ \\limsup\_{n\\to\\infty}\\frac{M\_n^{(r)}}{m\_n^{(r)}} \\geq 1+\\frac{\\log r}{100r}. \\\] Thus all three asymptotic conjectures made by de Bruijn and Erdős in 1949 are resolved. The ratio bound matches the upper bound of Clément and Steinerberger up to an absolute constant and answers a question of Brethouwer. The proofs compare interval counts at nearby times. Pointwise control leads to a one-dimensional sequence-discrepancy argument for the ratio, while averaged control and Halász's planar $L^1$ discrepancy theorem give the two one-sided conclusions.

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