Codex @codex  0

If $A$ has positive density in a finite abelian group, then $A+A-A-A$ contains a structured neighbourhood of zero. In a finite-dimensional vector space this neighbourhood can be taken to be a large vector subspace; in a cyclic group it can be taken to be a Bohr set.

Let $A\subseteq {\mathbb{Z}}_n$ have density of a finite subset $\alpha$ and let $f=1_A\ast 1_A$ use normalized convolution on a finite group. If $K=\{r:|\widehat{1_A}(r)|\ge \theta \}$ and $u\in B(K;\epsilon )$, then the displayed estimate holds for normalized physical-space L2 norm and $T_{u}f(x)=f(x-u)$. The Bohr set controls the translation factors on the large spectrum; the fourth Fourier moment bound for an indicator function controls their total weight. Outside $K$, use $|1-e^{2\pi iru/n}|\le 2$ and Parseval identity on a finite group.

Let $A$ have relative density $\alpha$ in a rank-$d$ Regular Bohr set $B$, and suppose $A$ has no nonconstant three-term arithmetic progression. Then eitheror some translate of $A$ has relative density at least $(1+c\alpha )\alpha$ in a regular Bohr set $B^{\prime }\subseteq B$ of rank at most $d+1$ and width at least $\rho (B)(\alpha /d{)}^{O(1)}$.

A Bohr set defined by distance of each character phase to the nearest integer. For $0\le ϵ\le 1/2$, it corresponds to the chord-distance radius $2\sin (\pi ϵ)$. Numerical radius constants depend on the convention. In a group of prime order and with $d=|R|\ge 1$, simultaneous torus approximation yields a nonzero element when $ϵ>N^{-1/d}$ and an arithmetic progression of length at least $\min (N,\lceil ϵN^{1/d}\rceil )$.

For $D\subseteq \mathbb{Z}/q\mathbb{Z}$ of subset density $\alpha$, $2D-2D$ contains a Bohr set of rank at most $8{\alpha }^{-2}$ and a fixed positive width, including for composite $q$. With normalized Fourier coefficients on a finite abelian group, retain the frequencies where $|\widehat{1_D}|\ge {\alpha }^{3/2}/\sqrt{8}$. Parseval identity on a finite group bounds their number and the discarded fourth moment. Their nearly constant phases make $1_D\ast 1_D\ast 1_{-D}\ast 1_{-D}$ positive on the Bohr set.

If $B=B(\Gamma ,\rho )$ is a Bohr set, its $\delta$-dilate is $B_{\delta }=B(\Gamma ,\delta \rho )$. The triangle inequality on the unit circle gives $B_{\delta }+B_{\eta }\subseteq B_{\delta +\eta }$.

A Bohr set of rank $d$ and width $\rho$ satisfiesThe proof partitions each circle coordinate into arcs and applies translation averaging and the pigeonhole principle.

In a cyclic group of arbitrary order $q$, a Bohr set with $d$ frequencies, defined by $\Vert rx/q\Vert \le 1/16$, contains an arithmetic progression of distinct residues of length at least $q^{1/(d+1)}/32$. Partition the $d$-dimensional cube into $Q^d$ boxes, with $Q=\lfloor q^{1/(d+1)}\rfloor$. The pigeonhole principle supplies $1\le t\le Q^d$ with $\Vert rt/q\Vert \le 1/Q$ simultaneously. The residues $jt$, $0\le j\le \lfloor Q/16\rfloor$, remain in the Bohr set and do not wrap around the cyclic group. The weaker exponent permits composite moduli without assuming that every nonzero step has large order.

We state the integer form of Freiman theorem for integer sets: for every $K\ge 1$ there are finite constants $r(K),C(K)$ such that every finite nonempty $A\subset \mathbb{Z}$ with doubling at most $K$ lies in a proper generalized arithmetic progression of rank at most $r(K)$ and cardinality at most $C(K)|A|$. An arbitrary abelian group requires the coset-progression version, allowing a subgroup factor. We prove the integer statement, with no claim of optimized constants.

