Polynomial growth of iterated sumsets

ID: polynomial-growth-of-iterated-sumsets

For a finite nonempty subset of an abelian group with doubling constant at most , the Plünnecke-Ruzsa inequality gives . Applying the Ruzsa covering lemma to using gives for and . Thus , and counting multiplicities in the finite set proves the displayed polynomial bound. For fixed , it is eventually at most for every .

New to topics? Read the docs here!