Abstract:We investigate subsets with small sumset in arbitrary abelian groups. For an abelian group $G$ and an $n$-element subset $Y \subseteq G$ we show that if $m \ll s^2/(\log n)^2$, then the number of subsets $A \subseteq Y$ with $|A| = s$ and $|A + A| \leq m$ is at most \[2^{o(s)}\binom{\frac{m+\beta}{2}}{s},\] where $\beta$ is the size of the largest subgroup of $G$ of size at most $\left(1+o(1)\right)m$. This bound is sharp for $\mathbb{Z}$ and many other groups. Our result improves the one of Campos and nearly bridges the remaining gap in a conjecture of Alon, Balogh, Morris, and Samotij. We also explore the behaviour of uniformly chosen random sets $A \subseteq \{1,\ldots,n\}$ with $|A| = s$ and $|A + A| \leq m$. Under the same assumption that $m \ll s^2/(\log n)^2$, we show that with high probability there exists an arithmetic progression $P \subseteq \mathbb{Z}$ of size at most $m/2 + o(m)$ containing all but $o(s)$ elements of $A$. Analogous results are obtained for asymmetric sumsets, improving results by Campos, Coulson, Serra, and Wötzel. The main tool behind our proofs is a graph container theorem combined with a variant of an asymmetric hypergraph container theorem.

Achievement sets of series in $\mathbb{R}^2$

Algebraic sums of achievable sets involving Cantorvals

The Achievement Set of Generalized Multigeometric Sequences

On the structures of subset sums in higher dimension

A counterexample to the Karvatskyi--Pratsiovytyi conjecture concerning the achievement set of an intermediate series

Sumsets and Projective Curves

Colorful and Quantitative Variations of Krasnosselsky's Theorem

Abundance of arithmetic progressions in $\mathcal{CR}$-sets

On the distribution of subset sums of certain sets in $\mathbb{Z}^2_p$

Vanishing of Poincaré series for congruence subgroups

On the Lebesgue measure of one generalised set of subsums of geometric series

On the number of sets with small sumset

Sumsets in the Hypercube

Large sum-free sets in finite vector spaces I

Inverse Additive Problems for Minkowski Sumsets I

Pascal arrays: counting Catalan sets

How large is the space of almost convergent sequences?

On the dimension of iterated sumsets

On the set of points represented by harmonic subseries

Poc Sets, Median Algebras and Group Actions