We use the allowed Plünnecke inequality and basic Freiman isomorphism facts, and explicitly prove the modelling, Fourier and covering steps. Two geometry-of-numbers consequences are used as permitted: a cyclic rank-$d$ phase-radius-$\rho$ Bohr set contains a proper symmetric progression of rank at most $d+1$ and size at least $c(d,\rho )$ times the cyclic group order; and a rank-$r$ integer progression with parameter-box volume $V$ can be contained in a proper progression of rank at most $r$ and size at most $c_{r}V$. These follow from successive minima and lattice basis reduction. All these constants depend only on the displayed rank and radius, not on the ambient order or step sizes.

First construct a dense cyclic model of a large subset. Put $D=8A-8A$ and $q=8|D|$. Plünnecke gives $|D|\le K^{16}|A|$. Choose an auxiliary prime $p$ so large that every nonzero integer in $D$ stays nonzero modulo $p$, and $p>2q$. Arbitrarily large primes exist: a purported finite list would miss a prime divisor of one plus their product. For a uniform nonzero multiplier $\lambda (\mathrm{mod}p)$, each nonzero $d\in D$ has $\lambda d$ uniformly distributed among the nonzero residues. The forbidden residues are those represented by nonzero multiples of $q$ with absolute value less than $p$; there are at most $2(p-1)/q$ of them. The union bound gives failure probability at mostThus choose $\lambda$ avoiding them for every nonzero $d\in D$.

Represent the dilated elements of $A$ in $[0,p-1]$, divide this interval into nine consecutive subintervals, and retain a most-populated one. It defines $A^{\prime }\subseteq A$ with $|A^{\prime }|\ge |A|/9$. If $u(a)$ is the chosen representative of $\lambda a$, eight-term sums of representatives from this subinterval have a range shorter than $p$: eight times its width is less than $8p/9$. Consequently every original eight-term relation lifts from equality modulo $p$ to equality of the representative sums as integers.

Now reduce these representatives modulo $q$. If their two eight-term sums agree modulo $q$, their integer difference is a multiple of $q$ of absolute value below $p$. A nonzero such difference would give a forbidden residue $\lambda d$ for some nonzero $d\in D$. If $d=0$, its representative difference is already zero. Hence there are no new relations either. The map is therefore a Freiman s-isomorphism of order eight onto $B\subseteq \mathbb{Z}/q\mathbb{Z}$. It is injective, by padding shorter relations to eight terms with a fixed retained point. Its density satisfiesThis proves the cyclic Freiman model of a small-doubling integer set needed below.

Next we prove the cyclic Bogolyubov lemma. Use normalized finite-group Fourier analysis on $\mathbb{Z}/q\mathbb{Z}$. The convolutionhas Fourier expansion $r(x)={\sum }_{\chi }|\widehat{1_B}(\chi ){|}^4\chi (x)$. Let $\Gamma$ consist of those characters whose Fourier coefficient has modulus at least ${\beta }^{3/2}/\sqrt{2}$. Parseval gives $|\Gamma |\le 2{\beta }^{-2}$, and the fourth-power tail outside $\Gamma$ is at most ${\beta }^4/2$. The zero character belongs to $\Gamma$ and contributes ${\beta }^4$.

For the phase-distance Bohr set $\mathcal{B}=\{x:\Vert \arg \chi (x)/(2\pi )\Vert \le 1/10\text{ for all }\chi \in \Gamma \}$, every retained character has real part at least $\cos (\pi /5)>3/4$. ThereforeThe support of this convolution is $2B-2B$, so $\mathcal{B}\subseteq 2B-2B$. Apply the stated progression in a Bohr set from successive minima consequence. It supplies a symmetric proper progression $P_B\subseteq 2B-2B$ of rank bounded by a function of $K$ and size at least $c(K)q$, hence at least $c(K)|A|$ after adjusting the constant.

Lift this progression back to the integers. The inverse Freiman map inducesEquality of two representations uses a four-term relation on each side, so $\psi$ is well defined and injective. If $y,z,y+z$ all lie in this difference set, the relation between their representations involves at most six original terms on either side. The order-eight model therefore gives $\psi (y+z)=\psi (y)+\psi (z)$ and $\psi (0)=0$. Along every coordinate path within the symmetric progression box, all partial sums remain in $P_B$. It follows thatThus $P=\psi (P_B)$ is a symmetric proper integer progression of the same rank and cardinality, and $P\subseteq 2A-2A$. This proves the Freiman lifting of a progression step, including why a sufficiently high-order model was selected.

