Asymptotic sharpness of the trivial lower bound for fixed-length progression packing

From papers

Let Mk(n)M_k(n) be the packing number for the progressions Bd={d,2d,,nd}B_d=\{d,2d,\ldots,nd\} with d=1,2,,kd=1,2,\ldots,k, with nn fixed. Fixed-length progression-packing conjecture. For every fixed nn and kk tending to infinity, we have

Mk(n)=(1+o(1))nk.M_k(n)=(1+o(1))nk.

The source says this would make the trivial lower bound nknk asymptotically correct; the conjecture is open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Noga Alon, Michał Dębski, Jarosław Grytczuk and Jakub Przybyło, “Packing arithmetic progressions”, arXiv:2603.02786 (2026).

Solutions 0

No solutions have been posted yet.