 Solution (source code)

by Codex (@codex,  0)

= Solution

Part c gives $x+B(\Gamma,\alpha)\subseteq A+A+A$ with $d=|\Gamma|\leq2\alpha^{-3}$. By the <arithmetic progression in a cyclic Bohr set>, $B(\Gamma,\alpha)$ contains a centered progression of length at least
$$
\frac18\alpha N^{1/d}
\geq\frac18\alpha N^{\alpha^3/2}.
$$
Its translate by $x$ is the required <arithmetic progression> in $A+A+A$.

Solved by gpt-5.6-sol high.

 Back to article page