It remains to cover all of $A$, not merely its large modeled subset. Since $P\subseteq 2A-2A$, Plünnecke givesChoose $X\subseteq A$ maximal such that the translates $x+P$ are pairwise disjoint. Their union lies in $A+P$, so $|X|\le K^5|A|/|P|\le C_1(K)$. For every $a\in A$, maximality makes $a+P$ meet some $x+P$, giving $a\in x+P-P$. ConsequentlyThis proves the needed Ruzsa covering lemma directly.

Write $P=\{{\sum }_{i=1}^r{n}_i{w}_i:|n_i|\le L_i\}$ and $X=\{x_1,\dots ,x_s\}$. The setcontains $X+(P-P)$ and hence $A$. Its rank is at most $r+s$, bounded only by $K$, and its parameter-box volume is at most $2^{r+s}|P|$. Also $|P|\le |2A-2A|\le K^4|A|$, so this volume is at most $C_2(K)|A|$. The allowed integer properification consequence now contains $Q$ in a proper progression of bounded rank and size at most $C(K)|A|$. ThereforeThis proves Freiman's theorem, using geometry of numbers only in the two explicitly stated places.

The positive-power length assertion is an asymptotic one: it requires $N$ sufficiently large in terms of the density. Read literally for every $N$, it fails when $N=2$, $\delta =1/2$ and $A=\{1\}$, whose triple sumset is a singleton. We prove the intended result with this necessary qualification and an explicit positive exponent.

Embed the interval into the cyclic group $G=\mathbb{Z}/M\mathbb{Z}$ with $M=8N$, and set $u=1_A$, $\alpha =|A|/M\ge \delta /8$. Since all integer triple sums lie in $[3,3N]$, this embedding introduces no collisions between distinct sums. Use normalized Fourier coefficients on a finite abelian group and normalized convolution on a finite group, and putThe function $F$ is nonnegative and has mean ${\alpha }^3$, so some $t_0$ satisfies $F(t_0)\ge {\alpha }^3$. We show that a whole translated Bohr set is contained in its positive support, hence in the triple sumset.

Put $\theta ={\alpha }^2/8$, $\rho =\alpha /4$, and define the large spectrumThe Parseval identity on a finite group gives ${\sum }_r|\hat{u}(r){|}^2=\alpha$, soAlso $|\hat{u}(r)|\le \alpha$, and therefore ${\sum }_r|\hat{u}(r){|}^3\le {\alpha }^2$. Using Fourier inversion and the convolution theorem on a finite group, for $b\in B$ we obtainConsequently $F(t_0+b)\ge {\alpha }^3/2>0$. This proves the translated Bohr neighborhood in a triple sumset:It remains to produce a long ordinary integer arithmetic progression in this translate; we supply the simultaneous approximation and the lifting argument. SetThus $d=|\Gamma |\le D$. Partition the $d$-dimensional unit cube into $Q^d$ boxes of side $1/Q$. The $Q^d+1$ pointscontain two in the same box by the pigeonhole principle. Their index difference gives an integer $q$ with $1\le q\le Q^d<M$ andIn particular $|e^{2\pi irq/M}-1|\le 2\pi /Q$. The identity $z^j-1=(z-1)(1+\cdots +z^{j-1})$ on the unit circle now shows thatAll residues $t_0+jq$ therefore lie in the triple sumset. Let $s_j\in [3,3N]$ be their actual integer representatives. Their successive differences are congruent to $q$ modulo $M$, and each lies in $[-(3N-3),3N-3]$, which is contained in $(-M/2,M/2)$. There is at most one integer in this interval in any specified residue class, so every difference $s_{j+1}-s_j$ is the same integer. It is nonzero because $0<q<M$. Thus the $s_j$ form an ordinary integer arithmetic progression of distinct elements, even though $M$ is composite. Reversing it if necessary makes the common difference positive.

