{"id":"arxiv/2609.13350","url":"https://arxiv.org/abs/2609.13350","tags":["math.CO"],"score":0,"title":"Avoiding four-term progressions from finitely many starts","domain":"math.CO","source":"arxiv","authors":["William Thompson"],"reviews":0,"subject":"math.CO","summary":"For every finite set $A\\subset\\mathbb{Z}$, we construct a bijection $p:\\mathbb{N}_0\\to\\mathbb{Z}$ beginning with $0,1$ that contains no four-term arithmetic progression, in occurrence order, whose first value belongs to $A$. More generally, for each $n\\ge2$ the enumeration can begin with $0,1,3,\\ldots,2^{n-1}-1$ and simultaneously avoid every such progression starting in $A$ or among these first $n$ entries. The construction uses finitely branching prerequisite relations and an explicit bounded integer potential. This proves finite prerequisite closure and gives an exhaustive enumeration,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-11","reactions":{}}