Additive complements for a given asymptotic density (Q2222877)

For subsets \(A,B\) of \(\mathbb N\) put \(A+B=\{a+b:\ a\in A, b\in B\}\), \(2A=A+A\) and \(jA=(j-1)A+A\) and denote by \(d(X)\) the natural density of \(X\in\mathbb N\) if it exists. The authors introduce the question, whether for every set \(B\in\mathbb N\) with \(d(B)=0\) there exists \(A\in\mathbb N\) with \(d(A+B)=1/2\), and answer it positively in case of finite \(B\) in a more general form, replacing \(1/2\) by an arbitrary \(\alpha\in[0,1]\) (Theorem 2.2). They show also that for any \(\alpha\in(0,1)\) and \(k\ge2\) there exists \(A\in \mathbb N\) with \[ d(jA) = \frac{j\alpha}k \] for \(j=1,2,\dots,k\). In the last section one finds a discussion of several related questions.