Relative sizes of iterated sumsets (Q7019151)

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\).