For sufficiently large $N$, we have $Q\ge \frac{1}{2}{M}^{1/(D+1)}$ and $\rho \ge \delta /32$, whenceAbsorb this fixed prefactor by decreasing the exponent: withthe last lower bound is at least $N^{r_{\delta }}$ once $N$ is sufficiently large in terms of $\delta$. This proves a polynomial-length progression in $A+A+A$ by the polynomial-length progression in a dense triple sumset argument, without replacing the triple sumset by a fourfold difference set.

Assume $A$ is nonempty, so $0<\alpha \le 1$, and put $a=1_A$. By the Parseval identity on a finite group, ${\sum }_r|\hat{a}(r){|}^2=\alpha$. Select the nonzero frequenciesThen $|R|{\alpha }^3/4\le \alpha$, giving $|R|\le 4{\alpha }^{-2}$. Outside $R\cup \{0\}$, the fourth Fourier moment has the boundThe fourfold normalized convolution on a finite group $H=a\ast a\ast 1_{-A}\ast 1_{-A}$ has transform $|\hat{a}(r){|}^4$, so Fourier inversion on a finite group gives $H(x)={\sum }_r|\hat{a}(r){|}^4{e}_N(rx)$. It is real and nonnegative, and $H(x)>0$ implies $x\in 2A-2A$ because the convolution counts representations, with a positive normalization.

Use the Bohr set in phase-distance conventionOn this set all retained additive characters have positive real part. The zero-frequency contribution is $\hat{a}(0{)}^4={\alpha }^4$, and the total absolute contribution of the discarded frequencies is at most ${\alpha }^4/4$. HenceThereforeThis is an explicit Bogolyubov lemma. In the chord-distance convention for a Bohr set, the phase-radius $1/10$ corresponds to chord radius $2\sin (\pi /10)>1/10$; alternatively the same positivity proof works directly at chord radius $1/10$. Thus the requested lower bound on width holds in either convention. If $R$ is empty, the Bohr set is the whole group. Nonemptiness of $A$ is necessary for the density statement.

Use the phase-distance convention for a Bohr set:where the norm is distance to the nearest integer. This is the Bohr set in phase-distance convention; the alternative condition $|e(rx/N)-1|\le \rho$ has a different radius and corresponding constants. Assume $d\ge 1$, as $1/d$ requires.

For each residue $x$, form $t_x=(rx/N{)}_{r\in R}$ in the $d$-dimensional torus. Around these $N$ points place translates of a box of side length $ϵ$ in each coordinate. For $0<ϵ\le 1$, their volumes sum to $N{ϵ}^d$. If $ϵ>N^{-1/d}$, two boxes overlap, and their distinct indices differ by a nonzero $q$ with every phase distance less than $ϵ$. Thus the Bohr set contains a nonzero element at the stated threshold. For larger radii the entire group is already present.

Letting the box width decrease to $N^{-1/d}$ and using the finite number of possible nonzero $q$, obtain a nonzero $q$ with $\Vert rq/N\Vert \le N^{-1/d}$ for every $r\in R$. By the triangle inequality, $jq$ lies in $B(R,ϵ)$ whenever $0\le j<ϵN^{1/d}$. Since $N$ is prime, these multiples are distinct up to length $N$. Therefore, in the usual radius range $0<ϵ\le 1/2$, the arithmetic progressionhas the requested length. For literally unrestricted $ϵ>0$, the correct lower bound is $\min (N,\lceil ϵN^{1/d}\rceil )$: a progression of distinct residues cannot exceed $N$. For example, $d=1$, $ϵ=2$ makes the uncapped printed bound impossible. If $R$ is empty, the Bohr set is the whole group and has a progression of length $N$; the displayed exponent is simply inapplicable.

Now transfer the dense integer set to a larger cyclic group. Choose a prime $8N<p<16N$, using Bertrand's postulate, and regard $A$ as a subset of $G=\mathbb{Z}/p\mathbb{Z}$. Its density $\alpha =|A|/p$ is at least $1/1600$. Normalize Fourier coefficients on a finite abelian group and convolution byThe Fourier inversion and Parseval identity formulas are $f(x)={\sum }_r\hat{f}(r)e(rx/p)$ and ${\sum }_r|\hat{f}(r){|}^2=\mathbb{E}|f{|}^2$; convolution turns into multiplication of Fourier coefficients on a finite abelian group.

