1:
2: \NeedsTeXFormat{LaTeX2e}
3:
4: \documentclass{amsart}
5:
6: \usepackage{amsmath}
7: \usepackage{amssymb}
8:
9: \newtheorem{theorem}[subsection]{Theorem}
10: \newtheorem{proposition}[subsection]{Proposition}
11: \newtheorem{corollary}[subsection]{Corollary}
12: \newtheorem{lemma}[subsection]{Lemma}
13: \newtheorem{conjecture}[subsection]{Conjecture}
14:
15: \newtheorem{claim}{Claim}
16:
17: \newtheorem{example}[subsection]{Example}
18: \newtheorem{question}[subsection]{Question}
19:
20: \newtheorem*{remark}{Remark}
21:
22: \arraycolsep 1pt
23:
24: \providecommand{\supp}{\mathop{\rm supp}\nolimits}% support of a function
25: \providecommand{\im}{\mathop{\rm im}\nolimits}% image of a function
26: \providecommand{\cod}{\mathop{\rm cod}\nolimits}% codimension of a space
27:
28: %short hand
29: \newcommand{\wh}{\widehat}
30: \newcommand{\wt}{\widetilde}
31:
32: \begin{document}
33:
34: \title[Additive structures in sumsets]
35: {Additive structures in sumsets}
36:
37: \author{TOM SANDERS}
38: \address{Department of Pure Mathematics and Mathematical Statistics\\
39: University of Cambridge\\
40: Wilberforce Road\\
41: Cambridge CB3 0WA\\
42: England } \email{t.sanders@dpmms.cam.ac.uk}
43:
44: \begin{abstract}
45: Suppose that $A$ and $A'$ are subsets of $\mathbb{Z}/N\mathbb{Z}$.
46: We write $A+A'$ for the set $\{a+a':a \in A \textrm{ and } a' \in
47: A'\}$ and call it the \emph{sumset} of $A$ and $A'$. In this paper
48: we address the following question. Suppose that $A_1,...,A_m$ are
49: subsets of $\mathbb{Z}/N\mathbb{Z}$. Does $A_1+...+A_m$ contain a
50: long arithmetic progression?
51:
52: The situation for $m=2$ is rather different from that for $m \geq
53: 3$. In the former case we provide a new proof of a result due to
54: Green. He proved that $A_1+A_2$ contains an arithmetic progression
55: of length roughly $\exp (c\sqrt{\alpha_1\alpha_2 \log N})$ where
56: $\alpha_1$ and $\alpha_2$ are the respective densities of $A_1$
57: and $A_2$. In the latter case we improve the existing estimates.
58: For example we show that if $A \subset \mathbb{Z}/N\mathbb{Z}$ has
59: density $\alpha \gg \sqrt{\log \log N/\log N}$ then $A+A+A$
60: contains an arithmetic progression of length $N^{c\alpha}$. This
61: compares with the previous best of $N^{c\alpha^{2+\varepsilon}}$.
62:
63: Two main ingredients have gone into the paper. The first is the
64: observation that one can apply the iterative method to these
65: problems using some machinery of Bourgain. The second is that we
66: can localize a result due to Chang regarding the large spectrum of
67: $L^2$-functions. This localization seems to be of interest in its
68: own right and has already found one application elsewhere.
69: \end{abstract}
70:
71: \maketitle
72:
73: \section{Introduction}
74:
75: As indicated in the abstract we are interested in the following
76: question.
77: \begin{question}
78: Suppose that $A_1,...,A_m \subset \mathbb{Z}/N\mathbb{Z}$. Does
79: $A_1+...+A_m$ contain a long arithmetic progression?
80: \end{question}
81: The case $m=2$ is much harder than $m \geq 3$; the best known
82: bounds lie with Green, \cite{BJGAA}, who proved the following
83: result.
84: \begin{theorem}\label{green1}
85: Suppose that $A_1,A_2 \subset \mathbb{Z}/N\mathbb{Z}$. Suppose
86: that $\alpha$, the geometric mean of the densities of the $A_i$s,
87: is positive. Then $A_1+A_2$ contains an arithmetic progression of
88: length at least $\exp (c((\alpha^2\log N)^{\frac{1}{2}} - \log
89: \log N))$ for some absolute constant $c>0$.
90: \end{theorem}
91: The next result is proved for $m=3$ and $A_1=A_2=A_3$ in
92: \cite{BJGAA}, although the more general conclusion can easily be
93: read out of that paper. The special case $m=4$, $A_1=A_2=A$,
94: $A_3=A_4=-A$ can be read out of earlier work of Chang \cite{MCC}.
95: \begin{theorem}\label{green2}
96: Suppose that $m \geq 3$ and $A_1,...,A_m \subset
97: \mathbb{Z}/N\mathbb{Z}$. Suppose that $\alpha$, the geometric mean
98: of the densities of the $A_i$s, is positive. Then $A_1+...+A_m$
99: contains an arithmetic progression of length at least $c\alpha^C
100: N^{cm^{-1}\alpha^{\frac{2}{m-2}}(\log \alpha^{-1})^{-1}}$ for some
101: absolute constants $C,c>0$.
102: \end{theorem}
103: In this paper we prove the following two results.
104: \begin{theorem}\label{green1new}
105: Suppose that $A_1,A_2 \subset \mathbb{Z}/N\mathbb{Z}$. Suppose
106: that $\alpha$, the geometric mean of the densities of the $A_i$s,
107: is positive. Then $A_1+A_2$ contains an arithmetic progression of
108: length at least $\exp c(((\alpha^2\log N)^{\frac{1}{2}} - \log
109: \alpha^{-1}\log \log N)$ for some absolute constant $c>0$.
110: \end{theorem}
111: \begin{theorem}\label{greennew}
112: Suppose that $m \geq 3$ and $A_1,...,A_m \subset
113: \mathbb{Z}/N\mathbb{Z}$. Write $\alpha$ for the geometric mean of
114: the densities of the $A_i$s. Then $A_1+...+A_m$ contains an
115: arithmetic progression of length
116: $c\alpha^{Cm^3\alpha^{-\frac{1}{m-2}}}
117: N^{cm^{-2}\alpha^{\frac{1}{m-2}}}$ for some absolute constants
118: $C,c>0$.
119: \end{theorem}
120: Theorem \ref{greennew} is stronger than Theorem \ref{green2}, while
121: Theorem \ref{green1new} is marginally weaker than Theorem
122: \ref{green1}. Despite this, we believe that merit can still be found
123: in our approach to Theorem \ref{green1new} for two reasons:
124: \begin{itemize}
125: \item The real strength of Theorems \ref{green1} and
126: \ref{green1new} is when $A_1$ and $A_2$ are thick sets, and in that
127: case the slightly weaker error term in Theorem \ref{green1new} plays
128: no part. The case when $A_1$ and $A_2$ are thin is addressed by
129: Croot, Ruzsa and Schoen in \cite{ESCIZRTS}. \item Green's proof of Theorem \ref{green1} is a
130: tour de force combining a number of powerful analytic tools in a
131: highly non-trivial way. By contrast our method is conceptually
132: simpler although probably technically more challenging.
133: \end{itemize}
134: In any case the merit of our approach can, perhaps, be most easily
135: seen in the finite field setting where the two methods give the
136: same result and the technicalities in our approach disappear to
137: leave a fairly simple argument.
138:
139: To put our refinement of Theorem \ref{green2} in context take, for
140: example, $m=3$ and $A_1=A_2=A_3=A$. Theorem \ref{greennew} is then
141: equivalent to the fact that there are absolute constants $C,c>0$
142: such that if
143: \begin{equation*}
144: \alpha \geq C\sqrt{\frac{\log \log N}{\log N}} \textrm{ then }
145: A+A+A \textrm{ contains a progression of length } N^{c\alpha}.
146: \end{equation*}
147: The previous best is essentially equivalent to the existence of
148: absolute constants $C,c>0$ such that if
149: \begin{equation*}
150: \alpha \geq C\sqrt{\frac{(\log \log N)^2}{\log N}} \textrm{ then }
151: A+A+A \textrm{ contains a progression of length }
152: N^{c\alpha^{2+\varepsilon}}.
153: \end{equation*}
154: Here, of course, $\alpha^{2+\varepsilon}$ is shorthand for
155: $\alpha^2$ up to some logarithmic factors.
156:
157: It is also the case, as we shall see in the next section, that the
158: proof behind Theorem \ref{greennew} gives stronger structural
159: information than Theorem \ref{green2}.
160:
161: \section{The Fourier transform, Bohr neighborhoods and additive structure}
162:
163: In this section we develop the results behind Theorems
164: \ref{green1new} and \ref{greennew}, and identify some of the
165: mathematics necessary to prove them. Our main tool is the Fourier
166: transform; we take a moment to set our notation in this regard.
167:
168: Suppose that $G$ is a compact Abelian group. We write $\wh{G}$ for
169: the dual group, that is the discrete Abelian group of continuous
170: homomorphisms $\gamma:G \rightarrow S^1$, where $S^1:=\{z \in
171: \mathbb{C}:|z|=1\}$. Although the natural group operation on
172: $\wh{G}$ corresponds to pointwise multiplication of characters we
173: shall denote it by `$+$' in alignment with contemporary work. $G$
174: may be endowed with Haar measure $\mu_G$ normalized so that
175: $\mu_G(G)=1$ and as a consequence we may define the Fourier
176: transform $\widehat{.}:L^1(G) \rightarrow \ell^\infty(\widehat{G})$
177: which takes $f \in L^1(G)$ to
178: \begin{equation*}
179: \widehat{f}: \widehat{G} \rightarrow \mathbb{C}; \gamma \mapsto
180: \int_{x \in G}{f(x)\overline{\gamma(x)}d\mu_G(x)}.
181: \end{equation*}
182:
183: We can define a natural valuation on $S^1$, namely, given $z \in
184: S^1$ we let $\|z\|:=|\theta|$ where $\theta$ is the unique element
185: of the interval $(-1/2,1/2]$ such that $x=\exp(2\pi i\theta)$. This
186: valuation can be used to measure how far $\gamma(x)$ is from 1.
187: Suppose that $\Gamma \subset \wh{G}$ and $\delta \in (0,1]$. We
188: define
189: \begin{equation*}
190: B(\Gamma,\delta):=\{x \in G: \|\gamma(x)\| \leq \delta \textrm{ for
191: all }\gamma \in \Gamma\},
192: \end{equation*}
193: and call such a set a \emph{Bohr set} and a translate of such a set
194: a \emph{Bohr neighborhood}. The following is an easy pigeonhole
195: argument and gives an estimate for the volume of these sets. See
196: Lemma 4.20 in \cite{TCTVHV} for the details.
197: \begin{lemma}\label{bohrsize}
198: Suppose $G$ is a compact Abelian group, $\Gamma$ a set of $d$
199: characters on $G$ and $\delta \in (0,1]$. Then
200: $\mu_G(B(\Gamma,\delta)) \geq \delta^d$.
201: \end{lemma}
202: Consequently we can write $\beta_{\Gamma,\delta}$, or simply $\beta$
203: or $\beta_\delta$ if the parameters are implicit, for the measure
204: induced on $B(\Gamma,\delta)$ by $\mu_G$ and normalized so that
205: $\|\beta_{\Gamma,\delta}\|_1=1$. This is sometimes referred to as
206: the \emph{normalized Bohr cutoff}. We write $\beta'$ for
207: $\beta_{\Gamma',\delta'}$, or $\beta_{\Gamma,\delta'}$ if no
208: $\Gamma'$ has been defined. We have a similar convention for
209: $\beta''$.
210:
211: In \S\ref{lfanal} we shall see that Bohr sets in fact behave as sort
212: of approximate groups and in particular they are highly additively
213: structured. When $G$ is a cyclic group this translates to Bohr sets
214: containing long arithmetic progressions; specifically the following
215: is another easy application of the pigeonhole principle. Again, see
216: \cite{TCTVHV} for details.
217: \begin{lemma}\label{triviallemma}
218: Suppose that $G=\mathbb{Z}/N\mathbb{Z}$. Suppose that
219: $B(\Gamma,\delta)$ is a Bohr set with $|\Gamma|=d$. Then
220: $B(\Gamma,\delta)$ contains an arithmetic progression of length
221: $\delta N^{\frac{1}{d}}$.
222: \end{lemma}
223:
224: Theorem \ref{green2} follows immediately from Lemma
225: \ref{triviallemma} and the following result about Bohr
226: neighborhoods.
227: \begin{theorem}\label{green2'}
228: Suppose that $G$ is a compact Abelian group. Suppose that $m \geq
229: 3$ and $A_1,...,A_m \subset G$. Suppose that $\alpha$, the
230: geometric mean of the densities of the $A_i$s, is positive. Then
231: $A_1+...+A_m$ contains a translate of a Bohr set
232: $B(\Gamma,\delta)$ with
233: \begin{equation*}
234: |\Gamma| \ll m\alpha^{-\frac{2}{m-2}}\log \alpha^{-1} \textrm{ and
235: } \log \delta^{-1} \ll \log \alpha^{-1}.
236: \end{equation*}
237: \end{theorem}
238: In this paper we prove the following refinement.
239: \begin{theorem}\label{aaageneral}
240: Suppose that $G$ is a compact Abelian group. Suppose that $m \geq
241: 3$ and $A_1,...,A_m \subset G$. Suppose that $\alpha$, the
242: geometric mean of the densities of the $A_i$s, is positive. Then
243: $A_1+...+A_m$ contains an Bohr neighborhood $B(\Gamma,\delta)$
244: with
245: \begin{equation*}
246: |\Gamma| \ll m^2\alpha^{-\frac{1}{m-2}} \textrm{ and } \log
247: \delta^{-1} \ll m^3\alpha^{-\frac{1}{m-2}}\log \alpha^{-1}.
248: \end{equation*}
249: \end{theorem}
250: The dimension of our Bohr set is much smaller than that found by
251: Green and it is this which ensures that the arithmetic progression
252: we find (when there is one at all) is much longer.
253:
254: Although we do not require it, there is an important strengthening
255: of Lemma \ref{triviallemma} due to Ruzsa, \cite {IZRF}. If
256: $M=P_1+...+P_d$ where $P_1,...,P_d$ are arithmetic progressions
257: then we call $M$ a \emph{$d$-dimensional generalized arithmetic
258: progression}.
259: \begin{lemma}
260: Suppose that $G=\mathbb{Z}/N\mathbb{Z}$. Suppose that
261: $B(\Gamma,\delta)$ is a Bohr set with $|\Gamma|=d$. Then
262: $B(\Gamma,\delta)$ contains a $d$-dimensional generalized
263: arithmetic progression of size at least $(\delta/d)^d N$.
264: \end{lemma}
265: Typically this generalized progression occupies a large (roughly
266: $(Cd)^{-d}$) proportion of the Bohr set, and it can be instructive
267: to think of Bohr neighborhoods as generalized progressions. In our
268: results, then, we could use this lemma to draw the stronger
269: conclusion that $m$-fold sumsets (for $m \geq 3$) contain large
270: multidimensional progressions, but we believe that the results are
271: most easily digested in the form stated.
272:
273: The paper now splits into five further sections. In the next three
274: we develop the necessary tools for analyzing functions on Bohr sets.
275: The first of these presents the basics, the second establishes our
276: new version of Chang's theorem relative to Bohr sets, and the third
277: recalls some standard density increment lemmas. The last two
278: sections of the paper prove the results we have promised.
279:
280: \section{Local Fourier analysis on compact Abelian
281: groups}\label{lfanal}
282:
283: Given $f \in L^1(G)$ we often want to approximate $f$ by a less
284: complicated function. One way to do this is to approximate $f$ by
285: its expectation on approximate level sets of characters i.e. sets on
286: which characters do not vary too much. To analyze the error in doing
287: this we restrict the function to these approximate level sets and
288: use the Fourier transform on the restricted function. Specifically,
289: if $\Gamma$ is a set of characters and $x' + \Gamma^\perp$ (a
290: maximal joint level set of the characters in $\Gamma$) has positive
291: measure in $G$ then it is easy to localize the Fourier transform to
292: $x'+\Gamma^{\perp}$:
293: \begin{equation*}
294: L^1(x'+\mu_{\Gamma^\perp}) \rightarrow \ell^\infty(\wh{G}); f
295: \mapsto \wh{fd(x'+\mu_{\Gamma^\perp})}.
296: \end{equation*}
297: Note that the right hand side is constant on cosets of
298: $\Gamma^{\perp\perp}$ and so is really an element of
299: $\ell^\infty(\wh{G}/\Gamma^{\perp\perp})$.
300:
301: Bourgain, in \cite{JB}, observed that one can localize the Fourier
302: transform to typical approximate level sets and retain approximate
303: versions of a number of the standard results for the Fourier
304: transform on compact Abelian groups. Since his original work
305: various expositions and extensions of the work have appeared most
306: notably in the various papers of Green and Tao. Indeed all the
307: results of this section can be found in \cite{BJGTCTU3}, for example.
308:
309: Annihilators are subgroups of $G$; a Bohr set is a sort of
310: approximate annihilator and, consequently, we would like it to
311: behave like a sort of approximate subgroup. Suppose that $\eta \in
312: (0,1]$. Then $B({\Gamma},\delta)+B({\Gamma},\eta\delta) \subset
313: B({\Gamma},(1+\eta)\delta)$. If $B({\Gamma},(1+\eta)\delta)$ is not
314: much bigger than $B({\Gamma},\delta)$ then we have a sort of
315: approximate additive closure in the sense that
316: $B({\Gamma},\delta)+B({\Gamma},\eta\delta) \approx
317: B({\Gamma},(1+\eta)\delta)$. Not all Bohr sets have this property.
318: However, Bourgain showed that typically they do. For our purposes we
319: have the following proposition.
320: \begin{proposition}\label{ubreg}
321: Suppose that $G$ is a compact Abelian group, $\Gamma$ a set of $d$
322: characters on $G$ and $\delta \in (0,1]$. There is an absolute
323: constant $c_{\mathcal{R}}>0$ and a $\delta' \in [\delta/2,\delta)$
324: such that
325: \begin{equation}\label{reg}
326: \frac{\mu_G(B(\Gamma,(1+\kappa)\delta'))}{\mu_G(B(\Gamma,\delta'))}
327: = 1 + O(|\kappa|d)
328: \end{equation}
329: whenever $|\kappa|d \leq c_{\mathcal{R}}$.
330: \end{proposition}
331: This result is not as easy as the rest of the section, it uses a
332: covering argument; a nice proof can be found in \cite{BJGTCTU3}. We
333: say that $\delta'$ is \emph{regular for $\Gamma$} or that
334: $B(\Gamma,\delta')$ is \emph{regular} if
335: \begin{equation*}
336: \frac{\mu_G(B(\Gamma,(1+\kappa)\delta'))}{\mu_G(B(\Gamma,\delta'))}
337: = 1 + O(|\kappa|d) \textrm{ whenever } |\kappa|d \leq
338: c_{\mathcal{R}}.
339: \end{equation*}
340: It is regular Bohr sets to which we localize the Fourier transform.
341: We require a little more notation regarding measures. As usual if
342: $X$ is a topological space we write $M(X)$ for the regular
343: complex-valued Borel measures on $X$. If $\mu \in M(G)$ then $\supp
344: \mu$ denotes the support of $\mu$, and if $x \in G$ as well then
345: $x+\mu$ denotes the measure $\mu$ translated by $x$.
346:
347: We begin by observing that normalized regular Bohr cutoffs are
348: approximately translation invariant and so function as normalized
349: approximate Haar measures.
350: \begin{lemma}
351: \label{contlem}\emph{(Normalized approximate Haar measure)} Suppose
352: that $G$ is a compact Abelian group and $B(\Gamma,\delta)$ is a
353: regular Bohr set. If $y \in B(\Gamma,\delta')$ then
354: $\|(y+\beta_\delta) - \beta_\delta\| \ll d\delta'\delta^{-1}$.
355: \end{lemma}
356: The proof follows immediately from the definition of regularity.
357: In applications the following two simple corollaries will be
358: useful but they should be ignored until they are used.
359: \begin{corollary}
360: \label{contlemcor} Suppose that $G$ is a compact Abelian group and
361: $B(\Gamma,\delta)$ is a regular Bohr set. If $\mu \in
362: M(B(\Gamma,\delta'))$ then $\|\beta\ast \mu - \beta\int{d\mu}\|
363: \ll \|\mu\|d\delta'\delta^{-1}$.
364: \end{corollary}
365: \begin{corollary}
366: \label{contlemcor2} Suppose that $G$ is a compact Abelian group
367: and $B(\Gamma,\delta)$ is a regular Bohr set. Suppose that $f \in
368: L^\infty(G)$. If $x-y \in B(\Gamma,\delta')$ then $|f \ast
369: \beta(x) - f \ast \beta(y)| \ll \|f\|_\infty d\delta'\delta^{-1}$.
370: \end{corollary}
371:
372: With an approximate Haar measure we are in a position to define
373: the local Fourier transform: Suppose that $\Gamma$ is a finite set
374: of characters, $\delta$ is regular for $\Gamma$ and $x' \in G$.
375: Then we define the Fourier transform local to
376: $x'+B(\Gamma,\delta)$ by
377: \begin{equation*}
378: L^1(x'+\beta_{\Gamma,\delta}) \rightarrow \ell^\infty(\wh{G}); f
379: \mapsto \wh{fd(x'+\beta_{\Gamma,\delta})},
380: \end{equation*}
381: where we take the convention that
382: \begin{equation*}
383: L^1(\mu):=\{f \in L^1(G):\supp f \subset \supp \mu \textrm{ and }
384: \int{|f|d\mu} < \infty \}.
385: \end{equation*}
386: The translation of the Bohr set by $x'$ simply twists the Fourier
387: transform and is unimportant for the most part so we tend to
388: restrict ourselves to the case when $x'=0$.
389:
390: $\wh{fd\mu_{\Gamma^\perp}}$ was constant on cosets of
391: $\Gamma^{\perp\perp}$. In the approximate setting have an
392: approximate analogue of this. First the analogue of
393: $\Gamma^{\perp\perp}$; there are a number of possibilities:
394: \begin{eqnarray*}
395: &\{\gamma:|1-\gamma(x)| \leq \epsilon \textrm{ for all
396: } x \in B(\Gamma,\delta)\} &\textrm{ for } \epsilon \in (0,1] \\
397: &\{\gamma:|1-\wh{\beta}(\gamma)| \leq \epsilon\}
398: &\textrm{ for } \epsilon \in (0,1]\\
399: &\{\gamma:|\wh{\beta}(\gamma)| \geq \epsilon \} &\textrm{ for }
400: \epsilon \in (0,1].
401: \end{eqnarray*}
402: In applications each of these classes of sets is useful and so we
403: should like all of them to be approximately equivalent. There is a
404: clear chain of inclusions between the classes:
405: \begin{equation*}
406: \{\gamma:|1-\gamma(x)| \leq \epsilon \textrm{ for all } x \in
407: B(\Gamma,\delta)\} \subset \{\gamma:|1-\wh{\beta}(\gamma)| \leq
408: \epsilon\} \subset \{\gamma:|\wh{\beta}(\gamma)| \geq 1-\epsilon
409: \}
410: \end{equation*}
411: for $\epsilon \in (0,1]$. For a small cost in the width of the
412: Bohr set we can ensure that the sets in the third class are
413: contained in those in the first.
414: \begin{lemma} \label{nestsupport}
415: Suppose that $G$ is a compact Abelian group and $B(\Gamma,\delta)$
416: is a regular Bohr set. Suppose that $\eta_1,\eta_2>0$. Then there
417: is a $\delta' \gg \eta_1\eta_2\delta/d$ such that
418: \begin{equation*}
419: \{\gamma: |\wh{\beta}(\gamma)| \geq \eta_1\} \subset \{\gamma:
420: |1-\gamma(x)| \leq \eta_2 \textrm{ for all } x \in
421: B(\Gamma,\delta')\}.
422: \end{equation*}
423: \end{lemma}
424: The lemma follows easily from Lemma \ref{contlem}.
425:
426: \section{The structure of sets of characters supporting large
427: values of the local Fourier transform}
428:
429: Green and Tao in \cite{BJGTCTU3} were the first to prove the
430: following proposition which captures a version of Bessel's
431: inequality local to Bohr sets in a form useful for applications.
432: \begin{proposition}\label{local Bessels bound} Suppose that $G$ is a compact
433: Abelian group and $B(\Gamma,\delta)$ is a regular Bohr set.
434: Suppose that $f \in L^2(\beta)$ and $\epsilon,\eta \in (0,1]$.
435: Then there is a set of characters $\Lambda$ and a $\delta' \in
436: (0,1]$ such that
437: \begin{equation*}
438: |\Lambda| \ll
439: \epsilon^{-2}\|f\|_{L^1(\beta)}^{-2}\|f\|_{L^2(\beta)}^2 \textrm{
440: and } \delta' \gg \eta\delta/d,
441: \end{equation*}
442: and
443: \begin{equation*}
444: \{\gamma \in \wh{G}:|\wh{fd\beta}(\gamma)| \geq \epsilon
445: \|f\|_{L^1(\beta)}\} \subset \{\gamma \in \wh{G}:|1-\gamma(x)|
446: \leq \eta \textrm{ for all } x \in B(\Gamma \cup
447: \Lambda,\delta')\}.
448: \end{equation*}
449: \end{proposition}
450: It is instructive to consider this result in the case when
451: $B(\Gamma,\delta)=G$. We are then given a set of characters
452: $\Lambda$ and a $\delta' \in (0,1]$ such that
453: \begin{equation*}
454: |\Lambda| \ll
455: \epsilon^{-2}\|f\|_{L^1(\mu_G)}^{-2}\|f\|_{L^2(\mu_G)}^2 \textrm{
456: and } \delta' \gg \eta,
457: \end{equation*}
458: and
459: \begin{equation*}
460: \{\gamma \in \wh{G}:|\wh{f}(\gamma)| \geq \epsilon
461: \|f\|_{L^1(\mu_G)}\} \subset \{\gamma \in \wh{G}:|1-\gamma(x)| \leq
462: \eta \textrm{ for all } x \in B(\Lambda,\delta')\}.
463: \end{equation*}
464: Now it is natural to ask what this has to do with Bessel's
465: inequality. Write $\Gamma:=\{\gamma \in \wh{G}:|\wh{f}(\gamma)| \geq
466: \epsilon \|f\|_{L^1(\mu_G)}\}$. Then
467: \begin{equation*}
468: |\Gamma|.\epsilon^2\|f\|_{L^1(\mu_G)}^2 \leq \sum_{\gamma \in
469: \Gamma}{|\wh{f}(\gamma)|^2} \leq \sum_{\gamma \in
470: \wh{G}}{|\wh{f}(\gamma)|^2} \leq \|f\|_{L^2(\mu_G)}^2
471: \end{equation*}
472: by Bessel's inequality. It follows that
473: \begin{equation*}
474: |\Gamma| \leq
475: \epsilon^{-2}\|f\|_{L^1(\mu_G)}^{-2}\|f\|_{L^2(\mu_G)}^2,
476: \end{equation*}
477: and, moreover, it is easy to check that there is a $\delta' \gg
478: \eta$ such that
479: \begin{equation*}
480: \Gamma \subset \{\gamma \in \wh{G}:|1-\gamma(x)| \leq \eta
481: \textrm{ for all } x \in B(\Gamma,\delta')\}.
482: \end{equation*}
483: Setting $\Lambda:=\Gamma$ yields the conclusion of Proposition
484: \ref{local Bessels bound} in this special case. Restricting
485: functions to Bohr sets complicates matters. However, there are some
486: easy rules of thumb to bear in mind. The bound on $|\Lambda|$ is
487: very important. The dependence of $\delta'$ on $\delta$ needs to be
488: linear because we intend to iterate the procedure, however, the
489: ratio $\delta^{-1}\delta'$ can be very much smaller without any
490: tangible cost.
491:
492: In the next proposition we trade a worse ratio $\delta^{-1}\delta'$,
493: which has little impact, for a large improvement in the bound on
494: $|\Lambda|$.
495: \begin{proposition}\label{local Changs bound} Suppose that $G$ is a compact
496: Abelian group and $B(\Gamma,\delta)$ is a regular Bohr set.
497: Suppose that $f \in L^2(\beta)$ and $\epsilon,\eta \in (0,1]$.
498: Then there is a set of characters $\Lambda$ and a $\delta' \in
499: (0,1]$ such that
500: \begin{equation*}
501: |\Lambda| \ll \epsilon^{-2}\log
502: \|f\|_{L^1(\beta)}^{-2}\|f\|_{L^2(\beta)}^2 \textrm{ and } \delta'
503: \gg \delta\eta\epsilon^2/d^2 \log
504: \|f\|_{L^1(\beta)}^{-2}\|f\|_{L^2(\beta)}^2,
505: \end{equation*}
506: and
507: \begin{equation*}
508: \{\gamma \in \wh{G}:|\wh{fd\beta}(\gamma)| \geq \epsilon
509: \|f\|_{L^1(\beta)}\} \subset \{\gamma \in \wh{G}:|1-\gamma(x)|
510: \leq \eta \textrm{ for all } x \in B(\Gamma \cup
511: \Lambda,\delta')\}.
512: \end{equation*}
513: \end{proposition}
514: This result can be seen as a local version of Chang's theorem
515: (from \cite{MCC}); indeed, the proof is essentially a combination
516: of the ideas used to prove that theorem and those used to prove
517: Proposition \ref{local Bessels bound}. The key tool in Chang's
518: theorem is that of dissociativity; in the local setting we use the
519: following version of it. If $\Lambda$ is a set of characters on
520: $G$ and $m:\Lambda \rightarrow \mathbb{Z}$ has finite support then
521: put
522: \begin{equation*}
523: m.\Lambda:=\sum_{\lambda \in \Lambda}{m_\lambda.\lambda} \textrm{
524: and } |m|:=\sum_{\lambda \in \Lambda}{|m_\lambda|},
525: \end{equation*}
526: where the second `$.$' in the first definition denotes the natural
527: action of $\mathbb{Z}$ on $\wh{G}$. If $S$ is a non-empty symmetric
528: neighborhood of $0_{\wh{G}}$ then we say that $\Lambda$ is
529: \emph{$S$-dissociated} if
530: \begin{equation*}
531: m.\Lambda \in S \Rightarrow m\equiv 0.
532: \end{equation*}
533: The usual definition of dissociativity corresponds to taking
534: $S=\{0_{\wh{G}}\}$.
535:
536: Proposition \ref{local Changs bound} follows straightforwardly from
537: the next two lemmas.
538: \begin{lemma}\label{spanning chang}
539: Suppose that $G$ is a compact Abelian group and $B(\Gamma,\delta)$
540: is a regular Bohr set. Suppose that $\eta',\eta \in (0,1]$ and
541: $\Delta$ is a set of characters on $G$. If $\Lambda$ is a maximal
542: $\{\gamma:|\wh{\beta}(\gamma)| \geq \eta' \}$-dissociated subset
543: of $\Delta$ then there is a $\delta' \gg
544: \min\{\eta/|\Lambda|,\eta' \eta \delta/d\}$ such that
545: \begin{equation*}
546: \Delta \subset \{\gamma:|1-\gamma(x)| \leq \eta \textrm{ for all }
547: x \in B(\Gamma \cup \Lambda,\delta')\}.
548: \end{equation*}
549: \end{lemma}
550: \begin{lemma}\label{content chang}
551: Suppose that $G$ is a compact Abelian group and $B(\Gamma,\delta)$
552: is a regular Bohr set. Suppose that $0 \not \equiv f \in
553: L^2(\beta)$, $k \in \mathbb{N}$ and $\epsilon,\eta \in (0,1]$. Then
554: there is a $\delta' \gg \delta/dk$ regular for $\Gamma$ such that if
555: $\Lambda$ is a $\{\gamma:|\wh{\beta'}(\gamma)| \geq
556: 1/3\}$-dissociated subset of $\{\gamma \in
557: \wh{G}:|\wh{fd\beta}(\gamma)| \geq \epsilon \|f\|_{L^1(\beta)}\}$
558: with size at most $k$, then
559: \begin{equation*}
560: |\Lambda| \ll \epsilon^{-2} \log
561: \|f\|_{L^1(\beta)}^{-2}\|f\|_{L^2(\beta)}^2.
562: \end{equation*}
563: \end{lemma}
564:
565: \subsection{Proof of Lemma \ref{spanning chang}}
566:
567: The lemma is really rather simple to prove although technical. It
568: rests on localizing the following simple observation of Chang
569: \cite{MCC}.
570: \begin{lemma}
571: Suppose that $G$ is a compact Abelian group. Suppose that $\Delta$
572: is a set of characters on $G$ and $\Lambda$ is a maximal
573: dissociated subset of $\Delta$. Then $\Delta \subset \langle
574: \Lambda \rangle$.
575: \end{lemma}
576: Here $\langle \Lambda \rangle$ denotes all the finite $\pm$-sums
577: of elements of $\Lambda$ i.e.
578: \begin{equation*}
579: \langle \Lambda \rangle:=\{m.\Lambda: m :\Lambda \rightarrow
580: \{-1,0,1\} \textrm{ and } |\supp m| < \infty\}.
581: \end{equation*}
582: For our purposes we have the following.
583: \begin{lemma}
584: Suppose that $G$ is a compact Abelian group. Suppose that $S$ is a
585: non-empty symmetric neighborhood of $0_{\wh{G}}$. Suppose that
586: $\Delta$ is a set of characters on $G$ and $\Lambda$ is a maximal
587: $S$-dissociated subset of $\Delta$. Then $\Delta \subset \langle
588: \Lambda \rangle + S$.
589: \end{lemma}
590: \begin{proof}
591: If $\lambda_0 \in \Delta \setminus (\langle \Lambda \rangle +S)$
592: then we put $\Lambda':=\Lambda \cup \{ \lambda_0 \}$, which is a
593: strict superset of $\Lambda$, and a subset of $\Delta$. It turns
594: out that $\Lambda'$ is also $S$-dissociated which contradicts the
595: maximality of $\Lambda$. Suppose that $m:\Lambda' \rightarrow
596: \{-1,0,1\}$ and $m.\Lambda' \in S$. Then we have three
597: possibilities for the value of $m_{\lambda_0}$:
598: \begin{enumerate}
599: \item $m.\Lambda' = \lambda_0 + m|_\Lambda.\Lambda$, in which case
600: $\lambda_0 \in -m|_\Lambda.\Lambda + S \subset \langle \Lambda
601: \rangle + S$ - a contradiction; \item $m.\Lambda' = - \lambda_0 +
602: m|_\Lambda.\Lambda$, in which case $\lambda_0 \in
603: m|_\Lambda.\Lambda - S \subset \langle \Lambda \rangle + S$ - a
604: contradiction; \item $m.\Lambda' = m|_\Lambda.\Lambda$, in which
605: case $m|_\Lambda\equiv 0$ since $\Lambda$ is $S$-dissociated and
606: hence $m \equiv 0$.
607: \end{enumerate}
608: It follows that $m.\Lambda' \in S\Rightarrow m\equiv 0$ i.e.
609: $\Lambda'$ is $S$-dissociated as claimed.
610: \end{proof}
611: Lemma \ref{spanning chang} then follows from the above and the
612: following lemma.
613: \begin{lemma}
614: Suppose that $G$ is a compact Abelian group and $B(\Gamma,\delta)$
615: is a regular Bohr set. Suppose that $\eta',\eta \in (0,1]$ and
616: $\Lambda$ is a set of characters on $G$. Then there is a $\delta'
617: \gg \min\{\eta/|\Lambda|,\eta'\eta\delta/d\}$ such that
618: \begin{equation*}
619: \langle \Lambda \rangle + \{\gamma:|\wh{\beta}(\gamma)| \geq \eta'
620: \} \subset \{\gamma:|1-\gamma(x)| \leq \eta \textrm{ for all } x
621: \in B(\Gamma \cup \Lambda,\delta')\}.
622: \end{equation*}
623: \end{lemma}
624: \begin{proof}
625: The lemma has two parts.
626: \begin{enumerate}
627: \item If $\lambda \in \langle \Lambda \rangle$ then
628: \begin{equation*}
629: |1-\lambda(x)| \leq \sum_{\lambda' \in \Lambda}{|1-\lambda'(x)|},
630: \end{equation*}
631: so there is a $\delta'' \gg \eta/|\Lambda|$ such that
632: \begin{equation*}
633: \langle \Lambda \rangle \subset \{\gamma: |1-\gamma(x)| \leq
634: \eta/2 \textrm{ for all } x \in B(\Lambda,\delta'')\}.
635: \end{equation*}
636: \item By Lemma \ref{nestsupport} there is a $\delta''' \gg
637: \eta\eta'\delta/d$ such that
638: \begin{equation*}
639: \{\gamma:|\wh{\beta}(\gamma)| \geq \eta' \} \subset
640: \{\gamma:|1-\gamma(x)| \leq \eta/2 \textrm{ for all } x \in
641: B(\Gamma,\delta''')\}.
642: \end{equation*}
643: \end{enumerate}
644: Taking $\delta' = \min\{\delta'',\delta'''\}$ we have the result
645: by the triangle inequality.
646: \end{proof}
647:
648: \subsection{Proof of Lemma \ref{content chang}}
649:
650: The proof has three main ingredients.
651:
652: \begin{itemize}
653: \item \emph{(Rudin's inequality)} In \cite{MCC} Chang uses the
654: following dual statement of Rudin's inequality to prove her
655: theorem.
656: \begin{proposition}\label{dualrudin}
657: Suppose that $G$ is a compact Abelian group. If $\Lambda$ is
658: dissociated then
659: \begin{equation*}
660: \|\wh{f}|_\Lambda\|_2 \ll \sqrt{p}\|f\|_{p'}\textrm{ for all } f
661: \in L^{p'}(G)
662: \end{equation*}
663: and all conjugate exponents $p$ and $p'$ with $p' \in (1,2]$.
664: \end{proposition}
665: For a proof of this see, for example, Chapter 5 of Rudin
666: \cite{WR}. \item \emph{(Almost-orthogonality lemma)} To prove
667: Proposition \ref{local Bessels bound}, Green and Tao localized
668: Bessel's inequality to Bohr sets by using the following
669: almost-orthogonality lemma.
670: \begin{lemma}
671: \emph{(Cotlar's almost orthogonality lemma)} Suppose that $v$ and
672: $(w_j)$ are elements of a complex inner product space. Then
673: \begin{equation*}
674: \sum_j{|\langle v,w_j \rangle|^2} \leq \langle v,v\rangle
675: \max_j{\sum_i{|\langle w_i,w_j\rangle|}}.
676: \end{equation*}
677: \end{lemma} \item \emph{(Smoothed measures)} Suppose that $B(\Gamma,\delta)$ is a
678: regular Bohr set. We produce a range of smoothed alternatives to
679: the measure $\beta$; specifically suppose that $L \in \mathbb{N}$
680: and $\kappa \in (0,1]$. Then we may define
681: \begin{equation*}
682: \tilde{\beta}^{L,\kappa}_{\Gamma,\delta}:=\beta_{\Gamma,(1+\kappa)\delta}
683: \ast \beta_{\Gamma,\kappa\delta/L}^L,
684: \end{equation*}
685: where $\beta_{\Gamma,\kappa\delta/L}^L$ denotes the convolution of
686: $\beta_{\Gamma,\kappa\delta/L}$ with itself $L$ times. This
687: measure has the property that it is supported on
688: $B(\Gamma,(1+2\kappa)\delta)$ and uniform on $B(\Gamma,\delta)$,
689: indeed
690: \begin{equation}\label{equiv}
691: \tilde{\beta}_{\Gamma,\delta}^{L,\kappa}|_{B(\Gamma,\delta)} =
692: \frac{\mu_G|_{B(\Gamma,\delta)}}{\mu_G(B(\Gamma,(1+\kappa)\delta))}
693: =
694: \frac{\mu_G(B(\Gamma,\delta))}{\mu_G(B(\Gamma,(1+\kappa)\delta))}.\beta_{\Gamma,\delta}.
695: \end{equation}
696: It follows that every $f \in L^1(\beta_{\Gamma,\delta})$ has
697: $\wh{fd\beta_{\Gamma,\delta}}$ well approximated by
698: $\wh{fd\tilde{\beta}_{\Gamma,\delta}^{L,\kappa}}$. Specifically
699: \begin{equation}\label{estimator}
700: \wh{fd\tilde{\beta}_{\Gamma,\delta}^{L,\kappa}}(\gamma)=
701: (1+O(\kappa d))\wh{fd\beta_{\Gamma,\delta}}(\gamma)
702: \end{equation}
703: by regularity of $B(\Gamma,\delta)$.
704: \end{itemize}
705: We use almost-orthogonality and the smoothed measures to show the
706: following localization of Rudin's inequality. The proof of the
707: lemma to which this section is devoted then follows the usual
708: proof of Chang's theorem.
709: \begin{lemma}\label{local dual rudin} Suppose
710: that $G$ is a compact Abelian group and $B(\Gamma,\delta)$ is a
711: regular Bohr set. Suppose that $\Lambda$ is a set of characters.
712: Then there is a $\delta' \gg \delta/d|\Lambda|$ regular for
713: $\Gamma$ such that if $\Lambda$ is $\{\gamma:|\wh{\beta'}(\gamma)|
714: \geq 1/3\}$-dissociated then
715: \begin{equation*}
716: \|\wh{fd\beta}|_\Lambda\|_2 \ll \sqrt{p}\|f\|_{L^{p'}(\beta)}
717: \textrm{ for all } f \in L^{p'}(\beta)
718: \end{equation*}
719: and all conjugate exponents $p$ and $p'$ with $p' \in (1,2]$.
720: \end{lemma}
721: \begin{proof}
722: Begin by fixing the level of smoothing (i.e. the parameters $\kappa$
723: and $L$ of $\tilde{\beta}_{\Gamma,\delta}^{L,\kappa}$) that we
724: require and write $\tilde{\beta}$ for
725: $\tilde{\beta}_{\Gamma,\delta}^{L,\kappa}$. Set $L:=2k$ and recall
726: (\ref{estimator}):
727: \begin{equation*}
728: \wh{gd\tilde{\beta}}(\gamma)= (1+O(\kappa d))\wh{gd\beta}(\gamma)
729: \textrm{ for all } g \in L^1(\beta);
730: \end{equation*}
731: so we can pick $\kappa' \gg d^{-1}$ such that for all $\kappa \leq
732: \kappa'$
733: \begin{equation*} \frac{1}{2}|\wh{gd\beta}(\gamma)| \leq
734: |\wh{gd\tilde{\beta}}(\gamma)| \leq
735: \frac{3}{2}|\wh{gd\beta}(\gamma)| \textrm{ for all } g \in
736: L^1(\beta).
737: \end{equation*}
738: By Proposition \ref{ubreg}, we can take $\kappa$ with $\kappa'
739: \geq \kappa \gg d^{-1}$ such that $\delta':=\kappa\delta/L$ is
740: regular.
741:
742: Define the Riesz product
743: \begin{equation*}
744: q(x):=\prod_{\lambda \in \Lambda}{\left(1+\frac{\lambda(x) +
745: \overline{\lambda}(x)}{2}\right)}.
746: \end{equation*}
747: Every term in the product is non-negative and so $q$ is
748: non-negative and it is fairly easy to compute the Fourier
749: transform of $q$:
750: \begin{equation}\label{ftq}
751: \wh{q}(\gamma)=\sum_{m:m.\Lambda=\gamma}{2^{-|m|}}.
752: \end{equation}
753: Since $\Lambda$ is $\{\gamma: |\wh{\beta'}(\gamma)| \geq
754: 1/3\}$-dissociated, it is certainly vanilla dissociated and hence
755: $\wh{q}(0_{\wh{G}})=1$ and so, by non-negativity of $q$,
756: $\|q\|_1=1$.
757:
758: Use $q$ to define the map
759: \begin{equation*}
760: T: L^1(\beta) \rightarrow L^1(G);g \mapsto (gd\beta)\ast q,
761: \end{equation*}
762: and note that
763: \begin{equation*}
764: \|Tg\|_1 = \|(gd\beta) \ast q\|_1 \leq \|g\|_{L^1(\beta)}\|q\|_1 =
765: \|g\|_{L^1(\beta)}
766: \end{equation*}
767: by the triangle inequality. We now claim a corresponding result
768: for $\|Tg\|_2$, the proof of which we defer until we have finished
769: the proof of the lemma.
770: \begin{claim}
771: If $g \in L^2(\beta)$ then $\|Tg\|_2 \ll \|g\|_{L^2(\beta)}$.
772: \end{claim}
773: Assuming this claim, by the Riesz-Thorin interpolation theorem we
774: have
775: \begin{equation}\label{rtp}
776: \|Tg\|_{p'} \ll \|g\|_{L^{p'}(\beta)} \textrm{ for any }p' \in
777: [1,2].
778: \end{equation}
779: Hence, if $f \in L^{p'}(\beta)$,
780: \begin{eqnarray*}
781: \frac{1}{2}\|\wh{fd\beta}|_{\Lambda}\|_2 & \leq &
782: \|\wh{fd\beta}\wh{q}|_{\Lambda}\|_2 \textrm{ since }
783: \wh{q}(\lambda) \geq 1/2\textrm{ for all } \lambda \in \Lambda,\\
784: & = & \|\wh{Tf}|_\Lambda\|_2 \textrm{ by the definition of } T,\\
785: & \ll & \sqrt{p}\|Tf\|_{p'} \textrm{ by Rudin's inequality,}\\ &
786: \ll & \sqrt{p}\|f\|_{L^{p'}(\beta)} \textrm{ by (\ref{rtp})}.
787: \end{eqnarray*}
788: The lemma follows. It remains to prove the claim.
789: \begin{proof}[Proof of Claim.]
790: Begin by noting the following consequence of (\ref{equiv}).
791: \begin{equation}\label{str}
792: \|Tg\|_2^2=\left(\frac{\mu_G(B(\Gamma,\delta(1+\kappa)))}{\mu_G(B(\Gamma,\delta))}\right)^2\|(gd\tilde{\beta})
793: \ast q\|_2^2.
794: \end{equation}
795: By Plancherel's theorem
796: \begin{equation*}
797: \|(gd\tilde{\beta}) \ast q\|^2 = \sum_{\gamma \in
798: \wh{G}}{|\wh{(gd\tilde{\beta})}(\gamma)\wh{q}(\gamma)|^2} =
799: \sum_{\gamma \in \wh{G}}{|\langle
800: g,\wh{q}(\gamma)\gamma\rangle_{L^2(\tilde{\beta})}|^2}.
801: \end{equation*}
802: Cotlar's Almost Orthoginality Lemma applied to the second sum
803: gives
804: \begin{eqnarray*}
805: \|(gd\tilde{\beta}) \ast q\|^2 & \leq & \langle
806: g,g\rangle_{L^2(d\tilde{\beta})}\max_{\gamma}{\sum_{\gamma'}{|\langle
807: \wh{q}(\gamma)\gamma,\wh{q}(\gamma')\gamma'\rangle_{L^2(\tilde{\beta})}|}}\\
808: & \leq &
809: \|g\|_{L^2(d\tilde{\beta})}^2\max_{\gamma}{\sum_{\gamma'}{\wh{q}(\gamma')|\wh{\tilde{\beta}}(\gamma-\gamma')|}}.
810: \end{eqnarray*}
811: For any $\gamma \in \wh{G}$ we can estimate the last sum in a
812: manner independent of $\gamma$ by using a positivity argument:
813: \begin{eqnarray*}
814: \sum_{\gamma' \in
815: \wh{G}}{\wh{q}(\gamma')|\wh{\tilde{\beta}}(\gamma - \gamma')|} &
816: = & \sum_{\gamma' \in
817: \wh{G}}{\wh{q}(\gamma-\gamma')|\wh{\beta}(\gamma')
818: \wh{\beta'}(\gamma')^L|} \textrm{ by definition of
819: $\tilde{\beta}$,}\\ & \leq & \sum_{\gamma' \in \wh{G}
820: }{\wh{q}(\gamma-\gamma')|\wh{\beta'}(\gamma')|^L} \textrm{ since
821: $|\wh{\beta}(\gamma')| \leq \|\beta\| = 1$ and $\wh{q}\geq 0$, }\\
822: & = & \wh{qd\beta'^L}(\gamma) \textrm{ since $L$ is even and
823: $\wh{q} \geq 0$,}\\ & \leq & \|q\|_{L^1(\beta'^L)} \\ & =
824: &\wh{qd\beta'^L}(0_{\wh{G}}) \textrm{ by non-negativity of
825: $qd\beta'^L$,}
826: \\ & = & \sum_{\gamma' \in
827: \wh{G}}{\wh{q}(\gamma')|\wh{\beta'}(\gamma')|^L} \textrm{ by
828: symmetry of $\wh{q}$.}
829: \end{eqnarray*}
830: We estimate this in turn by splitting the range of summation into
831: two parts:
832: \begin{equation}\label{crty} \sum_{\gamma' \in
833: \wh{G}}{\wh{q}(\gamma')|\wh{\beta'}(\gamma')|^L} \leq
834: \sum_{\gamma':|\wh{\beta'}(\gamma')| \geq
835: 1/3}{\wh{q}(\gamma')|\wh{\beta'}(\gamma')|^L} +
836: \sum_{\gamma':|\wh{\beta'}(\lambda)| \leq
837: 1/3}{\wh{q}(\gamma')|\wh{\beta'}(\gamma')|^L}.
838: \end{equation}
839: \begin{enumerate}
840: \item For the first sum: $|\wh{q}(\gamma')| \leq \|q\|_1 = 1$ and
841: $|\wh{\beta'}(\gamma')^L| \leq \|\beta'^L\| = 1$ so that each
842: summand is at most 1, furthermore $\supp \wh{q} \subset \langle
843: \Lambda \rangle$ so
844: \begin{equation*}
845: \sum_{\gamma':|\wh{\beta'}(\gamma')| \geq
846: 1/3}{\wh{q}(\gamma')|\wh{\beta'}(\gamma')|^L} \leq \sum_{\gamma'
847: \in \langle \Lambda \rangle:|\wh{\beta'}(\gamma')| \geq 1/3}{1}.
848: \end{equation*}
849: This range of summation contains at most 1 element by
850: $\{\gamma:|\wh{\beta'}(\gamma)|\geq 1/3\}$-dissociativity of
851: $\Lambda$, and hence the sum is bounded above by 1. \item For the
852: second sum: $|\wh{q}(\gamma')| \leq \|q\|_1 =1$ and
853: $|\wh{\beta'}(\gamma')^L| \leq 3^{-L}$ for $\gamma'$ in the range
854: of summation so that each summand is at most $9^{-|\Lambda|}$,
855: however $\supp \wh{q} \subset \langle \Lambda \rangle$ and
856: $|\langle \Lambda \rangle| \leq 3^{|\Lambda|}$ so
857: \begin{equation*}
858: \sum_{\gamma':|\wh{\beta'}(\gamma')| \leq
859: 1/3}{\wh{q}(\gamma')|\wh{\beta'}(\gamma')|^L} \leq \sum_{\gamma'
860: \in \langle \Lambda \rangle}{9^{-|\Lambda|}} \leq 1.
861: \end{equation*}
862: \end{enumerate}
863: It follows that the right hand side of (\ref{crty}) is bounded
864: above by 2 and hence that
865: \begin{equation*}
866: \|(gd\tilde{\beta}) \ast q\|^2 \leq
867: 2\|g\|_{L^2(d\tilde{\beta})}^2.
868: \end{equation*}
869: This, (\ref{str}) and (\ref{equiv}) yield
870: \begin{equation*}
871: \|Tg\|_2^2 \leq
872: 2\frac{\mu_G(B(\Gamma,\delta(1+\kappa)))}{\mu_G(B(\Gamma,\delta))}\|g\|_{L^2(\beta)}^2,
873: \end{equation*}
874: from which the result follows by regularity.
875: \end{proof}
876: \end{proof}
877:
878: \begin{proof}[Proof of Lemma \ref{content chang}.] By the localized dual of Rudin's inequality (Lemma \ref{local dual
879: rudin}) for any $p' \in (1,2]$ we have
880: \begin{equation*}
881: |\Lambda|.\epsilon^2\|f\|_{L^1(\beta)}^2 \leq \sum_{\lambda \in
882: \Lambda}{|\wh{fd\beta}(\lambda)|^2} =
883: \|\wh{fd\beta}|_{\Lambda}\|_2^2 \ll p\|f\|_{L^{p'}(\beta)}^2,
884: \end{equation*}
885: where $p$ is the conjugate exponent of $p'$. The $\log$-convexity
886: of $\|.\|_{L^{p'}(\beta)}$ gives
887: \begin{equation*}
888: |\Lambda| \ll
889: \epsilon^{-2}p\left(\frac{\|f\|_{L^2(\beta)}}{\|f\|_{L^1(\beta)}}\right)^{\frac{4}{p}}.
890: \end{equation*}
891: Optimizing $p$ gives the result.
892: \end{proof}
893:
894: \section{Local Fourier analysis and the iteration method}
895:
896: The tools of local Fourier analysis were originally developed with
897: iteration in mind. Specifically if $A$ is a subset of a regular
898: Bohr set $B$ then we shall often have an argument which tells us
899: that there is a large $\ell^p$-mass of the local Fourier transform
900: $\wh{\chi_Ad\beta}$ and, as is the case in the non-local setting,
901: this leads to a density increment on a (sub-)Bohr neighborhood.
902: For our purposes we have the following two standard lemmas which
903: take a large $\ell^\infty$ and $\ell^2$ Fourier-space mass and
904: convert it into a density increment.
905:
906: \begin{lemma}\label{linfty density}
907: \emph{($\ell^\infty$ density increment argument)} Suppose that $G$
908: is a compact Abelian group and $B=B(\Gamma,\delta)$ is a regular
909: Bohr set. Suppose that $A \subset B$ has relative density $\alpha$
910: and write $f:=\chi_A - \alpha \chi_B$. Suppose that
911: \begin{equation*}
912: |\wh{fd\beta}(\gamma)| \geq \eta \alpha \textrm{ for some } \gamma
913: \in \wh{G}.
914: \end{equation*}
915: Then there is a regular Bohr set $B':=B(\Gamma',\delta')$ with
916: $\Gamma':=\Gamma\cup\{\gamma\}$ and $\delta \geq \delta' \gg
917: \eta\alpha\delta/d$ such that
918: \begin{equation*}
919: \|\chi_A \ast \beta'\|_{L^\infty(\beta)} \geq
920: \alpha\left(1+2^{-3}\eta\right).
921: \end{equation*}
922: \end{lemma}
923: \begin{proof} Let $\delta' \in (0,1]$ be a constant to be determined later. A trivial instance of Hausdorff's
924: inequality tells us that
925: \begin{equation}\label{y}
926: \|(fd\beta) \ast \beta'\| \geq
927: |\wh{fd\beta}(\gamma)||\wh{\beta'}(\gamma)| \geq
928: \eta\alpha|\wh{\beta'}(\gamma)|.
929: \end{equation}
930: Since $B' \subset B(\{\gamma\},\delta')$ we have
931: $|\wh{\beta'}(\gamma)| \geq 1-O(\delta')$. It follows that there
932: is a $\delta'_0 \gg 1$ such that if $\delta' \leq \delta'_0$ then
933: $|\wh{\beta'}(\gamma)| \geq 1/2$. Now
934: \begin{equation*}
935: \int{d((fd\beta) \ast \beta')}=0,
936: \end{equation*}
937: hence by (\ref{y})
938: \begin{equation*}
939: \int{d((fd\beta) \ast \beta')_+} \geq
940: \eta\alpha|\wh{\beta'}(\gamma)|/2 \geq \eta\alpha/4.
941: \end{equation*}
942: If follows from the regularity of $B$ and the fact that $B'
943: \subset B(\Gamma,\delta')$ that
944: \begin{equation*}
945: \| (fd\beta) \ast \beta' - (f\ast \beta') d\beta\| =
946: O(d\delta'\delta^{-1}),
947: \end{equation*}
948: and so
949: \begin{equation*}
950: \int{(f\ast \beta')_+d\beta} \geq \eta\alpha/4 +
951: O(d\delta'\delta^{-1}).
952: \end{equation*}
953: By regularity of $B(\Gamma,\delta)$ we have
954: \begin{equation*}
955: \int{(f\ast \beta')_+d\beta} \leq \|\chi_A \ast \beta'\|_\infty -
956: \alpha + O(d\delta'\delta^{-1}),
957: \end{equation*}
958: so
959: \begin{equation*}
960: \|\chi_A \ast \beta'\|_\infty \geq \alpha(1+1/4) +
961: O(d\delta'\delta^{-1}).
962: \end{equation*}
963: Hence by Proposition \ref{ubreg} we can pick $\delta' \gg
964: \eta\alpha\delta/d$ regular for $\Gamma'$ with $\delta' \leq
965: \delta'_0$ and $\delta' \leq \delta$, and such that the conclusion
966: of the lemma holds.
967: \end{proof}
968:
969: \begin{lemma}
970: \label{l2 density} \emph{($\ell^2$ density increment argument)}
971: Suppose that $G$ is a compact Abelian group and
972: $B=B(\Gamma,\delta)$ is a regular Bohr set. Suppose that $A
973: \subset B$ has relative density $\alpha$ and write $f:=\chi_A -
974: \alpha \chi_B$. Suppose that $B'=B(\Gamma',\delta')$ is a Bohr set
975: with $\Gamma \subset \Gamma'$ and
976: \begin{equation*}
977: \langle f \ast \beta',(fd\beta) \ast \beta' \rangle \geq
978: c\alpha^2.
979: \end{equation*}
980: Then
981: \begin{equation*}
982: \|\chi_A \ast \beta'\|_\infty \geq \alpha(1+c) +
983: O(d\delta'\delta^{-1}).
984: \end{equation*}
985: \end{lemma}
986: \begin{proof}
987: We expand the inner product:
988: \begin{eqnarray*}
989: \langle f \ast \beta',(fd\beta) \ast \beta' \rangle & = & \langle
990: \chi_A \ast \beta', (\chi_Ad\beta) \ast \beta' \rangle -
991: \alpha\langle \chi_B \ast \beta', (\chi_Ad\beta)\ast \beta'\rangle
992: \\ & & - \alpha \langle \chi_A \ast \beta', \beta \ast \beta'
993: \rangle + \alpha^2\langle \chi_B \ast \beta', \beta \ast \beta'
994: \rangle.
995: \end{eqnarray*}
996: Now we estimate each term. First
997: \begin{eqnarray*}
998: \langle \chi_A \ast \beta', (\chi_Ad\beta) \ast \beta' \rangle &
999: \leq & \|\chi_A \ast \beta'\|_\infty \|(\chi_Ad\beta) \ast
1000: \beta'\|\\ & \leq &\|\chi_A \ast
1001: \beta'\|_\infty\|\chi_A\|_{L^1(\beta)}\|\beta'\|= \|\chi_A \ast
1002: \beta'\|_\infty\alpha.
1003: \end{eqnarray*}
1004: By Lemma \ref{contlem} and the fact that $B(\Gamma',\delta')
1005: \subset B(\Gamma,\delta')$ we have
1006: \begin{equation*}
1007: \|\beta \ast \beta' \ast \beta' - \beta\| = O(d\delta'\delta^{-1})
1008: \end{equation*}
1009: whence
1010: \begin{equation*}
1011: \langle \chi_B \ast \beta', (\chi_Ad\beta)\ast \beta'\rangle =
1012: \langle \beta \ast \beta' \ast \beta', \chi_A \rangle = \alpha +
1013: O(d\delta'\delta^{-1}),
1014: \end{equation*}
1015: \begin{equation*}
1016: \langle \chi_A \ast \beta', \beta \ast \beta' \rangle = \langle
1017: \chi_A, \beta \ast \beta'\ast \beta' \rangle = \alpha +
1018: O(d\delta'\delta^{-1}),
1019: \end{equation*}
1020: and
1021: \begin{equation*}
1022: \langle \chi_B \ast \beta', \beta \ast \beta' \rangle = \langle
1023: \chi_B , \beta \ast \beta' \ast \beta' \rangle = 1 +
1024: O(d\delta'\delta^{-1}).
1025: \end{equation*}
1026: It follows that
1027: \begin{equation*}
1028: \alpha\|\chi_A \ast \beta'\|_\infty \geq \alpha^2(1+c) + O(\alpha
1029: d\delta'\delta^{-1}),
1030: \end{equation*}
1031: from which we get the result on division by $\alpha$.
1032: \end{proof}
1033:
1034: \section{Proof of Theorem \ref{green1new}}
1035:
1036: We begin with a brief overview of the argument in the model
1037: setting. This argument can be made to prove the following result,
1038: which was first established by Green in \cite{BJGRKP}.
1039: \begin{theorem}\label{modelaa}
1040: Suppose that $G$ is a finite dimensional compact vector space over
1041: $\mathbb{F}_2$ and $A \subset G$ has density $\alpha>0$. Then
1042: $A+A$ contains a subspace of dimension $2^{-4}\alpha^2\dim G$.
1043: \end{theorem}
1044: There are three main ingredients to the proof of this result.
1045: First we have the iteration lemma - the driving force. In words it
1046: says that either $A+A$ contains most of $G$ or we can find an
1047: affine subspace on which $A$ has increased density.
1048: \begin{lemma}
1049: \emph{(Model iteration lemma)} Suppose that $G$ is a compact vector
1050: space over $\mathbb{F}_2$. Suppose that $A \subset G$ has density
1051: $\alpha$. Suppose that $\sigma \in (0,1]$. Then at least one of the
1052: following is true.
1053: \begin{enumerate}
1054: \item (The sumset contains most of $G$) $A+A$ contains at least a
1055: proportion $1-\sigma$ of $G$. \item (Density increment) There is a
1056: subspace $V$ of $G$ such that
1057: \begin{equation*}
1058: \|\chi_{A} \ast \mu_V\|_\infty \geq \alpha(1+1/4) \textrm{ and }
1059: \cod V \leq 8\alpha^{-2}\log \sigma^{-1}.
1060: \end{equation*}
1061: \end{enumerate}
1062: \end{lemma}
1063: The proof of this is not difficult; we sketch the main ideas now.
1064: It was a crucial insight of Green in \cite{BJGAA} to get control
1065: of $A \subset G$ by looking at its complement. Specifically if $S
1066: \subset (A+A)^c$ then we have
1067: \begin{equation*}
1068: \langle \chi_A \ast \chi_A, \chi_S \rangle=0.
1069: \end{equation*}
1070: Green employed an ingenious argument to exploit this information;
1071: ours is less sophisticated. Plancherel's theorem and the triangle
1072: inequality in the usual fashion will give
1073: \begin{equation*}
1074: \sum_{\gamma \neq
1075: 0_{\wh{G}}}{|\wh{\chi_A}(\gamma)|^2|\wh{\chi_S}(\gamma)|} \geq
1076: \alpha^2 \sigma,
1077: \end{equation*}
1078: so if $\mathcal{L}$ is the set of non-trivial characters
1079: supporting large values of $|\wh{\chi_S}|$ then it follows easily
1080: enough that
1081: \begin{equation*}
1082: \sum_{\gamma \in \mathcal{L}}{|\wh{\chi_A}(\gamma)|^2} \gg
1083: \alpha^2.
1084: \end{equation*}
1085: Such a bound provides an $\ell^2$ density increment for $A$; we
1086: bound the codimension of the subspace on which we get the
1087: increment by using Chang's theorem.
1088:
1089: The second ingredient is a simple pigeonhole argument which says
1090: that if a set contains a large proportion of a vector space then it
1091: must contain a large affine subspace.
1092: \begin{lemma}
1093: \emph{(Pigeonhole lemma)} Suppose that $G$ is a finite dimensional
1094: compact vector space over $\mathbb{F}_2$ and that $A \subset G$ has
1095: density $\alpha>1-\sigma$. Then $A$ contains a coset of a subspace
1096: of dimension $\lfloor\log_2 \sigma^{-1}\rfloor$ provided $G$
1097: contains a subspace of dimension $\lfloor\log_2 \sigma^{-1}\rfloor$.
1098: \end{lemma}
1099:
1100: The iteration necessary to prove Theorem \ref{modelaa} is now very
1101: simple. At each stage of the argument we apply the iteration lemma
1102: and conclude that either $A+A$ contains a large portion of an affine
1103: space or the density of $A$ can be increased on an affine subspace.
1104: The density of $A$ cannot be increased forever, so eventually $A+A$
1105: contains a large portion of an affine space and so we may apply the
1106: pigeonhole lemma to conclude that $A+A$ contains a large affine
1107: space. Optimizing the parameter $\sigma$ gives the result.
1108:
1109: We now turn to the matter of transferring these ideas to the
1110: general setting.
1111: \begin{lemma}\label{itlem}\emph{(Iteration lemma)}
1112: Suppose that $G$ is a compact Abelian group and $B(\Gamma,\delta)$
1113: is a regular Bohr set. Suppose that $A_1,A_2 \subset
1114: B(\Gamma,\delta)$. Write $\alpha$ for the geometric mean of the
1115: densities of $A_1$ and $A_2$ in $B(\Gamma,\delta)$. Suppose that
1116: $\sigma \in (0,1]$. Then at least one of the following is true.
1117: \begin{enumerate}
1118: \item (The sumset contains most of a Bohr set) There is a regular
1119: Bohr set $B(\Gamma,\delta')$ such that $A_1+A_2$ contains at least
1120: a proportion $1-\sigma$ of $B(\Gamma,\delta')$ and $\delta' \gg
1121: \alpha^4\delta/d$. \item (Density increment) There is a regular
1122: Bohr set $B(\Gamma\cup\Lambda,\delta'')$ such that
1123: \begin{equation*}
1124: \|\chi_{A_1} \ast
1125: \beta_{\Gamma\cup\Lambda,\delta''}\|_\infty\|\chi_{A_2}\ast
1126: \beta_{\Gamma\cup\Lambda,\delta''}\|_\infty \geq
1127: \alpha^2(1+2^{-4}),
1128: \end{equation*}
1129: and
1130: \begin{equation*}
1131: |\Lambda| \ll \alpha^{-2}\log \sigma^{-1} \textrm{ and }\delta''
1132: \gg \delta\alpha^6/|\Gamma|^3\log \sigma^{-1}.
1133: \end{equation*}
1134: \end{enumerate}
1135: \end{lemma}
1136: As is typical of arguments of this type the proof is quite
1137: technical; to simplify the presentation we extract two lemmas from
1138: the main argument and place them at the end. Pedagogically, it would
1139: be most appropriate to present them now, but they are hard to
1140: motivate without following main proof; hence the order we have
1141: chosen.
1142: \begin{proof}
1143: We write $\alpha_1$ and $\alpha_2$ for the densities of $A_1$ and
1144: $A_2$ (respectively) in $B(\Gamma,\delta)$, and $d$ for the size of
1145: $\Gamma$. We may assume that $\alpha_1,\alpha_2>0$ since otherwise
1146: the result is trivial.
1147:
1148: Let $\delta'\in (0,1]$ be a constant, the value of which will fall
1149: out of the proof and write $B'$ for the Bohr set $B(\Gamma,\delta')$
1150: and $B$ for the Bohr set $B(\Gamma,\delta)$. Either we are in the
1151: first case of the lemma or we may pick $S \subset B' \setminus
1152: (A_1+A_2)$ with $\beta'(S)=\sigma$. We have
1153: \begin{equation}\label{zerohere}
1154: \langle \chi_{A_1} \ast (\chi_{A_2} d\beta),
1155: \chi_S\rangle_{L^2(\beta')}=0.
1156: \end{equation}
1157: Write $f_i$ for the \emph{balanced function} $\chi_{A_i} -
1158: \alpha_i\chi_B$ of $A_i$ in $B$. Then
1159: \begin{equation*}
1160: f_1 \ast (f_2d\beta) = \chi_{A_1} \ast (\chi_{A_2}d\beta) -
1161: \alpha_1\chi_{B} \ast (\chi_{A_2}d\beta) -\chi_{A_1} \ast
1162: \alpha_2\beta + \alpha_1\alpha_2\chi_B \ast \beta.
1163: \end{equation*}
1164: For $x \in B'$, the last three terms on the right may be estimated
1165: using Corollary \ref{contlemcor2}:
1166: \begin{equation*}
1167: \alpha_1\chi_B \ast (\chi_{A_2}d\beta)(x) = \alpha_1\chi_{A_2}\ast
1168: \beta(x) = \alpha_1(\alpha_2+O(d\delta'\delta^{-1}));
1169: \end{equation*}
1170: \begin{equation*}
1171: \chi_{A_1} \ast \alpha_2\beta (x)= \alpha_2(\alpha_1 +
1172: O(d\delta'\delta^{-1}));
1173: \end{equation*}
1174: \begin{equation*}
1175: \alpha_1\alpha_2 \chi_B \ast
1176: \beta(x)=\alpha_1\alpha_2(1+O(d\delta'\delta^{-1})).
1177: \end{equation*}
1178: Whence
1179: \begin{equation*}
1180: f_1 \ast (f_2d\beta) = \chi_{A_1} \ast (\chi_{A_2}d\beta)-
1181: \alpha^2+O(d\delta'\delta^{-1}).
1182: \end{equation*}
1183: It follows from this and (\ref{zerohere}) that
1184: \begin{equation*}
1185: \langle f_1 \ast (f_2d\beta), \chi_S \rangle_{L^2(\beta')}= -
1186: \alpha^2\sigma+O(d\delta'\delta^{-1}\sigma).
1187: \end{equation*}
1188: Apply Plancherel's theorem to this inner product to produce a
1189: Fourier statement:
1190: \begin{equation*}
1191: \sum_{\gamma \in
1192: \wh{G}}{\wh{f_1}(\gamma)\wh{f_2d\beta}(\gamma)\overline{\wh{\chi_Sd\beta'}(\gamma)}}=-\alpha^2\sigma+O(d\delta'\delta^{-1}\sigma),
1193: \end{equation*}
1194: so by the triangle inequality
1195: \begin{equation}\label{triangle}
1196: \sum_{\gamma \in
1197: \wh{G}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)||\wh{\chi_Sd\beta'}(\gamma)|}\geq\alpha^2\sigma+O(d\delta'\delta^{-1}\sigma).
1198: \end{equation}
1199:
1200: Let $\mathcal{L}$ be the set of characters supporting the large
1201: values of $|\wh{\chi_Sd\beta'}|$:
1202: \begin{equation*}
1203: \mathcal{L}:=\{\gamma \in\wh{G}:|\wh{\chi_Sd\beta'}(\gamma)| \geq
1204: \alpha\sigma/2\}.
1205: \end{equation*}
1206: The characters supporting small values of $|\wh{\chi_Sd\beta'}|$
1207: only support a small amount of the sum in (\ref{triangle});
1208: specifically by Lemma \ref{techlem1} applied with
1209: $h=|\wh{\chi_Sd\beta'}(\gamma)|\chi_{\mathcal{L}^c}(\gamma)$ we have
1210: \begin{equation*}
1211: \sum_{\gamma \not \in
1212: \mathcal{L}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)||\wh{\chi_Sd\beta'}(\gamma)|}<
1213: \frac{\alpha^2\sigma}{2}.
1214: \end{equation*}
1215: Inserting this into (\ref{triangle}) we conclude that
1216: \begin{equation*}
1217: \sum_{\gamma \in
1218: \mathcal{L}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)||\wh{\chi_Sd\beta'}(\gamma)|}\geq
1219: \frac{\alpha^2\sigma}{2}+O(d\delta'\delta^{-1}\sigma).
1220: \end{equation*}
1221: We have the trivial inequality $|\wh{\chi_Sd\beta'}(\gamma)| \leq
1222: \sigma$ and so (since $\sigma>0$) we divide through by $\sigma$ to
1223: get
1224: \begin{equation*}
1225: \sum_{\gamma \in
1226: \mathcal{L}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)|} \geq
1227: \frac{\alpha^2}{2}+O(d\delta'\delta^{-1}).
1228: \end{equation*}
1229:
1230: By Proposition \ref{local Changs bound} there is a set of
1231: characters $\Lambda$ and a $\delta''_0 \in (0,1]$ with
1232: \begin{equation*}
1233: |\Lambda| \ll \alpha^{-2} \log \sigma^{-1} \textrm{ and }
1234: \delta''_0 \gg \frac{\delta'\alpha^2}{d^2 \log \sigma^{-1}}
1235: \end{equation*}
1236: such that
1237: \begin{equation*}
1238: \mathcal{L} \subset \{\gamma:|1-\gamma(x)| \leq 1/2 \textrm{ for
1239: all } x \in B(\Gamma\cup \Lambda,\delta''_0)\}.
1240: \end{equation*}
1241: Suppose that $\delta'' \leq \delta''_0$, and write $\beta''$ for
1242: $\beta_{\Gamma\cup\Lambda,\delta''}$. If $\gamma \in \mathcal{L}$
1243: then $|\wh{\beta''}(\gamma)|\geq 1/2$, so
1244: \begin{equation}\label{near last estimate}
1245: \sum_{\gamma \in
1246: \wh{G}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)||\wh{\beta''}(\gamma)|^2}\geq
1247: 2^{-3}\alpha^2+O(d\delta'\delta^{-1}).
1248: \end{equation}
1249: Now, by Lemma \ref{techlem2} we have
1250: \begin{equation*}
1251: \sum_{\gamma \in
1252: \wh{G}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)||\wh{\beta''}(\gamma)|^2}
1253: \leq \alpha^2 \max_{1 \leq i\leq 2}{\alpha_i^{-2}\langle f_i \ast
1254: \beta'',(f_id\beta) \ast \beta''\rangle}.
1255: \end{equation*}
1256: Which, combined with (\ref{near last estimate}), ensures that there
1257: is some $k$ with $1 \leq k \leq 2$ such that
1258: \begin{equation*}
1259: \langle f_k \ast \beta'',(f_kd\beta) \ast \beta''\rangle \geq
1260: \alpha_k^2\left(2^{-3}+O(d\delta'\delta^{-1}\alpha^{-2})\right).
1261: \end{equation*}
1262: Now we can apply Lemma \ref{l2 density} to get that
1263: \begin{equation*}
1264: \|\chi_{A_k} \ast \beta''\|_\infty \geq \alpha_k\left(1+2^{-3} +
1265: O(d\delta'\delta^{-1}\alpha^{-2})\right) +
1266: O(d\delta''\delta^{-1}).
1267: \end{equation*}
1268: However for $1 \leq i \leq 2$ we have
1269: \begin{eqnarray*}
1270: \|\chi_{A_i} \ast \beta''\|_\infty & \geq &\|\chi_{A_i} \ast
1271: \beta''\|_{L^1(\beta)}\\ & = & \int{\chi_{A_i} d(\beta \ast
1272: \beta'')}\\ & = & \alpha_i + O(d\delta''\delta^{-1}) \textrm{ by
1273: Corollary \ref{contlemcor} since } \supp \beta'' \subset
1274: B(\Gamma,\delta''),
1275: \end{eqnarray*}
1276: so that
1277: \begin{equation*}
1278: \|\chi_{A_1} \ast \beta''\|_\infty\|\chi_{A_2} \ast
1279: \beta''\|_\infty \geq \alpha^2(1+2^{-3}) +
1280: O(d\delta'\delta^{-1}\alpha^{-2})+ O(d\delta''\delta^{-1}).
1281: \end{equation*}
1282: Assume that $\delta'' \leq \delta'$, so that
1283: \begin{equation*}
1284: \|\chi_{A_1} \ast \beta''\|_\infty\|\chi_{A_2} \ast
1285: \beta''\|_\infty \geq \alpha^2(1+2^{-3}) +
1286: O(d\delta'\delta^{-1}\alpha^{-2}).
1287: \end{equation*}
1288: We now pick $\delta'$ regular for $\Gamma$ such that the error
1289: term in the above expression is at most $2^{-4}\alpha^2$. This can
1290: be done by Proposition \ref{ubreg} whilst keeping $\delta' \gg
1291: \alpha^4 \delta/d$. Finally we pick $\delta''$ regular for
1292: $\Gamma\cup\Lambda$ subject to the two assumptions of $\delta''
1293: \leq \delta'$ and $\delta'' \leq \delta''_0$. This can be done by
1294: Proposition \ref{ubreg} whilst keeping $\delta'' \gg
1295: \alpha^6\delta/d^3\log \sigma^{-1}$, and so the lemma is proved.
1296: \end{proof}
1297: We now prove the two technical claims we required.
1298: \begin{lemma}\label{techlem1}
1299: Suppose that $G$ is a compact Abelian group and $B(\Gamma,\delta)$
1300: is a Bohr set. Suppose that $f_1,f_2 \in L^2(\beta)$ and $h \in
1301: \ell^\infty(\wh{G})$. Then
1302: \begin{equation*}
1303: \sum_{\gamma \in
1304: \wh{G}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)|h(\gamma)}
1305: \leq
1306: \|f_1\|_{L^2(\beta)}\|f_2\|_{L^2(\beta)}\|h\|_{\ell^\infty(\wh{G})}.
1307: \end{equation*}
1308: \end{lemma}
1309: \begin{proof}
1310: Start with the fact that
1311: \begin{equation*}
1312: \sum_{\gamma \in
1313: \wh{G}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)|h(\gamma)}
1314: < \|h\|_{\ell^\infty(\wh{G})}\sum_{\gamma \in
1315: \wh{G}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)|}.
1316: \end{equation*}
1317: We estimate the sum on the right using the Cauchy-Schwarz inequality
1318: and Plancherel's theorem.
1319: \begin{eqnarray*}
1320: \sum_{\gamma \in \wh{G}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)|}
1321: & \leq & \left(\sum_{\gamma \in
1322: \wh{G}}{|\wh{f_1}(\gamma)|^2}\right)^{\frac{1}{2}}\left(\sum_{\gamma
1323: \in \wh{G}}{|\wh{f_2d\beta}(\gamma)|^2}\right)^{\frac{1}{2}}\\
1324: & = & \|f_1\|_2\|f_2d\beta\|_2\\ & = &
1325: \|f_1\|_{L^2(\beta)}\|f_2\|_{L^2(\beta)} \textrm{ since $\beta$ is
1326: uniform on $B(\Gamma,\delta)$.}
1327: \end{eqnarray*}
1328: Putting these two inequalities together gives the result.
1329: \end{proof}
1330: Similarly we have the following.
1331: \begin{lemma}\label{techlem2}
1332: Suppose that $G$ is a compact Abelian group and $B(\Gamma,\delta)$
1333: and $B(\Gamma',\delta')$ are Bohr sets. Suppose that $f_1,f_2 \in L^2(\beta)$. Then
1334: \begin{equation*}
1335: \sum_{\gamma \in \wh{G}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)||\beta'(\gamma)|^2}
1336: \leq \|f_1\|_{L^2(\beta)}\|f_2\|_{L^2(\beta)}\max_{1 \leq i \leq
1337: 2}{\|f_i\|_{L^2(\beta)}^{-2}\langle f_i \ast \beta',(f_id\beta) \ast
1338: \beta' \rangle}.
1339: \end{equation*}
1340: \end{lemma}
1341: \begin{proof}
1342: Apply the Cauchy-Schwarz inequality to the sum on the left to bound
1343: it above by
1344: \begin{equation*}
1345: \left(\sum_{\gamma \in
1346: \wh{G}}{|\wh{f_1}(\gamma)|^2|\wh{\beta'}(\gamma)|^2}\right)^\frac{1}{2}\left(\sum_{\gamma
1347: \in
1348: \wh{G}}{|\wh{f_2d\beta}(\gamma)|^2|\wh{\beta'}(\gamma)|^2}\right)^{\frac{1}{2}};
1349: \end{equation*}
1350: as before this can be rewritten as
1351: \begin{equation*}
1352: \left( \sum_{\gamma \in
1353: \wh{G}}{\wh{f_1}(\gamma)\wh{\beta''}(\gamma)\overline{\wh{f_1d\beta}(\gamma)\wh{\beta'}(\gamma)}}\right)^{\frac{1}{2}}\left(
1354: \sum_{\gamma \in
1355: \wh{G}}{\wh{f_2}(\gamma)\wh{\beta''}(\gamma)\overline{\wh{f_2d\beta}(\gamma)\wh{\beta'}(\gamma)}}\right)^{\frac{1}{2}}.
1356: \end{equation*}
1357: Now apply Plancherel's theorem to this to conclude that it is equal
1358: to
1359: \begin{equation*}
1360: \langle f_1 \ast \beta',(f_1d\beta) \ast
1361: \beta'\rangle^{\frac{1}{2}}\langle f_2 \ast \beta',(f_2d\beta) \ast
1362: \beta'\rangle^{\frac{1}{2}},
1363: \end{equation*}
1364: from which the lemma follows.
1365: \end{proof}
1366:
1367: The next lemma is a local version of the following easy application
1368: of the pigeonhole principle: If $A \subset \mathbb{Z}/N\mathbb{Z}$
1369: has density at least $1-\sigma$ then $A$ contains an arithmetic
1370: progression of length roughly $\sigma^{-1}$. It turns out not to be
1371: hard to localize this observation.
1372:
1373: \begin{lemma}\label{phole}
1374: Suppose that $G=\mathbb{Z}/N\mathbb{Z}$ and $B(\Gamma,\delta)$ is
1375: a regular Bohr set. Suppose that $A \subset G$. Suppose that
1376: $\sigma \in (0,1]$. Suppose that $A$ contains at least a
1377: proportion $1-\sigma$ of $B(\Gamma,\delta)$. Then either
1378: $\sigma^{-1} \gg d^{-1}\delta N^{\frac{1}{d}}$ or $A$ contains an
1379: arithmetic progression of length at least $(4\sigma)^{-1}$.
1380: \end{lemma}
1381: \begin{proof}
1382: Let $\eta$ be a constant to be optimized later.
1383:
1384: First we find a large number of long arithmetic progressions in
1385: $B(\Gamma,\delta)$, all with the same common difference. Pick $y
1386: \neq 0$ from $B(\Gamma,2^{\frac{1}{d}}N^{-\frac{1}{d}})$; such a
1387: $y$ certainly exists by Lemma \ref{bohrsize} which ensures that
1388: $|B(\Gamma,2^{\frac{1}{d}}N^{-\frac{1}{d}})| \geq 2$. It follows
1389: that
1390: \begin{equation*}
1391: x \in B(\Gamma,\delta(1-\eta)) \Rightarrow x,x+y,x+2y,...,x+Ly \in
1392: B(\Gamma,\delta)
1393: \end{equation*}
1394: for $L \leq \eta\delta N^{\frac{1}{d}}2^{-\frac{1}{d}}$. Hence if
1395: $(4\sigma)^{-1} \leq \eta\delta N^{\frac{1}{d}}2^{-\frac{1}{d}}$
1396: then there are at least $\mu_G(B(\Gamma,\delta(1-\eta)))N$
1397: arithmetic progressions of common difference $y$ and length
1398: $(4\sigma)^{-1}$ in $B(\Gamma,\delta)$. Moreover, since the common
1399: difference is the same for each progression, each point is in at
1400: most $2.(4\sigma)^{-1}=(2\sigma)^{-1}$ of these progressions.
1401:
1402: If $A$ does not contain any of these progressions then it misses
1403: at least one point in each progression and hence at least
1404: $\mu_G(B(\Gamma,\delta(1-\eta)))N/ (2\sigma)^{-1}$ points of
1405: $B(\Gamma,\delta)$. It follows that
1406: \begin{equation*}
1407: 1-\sigma \leq \int{\chi_A d\beta} \leq 1-
1408: 2\sigma\frac{\mu_G(B(\Gamma,\delta(1-\eta)))}{\mu_G(B(\Gamma,\delta))}.
1409: \end{equation*}
1410: By regularity of $\delta$ we can pick $\eta \gg d^{-1}$ such that
1411: \begin{equation*}
1412: \frac{\mu_G(B(\Gamma,\delta(1-\eta)))}{\mu_G(B(\Gamma,\delta))}
1413: \geq \frac{2}{3},
1414: \end{equation*}
1415: from which we conclude that $1-\sigma \leq 1-4\sigma/3$, this
1416: contradicts the fact that $\sigma$ is positive and so the lemma is
1417: proved.
1418: \end{proof}
1419:
1420: Finally we put the previous two results together to prove Theorem
1421: \ref{green1new}.
1422:
1423: \begin{proof}
1424: [Proof of Theorem \ref{green1new}.] Let $\sigma>0$ be a constant to
1425: be optimized later. We construct a sequence of regular Bohr sets
1426: $B(\Gamma_k,\delta_k)$ iteratively. Write
1427: \begin{equation*}
1428: \beta_k:=\beta_{\Gamma_k,\delta_k}, d_k:=|\Gamma_k| \textrm{ and }
1429: \alpha_k:=\sqrt{\|\chi_{A_1} \ast \beta_{k}\|_\infty \|\chi_{A_2}
1430: \ast \beta_{k}\|_\infty}.
1431: \end{equation*}
1432: We initialize the iteration with $\Gamma_0=\{0_{\wh{G}}\}$ and
1433: $\delta_0 \gg 1$ regular for $\Gamma_0$ by Proposition
1434: \ref{ubreg}.
1435:
1436: Suppose that we are at stage $k$ of the iteration. Since
1437: $B(\Gamma_k,\delta_k)$ has positive measure $\chi_{A_i} \ast
1438: \beta_k$ is continuous and hence we make take $x_1$ and $x_2$ such
1439: that
1440: \begin{equation*}
1441: \chi_{A_i} \ast \beta_k(x_i) = \|\chi_{A_i} \ast \beta_k\|_\infty
1442: \textrm{ for } i=1,2.
1443: \end{equation*}
1444: Apply Lemma \ref{itlem} to the sets $(A_1-x_1)\cap
1445: B(\Gamma_k,\delta_k)$ and $(A_2-x_2) \cap B(\Gamma_k,\delta_k)$
1446: and the regular Bohr set $B(\Gamma_k,\delta_k)$.
1447: \begin{enumerate}
1448: \item Either $(A_1-x_1)+(A_2-x_2)$ contains at least a proportion
1449: $1-\sigma$ of some regular Bohr set $B(\Gamma_k,\delta_k')$ with
1450: $\delta_k' \gg \alpha_k^4\delta_k/d_k$. In which case we apply
1451: Lemma \ref{phole} to conclude that either $\sigma^{-1} \gg
1452: d_k^{-1}\delta_k'N^{\frac{1}{d_k}}$ or $A_1+A_2-x_1-x_2$ (and
1453: hence $A_1+A_2$) contains an arithmetic progression of length
1454: $(4\sigma)^{-1}$. \item Or there is a regular Bohr set
1455: $B(\Gamma_{k+1},\delta_{k+1})$ such that
1456: \begin{equation*}
1457: \alpha_{k+1}^2 \geq \alpha_k^2(1+2^{-4}), \delta_{k+1} \gg
1458: \frac{\alpha_k^6\delta_k}{d_k^3 \log \sigma^{-1}} \textrm{ and }
1459: d_{k+1} - d_k \ll \alpha_k^{-2}\log \sigma^{-1}.
1460: \end{equation*}
1461: \end{enumerate}
1462: From these last expressions we conclude that
1463: \begin{equation*}
1464: \alpha_k^2 \geq \alpha^2(1+2^{-4})^k,
1465: \end{equation*}
1466: and hence, since $\alpha_k \leq 1$, the iteration terminates with
1467: $k \ll \log \alpha^{-1}$. It follows that
1468: \begin{equation*}
1469: d_k \ll \sum_{k=0}^\infty{\alpha_k^{-2}\log \sigma^{-2}} \leq
1470: \alpha^{-2}\log \sigma^{-1}\sum_{k=0}^{\infty}{(1+2^{-4})^{-k}}
1471: \ll \alpha^{-2} \log \sigma^{-1},
1472: \end{equation*}
1473: and that
1474: \begin{equation*}
1475: \delta_k \gg \left(\frac{\alpha}{\log \sigma^{-1}}\right)^{C\log
1476: \alpha^{-1}}
1477: \end{equation*}
1478: for some absolute constant $C>0$.
1479:
1480: For the iteration to terminate we must have arrived in the first
1481: case at some point, and hence either
1482: \begin{equation}\label{conclusion}
1483: \sigma^{-1} \gg \left(\frac{\alpha}{\log
1484: \sigma^{-1}}\right)^{C\log \alpha^{-1}}N^{c\alpha^2 (\log
1485: \sigma^{-1})^{-1}}
1486: \end{equation}
1487: for some absolute constants $C,c>0$ or there is an arithmetic
1488: progression in $A_1+A_2$ of length $(4\sigma)^{-1}$. The result
1489: follows on taking $\sigma^{-1}$ as large a possible whilst not
1490: satisfying (\ref{conclusion}).
1491: \end{proof}
1492:
1493: \section{Proof of Theorem \ref{aaageneral}}
1494:
1495: As before we begin with a brief overview of the argument in the
1496: finite-field setting, which can be made to prove the following
1497: result.
1498:
1499: \begin{theorem}
1500: Suppose that $G$ is a compact vector space over $\mathbb{F}_2$ and
1501: $A \subset G$ has density $\alpha>0$. Then $A+A+A$ contains (up to
1502: a null set) an affine subspace of codimension at most
1503: $4\alpha^{-1}$.
1504: \end{theorem}
1505: The proof is driven by the following iteration lemma.
1506: \begin{lemma}
1507: \emph{(Model iteration lemma)} Suppose that $G$ is a compact vector
1508: space over $\mathbb{F}_2$. Suppose that $A \subset G$ has density
1509: $\alpha$. Then at least one of the following is true.
1510: \begin{enumerate}
1511: \item $A+A+A$ contains $G$ (up to a null set). \item (Density
1512: increment) There is a subspace $V$ of $G$ such that
1513: \begin{equation*}
1514: \|\chi_{A} \ast \mu_V\|_\infty \geq \alpha(1+\alpha/2) \textrm{
1515: and } \cod V \leq 1.
1516: \end{equation*}
1517: \end{enumerate}
1518: \end{lemma}
1519: The iteration lemma is not conceptually difficult; we sketch the
1520: main ideas now. Write $f:=\chi_A \ast \chi_A \ast \chi_A$. If $f$
1521: is never zero (except for a null set) then $A+A+A$ certainly
1522: contains $G$ (up to a null set), otherwise $f(x)=0$ on a set of
1523: positive measure so there is a value of $x$ for which
1524: \begin{equation*}
1525: \sum_{\gamma \in \wh{G}}{\wh{\chi_A}(\gamma)^3\gamma(x)}=f(x)=0
1526: \end{equation*}
1527: by the inversion formula. Plancherel's theorem and the triangle
1528: inequality in the usual fashion give
1529: \begin{equation*}
1530: \sum_{\gamma \neq 0_{\wh{G}}}{|\wh{\chi_A}(\gamma)|^3} \geq
1531: \alpha^3,
1532: \end{equation*}
1533: from which it follows that there is a non-trivial characters
1534: $\gamma$ at which $|\wh{f}(\gamma)|$ is large. Such a bound
1535: provides an $\ell^\infty$ density increment for $A$.
1536:
1537: Having proved this lemma the iteration is simple. Either $A+A+A$
1538: contains a large affine subspace or we can increment the density
1539: of $\alpha$. The density can't be incremented indefinitely and so
1540: eventually $A+A+A$ contains a large affine subspace.
1541:
1542: To localize the iteration argument is not as easy as it appears.
1543: For the case $m=3$ the argument is really just Bourgain's original
1544: argument for Roth's theorem. A particularly good exposition of
1545: this, due to Tao, can be found in \cite{TT1}. There is a second
1546: exposition also due to Tao in \cite{TT2} which uses smoothed
1547: measures in place of our $\beta$s. For the generalization to $m>3$
1548: the arguments in \cite{TT1} appear insufficient; in particular the
1549: third claim in the proof below requires a new approach, which it
1550: turns out was also used in \cite{TT2}. However, this is all,
1551: perhaps, best illustrated by simply following the proof.
1552: \begin{lemma}\emph{(Iteration lemma)} Suppose that $G$ is a
1553: compact Abelian group and $B(\Gamma,\delta)$ a regular Bohr set in
1554: $G$. Suppose that $A_1,...,A_m \subset B(\Gamma,\delta)$. Write
1555: $\alpha$ for the geometric mean of the densities of the sets
1556: $A_1,...,A_m$ in $B(\Gamma,\delta)$. Then at least one of the
1557: following is true.
1558: \begin{enumerate}
1559: \item There is a $\delta'$ regular for $\Gamma$ such that
1560: \begin{equation*}
1561: \delta' \gg \min_i\{\int{\chi_{A_i}d\beta}\}^2\delta/md
1562: \end{equation*}
1563: and $A_1+...+A_m$ contains a translate of $B(\Gamma,\delta')$ (up
1564: to a null set). \item There is a set of characters $\Gamma'$ and a
1565: $\delta''$ regular for $\Gamma'$ such that
1566: \begin{equation*}
1567: |\Gamma'| \leq |\Gamma| +1, \delta'' \gg
1568: \min_i\{\int{\chi_{A_i}d\beta}\}^3\delta/md^2
1569: \end{equation*}
1570: and
1571: \begin{equation*}
1572: \left(\prod_{i=1}^m{\|\chi_{A_i} \ast
1573: \beta_{\Gamma',\delta''}\|_\infty}\right)^{\frac{1}{m}} \geq
1574: \alpha\left(1+\frac{\alpha^{\frac{1}{m-2}}}{2^8m}\right).
1575: \end{equation*}
1576: \end{enumerate}
1577: \end{lemma}
1578: As with Lemma \ref{itlem} the proof which follows is rather complex
1579: with a number of sub-claims being necessary. To ease understanding
1580: we relegate proofs of these technical results to the end. The proof
1581: itself essentially splits up the situation into the various ways in
1582: which we can arrive at a density increment and then the technical
1583: lemmas deal provide the density increments in each case.
1584: \begin{proof}
1585: We may certainly assume that $\alpha>0$ since otherwise we are done
1586: for trivial reasons. Let $\delta'$ be a constant, regular for
1587: $\Gamma$, to be chosen later. We may certainly assume that $A_1$ and
1588: $A_2$ have the largest densities on $B(\Gamma,\delta)$ and so it is
1589: $A_3,...,A_m$ we choose to move to the narrower Bohr neighborhood
1590: $B(\Gamma,\delta')$.
1591: \begin{equation*}
1592: \int{\chi_{A_i} \ast \beta'd\beta}=\int{\chi_{A_i} d(\beta \ast
1593: \beta')}=\int{\chi_{A_i}d\beta} + O(d\delta'\delta^{-1}),
1594: \end{equation*}
1595: by Corollary \ref{contlemcor}. It follows by averaging that there
1596: is some $x_i \in B(\Gamma,\delta)$ such that
1597: \begin{equation}\label{error11}
1598: \chi_{A_i} \ast \beta'(x_i) \geq \int{\chi_{A_i}d\beta} +
1599: O(d\delta'\delta^{-1}).
1600: \end{equation}
1601: Without loss of generality we may assume that the $x_i$s are all
1602: zero. Write
1603: \begin{eqnarray*}
1604: & & \alpha_k := \int{\chi_{A_k} d\beta} \textrm{ and } f_k:=
1605: (\chi_{A_k} - \alpha_k) \chi_{B} \textrm{ for } 1 \leq k \leq 2,\\
1606: & \textrm{ and } & \alpha_k := \int{\chi_{A_k} d\beta'} \textrm{
1607: and } f_k:= (\chi_{A_k} - \alpha_k) \chi_{B'} \textrm{ for } 3
1608: \leq k \leq m.
1609: \end{eqnarray*}
1610:
1611: Define
1612: \begin{equation*}
1613: S:=B' \setminus \supp \chi_{A_1}\chi_B \ast \chi_{A_2}d\beta \ast
1614: \chi_{A_3}d\beta' \ast ... \ast \chi_{A_m}d\beta'
1615: \end{equation*}
1616: and write $\sigma$ for the density of $S$ in $B'$. Now
1617: $A_1+...+A_m \supset \supp \chi_{A_1}\chi_B \ast \chi_{A_2}d\beta
1618: \ast \chi_{A_3}d\beta' \ast ... \ast \chi_{A_m}d\beta'$ so it
1619: follows that if $\sigma=0$ then we are in the first case of the
1620: lemma. Hence we assume that $\sigma>0$. We investigate the natural
1621: inner product
1622: \begin{equation}\label{ip}
1623: I:=\langle f_1 \ast f_2d\beta \ast f_3d\beta' \ast ... \ast
1624: f_md\beta', \chi_S \rangle_{L^2(\beta')}.
1625: \end{equation}
1626: We can rewrite $f_1 \ast f_2d\beta \ast f_3d\beta' \ast ... \ast
1627: f_md\beta'$ as
1628: \begin{eqnarray}
1629: \label{decomp} & & \chi_{A_1}\chi_B \ast \chi_{A_2}d\beta \ast
1630: \chi_{A_3}d\beta' \ast ... \ast \chi_{A_m}d\beta'\\ \nonumber & &
1631: - \alpha_1 \chi_{B}\ast \chi_{A_2}d\beta \ast \chi_{A_3}d\beta'
1632: \ast ... \ast \chi_{A_m}d\beta'\\ \nonumber & & - \chi_{A_1}\chi_B
1633: \ast \alpha_2\beta \ast \chi_{A_3}d\beta' \ast ... \ast
1634: \chi_{A_m}d\beta'\\ \nonumber & & + \alpha_1\chi_B \ast
1635: \alpha_2\beta \ast \chi_{A_3}d\beta' \ast ... \ast
1636: \chi_{A_m}d\beta' \\ \nonumber & & - f_1 \ast f_2d\beta \ast
1637: \alpha_3\beta' \ast \chi_{A_4}d\beta' \ast ... \ast \chi_{A_m}d\beta'\\
1638: \nonumber & & - ... \\ \nonumber & & - f_1 \ast f_2d\beta \ast
1639: f_3d\beta' \ast ... \ast f_{j-1}d\beta' \ast \alpha_j\beta' \ast
1640: \chi_{A_{j+1}}d\beta' \ast ... \ast \chi_{A_m}d\beta'\\ \nonumber
1641: & & - ...\\ \nonumber & & - f_1 \ast f_2d\beta \ast f_3d\beta'
1642: \ast ... \ast f_{m-1}d\beta'\ast \alpha_m\beta'.
1643: \end{eqnarray}
1644: There are three different types of term in this decomposition. The
1645: first term is unique and we denote it by $Z$, the next three are
1646: all of the same type and we denote them by $T_1,T_2$ and $T_3$.
1647: Finally the remaining terms are all of the same type and for $3
1648: \leq j \leq m$ we write
1649: \begin{equation*}
1650: S_j=-f_1 \ast f_2d\beta \ast f_3d\beta' \ast ... \ast
1651: f_{j-1}d\beta' \ast \alpha_j\beta' \ast \chi_{A_{j+1}}d\beta' \ast
1652: ... \ast \chi_{A_m}d\beta'.
1653: \end{equation*}
1654: We have
1655: \begin{eqnarray}
1656: \label{decompip}I& =& \langle
1657: Z,\chi_S\rangle_{L^2(\beta')}+\langle
1658: T_1,\chi_S\rangle_{L^2(\beta')}+\langle
1659: T_2,\chi_S\rangle_{L^2(\beta')}+\langle
1660: T_3,\chi_S\rangle_{L^2(\beta')}\\ \nonumber & & +\langle
1661: S_3,\chi_S\rangle_{L^2(\beta')}+...+\langle
1662: S_m,\chi_S\rangle_{L^2(\beta')}.
1663: \end{eqnarray}
1664: Our objective now is to estimate the inner products on the right.
1665:
1666: The first inner product is zero since $\chi_S$ is supported on the
1667: relative complement of $Z$. The inner products $\langle
1668: T_i,\chi_S\rangle_{L^2(\beta')}$ can all be estimated in the same
1669: way using the following claim which is Lemma \ref{techlem3}.
1670: \begin{claim}
1671: Suppose that $f \in L^\infty(\beta)$. Then
1672: \begin{eqnarray*}
1673: \langle f\ast \beta \ast \chi_{A_3}d\beta' \ast ... \ast
1674: \chi_{A_m}d\beta', \chi_S \rangle_{L^2(\beta')} & = & \sigma
1675: \alpha_3...\alpha_m \times\\ & & \left(\int{fd\beta} +
1676: O(md\delta'\delta^{-1}\|f\|_\infty)\right).
1677: \end{eqnarray*}
1678: \end{claim}
1679:
1680: Note that the $T_i$s can be rewritten as follows.
1681: \begin{eqnarray*}
1682: T_1 & = & -\alpha_1\chi_{A_2}\chi_B \ast \beta \ast
1683: \chi_{A_3}d\beta'
1684: \ast ... \ast \chi_{A_m}d\beta'\\
1685: T_2 & = & -\alpha_2\chi_{A_1}\chi_B \ast \beta \ast
1686: \chi_{A_3}d\beta'
1687: \ast ... \ast \chi_{A_m}d\beta'\\
1688: T_3 & = & \alpha_1\alpha_2\chi_{B} \ast \beta \ast
1689: \chi_{A_3}d\beta' \ast ... \ast \chi_{A_m}d\beta'.
1690: \end{eqnarray*}
1691: Now apply the claim in each case to see that
1692: \begin{eqnarray*}
1693: \langle T_1, \chi_S \rangle_{L^2(\beta')} & = &
1694: -\sigma\alpha_1...\alpha_m( 1 + O(md\delta'\delta^{-1}\alpha_2^{-1}))\\
1695: \langle T_2, \chi_S \rangle_{L^2(\beta')} & = &
1696: -\sigma\alpha_1...\alpha_m( 1 + O(md\delta'\delta^{-1}\alpha_1^{-1}))\\
1697: \langle T_3, \chi_S \rangle_{L^2(\beta')} & = &
1698: \sigma\alpha_1...\alpha_m( 1 + O(md\delta'\delta^{-1})).
1699: \end{eqnarray*}
1700: It follows that
1701: \begin{equation*}
1702: \langle T_1, \chi_S \rangle_{L^2(\beta')}+...+\langle T_3, \chi_S
1703: \rangle_{L^2(\beta')}=-\sigma\alpha_1...\alpha_m( 1 +
1704: O(md\delta'\delta^{-1}(\alpha_1^{-1}+\alpha_2^{-1}))),
1705: \end{equation*}
1706: and hence in (\ref{decompip}) we have
1707: \begin{equation*}
1708: I - \langle S_3, \chi_S\rangle_{L^2(\beta')}- ... - \langle S_m,
1709: \chi_S\rangle_{L^2(\beta')}= -\sigma\alpha_1...\alpha_m( 1 +
1710: O(md\delta'\delta^{-1}(\alpha_1^{-1}+\alpha_2^{-1}))).
1711: \end{equation*}
1712: It follows that there is a $\delta'_0 \gg \delta
1713: \min\{\alpha_1,\alpha_2\}/md$ such that if $\delta' \leq
1714: \delta'_0$ then the error term here is at most $1/2$. We assume
1715: that $\delta' \leq \delta'_0$ so that by the triangle inequality
1716: \begin{equation*}
1717: |I| + |\langle S_3, \chi_S\rangle_{L^2(\beta')}|+ ... +|\langle
1718: S_m, \chi_S\rangle_{L^2(\beta')}|\geq
1719: \frac{\sigma\alpha_1...\alpha_m}{2}.
1720: \end{equation*}
1721: It follows by averaging that one of the following is true.
1722: \begin{equation*}
1723: |I| \geq \sigma\alpha_1...\alpha_m/4 \textrm{ or } |\langle
1724: S_j,\chi_S \rangle_{L^2(\beta')}| \geq \frac{\sigma
1725: \alpha_1...\alpha_m}{2^j} \textrm{ for some } 3 \leq j \leq m.
1726: \end{equation*}
1727: We have two claims which deal with the two cases: they are proved in
1728: Lemmas \ref{techlem4} and \ref{techlem5}.
1729: \begin{claim}
1730: If $|I| \geq \sigma\alpha_1...\alpha_m/4$ then there is a $k$ with
1731: $3 \leq k \leq m$, a set of characters $\Gamma'$ and a $\delta''
1732: \leq \delta'$ regular for $\Gamma'$ such that
1733: \begin{equation*}
1734: |\Gamma'| \leq |\Gamma|+1, \delta'' \gg \frac{\alpha_k^2\delta'}{d}
1735: \textrm{ and } \|\chi_{A_k} \ast \beta_{\Gamma',\delta''}\|_\infty
1736: \geq \alpha_k(1+2^{-5}\alpha^{\frac{1}{m-2}}).
1737: \end{equation*}
1738: \end{claim}
1739: \begin{claim}
1740: If
1741: \begin{equation*}
1742: |\langle S_j,\chi_S \rangle_{L^2(\beta')}| \geq \frac{\sigma
1743: \alpha_1...\alpha_m}{2^j}
1744: \end{equation*}
1745: then either
1746: \begin{enumerate}
1747: \item there is a $k$ with $3 \leq k \leq j-1$, a set of characters
1748: $\Gamma'$ and a $\delta'' \leq \delta'$ regular for $\Gamma'$ such
1749: that
1750: \begin{equation*}
1751: |\Gamma'| \leq |\Gamma|+1, \delta'' \gg \frac{\alpha_k\delta'}{d}
1752: \textrm{ and } \|\chi_{A_k} \ast \beta_{\Gamma',\delta''}\|_\infty
1753: \geq \alpha_k(1+2^{-4});
1754: \end{equation*} \item or there is an $k$ with $1 \leq k \leq 2$ and a $\delta'' \leq \delta'$ regular for $\Gamma$ such that
1755: \begin{equation*}
1756: \delta'' \gg \min\{\frac{\alpha\delta'}{d},\frac{\alpha_k
1757: \delta}{d}\} \textrm{ and } \|\chi_{A_k} \ast
1758: \beta_{\Gamma,\delta''}\|_\infty \geq \alpha_k(1+2^{-7}).
1759: \end{equation*}
1760: \end{enumerate}
1761: \end{claim}
1762: Now it is just a matter of choosing $\delta'$ as large as possible
1763: whilst ensuring that the errors are small. From the claims we are
1764: guaranteed at least one of the following three outcomes.
1765: \begin{enumerate}
1766: \item There is a $k$ with $3 \leq k \leq m$, a set of characters
1767: $\Gamma'$ and a $\delta'' \leq \delta'$ regular for $\Gamma'$ such
1768: that
1769: \begin{equation*}
1770: |\Gamma'| \leq |\Gamma|+1, \delta'' \gg
1771: \frac{\alpha_k^2\delta'}{d} \textrm{ and } \|\chi_{A_k} \ast
1772: \beta_{\Gamma',\delta''}\|_\infty \geq
1773: \alpha_k(1+2^{-5}\alpha^{\frac{1}{m-2}}).
1774: \end{equation*} \item There is a $k$ with $3 \leq k \leq m-1$, a set of characters
1775: $\Gamma'$ and a $\delta'' \leq \delta'$ regular for $\Gamma'$ such
1776: that
1777: \begin{equation*}
1778: |\Gamma'| \leq |\Gamma|+1, \delta'' \gg \frac{\alpha_k\delta'}{d}
1779: \textrm{ and } \|\chi_{A_k} \ast \beta_{\Gamma',\delta''}\|_\infty
1780: \geq \alpha_k(1+2^{-4});
1781: \end{equation*} \item There is a $k$ with $1 \leq k \leq 2$ and a $\delta'' \leq \delta'$ regular for $\Gamma$ such that
1782: \begin{equation*}
1783: \delta'' \gg \min\{\frac{\alpha\delta'}{d},\frac{\alpha_k
1784: \delta}{d}\} \textrm{ and } \|\chi_{A_k} \ast
1785: \beta_{\Gamma,\delta''}\|_\infty \geq \alpha_k(1+2^{-7}).
1786: \end{equation*}
1787: \end{enumerate}
1788: This imples that there is a $k$ with $1 \leq k \leq m$, a set of
1789: characters $\Gamma'$ and a $\delta''$ regular for $\Gamma'$ with
1790: \begin{equation*}
1791: |\Gamma'| \leq |\Gamma|+1\textrm{ and } \delta'' \gg
1792: \frac{\min\{\alpha,\alpha_k^2\}\delta'}{d}
1793: \end{equation*}
1794: such that
1795: \begin{equation*}
1796: \|\chi_{A_k} \ast \beta_{\Gamma',\delta''}\|_\infty \geq
1797: \alpha_k(1+2^{-7}\alpha^{\frac{1}{m-2}}).
1798: \end{equation*}
1799: Moreover
1800: \begin{eqnarray*}
1801: \|\chi_{A_i} \ast \beta_{\Gamma',\delta''}\|_\infty & \geq &
1802: \|\chi_{A_i} \ast \beta_{\Gamma',\delta''}\|_{L^1(\beta)}\\
1803: & =& \int{\chi_{A_i}d(\beta \ast \beta'')}\\ & = &
1804: \int{\chi_{A_i}d\beta} + O(d\delta''\delta^{-1}) \textrm{ by
1805: Corollary \ref{contlemcor}.}
1806: \end{eqnarray*}
1807: It follows that
1808: \begin{equation*}
1809: \prod_{i=1}^m{\|\chi_{A_k} \ast \beta_{\Gamma',\delta''}\|_\infty}
1810: \geq (1+2^{-7}\alpha^{\frac{1}{m-2}})\prod_{i=1}^m{
1811: \left(\int{\chi_{A_i}d\beta} + O(d\delta''\delta^{-1})\right)}
1812: \end{equation*}
1813: which in turn is at least
1814: \begin{equation*}
1815: (1+2^{-7}\alpha^{\frac{1}{m-2}})\alpha^m.\prod_{i=1}^m{\left(1+O\left(d\delta''\delta^{-1}\left(\int{\chi_{A_i}d\beta}\right)^{-1}\right)\right)}.
1816: \end{equation*}
1817: When we take $m$th roots the product can be estimated by
1818: \begin{equation*}
1819: \left(\prod_{i=1}^m{\left(1+O\left(d\delta''\delta^{-1}\int{\chi_{A_i}d\beta}^{-1}\right)\right)}\right)^{\frac{1}{m}}
1820: = 1+O(d\delta''\delta^{-1}\min_i\{\int{\chi_{A_i}d\beta}\}^{-1}),
1821: \end{equation*}
1822: so there is a $\delta'''_0$
1823: \begin{equation*}
1824: \delta'''_0 \gg
1825: \frac{\delta\min_i\{\int{\chi_{A_i}d\beta}\}\alpha^{\frac{1}{m-2}}}{d}
1826: \end{equation*}
1827: such that if $\delta'' \leq \delta'''_0$ then
1828: \begin{equation*}
1829: \prod_{i=1}^m{\|\chi_{A_k} \ast
1830: \beta_{\Gamma',\delta''}\|_\infty}^{\frac{1}{m}} \geq
1831: \left(1+\frac{\alpha^{\frac{1}{m-2}}}{2^8m}\right)\alpha.
1832: \end{equation*}
1833: Since $\delta'' \leq \delta'$ the conclusion of the lemma follows
1834: on taking $\delta'$ (regular by Proposition \ref{ubreg}) as large
1835: as possible subject to $\delta' \leq \delta'_0$ and $\delta' \leq
1836: \delta'''_0$.
1837: \end{proof}
1838:
1839: We now address the technical lemma which we employed above.
1840:
1841: \begin{lemma}\label{techlem3}
1842: Suppose that $G$ is a compact Abelian group, $B(\Gamma,\delta)$ is a
1843: regular Bohr set, $B(\Gamma,\delta')$ is a Bohr set, $f \in
1844: L^\infty(\beta)$ and $A_1,...,A_m,S \subset B(\Gamma,\delta')$ are
1845: sets with relative density $\alpha_1,...,\alpha_m$ and $\sigma$
1846: respectively. Then
1847: \begin{eqnarray*}
1848: \langle f\ast \beta \ast \chi_{A_3}d\beta' \ast ... \ast
1849: \chi_{A_m}d\beta', \chi_S \rangle_{L^2(\beta')} & = & \sigma
1850: \alpha_3...\alpha_m \times\\ & & \left(\int{fd\beta} +
1851: O(md\delta'\delta^{-1}\|f\|_\infty)\right).
1852: \end{eqnarray*}
1853: \end{lemma}
1854: \begin{proof}
1855: We show that if $x \in B'$ then $f\ast \beta \ast \chi_{A_3}d\beta'
1856: \ast ... \ast \chi_{A_m}d\beta'(x)$ is a constant plus a small
1857: $L^\infty$-error. This leads directly to the desired conclusion.
1858:
1859: By Corollary \ref{contlemcor} with $\mu=\chi_{A_3}d\beta' \ast ...
1860: \ast \chi_{A_m}d\beta'$ we have
1861: \begin{equation*}
1862: \|\beta \ast \mu - \alpha_3...\alpha_m\beta\| =
1863: O(md\delta'\delta^{-1}\alpha_3...\alpha_m),
1864: \end{equation*}
1865: since $\supp \mu \subset B(\Gamma,m\delta')$. It follows that
1866: \begin{eqnarray*}
1867: f\ast \beta \ast \chi_{A_3}d\beta_3 \ast ... \ast \chi_{A_m}d\beta_m
1868: & = & \alpha_3...\alpha_mf \ast \beta +
1869: O(\|f\|_\infty \|\beta \ast \mu - \alpha_3...\alpha_m\beta\|)\\
1870: & = & \alpha_3...\alpha_mf \ast \beta +
1871: O(md\delta'\delta^{-1}\|f\|_\infty\alpha_{3}...\alpha_m).
1872: \end{eqnarray*}
1873: If $x \in B'$ then by Corollary \ref{contlemcor2}
1874: \begin{equation*}
1875: f \ast \beta(x) = \int{fd\beta}+O(\|f\|_\infty d\delta'\delta^{-1}).
1876: \end{equation*}
1877: Combining these last two expressions we get
1878: \begin{equation*}
1879: f\ast \beta \ast \chi_{A_3}d\beta' \ast ... \ast
1880: \chi_{A_m}d\beta'(x)=\int{fd\beta}\alpha_3...\alpha_m+O(\|f\|_\infty
1881: md\delta'\delta^{-1}\alpha_{3}...\alpha_m).
1882: \end{equation*}
1883: The required estimate follows.
1884: \end{proof}
1885: \begin{lemma}\label{techlem4}
1886: Suppose that $G$ is a compact Abelian group, $B(\Gamma,\delta)$ and
1887: $B(\Gamma,\delta')$ are regular Bohr sets, $A_1,A_2 \subset
1888: B(\Gamma,\delta)$ have relative density $\alpha_1$ and $\alpha_2$
1889: respectively, and $A_3,...,A_m,S \subset B(\Gamma,\delta')$ have
1890: relative density $\alpha_3,...,\alpha_m$ and $\sigma>0$
1891: respectively. Write $f_i:=(\chi_{A_i}-\alpha_i)\chi_B$ for $1 \leq i
1892: \leq 2$ and $f_i:=(\chi_{A_i}-\alpha_i)\chi_{B'}$ for $3 \leq i \leq
1893: m$. If
1894: \begin{equation*}
1895: |\langle f_1 \ast f_2d\beta \ast f_3d\beta' \ast ... \ast
1896: f_md\beta',\chi_S \rangle_{L^2(\beta')}| \geq
1897: \sigma\alpha_1...\alpha_m/4
1898: \end{equation*}
1899: then there is a $k$ with $3 \leq k \leq m$, a set of characters
1900: $\Gamma'$ and a $\delta'' \leq \delta'$ regular for $\Gamma'$ such
1901: that
1902: \begin{equation*}
1903: |\Gamma'| \leq |\Gamma|+1, \delta'' \gg \frac{\alpha_k^2\delta'}{d}
1904: \textrm{ and } \|\chi_{A_k} \ast \beta_{\Gamma',\delta''}\|_\infty
1905: \geq \alpha_k(1+2^{-5}\alpha^{\frac{1}{m-2}}).
1906: \end{equation*}
1907: \end{lemma}
1908: \begin{proof}
1909: Write $I:=\langle f_1 \ast f_2d\beta \ast f_3d\beta' \ast ... \ast
1910: f_md\beta',\chi_S \rangle_{L^2(\beta')}$. Plancherel's theorem tells
1911: us that
1912: \begin{equation*}
1913: I = \sum_{\gamma
1914: \in\wh{G}}{\wh{f_1}(\gamma)\wh{f_2d\beta}(\gamma)\wh{f_3d\beta'}(\gamma)
1915: ...\wh{f_md\beta'}(\gamma)\overline{\wh{\chi_Sd\beta'}(\gamma)}}.
1916: \end{equation*}
1917: Recalling that $|\wh{\chi_Sd\beta'}(\gamma)| \leq
1918: \|\chi_S\|_{L^1(\beta')} = \sigma$, we may apply the triangle
1919: inequality to get
1920: \begin{equation*}
1921: \sigma\sum_{\gamma
1922: \in\wh{G}}{|\wh{f_1}(\gamma)\wh{f_2d\beta}(\gamma)\wh{f_3d\beta'}(\gamma)
1923: ...\wh{f_md\beta'}(\gamma)|} \geq
1924: \frac{\sigma\alpha_1...\alpha_m}{4}.
1925: \end{equation*}
1926: Divide by $\sigma$ (which is possible since $\sigma>0$) to get
1927: \begin{equation}\label{leverage here}
1928: \sum_{\gamma
1929: \in\wh{G}}{|\wh{f_1}(\gamma)\wh{f_2d\beta}(\gamma)\wh{f_3d\beta'}(\gamma)
1930: ...\wh{f_md\beta'}(\gamma)|} \geq \frac{\alpha_1...\alpha_m}{4}.
1931: \end{equation}
1932: By the Cauchy-Schwarz inequality and Plancherel's theorem we have
1933: \begin{eqnarray*}
1934: \sum_{\gamma \not \in
1935: \mathcal{L}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)|} & \leq &
1936: \left(\sum_{\gamma \in
1937: \wh{G}}{|\wh{f_1}(\gamma)|^2}\right)^{\frac{1}{2}}\left(\sum_{\gamma
1938: \in \wh{G}}{|\wh{f_2d\beta}(\gamma)|^2}\right)^{\frac{1}{2}}\\
1939: & = & \|f_1\|_2\|f_2d\beta\|_2\\ & = &
1940: \|f_1\|_{L^2(\beta)}\|f_2\|_{L^2(\beta)} \textrm{ since $\beta$ is
1941: uniform on $B$, }\\& = &
1942: \left(\alpha_1(1-\alpha_1)\alpha_2(1-\alpha_2)\right)^{\frac{1}{2}}
1943: \leq \sqrt{\alpha_1\alpha_2}=\alpha,
1944: \end{eqnarray*}
1945: so applying the triangle inequality to (\ref{leverage here}) we
1946: conclude that
1947: \begin{equation*}
1948: \sup_{\gamma \in \wh{G}}{|\wh{f_3d\beta'}(\gamma)|
1949: ...|\wh{f_md\beta'}(\gamma)|}\geq
1950: \frac{\alpha\alpha_3...\alpha_m}{4}.
1951: \end{equation*}
1952: It follows that for some $k$ with $3 \leq k \leq m$ we have
1953: \begin{equation*}
1954: \sup_{\gamma \in \wh{G}}{|\wh{f_kd\beta'}(\gamma)|^{m-2}} \geq
1955: \frac{\alpha_k^{m-2}\alpha}{4}.
1956: \end{equation*}
1957: Apply Lemma \ref{linfty density} to get the lemma.
1958: \end{proof}
1959:
1960: \begin{lemma}\label{techlem5}
1961: Suppose that $G$ is a compact Abelian group, $B(\Gamma,\delta)$ and
1962: $B(\Gamma,\delta')$ are regular Bohr sets, $A_1,A_2 \subset
1963: B(\Gamma,\delta)$ have relative density $\alpha_1$ and $\alpha_2$
1964: respectively, and $A_3,...,A_m,S \subset B(\Gamma,\delta')$ have
1965: relative density $\alpha_3,...,\alpha_m$ and $\sigma>0$
1966: respectively. Write $f_i:=(\chi_{A_i}-\alpha_i)\chi_B$ for $1 \leq i
1967: \leq 2$, $f_i:=(\chi_{A_i}-\alpha_i)\chi_{B'}$ for $3 \leq i \leq
1968: m$, and
1969: \begin{equation*}
1970: S_j:=-f_1 \ast f_2d\beta \ast f_3d\beta' \ast ... \ast
1971: f_{j-1}d\beta' \ast \alpha_j\beta' \ast \chi_{A_{j+1}}d\beta' \ast
1972: ... \ast \chi_{A_m}d\beta'
1973: \end{equation*}
1974: for $3 \leq j \leq m$. If
1975: \begin{equation*}
1976: |\langle S_j,\chi_S \rangle_{L^2(\beta')}| \geq \frac{\sigma
1977: \alpha_1...\alpha_m}{2^j}
1978: \end{equation*}
1979: then either
1980: \begin{enumerate}
1981: \item there is a $k$ with $3 \leq k \leq j-1$, a set of characters
1982: $\Gamma'$ and a $\delta'' \leq \delta'$ regular for $\Gamma'$ such
1983: that
1984: \begin{equation*}
1985: |\Gamma'| \leq |\Gamma|+1, \delta'' \gg \frac{\alpha_k\delta'}{d}
1986: \textrm{ and } \|\chi_{A_k} \ast \beta_{\Gamma',\delta''}\|_\infty
1987: \geq \alpha_k(1+2^{-4});
1988: \end{equation*} \item or there is an $k$ with $1 \leq k \leq 2$ and a $\delta'' \leq \delta'$ regular for $\Gamma$ such that
1989: \begin{equation*}
1990: \delta'' \gg \min\{\frac{\alpha\delta'}{d},\frac{\alpha_k
1991: \delta}{d}\} \textrm{ and } \|\chi_{A_k} \ast
1992: \beta_{\Gamma,\delta''}\|_\infty \geq \alpha_k(1+2^{-7}).
1993: \end{equation*}
1994: \end{enumerate}
1995: \end{lemma}
1996: \begin{proof}
1997: Plancherel's theorem gives
1998: \begin{equation*}
1999: \langle S_j,\chi_S \rangle_{L^2(\beta')} = \sum_{\gamma \in
2000: \wh{G}}{\wh{S_j}(\gamma)\overline{\wh{\chi_Sd\beta'}(\gamma)}}.
2001: \end{equation*}
2002: Recalling that $|\wh{\chi_Sd\beta'}(\gamma)| \leq
2003: \|\chi_S\|_{L^1(\beta')} = \sigma$, we may apply the triangle
2004: inequality to get
2005: \begin{equation*}
2006: |\langle S_j,\chi_S \rangle_{L^2(\beta')}| \leq \sigma\sum_{\gamma
2007: \in \wh{G}}{|\wh{S_j}(\gamma)|}.
2008: \end{equation*}
2009: If we now use the assumption on the magnitude of the inner product
2010: and divide by $\sigma$ (which is possible since $\sigma>0$) we get
2011: \begin{equation}\label{Fourier offset}
2012: 2^{-j}\alpha_1...\alpha_{m} \leq \sum_{\gamma \in
2013: \wh{G}}{\left\{\begin{aligned}
2014: |\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)||\wh{f_3d\beta'}(\gamma)|...
2015: |\wh{f_{j-1}d\beta'}(\gamma)|\\ \times
2016: |\alpha_j\wh{\beta'}(\gamma)||\wh{\chi_{A_{j+1}}d\beta'}(\gamma)|...
2017: |\wh{\chi_{A_m}d\beta'}(\gamma)|
2018: \end{aligned}\right\}}.
2019: \end{equation}
2020: First we note that $|\wh{\chi_{A_{k}}d\beta'}(\gamma)| \leq
2021: \alpha_k$ for $j+1\leq k \leq m$. Second if there is some $k$ with
2022: $3 \leq k \leq j-1$ such that $|\wh{f_kd\beta'}(\gamma)| \geq
2023: \alpha_k/2$ then we may apply Lemma \ref{linfty density} to get the
2024: density increment in the first case of the conclusion of the lemma.
2025: Hence we assume that $|\wh{f_kd\beta'}(\gamma)| \leq \alpha_k/2$ for
2026: all $k$ with $3 \leq k \leq j-1$. These two observations serve to
2027: tell us that each summand in (\ref{Fourier offset}) is bounded above
2028: by
2029: \begin{equation*}
2030: |\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)||\wh{\beta'}(\gamma)|
2031: 2^{-(j-3)}\alpha_3...\alpha_m.
2032: \end{equation*}
2033: Hence
2034: \begin{equation}\label{sft}
2035: 2^{-3}\alpha_1\alpha_2 \leq \sum_{\gamma \in
2036: \wh{G}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)||\wh{\beta'}(\gamma)|}.
2037: \end{equation}
2038: The characters at which $|\wh{\beta'}(\gamma)|$ is large make a
2039: significant contribution to this sum, which we can see as follows.
2040: Write
2041: \begin{equation*}
2042: \mathcal{L}:=\{\gamma \in \wh{G}:|\wh{\beta'}(\gamma)| \geq
2043: 2^{-4}\sqrt{\alpha_1\alpha_2}\}.
2044: \end{equation*}
2045: Then
2046: \begin{equation}\label{smallchars}
2047: \sum_{\gamma \not\in
2048: \mathcal{L}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)||\wh{\beta'}(\gamma)|}
2049: \leq 2^{-4}\sqrt{\alpha_1\alpha_2} \sum_{\gamma \in
2050: \wh{G}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)|}.
2051: \end{equation}
2052: Now by the Cauchy-Schwarz inequality and Plancherel's theorem we
2053: have
2054: \begin{eqnarray*}
2055: \sum_{\gamma \not \in
2056: \mathcal{L}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)|} & \leq &
2057: \left(\sum_{\gamma \in
2058: \wh{G}}{|\wh{f_1}(\gamma)|^2}\right)^{\frac{1}{2}}\left(\sum_{\gamma
2059: \in \wh{G}}{|\wh{f_2d\beta}(\gamma)|^2}\right)^{\frac{1}{2}}\\
2060: & = & \|f_1\|_2\|f_2d\beta\|_2\\ & = &
2061: \|f_1\|_{L^2(\beta)}\|f_2\|_{L^2(\beta)} \textrm{ since $\beta$ is
2062: uniform on $B$, }\\& = &
2063: \left(\alpha_1(1-\alpha_1)\alpha_2(1-\alpha_2)\right)^{\frac{1}{2}}
2064: \leq \sqrt{\alpha_1\alpha_2}.
2065: \end{eqnarray*}
2066: We can use this in (\ref{smallchars}) to see that
2067: \begin{equation*}
2068: \sum_{\gamma \not\in
2069: \mathcal{L}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)||\wh{\beta'}(\gamma)|}
2070: \leq 2^{-4}\alpha_1\alpha_2
2071: \end{equation*}
2072: and hence by (\ref{sft}) that
2073: \begin{equation*}
2074: \sum_{\gamma \in
2075: \mathcal{L}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)||\wh{\beta'}(\gamma)|}
2076: \geq 2^{-4}\alpha_1\alpha_2.
2077: \end{equation*}
2078: Apply Lemma \ref{nestsupport} to get a $\delta''_0 \gg
2079: \sqrt{\alpha_1\alpha_2}\delta'/d$ such that for all $\delta'' \leq
2080: \delta''_0$
2081: \begin{eqnarray*}
2082: \mathcal{L} & \subset & \{ \gamma \in \wh{G}: |1 - \gamma(x)| \leq
2083: 1/2 \textrm{ for all } x \in B(\Gamma,\delta'')\}\\ & \subset &
2084: \{\gamma \in\wh{G}: |\wh{\beta_{\Gamma,\delta''}}(\gamma)| \geq
2085: 1/2\}.
2086: \end{eqnarray*}
2087: Write $\beta''$ for $\beta_{\Gamma,\delta''}$. Now, if $\gamma \in
2088: \mathcal{L}$ we have
2089: \begin{equation*}
2090: |\wh{\beta''}(\gamma)|^2 \geq |\wh{\beta'}(\gamma)|/4,
2091: \end{equation*}
2092: so
2093: \begin{equation*}
2094: \sum_{\gamma \in
2095: \wh{G}}{|\wh{f_1}(\gamma)||\wh{f_2d\beta}(\gamma)||\wh{\beta''}(\gamma)|^2}
2096: \geq 2^{-6}\alpha_1\alpha_2.
2097: \end{equation*}
2098: Now applying the Cauchy-Schwarz inequality and Plancherel's theorem
2099: as before, we get that the sum on the left bounded above by
2100: \begin{eqnarray*}
2101: & & \left(\sum_{\gamma \in
2102: \wh{G}}{|\wh{f_1}(\gamma)\wh{\beta''}(\gamma)|^2}\right)^{\frac{1}{2}}\left(\sum_{\gamma
2103: \in \wh{G}}{|\wh{f_2d\beta}(\gamma)\wh{\beta''}(\gamma)|^2}\right)^{\frac{1}{2}}\\
2104: & = & \|f_1\ast \beta''\|_2\|(f_2d\beta)\ast \beta''\|_{2}\\
2105: & = & \langle f_1 \ast \beta'', (f_1d\beta) \ast
2106: \beta''\rangle^{\frac{1}{2}}\langle f_2 \ast \beta'', (f_2d\beta)
2107: \ast \beta''\rangle^{\frac{1}{2}} \textrm{ since $\beta$ is uniform
2108: on $B(\Gamma,\delta)$}.
2109: \end{eqnarray*}
2110: Hence
2111: \begin{equation*}
2112: \langle f_1 \ast \beta'', (f_1d\beta) \ast
2113: \beta''\rangle^{\frac{1}{2}}\langle f_2 \ast \beta'', (f_2d\beta)
2114: \ast \beta''\rangle^{\frac{1}{2}} \geq 2^{-6}\alpha_1\alpha_2.
2115: \end{equation*}
2116: It follows that there is some $k$ with $1 \leq k \leq 2$ such that
2117: \begin{equation*}
2118: \langle f_k \ast \beta'', (f_kd\beta) \ast \beta''\rangle \geq
2119: 2^{-6}\alpha_k^2,
2120: \end{equation*}
2121: and applying Lemma \ref{l2 density} we get
2122: \begin{equation*}
2123: \|\chi_{A_k} \ast \beta''\|_\infty \geq \alpha_k(1+2^{-6}) +
2124: O(d\delta''\delta^{-1}).
2125: \end{equation*}
2126: It follows from Proposition \ref{ubreg} that there is a choice of
2127: $\delta''$ regular for $\Gamma$ such that
2128: \begin{equation*}
2129: \min\{\delta_0'',\delta'\} \geq \delta'' \gg \min\{\delta''_0,\delta
2130: \alpha_k/d\} \textrm{ and } \|\chi_{A_k} \ast \beta''\|_\infty \geq
2131: \alpha_k(1+2^{-7}).
2132: \end{equation*}
2133: This gives the second conclusion of the lemma once we note that
2134: $\alpha_1\alpha_2 \geq \alpha^2$.
2135: \end{proof}
2136:
2137: It is a simple matter to, as before, iterate this lemma.
2138:
2139: \begin{proof}
2140: [Proof of Theorem \ref{aaageneral}.] We construct a sequence of
2141: regular Bohr sets $B(\Gamma_k,\delta_k)$ iteratively. Write
2142: \begin{equation}
2143: \beta_k=\beta_{\Gamma_k,\delta_k}, d_k:=|\Gamma_k| \textrm{ and }
2144: \alpha_k = \left(\prod_{i=1}^m{\|\chi_{A_i} \ast
2145: \beta_k\|_\infty}\right)^{\frac{1}{m}}.
2146: \end{equation}
2147: We initialize the iteration with $\Gamma_0=\{0_{\wh{G}}\}$ and
2148: $\delta_0\gg 1$ regular for $\Gamma_0$ by Proposition \ref{ubreg}.
2149:
2150: Suppose that we are at stage $k$ of the iteration. Since
2151: $B(\Gamma_k,\delta_k)$ has positive measure $\chi_{A_i} \ast
2152: \beta_k$ is continuous and hence we make take $x_1,...,x_m$ such
2153: that
2154: \begin{equation*}
2155: \chi_{A_i} \ast \beta_k(x_i) = \|\chi_{A_i} \ast \beta_k\|_\infty.
2156: \end{equation*}
2157: Now we apply the iteration lemma to the sets $(A_1-x_1)\cap
2158: B(\Gamma_k,\delta_k),(A_2-x_2)\cap
2159: B(\Gamma_k,\delta_k),...,(A_m-x_m)\cap B(\Gamma_k,\delta_k)$ and
2160: the regular Bohr set $B(\Gamma_k,\delta_k)$.
2161: \begin{enumerate}
2162: \item Either $A_1+...+A_m$ contains (up to a null set) a translate
2163: of a Bohr set $B(\Gamma_k,\delta_k')$ with $\delta_k' \gg
2164: \alpha_k^{2m}\delta_k/md_k$. \item Or there is a regular Bohr set
2165: $B(\Gamma_{k+1},\delta_{k+1})$ such that
2166: \begin{equation*}
2167: \alpha_{k+1} \geq
2168: \alpha_k\left(1+\frac{\alpha_k^{\frac{1}{m-2}}}{2^8m}\right),
2169: \delta_{k+1} \gg \frac{\alpha_k^{3m}\delta_k}{m d_k^2} \textrm{
2170: and } d_{k+1} - d_k \leq 1.
2171: \end{equation*}
2172: \end{enumerate}
2173: From these last expressions we conclude that after at most
2174: $2^8m\alpha_k^{-\frac{1}{m-2}}$ iterations the density doubles and
2175: so the iteration terminates and moreover
2176: \begin{equation*}
2177: d_k \leq \sum_{j=0}^{\log_2\alpha^{-1}}
2178: {2^8m(2^j\alpha)^{-\frac{1}{m-2}}} \leq \sum_{j=0}^{\infty}
2179: {2^8m(2^j\alpha)^{-\frac{1}{m-2}}} \ll m^2\alpha^{-\frac{1}{m-2}},
2180: \end{equation*}
2181: and hence
2182: \begin{equation*}
2183: \delta_k \gg \left(c\alpha\right)^{Cm^3 \alpha^{-\frac{1}{m-2}}}
2184: \end{equation*}
2185: for some absolute constants $C,c>0$.
2186:
2187: For the iteration to terminate we must have arrived at the first
2188: case at some point and the conclusion follows.
2189: \end{proof}
2190:
2191: \section*{Acknowledgments}
2192: I should like to thank Tim Gowers and Ben Green for supervision and
2193: reading the drafts of this paper and an anonymous referee for some
2194: very useful suggestions for clarification.
2195:
2196: \bibliographystyle{alpha}
2197:
2198: \bibliography{master}
2199:
2200: \end{document}
2201: