Prime AP packing asymptotic n³/ln n
Conjecture 4 · arXiv:2603.02786
Status open high confidence
Conjecture 4 of arXiv:2603.02786 asserts the precise asymptotic $M_{\mathbb{P}(n)}(n)\sim\frac{1}{6}\cdot\frac{n^{3}}{\ln n}$, where $\mathbb{P}(n)$ denotes the set of primes up to $n$ and $M_{\mathbb{P}(n)}(n)$ is the minimum interval length needed to pack the corresponding arithmetic progressions. The authors establish the matching lower bound (Theorem 5); the upper bound remains open. No follow-up resolving the conjecture was found in the two months since posting.
Reviewer notes. The paper was posted on 2026-03-03, only ~10 weeks before this review. The lower bound $M_{\mathbb{P}(n)}(n)=\Omega(n^3/\ln n)$ is established in the paper (Theorem 5); the upper bound that would nail the constant 1/6 is explicitly listed as open. arXiv:2605.13628 (Conlon, Fox, Pham) appeared in the search but concerns cap sets in finite fields and is unrelated. No other citing paper was found.
Context
Closely related to Conjecture 3. The lower bounds in Conjectures 3 and 4 follow from the proofs of the lower bounds in Theorems 1 and 5, respectively. The upper bounds remain open.
Source paper
Packing arithmetic progressions
Noga Alon, Michał Dębski, Jarosław Grytczuk, Jakub Przybyło · 2026-03-03
https://arxiv.org/abs/2603.02786