On the density of sumsets, II

Abstract

Arithmetic quasi-densities are a large family of real-valued set functions partially defined on the power set of $\mathbb{N}$, including the asymptotic density, the Banach density, the analytic density, etc. Let $B \subseteq \mathbb{N}$ be a non-empty set covering $o(n!)$ residue classes modulo $n!$ as $n\to \infty$ (e.g., the primes or the perfect powers). We show that, for each $α\in [0,1]$, there is a set $A\subseteq \mathbb{N}$ such that, for every arithmetic quasi-density $μ$, both $A$ and the sumset $A+B$ are in the domain of $μ$ and, in addition, $μ(A + B) = α$. The proof relies on the properties of a little known density first considered by Buck in 1946.