Plünnecke inequalities for countable abelian groups

Abstract

We establish in this paper a new form of Plünnecke-type inequalities for ergodic probability measure-preserving actions of any countable abelian group. Using a correspondence principle for product sets, this allows us to deduce lower bounds on the upper and lower Banach densities of any product set in terms of the upper Banach density of an iterated product set of one of its addends. These bounds are new already in the case of the integers. We also introduce the notion of an ergodic basis, which is parallel, but significantly weaker than the analogous notion of an additive basis, and deduce Plünnecke bounds on their impact functions with respect to both the upper and lower Banach densities on any countable abelian group.

23 pages, no figures. This expanded version contains an additional theorem and its proof; the abstract has been changed. Another appendix has been added