Trivial lower bound tight for AP packing

AX_arithmetic_progression_packing_fixed_n

Source: arXiv:2603.02786 — Packing arithmetic progressions

Conjecture 7 · arXiv:2603.02786

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

Authors: Noga Alon, Michał Dębski, Jarosław Grytczuk, Jakub Przybyło

Status solved high confidence

Mao, Wang, Wei, and Yang prove $M_k(n)=(1+o(1))nk$ for every fixed $n$, confirming Conjecture 7.

Cited literature (1)

proof Solution to a conjecture of Alon, Dębski, Grytczuk and Przybyło on fixed-cardinality arithmetic progressions (2026)

Yaping Mao, Zhao Wang, Meiqin Wei, Gang Yang · arXiv preprint · arXiv:2607.06113

Mao, Wang, Wei, and Yang prove $M_k(n)=(1+o(1))nk$ for every fixed $n$, confirming Conjecture 7.

Read the literature-status audit

Reviewer notes. These status corrections report results attributed to existing papers or to the final source version. Graph-Theory-LLM-Proofs located and checked the implication; it is not credited as the author of the result.

Auto-reviewed 2026-09-17 with gpt-6-astra.

Conjecture. For every fixed $n$ and $k$ tending to infinity, we have $M_{k}(n)=(1+o(1))nk$.

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$.

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