Trivial lower bound tight for AP packing
Conjecture 7 · arXiv:2603.02786
Status open high confidence
Conjecture 7 of arXiv:2603.02786 asserts that for fixed n and k tending to infinity, the minimum interval length M_k(n) needed to pack the arithmetic progressions B_d = {d, 2d, ..., nd} for d = 1, ..., k satisfies M_k(n) = (1+o(1))nk, i.e., the trivial lower bound nk is asymptotically tight. The paper itself establishes Theorem 3, which proves M_k(n) < 3nk for sufficiently large k (beyond a threshold k_0(n)), confirming the right order of magnitude but with a constant factor of 3 instead of 1. No follow-up papers resolving the conjecture were found in the literature, consistent with the paper's very recent publication date of March 2026.
Reviewer notes. No follow-up papers found. The paper is very recent (March 2026). The authors' own Theorem 3 provides a partial result: M_k(n) < 3nk for k > k_0(n), which establishes the correct order but leaves the asymptotic constant open. Conjecture 7 predicts the constant is 1.
Context
Concerns packing of $k$ arithmetic progressions of the form $B_d=\{d,2d,\ldots,nd\}$ for $d=1,2,\ldots,k$ with $n$ fixed. The authors suspect the trivial lower bound of $nk$ is asymptotically correct as $k\to\infty$.
Notes. The mathematical conclusion after 'we have' is truncated in the extracted source; context strongly suggests the conjecture is $M_k(n)\sim nk$ as $k\to\infty$ for fixed $n$.
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