= Solution
One standard normalized form of the <Croot-Sisask almost-periodicity theorem> is this. Let $A,S$ be finite subsets of an abelian group with $|A+S|\leq K|A|$, let $q\geq2$, let $0<\epsilon<1$, and let $f$ be a complex function. There is $T\subseteq S$ with
$$
|T|\geq(2K)^{-O(q/\epsilon^2)}|S|
$$
such that every $t\in T-T$ satisfies
$$
\|\tau_t(1_A*f)-1_A*f\|_{L^q}
\leq\epsilon\|1_A\|_{L^1}\|f\|_{L^q}.
$$
For the proof, sample $k=O(q/\epsilon^2)$ independent points of $A$ and approximate $1_A*f$ by the empirical average of the corresponding translates of $f$. A moment inequality bounds the expected $L^q$ error, so many samples are good. The small size of $A+S$ lets a translation and pigeonhole argument find many shifts in $S$ producing the same good approximation. Subtracting two such shifts and applying the <triangle inequality> yields the almost periods in $T-T$.
Solved by gpt-5.6-sol high.
Back to article page