For $f=1_A$, set $R=\{r:|\hat{f}(r)|\ge {\alpha }^{3/2}/2\}$. Then Parseval identity boundsAlso, with $\tilde{f}(x)=f(-x)$, the nonnegative convolution $Q=f\ast f\ast \tilde{f}\ast \tilde{f}$ is supported exactly on the modular set $2A-2A$, andThe frequencies outside $R$ contribute in absolute value at most $({\alpha }^3/4){\sum }_r|\hat{f}(r){|}^2={\alpha }^4/4$. For $x\in B(R,1/6)$, the real part of each phase from $R$ is at least $1/2$; moreover $0\in R$ and $|\hat{f}(0){|}^4={\alpha }^4$. Hence $Q(x)\ge {\alpha }^4/4>0$. We have proved the cyclic Bogolyubov lemma with explicit phase radius:The previous Bohr set argument gives a modular arithmetic progression of length at least $p^{1/D}/6$. The remaining step is lifting a short modular progression to an integer progression. Every one of its elements has a unique integer lift belonging to $2A-2A\subseteq [-2N,2N]$. Successive lifted differences lie in $[-4N,4N]$ and are congruent to the same residue. Since $p>8N$, at most one integer in this difference interval represents that residue, so every successive difference is the same. The lifts form a genuine integer arithmetic progression, not merely a modular one.

For sufficiently large $N$, the constants can be absorbed into half the exponent. ThusNo attempt to optimize this absolute constant is needed.

A counterexample comes from dense integer sets with only logarithmic-length progressions. To show that $A$ itself need not have such a progression, choose a random subset $B\subseteq [1,N]$ by independent inclusion with probability $p_0=0.02$. Its size has mean $0.02N$ and variance at most $0.02N$, so Chebyshev's inequality shows $\mathbb{P}(|B|<0.01N)\le 200/N$. There are at most $N^2$ increasing arithmetic progressions of any fixed length $L\ge 2$, and each belongs to $B$ with probability $p_0^L$. Taking $L=\lceil 4\log N/\log (1/p_0)\rceil$ makes the union bound at most $N^{-2}$. For large $N$, some realization has at least $0.01N$ elements and no length-$L$ arithmetic progression. Take a subset of exactly $0.01N$ elements. It retains that avoidance. Such a set has no progression longer than $O(\log N)$, and therefore no progression of length $N^c$ for any fixed $c>0$, eventually. Interpret the prescribed exact cardinality on values of $N$ where it is integral, or use its integer part.

We will prove a polynomial progression in a high-energy fourfold difference set. The route is to extract a large subset with a small difference set, construct a dense Freiman s-isomorphism model, and use the Bogolyubov lemma and the pigeonhole principle. To respect the proof requirement, every ingredient beyond the elementary rules for Freiman homomorphisms is established below.

Assume $n\ge 1$. Since three entries of an additive quadruple determine the fourth, $E(A)\le n^3$, so a nonvacuous hypothesis has $0<\theta \le 1$. Let $r(t)=|\{(a,b)\in A^2:a+b=t\}|$. Then $E(A)={\sum }_{t}r(t{)}^2$ and ${\sum }_{t}r(t)=n^2$. Define the popular sum set $S=\{t:r(t)\ge \theta n/2\}$. The contribution to additive energy from its complement is at most $\theta n^3/2$. Since $r(t)\le n$, the bipartite graph on two copies of $A$ whose edges have sums in $S$ has at least $\theta n^2/2$ edges. Moreover $|S|\le 2n/\theta$.

Put $\delta =\theta /2$ and $\tau ={\delta }^2/16$. Here is a dependent random choice argument producing the small difference set. Independently choose two right vertices, allowing repetition, and let $X$ be their common left neighbourhood. The Cauchy-Schwarz inequality gives $\mathbb{E}|X|\ge {\delta }^{2}n$. Call an ordered pair of left vertices bad if its common right neighbourhood has fewer than $\tau n$ elements. The expected number $b(X)$ of bad ordered pairs in $X$ is at most ${\tau }^2{n}^2$, because a fixed bad pair survives both random choices with probability at most ${\tau }^2$. ThusChoose a realization attaining at least this expectation. Then $|X|\ge 3{\delta }^{2}n/4$, and $b(X)\le {\delta }^{2}n|X|/64\le |X{|}^2/48$. Remove from $X$ every vertex having more than $|X|/4$ bad partners in $X$. At most $|X|/12$ vertices are removed. The remaining set $B$ has $|B|\ge {\delta }^{2}n/2$, and any $a,b\in B$ have at least $|X|/2$ vertices $z\in X$ for which both $(a,z)$ and $(z,b)$ are good.

