Finer Control on Relative Sizes of Iterated Sumsets

Abstract

Inspired by recent questions of Nathanson, we show that for any infinite abelian group $G$ and any integers $m_1, \ldots, m_H$, there exist finite subsets $A,B \subseteq G$ such that $|hA|-|hB|=m_h$ for each $1 \leq h \leq H$. We also raise, and begin to address, questions about the smallest possible cardinalities and diameters of such sets $A,B$.