On the density of sumsets (Q2145919)

One can note authors' description of the present research: ``Recently introduced by the authors in [Proc. Edinb. Math. Soc. 60, 139--167 (2020; Zbl 1442.11019)], quasi-densities form a large family of real-valued functions partially defined on the power set of the integers that serve as a unifying framework for the study of many known densities (including the asymptotic density, the Banach density, the logarithmic density, the analytic density, and the Pólya density). We further contribute to this line of research by proving that (i) for each \(n \in \mathbb N^+\) and \(\alpha \in [0,1]\), there is \(A \subseteq \mathbb{N}\) with \(kA \in \text{dom}(\mu)\) and \(\mu(kA) = \alpha k/n\) for every quasi-density \(\mu\) and every \(k=1,\ldots, n\), where \(kA:=A+\cdots+A\) is the \(k\)-fold sumset of \(A\) and \(\text{dom}(\mu)\) denotes the domain of definition of \(\mu\); (ii) for each \(\alpha \in [0,1]\) and every non-empty finite \(B\subseteq \mathbb{N}\), there is \(A \subseteq \mathbb{N}\) with \(A+B \in \mathrm{dom}(\mu)\) and \(\mu(A+B)=\alpha\) for every quasi-density \(\mu\); (iii) for each \(\alpha \in [0,1]\), there exists \(A\subseteq \mathbb{N}\) with \(2A = \mathbb{N}\) such that \(A \in \text{dom}(\mu)\) and \(\mu(A) = \alpha\) for every quasi-density \(\mu\). Proofs rely on the properties of a little known density first considered by R.\,C.~Buck and the ``structure'' of the set of all quasi-densities; in particular, they are rather different than previously known proofs of special cases of the same results.'' The special attention is given to auxiliary notions, to a brief survey of related known results, and to the motivation of this research. One can note the following notions which are recalled: sumsets, asymptotic density, and the lower asymptotic density, as well as the Schnirelmann density, quasi-densities, and the Buck density, etc. Also, an auxiliary non-standard positional representation of real numbers is considered. Finally, the authors give few remarks which are related to some obtained results.