Arithmetic progressions in sets of small doubling
Abstract
We show that if a finite, large enough subset A of an arbitrary abelian group satisfies the small doubling condition |A + A| < (log |A|)^{1 - epsilon} |A|, then A must contain a three-term arithmetic progression whose terms are not all equal, and A + A must contain an arithmetic progression or a coset of a subgroup, either of which of size at least exp^[ c (log |A|)^{delta} ]. This extends analogous results obtained by Sanders and, respectively, by Croot, Laba and Sisask in the case where the group is that of the integers or a finite field.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2013
- DOI:
- 10.48550/arXiv.1308.5248
- arXiv:
- arXiv:1308.5248
- Bibcode:
- 2013arXiv1308.5248H
- Keywords:
-
- Mathematics - Combinatorics;
- Mathematics - Number Theory;
- 11B30
- E-Print:
- 30 pages, improved exposition