Avoiding four-term progressions from finitely many starts
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,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.13350
curl -X POST /api/v1/records/arxiv/2609.13350/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.13350/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'