PreprintCC BY-NC-SA 4.0arXiv
A finite victory over de Bruijn-Erdős in interval discrepancy
Abstract
We study a finite form of the classical interval discrepancy problem. Starting from the unit interval, one repeatedly splits an existing interval into two until n intervals have been produced. The discrepancy of such a process is the maximum, over all intermediate stages, of the ratio between the longest interval and the shortest interval. A theorem of de Bruijn and Erdős from 1949 shows that this ratio must approach $2$ as n→∞, and they give a sharp construction achieving this bound. For fixed n, their construction gives the upper bound disc(n)≤ 2−3/2n+O(1/n2). In this paper, we prove that disc(n)=21−1/⌈ n/2⌉=2−(4ln 2)/n+O(1/n2) for every n.
Related
- A Resolution of the de Bruijn--Erdős Consecutive-Gap Problem
- The Erdős--Ginzburg--Ziv theorem for finite groups
- Generalized Erdős--Ginzburg--Ziv Constants for finite abelian groups of rank three
- DL, DQ Spectrum and Eigenvalue-free Interval of Cayley Graphs over Finite Nilpotent Groups
- Concatenation trees: A framework for efficient universal cycle and de Bruijn sequence constructions
BibTeX
@misc{deleo2026finite,
title = {{A finite victory over de Bruijn-Erdős in interval discrepancy}},
author = {Jared DeLeo and Owen Henderschedt and Chris Wells},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2605.29166},
eprint = {2605.29166},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2605.29166},
note = {CC BY-NC-SA 4.0},
}
RIS
TY - UNPB
TI - A finite victory over de Bruijn-Erdős in interval discrepancy
AU - Jared DeLeo
AU - Owen Henderschedt
AU - Chris Wells
PY - 2026
DA - 2026/09/24
PB - arXiv
DO - 10.48550/arxiv.2605.29166
UR - https://arxiv.org/abs/2605.29166
AB - We study a finite form of the classical interval discrepancy problem. Starting from the unit interval, one repeatedly splits an existing interval into two until n intervals have been produced. The discrepancy of such a process is the maximum, over all intermediate stages, of the ratio between the longest interval and the shortest interval. A theorem of de Bruijn and Erdős from 1949 shows that this ratio must approach $2$ as n→∞, and they give a sharp construction achieving this bound. For fixed n, their construction gives the upper bound disc(n)≤ 2−3/2n+O(1/n^2). In this paper, we prove that disc(n)=2^1−1/⌈ n/2⌉=2−(4ln 2)/n+O(1/n^2) for every n.
ER -