Density bound for S-difference-free sets
Problem 8 · arXiv:2605.13628
Status open high confidence
Problem 8 asks whether the condition $|S|>(q+1)/2$ in Theorem 1 can be weakened; the authors note that the boundary case $|S|=\lfloor(q+1)/2\rfloor$ is already interesting, and cite Green's suggestion that the result may extend all the way down to $|S|=2$. The paper was posted on 2026-05-13 and no follow-up work addressing this specific problem has been found in the literature.
Reviewer notes. Paper posted 2026-05-13 (one day before review date); no follow-up found. The authors cite Green's unpublished '100 open problems' manuscript as motivation for pushing down to |S|=2. A related paper (Discrete Analysis, arXiv:2308.06600) on effective bounds for {0,1,2}^n-restricted progressions addresses a specific instance of a neighbouring problem but does not resolve Problem 8 or weaken the |S|>(q+1)/2 threshold.
Context
Theorem 1 establishes that if $q$ is an odd prime power and $S\subseteq\mathbb{F}_{q}$ with $0\in S$ and $|S|>(q+1)/2$, then any $A\subseteq\mathbb{F}_{q}^{n}$ containing no three-term arithmetic progression with common difference in $S^{n}$ satisfies $|A|\leq q^{(1-\varepsilon_{q})n}$. The problem asks whether the condition $|S|>(q+1)/2$ can be weakened.
Source paper
A note on arithmetic progressions with restricted differences
David Conlon, Jacob Fox, Huy Tuan Pham · 2026-05-13
https://arxiv.org/abs/2605.13628