Relative sizes of iterated sumsets
Let \(G\) be an abelian group and \(A_1,\dots, A_n\) be some finite subsets of \(G\). Take a positive integer \(h\) and form the following tuple \((|hA_1|, \dots, |hA_n|)\), where \(hA:= \{ a_1+\dots+a_h : a_j\in A\}\) is the \(h\)-sumset of \(A\). Suppose that all numbers \(|hA_1|, \dots, |hA_n|\) are distinct. Also, let \(\sigma \in S_n\) be a permutation on \(\{1,\dots,n\}\). We say that \(\sigma\) and \((|hA_1|, \dots, |hA_n|)\) have the same relative order if \(\sigma(i) < \sigma(j)\) iff \(|hA_i| < |hA_j|\) for all \(i,j\in \{1,\dots, n\}\). Answering a question of M. Nathanson the author proves, in particular,\N\NTheorem. Let \(n,H\) be positive integers. Then for every sufficiently large abelian group \(G\) and any permutations \(\sigma_1,\dots,\sigma_H \in S_n\), there are finite sets \(A_1,\dots, A_n \subseteq G\) such that \((|hA_1|, \dots, |hA_n|)\) has the same relative order as \(\sigma_h\), where \(h=1,\dots, H\).
- Growth of sumsets in Abelian semigroups
- Newton polyhedron, Hilbert polynomial, and sums of finite sets
- Polynomial growth of sumsets in abelian semigroups
- Sums of Finite Sets of Integers
- Sums of finite sets, orbits of commutative semigroups, and Hilbert functions
- The Plünnecke-Ruzsa inequality: an overview
This page was built for publication: Relative sizes of iterated sumsets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7019151)