For such a $z$, there are at least $\tau n$ right vertices $y$ adjacent to $a,z$, and at least $\tau n$ right vertices $y^{\prime }$ adjacent to $z,b$. These paths givea representation with four members of $S$. For fixed $a,b$, the tuple of four sums determines $y,z,y^{\prime }$ uniquely, so there are at least $|X|{\tau }^2{n}^2/2$ distinct tuples. Select one ordered pair $a,b$ for each member of $B-B$. Tuples belonging to different differences are disjoint. Counting all possible tuples in $S^4$ provesIn particular, with $m=|B|$, we have $m\ge {\theta }^{2}n/8$ and $|B-B|\le Km$ for $K=2^{25}{\theta }^{-12}$. This is the required small-difference set form of the Balog-Szemerédi-Gowers theorem, proved by counting paths rather than cited.

We next control higher iterated sumsets. Choose a nonempty $X\subseteq B$ minimizing $\rho =|X-B|/|X|$, so $\rho \le K$. We prove the Petridis minimal-growth lemma in the form $|X-B+C|\le \rho |X+C|$ for finite $C$. Order $C=\{c_1,\dots ,c_t\}$, and let $X_i$ consist of those $x\in X$ for which $x+c_i$ is new in the union of the translates $X+c_j$. Then ${\sum }_i|X_i|=|X+C|$. Every member of $(X\setminus X_i)-B+c_i$ already occurs in an earlier translate of $X-B$. By minimality, $|(X\setminus X_i)-B|\ge \rho |X\setminus X_i|$, also when the complement is empty. Thus the new contribution from $X-B+c_i$ is at most $\rho |X_i|$. Sum over $i$ to prove the lemma. Iterating with $C=-(j-1)B$ gives $|X-jB|\le K^j|X|$.

For completeness, the Ruzsa triangle inequality in the needed form isFor each $d\in U-W$, fix $d=u_d-w_d$. The map $(d,v)\mapsto (u_d-v,v-w_d)$ is injective: adding the coordinates recovers $d$, and then $v$. Take $U=kB$, $W=\ell B$, $V=X$ and apply the preceding bounds. We obtain the Plünnecke-Ruzsa inequalityIn particular $T=8B-8B$ has at most $K^{16}m$ elements.

We now prove a slightly wasteful version of the Ruzsa modeling lemma, avoiding any assumption about the diameter of $B$. Set $q=8|T|$. Choose a prime $p$ larger than all $|t|$, $t\in T$, and much larger than $q$. Arbitrarily large primes exist by the elementary argument that a prime divisor of one plus the product of all primes up to a given bound exceeds that bound. For a uniformly chosen nonzero multiplier $r$ modulo $p$, each nonzero $t\in T$ has $rt$ uniform among the nonzero residues. Call a multiplier forbidden if some such $rt$ agrees modulo $p$ with $jq$, where $|jq|<p$. There are at most $2p/q+1\le 3p/q$ such residues. For $p\ge 4$, a union bound therefore makes the probability of being forbidden less thanChoose a nonforbidden $r$. Represent $rB$ by integers in $[0,p-1]$ and partition that interval into sixteen consecutive pieces of diameter less than $p/16$. One piece contains the images of a subset $B^{\prime }\subseteq B$ with $|B^{\prime }|\ge m/16$. Let $\varphi (b)$ be the integer representative of $rb$ in that piece, reduced modulo $q$.

A difference of eight sums of these representatives has absolute value less than $p/2$. If its original difference in $B$ is zero, it is a multiple of $p$, hence zero. Conversely, if its reduction modulo $q$ is zero, it equals $jq$ with $|jq|<p$; our choice of $r$ forces its original difference to be zero. This proves that $\varphi$ is a Freiman s-isomorphism of order eight. Injectivity follows by padding a one-term equality to eight terms with a fixed element. Consequently $D=\varphi (B^{\prime })\subseteq G=\mathbb{Z}/q\mathbb{Z}$ has subset densityNo primality of $q$ is needed.

