Near optimal bounds in Freiman's theorem

  title={Near optimal bounds in Freiman's theorem},
  author={Tomasz Schoen},
  journal={Duke Mathematical Journal},
  • T. Schoen
  • Published 15 May 2011
  • Mathematics
  • Duke Mathematical Journal
We prove that if for a finite set A of integers we have |A+A| ≤ K|A|, then A is contained in a generalized arithmetic progression of dimension at most K −1/2 and size at most exp(K −1/2 )|A| for some absolute constant C. We also discuss a number of applications of this result. 
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|.
Additive Volume of Sets Contained in Few Arithmetic Progressions
The formula for the largest volume of a finite set of integers with given cardinality and doubling is extended to sets of every dimension and proved for sets composed of three segments, giving structural results for the extremal case.
Large values of the additive energy in R
Combining Freiman’s theorem with Balog–Szemerédi–Gowers theorem one can show that if an additive set has large additive energy, then a large piece of the set is contained in a generalized arithmetic
Small Doubling in Groups
Let A be a subset of a group G = (G; ·). We will survey the theory of sets A with the property that |A · A|≤K|A|, where A · A = {a1a2: a1; a2 ∈ A}. The case G = (ℤ; +) is the famous Freiman-Ruzsa
A statistical approach to covering lemmas
Some new inequalities in additive combinatorics
In the paper we find new inequalities involving the intersections $A\cap (A-x)$ of shifts of some subset $A$ from an abelian group. We apply the inequalities to obtain new upper bounds for the
We prove some new bounds for the size of the maximal dissociated subset of structured (having small sumset, large energy and so on) subsets of an abelian group.
Roth’s theorem in many variables
We prove that if A ⊆ {1, ..., N} has no nontrivial solution to the equation x1 + x2 + x3 + x4 + x5 = 5y, then $|A| \ll Ne^{ - c(\log N)^{1/7} } $, c > 0. In view of the well-known Behrend
On additive shifts of multiplicative subgroups
It is proved that for an arbitrary subgroup and any distinct nonzero elements we have under the condition that , where , are some sequences of positive numbers such that as . Furthermore, it is shown
An elementary additive doubling inequality
We prove an elementary additive combinatorics inequality, which says that if $A$ is a subset of an Abelian group, which has, in some strong sense, large doubling, then the difference set A-A has a


Freiman's theorem in an arbitrary abelian group
A famous result of Freiman describes the structure of finite sets A ⊆ ℤ with small doubling property. If |A + A| ⩽ K|A|, then A is contained within a multidimensional arithmetic progression of
Finite and infinite arithmetic progressions in sumsets
We prove that if A is a subset of at least cn1/2 elements of {1, . . . , n}, where c is a sufficiently large constant, then the collection of subset sums of A contains an arithmetic progression of
A new proof of Szemerédi's theorem
In 1927 van der Waerden published his celebrated theorem on arithmetic progressions, which states that if the positive integers are partitioned into finitely many classes, then at least one of these
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| > |A|(log |A|)^{4/3-\epsilon} for all \epsilon>0.
Finite field models in additive combinatories
The study of many problems in additive combinatorics, such as Szemer\'edi's theorem on arithmetic progressions, is made easier by first studying models for the problem in F_p^n for some fixed small
On Additive Doubling and Energy
It is shown that there is a universal $\epsilon>0$ so that any subset of an abelian group with subtractive doubling $K$ must be polynomially related to a set with additive energy at least $\frac{1}{K^{1-\ep silon}}$.
A polynomial bound in Freiman's theorem
.Earlier bounds involved exponential dependence in αin the second estimate. Ourargument combines I. Ruzsa’s method, which we improve in several places, as well asY. Bilu’s proof of Freiman’s
Some consequences of the Polynomial Freiman–Ruzsa Conjecture
Appendix to ‘Roth’s theorem on progressions revisited,’ by
The previous best estimates are due to Chang [Cha02] who showed the above result (up to logarithmic factors) with 2 in place of 7/4. Note that one cannot hope to improve the dimension bound past ⌊K −