Prime AP packing asymptotic n³/ln n

Conjecture 4 · arXiv:2603.02786

arXiv Conjecture high confidence— first stated 2026-03-03

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.

Auto-reviewed 2026-05-14 with claude-sonnet-4-6 (web search enabled).

Conjecture. $M_{\mathbb{P}(n)}(n)\sim\frac{1}{6}\cdot\frac{n^{3}}{\ln n}$.

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