Bounds in Cohen's idempotent theorem
We show that if is a finite Abelian group and is an integer-valued map on with algebra norm at most then there is some , cosets of (possibly different) subgroups , and such that .
Source author record
Tom Sanders
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
28works
3topics
2close collaborators
Published work
28 publications
preprint2020arXiv
On monochromatic solutions to x−y=z2
For k∈N, write S(k) for the largest natural number such that there is a k-colouring of {1,…,S(k)} with no monochromatic solution to x−y=z2. That S(k) exists is a result of Bergelson, and a simple example shows that S(k)≥22k−1. The purpose of this note is to show that S(k)≤222O(k).
Open access
preprint2019arXiv
The coset and stability rings
We show that if G is a discrete Abelian group and A⊂G has ∥1A∥B(G)≤M then A is O(exp(πM))-stable in the sense of Terry and Wolf.
Open access
preprint2019arXiv
The stability of finite sets in dyadic groups
We show that there is an absolute c>0 such that any subset of F2∞ of size N is O(N1−c)-stable in the sense of Terry and Wolf. By contrast a size N arithmetic progression in the integers is not N-stable.
Open access
preprint2016arXiv
A statistical approach to covering lemmas
We discuss a statistical variant of Ruzsa's covering lemma and use it to show that if G is an Abelian group of bounded exponent and A in G has |A+A| < K|A| then the subgroup generated by A has size at most exp(O(K log^22K))|A|, where the constant in the big-O depends on the exponent of the group only.
Open access
preprint2016arXiv
Fourier uniformity on subspaces
Let F be a fixed finite field, and let A⊂Fn. It is a well-known fact that there is a subspace V≤Fn, $\mbox{codim} V \ll_δ 1$, and an x, such that A is δ-uniform when restricted to x+V (that is, all non-trivial Fourier coefficients of A restricted to x+V have magnitude at most δ). We show that if F=F2 then it is possible to take x=0; that is, A is δ-uniform on a subspace V≤Fn. We give an example to show that this is not necessarily possible when F=F3. ADDED July 2016: shortly after this paper appeared on the arxiv, F. Manners showed us a rather short argument he had found in 2013, giving a better bound for our main theorem. We do not, therefore, intend to publish this note. The example over F3 may still be of interest to some readers and so we will not withdraw the paper from the arxiv.
Open access
preprint2012arXiv
An analytic approach to a weak non-Abelian Kneser-type theorem
We prove the following result due to Hamidoune using an analytic approach. Suppose that A is a subset of a finite group G with |AA^{-1}| \leq (2-\varepsilon)|A|. Then there is a subgroup H of G and a set X of size O_\varepsilon(1) such that A \subset XH.
Open access
preprint2012arXiv
Approximate groups and doubling metrics
We develop a version of Freiman's theorem for a class of non-abelian groups, which includes finite nilpotent, supersolvable and solvable A-groups. To do this we have to replace the small doubling hypothesis with a stronger relative polynomial growth hypothesis akin to that in Gromov's theorem (although with an effective range), and the structures we find are balls in (left and right) translation invariant pseudo-metrics with certain well behaved growth estimates. Our work complements three other recent approaches to developing non-abelian versions of Freiman's theorem by Breuillard and Green, Fischer, Katz and Peng, and Tao.
Open access
preprint2012arXiv
On the Bogolyubov-Ruzsa lemma
Our main result is that if A is a finite subset of an abelian group with |A+A| < K|A|, then 2A-2A contains an O(log^{O(1)} K)-dimensional coset progression M of size at least exp(-O(log^{O(1)} K))|A|.
Open access
preprint2012arXiv
The structure theory of set addition revisited
In this article we survey some of the recent developments in the structure theory of set addition.
Open access
preprint2011arXiv
On a theorem of Shkredov
We show that if A is a finite subset of an abelian group with additive energy at least c|A|^3 then there is a subset L of A with |L|=O(c^{-1}\log |A|) such that |A \cap Span(L)| >> c^{1/3}|A|.
Open access
preprint2011arXiv
On certain other sets of integers
We show that if A is a subset of {1,...,N} containing no non-trivial three-term arithmetic progressions then |A|=O(N/ log^{3/4-o(1)} N).
Open access
preprint2011arXiv
On Roth's theorem on progressions
We show that if A is a subset of {1,...,N} contains no non-trivial three-term arithmetic progressions then |A|=O(N/ log^{1-o(1)} N). The approach is somewhat different from that used in arXiv:1007.5444.
Open access
preprint2011arXiv
Popular difference sets
We provide further explanation of the significance of a construction in a recent paper of Wolf [Israel J. Math. 179 (2010), 253-278] in the context of the problem of finding large subspaces in sumsets.
Open access
preprint2010arXiv
A Freiman-type theorem for locally compact abelian groups
We prove a Freiman-type theorem for locally compact abelian groups. If A is a subset of a locally compact abelian group with Haar measure m and m(nA) < n^dm(A) for all n>d log d then we describe A in a way which is tight up to logarithmic factors in d.
Open access
preprint2010arXiv
A note on Freiman's theorem in vector spaces
We show that if A is a subset of F_2^n and |A+A| < K|A| then A is contained in a subspace of size at most 2^{O(K^{3/2}log K)}|A|. This improves on the previous best of 2^{O(K^2)}.
Open access
preprint2010arXiv
A quantitative version of the non-abelian idempotent theorem
Suppose that G is a finite group and A is a subset of G such that 1_A has algebra norm at most M. Then 1_A is a plus/minus sum of at most L cosets of subgroups of G, and L can be taken to be triply tower in O(M). This is a quantitative version of the non-abelian idempotent theorem.
Open access
preprint2010arXiv
Additive structures in sumsets
Suppose that A is a subset of the integers {1,...,N} of density a. We provide a new proof of a result of Green which shows that A+A contains an arithmetic progression of length exp(ca(log N)^{1/2}) for some absolute c>0. Furthermore we improve the length of progression guaranteed in higher sumsets; for example we show that A+A+A contains a progression of length roughly N^{ca} improving on the previous best of N^{ca^{2+ε}}.
Open access
preprint2010arXiv
Appendix to 'Roth's theorem on progressions revisited' by J Bourgain
We show two results. First, a refinement of Freiman's theorem: if A is a finite set of integers and |A+A| < K|A|, then A is contained in a multidimensional progression of dimension at most O(K^{7/4} log^3K) and size at most exp(O(K^{7/4} log^3K))|A|. Secondly, an improvement of a result of Konyagin and Laba: if A is a finite set of reals and a is a transcendental then |A+aA| >> |A|(log |A|)^{4/3-ε} for all ε>0.
Open access
preprint2010arXiv
Boolean functions with small spectral norm
Suppose that f is a boolean function from F_2^n to {0,1} with spectral norm (that is the sum of the absolute values of its Fourier coefficients) at most M. We show that f may be expressed as +/- 1 combination of at most 2^(2^(O(M^4))) indicator functions of subgroups of F_2^n.
Open access
preprint2010arXiv
Difference sets and the primes
Suppose that A is a subset of {1,...,N} such that the difference between any two elements of A is never one less than a prime. We show that |A| = O(N exp(-c(log N)^{1/4})) for some absolute c>0.
Open access
preprint2010arXiv
Green's sumset problem at density one half
We investigate the size of subspaces in sumsets and show two main results. First, if A is a subset of F_2^n with density at least 1/2 - o(n^{-1/2}) then A+A contains a subspace of co-dimension 1. Secondly, if A is a subset of F_2^n with density at least 1/2-o(1) then A+A contains a subspace of co-dimension o(n).
Open access
preprint2010arXiv
On a non-abelian Balog-Szemeredi-type lemma
We show that if G is a group and A is a finite subset of G with |A^2| < K|A|, then for all k there is a symmetric neighbourhood of the identity S with S^k a subset of A^2A^{-2} and |S| > exp(-K^{O(k)})|A|.
Open access
preprint2010arXiv
Roth's theorem in Z_4^n
We show that if A is a subset of Z_4^n containing no three-term arithmetic progression in which all the elements are distinct then |A|=o(4^n/n).
Open access
preprint2010arXiv
The l^1-norm of the Fourier transform on compact vector spaces
Suppose that A is a subset of F_2^n of density as close to 1/3 as possible. We show that the A(F_2^n)-norm (that is the sum of the absolute values of the Fourier transform) of the characterstic function of A is bounded below by an absolute constant times log n as n tends to infinity.
Open access
preprint2010arXiv
The Littlewood-Gowers problem
We show that if A is a subset of Z/pZ (p a prime) of density bounded away from 0 and 1 then the A(Z/pZ)-norm (that is the l^1-norm of the Fourier transform) of the characterstic function of A is bounded below by an absolute constant times (log p)^{1/2 - ε} as p tends to infinity. This improves on the exponent 1/3 in recent work of Green and Konyagin.
Open access
preprint2010arXiv
Three-term arithmetic progressions and sumsets
Suppose that G is an abelian group and A is a finite subset of G containing no three-term arithmetic progressions. We show that |A+A| >> |A|(log |A|)^{1/3-ε} for all ε>0.
Open access
preprint2007arXiv
A quantitative version of the idempotent theorem in harmonic analysis
Suppose that G is a locally compact abelian group, and write M(G) for the algebra of bounded, regular, complex-valued measures under convolution. A measure μin M(G) is said to be idempotent if μ* μ= μ, or alternatively if the Fourier-Stieltjes transform μ^ takes only the values 0 and 1. The Cohen-Helson-Rudin idempotent theorem states that a measure μis idempotent if and only if the set {r in G^ : μ^(r) = 1} belongs to the coset ring of G^, that is to say we may write μ^ as a finite plus/minus 1 combination of characteristic functions of cosets r_j + H_j, where the H_j are open subgroups of G^. In this paper we show that the number L of such cosets can be bounded in terms of the norm ||μ||, and in fact one may take L <= \exp\exp(C||μ||^4). In particular our result is non-trivial even for finite groups.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.