Mind the (multiplicative) gaps
Emmanuel Kowalski, Vivian Kuperberg
TL;DR
The paper determines an exact, finite classification of primitive gaps in the NΓN multiplication table by partitioning them into three disjoint sets π_N, π _N, and π_N, with R marking a key threshold derived from βj^2/4β<N. The authors develop both a constructive, interval-based method and an asymptotic-polynomial framework to locate gaps, and they prove an exhaustion via induction on N, including several case analyses tied to when π_N is empty or nonempty and how R changes to R'. The result reveals a rigid, algebraic layer governing the large gaps and isolates them from the rest, while also detailing multiplicities and providing explicit examples such as N=33 and N=100. This advances understanding of the image size and gap distribution in the multiplication table beyond probabilistic heuristics by illuminating precise structural constraints.
Abstract
We determine the complete list of the gaps between successive elements of the multiplication table of the first N integers.