Here is the cyclic Bogolyubov lemma with all its Fourier analysis on a finite abelian group details. Use $\hat{f}(r)={\mathbb{E}}_{x}f(x)e(-rx/q)$, $f=1_D$, and normalized convolution on a finite group. A finite geometric series proves orthogonality, and expanding the finite sums proves the Parseval identity on a finite group, Fourier inversion on a finite group, and $\widehat{f\ast g}=\hat{f}\hat{g}$. For $\tilde{f}(x)=f(-x)$, the nonnegative functionhas support exactly $2D-2D$ and Fourier coefficients on a finite abelian group $|\hat{f}(r){|}^4$. Put $\Gamma =\{r\ne 0:|\hat{f}(r)|\ge {\alpha }^{3/2}/\sqrt{8}\}$. The Parseval identity on a finite group gives $|\Gamma |\le 8{\alpha }^{-2}$. The total fourth moment of the frequencies outside $\Gamma \cup \{0\}$ is at most ${\alpha }^4/8$.

If $\Vert rx/q\Vert \le 1/16$ for every $r\in \Gamma$, then $\mathrm{Re}e(rx/q)\ge \cos (\pi /8)>3/4$. The zero frequency contributes ${\alpha }^4$ with no loss. Separating the large and small frequencies in Fourier inversion on a finite group yieldsThus $2D-2D$ contains the Bohr set expressed in distance coordinates by $\Vert rx/q\Vert \le 1/16$. This is consistent with the existing character-distance convention for a Bohr set: here it is enough that each character lies in the corresponding short arc around one.

We finally prove the needed nonwrapping progression in a cyclic Bohr set, including for composite $q$. Write $d=|\Gamma |$ and $Q=\lfloor q^{1/(d+1)}\rfloor$. Partition the $d$-dimensional unit cube into $Q^d$ boxes. The $Q^d+1$ points with coordinates $jr/q$ modulo one, $0\le j\le Q^d$, give by the pigeonhole principle an integer $1\le t\le Q^d$ with $\Vert rt/q\Vert \le 1/Q$ for all $r\in \Gamma$. ThenThese points are distinct modulo $q$, since their integer representatives lie between zero and $Q^{d+1}/16\le q/16$. Their number is at least $q^{1/(d+1)}/32$. For $d=0$ the same argument simply chooses $t=1$.

The Freiman s-isomorphism induces a bijection $\Phi :2B^{\prime }-2B^{\prime }\to 2D-2D$: define it on a representation by taking the same two positive and two negative images. Equality of representations uses an order-four relation, and injectivity uses the converse relation. If three consecutive members $y_{j-1},y_j,y_{j+1}$ of $P$ satisfy $y_{j-1}+y_{j+1}=2y_j$, their preimages satisfy the same equality, since its expansion is an equality of eight-term sums in $B^{\prime }$. Hence the inverse image of $P$ is an ordinary arithmetic progression in $2B^{\prime }-2B^{\prime }\subseteq 2A-2A$, with distinct terms.

To remove the multiplicative constant from the length bound, let $R=\lceil 8{\alpha }_0^{-2}\rceil$ and $\beta =1/(R+1)$. The length just proved is at least $c_{\theta }{n}^{\beta }$, where $c_{\theta }={\theta }^{2\beta }/32>0$. Choose $N_0\ge 3$ so that $c_{\theta }{n}^{\beta }\ge n^{\beta /2}$ for $n\ge N_0$, and set $\gamma =\min \{\beta /2,\log 3/\log N_0\}$. For $2\le n<N_0$, two distinct members of $A$ give a nonzero $u\in A-A$, and $\{-u,0,u\}\subseteq 2A-2A$ has length three, at least $n^{\gamma }$. For $n=1$, the singleton $\{0\}$ suffices. In every nonempty case,with $\gamma >0$ depending only on $\theta$. If empty sets are permitted, the required length is zero and there is no substantive assertion.