arXiv++ Combinatorics

The three gap theorem states that the points of the Kronecker sequence $α,2α,\ldots,Nα$, considered modulo one, divide the circle into intervals of at most three distinct lengths. In a two-dimensional nearest-neighbour analogue, Haynes and Marklof proved that the Kronecker sequence modulo an arbitrary unimodular lattice determines at most five distinct nearest-neighbour distances in the Euclidean norm, and that this bound is sharp. Dettmann subsequently constructed examples attaining five distinct distances for every $\ell_p$-norm, $1\leq p\leq\infty$. We prove the corresponding upper bound for every strictly convex norm on $\mathbb R^2$: for every unimodular lattice $L$, every $\boldsymbolα\in\mathbb R^2$, and every $N\in\mathbb N$, the number of distinct nearest-neighbour distances is at most five. In particular, this settles the conjectured bound for all $\ell_p$-norms with $1<p<\infty$, for which the bound is optimal. The proof extends the lattice-theoretic argument of Haynes and Marklof by replacing its Euclidean angular estimates with a cone lemma based on a proper Brass angular measure.