Abstract
Recently introduced by the authors in [Proc. Edinb. Math. Soc. 60 (2020), 139–167], 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 (1) for each \(n \in \mathbf{N}^+\) and \(\alpha \in [0,1]\), there is \(A \subseteq {\mathbf {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 \); (2) for each \(\alpha \in [0,1]\) and every non-empty finite \(B\subseteq \mathbf {N}\), there is \(A \subseteq \mathbf {N}\) with \(A+B \in \mathrm {dom}(\mu )\) and \(\mu (A+B)=\alpha \) for every quasi-density \(\mu \); (3) for each \(\alpha \in [0,1]\), there exists \(A\subseteq \mathbf {N}\) with \(2A = {\mathbf {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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Given \(X_1, \ldots , X_n \subseteq \mathbf{Z}\), we denote by \(X_1 + \cdots + X_n\) the sumset of \(X_1, \ldots , X_n\) (i.e., the set of all sums of the form \(x_1 + \cdots + x_n\) with \(x_i \in X_i\) for all \(i = 1, \ldots , n\)); in particular, we write kX for the k-fold sumset (i.e., the sumset of k copies) of a given \(X \subseteq \mathbf{Z}\). Sumsets are some of the most fundamental objects studied in additive combinatorics [9, 12], with a great variety of results relating the “size” of the summands \(X_1, \ldots , X_n\) to that of the sumset \(X_1 + \cdots + X_n\).
When the summands are finite, the size is usually the number of elements. Otherwise, many different notions of size have been considered, each corresponding to some real-valued function (either totally or partially defined on the power set of \(\mathbf{Z}\)) that, while retaining essential features of a probability, is better suited than a measure to certain applications. In the latter case, the focus has definitely been on the asymptotic density \({\mathsf d}\), the lower asymptotic density \(\mathsf d_\star \), and the Schnirelmann density \(\sigma \), where we recall that, for a set \(X \subseteq \mathbf{N}\),
with the understanding that the limit in the definition of \(\mathsf d(X)\) has to exist. It is entirely beyond the scope of this manuscript to provide a survey of the relevant literature, so we limit ourselves to list a couple of classical results that are somehow related with our work:
-
In [14] (see, in particular, the last paragraph of the section “Added in proof”), B. Volkmann proved that, for all \(n \ge 2\) and \(\alpha _1, \ldots , \alpha _n, \beta \in {]0,1]}\) with \(\alpha _1 + \cdots + \alpha _n \le \beta \), there are \(A_1, \ldots , A_n \subseteq \mathbf{N}\) such that \(\mathsf d(A_i) = \alpha _i\) for each \(i = 1, \ldots , n\) and \(\mathsf d(A_1 + \cdots + A_n) = \beta \).
-
In [10, Theorem 1], M. B. Nathanson showed that, for \(n \ge 2\) and all \(\alpha _1, \ldots , \alpha _n, \beta \in [0,1]\) with \(\alpha _1 + \cdots + \alpha _n \le \beta \), there exist \(X_1, \ldots , X_n \subseteq \mathbf{N}\) with \(\mathsf {d}_\star (X_i) = \sigma (X_i) = \alpha _i\) for each \(i = 1, \ldots , n\) and \(\mathsf d_\star (X_1 + \cdots + X_n) = \sigma (X_1 + \cdots + X_n) = \beta \).
In a similar vein, A. Faisant et al. have more recently proved the following (see [3, Theorem 1.3]):
Theorem 1.1
Given \(n \in \mathbf{N}^+\) and \(\alpha \in [0,1]\), there is \(A \subseteq \mathbf{N}\) with \(\mathsf d(kA) = k\alpha /n\) for each \(k = 1, \ldots , n\).
Their proof combines the equidistribution theorem (i.e., that the sequence \(n \mapsto na \bmod 1\) is uniformly distributed in the interval [0, 1] for every irrational number a) with the elementary property that, for every \(\alpha \in {]0,1]}\), the asymptotic density of the set \(\left\{ \lfloor \alpha ^{-1}n \rfloor : n \in \mathbf{N}\right\} \) is equal to \(\alpha \). In the same manuscript, one can also find the following (see [3, Theorem 1.2]):
Theorem 1.2
Given \(\alpha \in [0,1]\) and a non-empty finite \(B \subseteq \mathbf{N}\), there is \(A \subseteq \mathbf{N}\) with \(\mathsf d(A+B) = \alpha \).
This is a partial generalization of Theorem 1.1 for the special case where \(n = 1\). A complete generalization was obtained by P.-Y. Bienvenu and F. Hennecart, shortly after [3] was posted on arXiv in Sept. 2018: Their proof is based on a “finite version” of Weyl’s criterion for equidistribution due to P. Erdős and P. Turán (see [1, Theorem 1.8] for details and [1, Theorems 1.1.a and 1.5] for additional results along the same lines).
Yet another item in the spirit of Theorem 1.1 is the following result by N. Hegyvári et al. (see [4, Proposition 2.1]):
Proposition 1.3
Given \(\alpha \in [0,1]\), there is \(A \subseteq \mathbf{N}\) with \(0 \in A\) and \(\gcd (A) = 1\) such that \(\mathsf d(A) = \alpha \) and \(2A = \mathbf{N}\).
In the present paper, we aim to prove that Theorems 1.1 and 1.2 and Proposition 1.3 hold, much more generally, with the asymptotic density \(\mathsf d\) replaced by an arbitrary quasi-density \(\mu \) (see Sect. 2.2 for definitions) and — what is perhaps more interesting — uniformly in the choice of \(\mu \) (see Theorems 3.1–3.3 for a precise formulation). Most notably, this implies that Theorems 1.1 and 1.2 are true with \(\mathsf d\) replaced by the Banach density [12, Sect. 5.7] or the analytic density [13, Sect. III.1.3], both of which play a rather important role in number theory and related fields and for which we are not aware of any similar results in the literature.
We emphasize that the proofs of our generalizations of Theorems 1.1 and 1.2 take a completely different route than the ones found in [1, 3]: The latter critically depend on special features of the asymptotic density, whereas our approach relies on the properties of a little known density first considered by R. C. Buck [2] and the “structure” of the set of all quasi-densities. This is in line with one of our long-term goals, which was also the motivation for first introducing quasi-densities in [8]: Obtain sharper versions of various results in additive combinatorics and analytic number theory by shedding light on the “(minimal) structural properties” they depend on.
2 Preliminaries
In this section, we establish some notations and terminology used throughout the paper and prepare the ground for the proofs of our main theorems in Sect. 3.
2.1 Generalities
We denote by \(\mathbf{R}\) the real numbers, by \(\mathbf{H}\) either the integers \(\mathbf{Z}\) or the non-negative integers \(\mathbf{N}\), and by \(\mathbf{N}^+\) the positive integers. Given \(x \in \mathbf{R}\), we use \(\lfloor x \rfloor \) for the greatest integer \(\le x\) and set \(\mathrm {frac}(x) := x - \lfloor x \rfloor \); and given \(X \subseteq \mathbf{Z}\) and \(h,k \in \mathbf{Z}\), we define \(k \cdot X + h := \{kx+h: x \in X\}\). An arithmetic progression of \(\mathbf {H}\) is then a set of the form \(k\cdot \mathbf {H}+h\) with \(k \in \mathbf{N}^+\) and \(h \in \mathbf{H}\), and we write
-
\(\mathscr {A}\) for the collection of all finite unions of arithmetic progressions of \(\mathbf {H}\);
-
\(\mathscr {A}_\infty \) for the collection of all subsets of \(\mathbf{H}\) that can be expressed as the union of a finite set and countably many arithmetic progressions of \(\mathbf{H}\);
-
\(\llbracket a, b \rrbracket := \{x \in \mathbf{Z}: a \le x \le b\}\) for the discrete interval between two integers a and b.
If X and Y are sets, then we write \(\mathcal P(X)\) for the power set of X and \(X \subseteq _fin Y\) to mean that \(X \setminus Y\) is finite. Further terminology and notations, if not explained when first introduced, are standard, should be clear from context, or are borrowed from [8].
2.2 Densities (and quasi-densities)
We say a function \(\mu ^\star : \mathcal P(\mathbf{H}) \rightarrow \mathbf{R}\) is an upper density (on \(\mathbf{H}\)) provided that, for all \(X, Y \in \mathcal P(\mathbf{H})\), the following conditions are satisfied:
-
(F1)
\(\mu ^\star (X) \le \mu ^\star (\mathbf{H}) = 1\);
-
(F2)
\(\mu ^\star \) is monotone, i.e., if \(X \subseteq Y\) then \(\mu ^\star (X) \le \mu ^\star (Y)\);
-
(F3)
\(\mu ^\star \) is subadditive, i.e., \(\mu ^\star (X \cup Y) \le \mu ^\star (X) + \mu ^\star (Y)\);
-
(F4)
\(\mu ^\star (k \cdot X + h) = \frac{1}{k} \mu ^\star (X)\) for every \(k \in \mathbf{N}^+\) and \(h \in \mathbf{H}\).
In addition, we say \(\mu ^\star \) is an upper quasi-density (on \(\mathbf{H}\)) if it satisfies (F1), (F3), and (F4).
It is arguable that non-monotone upper quasi-densities—whose existence is guaranteed by [8, Theorem 1]—are not so interesting from the point of view of applications. Yet, it seems meaningful to understand if monotonicity is “critical” to our conclusions or can be dispensed with: This is basically our motivation for considering upper quasi-densities in spite of our main interest lying in the study of upper densities (it is obvious that every upper density is an upper quasi-density).
With the above in mind, we let the conjugate of an upper quasi-density \(\mu ^\star \) be the function
Then we refer to the restriction \(\mu \) of \(\mu ^\star \) to the set
as the quasi-density induced by \(\mu ^\star \), or simply as a quasi-density (on \(\mathbf{H}\)) if explicit reference to \(\mu ^\star \) is unnecessary. Accordingly, we call \(\mathcal D\) the domain of \(\mu \) and denote it by \(\text {dom}(\mu )\).
Upper densities (and upper quasi-densities) were first introduced in [8] and further studied in [6, 7]. Notable examples include the upper asymptotic, upper Banach, upper analytic, upper logarithmic, upper Pólya, and upper Buck densities, see [8, Sect. 6 and Examples 4, 5, 6, and 8] for details. In particular, we recall that the upper Buck density (on \(\mathbf{H}\)) is the function
where \(\mathscr {A}\) is the collection of all finite unions of arithmetic progressions of \(\mathbf {H}\) (as already mentioned in Sect. 2.1) and \(\mathsf d^\star \) is the upper asymptotic density on \(\mathbf{N}\), that is, the function
We shall write \(\mathfrak b_\star \) and \(\mathfrak b\), respectively, for the conjugate of and the density induced by \(\mathfrak b^\star \); we call \(\mathfrak b_\star \) the lower Buck density and \(\mathfrak b\) the Buck density (on \(\mathbf{H}\)). By [8, Example5], one has
Note that the density induced by and the conjugate of \(\mathsf d^\star \) are, resp., the asymptotic density \(\mathsf d\) and the lower asymptotic density \(\mathsf d_\star \) introduced in Sect. 1: One should keep this in mind when comparing our main results (that is, Theorems 3.1–3.3) with Theorems 1.1 and 1.2 and Proposition 1.3.
2.3 Basic properties
Our primary goal in this section is to prove an inequality for the upper and the lower Buck density of sumsets of a certain special form (Proposition 2.4). We start with a recollection of basic facts that are either implicit to or already contained in [8].
Proposition 2.1
Let \(\mu ^\star \) be an upper quasi-density on \(\mathbf {H}\). The following hold:
-
(i)
\(\mathfrak b_\star (X) \le \mu _\star (X)\le \mu ^\star (X) \le \mathfrak b^\star (X)\) for every \(X\subseteq \mathbf {H}\).
-
(ii)
If \(h \in \mathbf{H}\) and \(X \subseteq Y \subseteq \mathbf{H}\), then \(\mathfrak b_\star (X+h) = \mathfrak b_\star (X) \le \mathfrak b_\star (Y)\).
-
(iii)
\(\mathscr {A}\subseteq \mathrm {dom}(\mathfrak {b}) \subseteq \mathrm {dom}(\mu )\) and \(\mu (X)=\mathfrak {b}(X)\) for every \(X \in \mathrm {dom}(\mathfrak b)\).
-
(iv)
If \(m \in \mathbf{N}^+\) and \(\mathfrak h \subseteq \llbracket 0, m-1 \rrbracket \), then \(m \cdot \mathbf{H}+ \mathfrak h \in \mathrm {dom}(\mathfrak b)\) and \(\mathfrak b(m \cdot \mathbf{H}+ \mathfrak h) = \frac{|\mathfrak h|}{m}\).
-
(v)
If \(X\subseteq \mathbf {H}\) is finite, then \(X \in \mathrm {dom}(\mathfrak b)\) and \(\mathfrak b(X)=0\).
-
(vi)
If \(X \in \mathrm {dom}(\mathfrak b)\), \(Y \subseteq \mathbf{H}\), and \(\mathfrak b^\star (Y) = 0\), then \(X \cup Y \in \mathrm {dom}(\mathfrak b)\) and \(\mathfrak b(X \cup Y) = \mathfrak b(X)\).
Proof
We have already mentioned that \(\mathfrak b^\star \), as defined in Eq. (1), is an upper density and hence monotone. With this in mind, (i) follows from [8, Proposition 2(vi), Theorem 3, and Corollary 4], where among other things it is established that \(\mathfrak b^\star \) is the pointwise maximum of the set of all upper quasi-densities on \(\mathbf {H}\); (ii) follows from [8, Proposition 15] (which shows that \(\mathfrak b_\star \) is “shift-invariant”) and the monotonicity of \(\mathfrak b^\star \); (iii) and (iv) follow from [8, Corollary 5 and Proposition 7]; and (v) follows from (i) and [8, Proposition 6]. As for (vi), note that, if \(X \in \mathrm{dom}(\mathfrak b)\), \(Y \subseteq \mathbf{H}\), and \(\mathfrak b^\star (Y) = 0\), then we have from (i), (ii), and (F3) that
which proves that \(X \cup Y \in \mathrm{dom}(\mathfrak b)\) and \(\mathfrak b(X \cup Y) = \mathfrak b(X)\), as wished. \(\square \)
The next result shows that \(\mathfrak b^\star \) and \(\mathfrak b_\star \) are additive under some circumstances.
Proposition 2.2
Let \(X, Y \subseteq \mathbf{H}\) and \(A, B \in \mathscr {A}\), and assume \(X \subseteq A\), \(Y \subseteq B\), and \(A \cap B = \emptyset \). Then \(\mathfrak b^\star (X \cup Y) = \mathfrak b^\star (X) + \mathfrak b^\star (Y)\) and \(\mathfrak b_\star (X \cup Y) = \mathfrak b_\star (X) + \mathfrak b_\star (Y)\).
Proof
Given \(E,F,G \in \mathscr {A}\) with \( X\subseteq E\), \( Y\subseteq F\), and \( G \subseteq X \cup Y\), it is clear from our assumptions that
and
On the other hand, we have by parts (iii) and (iv) of Proposition 2.1 that
and it is a basic fact that, for all non-empty subsets S and T of \(\mathbf{R}\),
So, putting it all together, we conclude from Eqs. (1) and (4) that
which, by subadditivity of \(\mathfrak b^\star \), leads to \(\mathfrak {b}^\star (X \cup Y) = \mathfrak {b}^\star (X)+\mathfrak {b}^\star (Y)\). Likewise, Eqs. (3) and (5) yield
in particular, it is seen from Eq. (5) that, if \(G \in \mathscr {A}\) and \(G \subseteq X \cup Y\), then \(\mathscr {A} \ni G \cap A \subseteq X\) and \(\mathscr {A} \ni G \cap B \subseteq Y\), which is used in the second equality from the last block.
\(\square \)
It is perhaps worth noticing that Proposition 2.2 does not hold with \(\mathfrak b^\star \) replaced by \(\mathsf d^\star \). In fact, set \(X := E \cap (2 \cdot \mathbf{H})\) and \(Y := F \cap (2 \cdot \mathbf{H}+ 1)\), where
Then X and Y are both contained in disjoint arithmetic progressions of \(\mathbf{H}\), but it is not difficult to see that \(\mathsf d^\star (X) = \mathsf d^\star (Y) = \mathsf d^\star (X \cup Y) = \frac{1}{2}\), cf. [8, Lemma 1].
Lemma 2.3
Given \(k, p, q \in \mathbf{N}^+\), \(\mathfrak a \subseteq \llbracket 0, q-1 \rrbracket \), and \(r \in \mathbf{H}\) with \(\gcd (p,q) = 1\), let \(A := q \cdot \mathbf{H}+ \mathfrak a\) and \(B := p \cdot \mathbf{H}+ r\). Then the sets \(k(A \cap B)\) and \(kA \cap kB\) are both in \(\mathscr {A}\) and their symmetric difference is finite; in particular, \(k(A \cap B), kA \cap kB \in \mathrm{dom}(\mathfrak b)\). Moreover, \(\mathfrak b(k(A \cap B)) = \mathfrak b(kA \cap kB) = (pq)^{-1} |k \mathfrak {a}|\).
Proof
We can assume \(\mathfrak a \ne \emptyset \), or else the conclusion is trivial. It is also clear that, if \(X = m \cdot \mathbf{H}+ \mathfrak q\) for some \(m \in \mathbf{N}^+\) and finite \(\mathfrak q \subseteq \mathbf{H}\), then \(kX = m \cdot \mathbf{H}+ k \mathfrak q \in \mathscr {A}\); and it is obvious that \(k(A \cap B) \subseteq kA \cap kB\) (because \(x_1 + \cdots + x_k \in kA \cap kB\) for all \(x_1, \ldots , x_k \in A \cap B\)). Since \(A \cap B \in \mathscr {A}\) and, by Proposition 2.1(iv), \(\mathscr {A} \subseteq \mathrm{dom}(\mathfrak b)\), we are thus left to check that
(i) Pick \(x \in kA \cap kB\) and, in case \(\mathbf {H}=\mathbf {N}\), assume \(x \ge k(k-1)pq\). Then \(x \equiv kr \bmod p\) and there exist \(a_1, \ldots , a_k \in A\) with \(a_1 \le \cdots \le a_k\) such that \(x = a_1 + \cdots + a_k\) (observe that, if \(\mathbf{H}= \mathbf{N}\), then \(a_k \ge (k-1)pq\)). Since p and q are coprime, we gather from the Chinese remainder theorem that, for each \(i \in \llbracket 1,k-1\rrbracket \), there is a smallest integer \(a_i^\prime \ge a_i\) such that \(a_i' \equiv a_i \bmod q\) and \(a_i' \equiv r \bmod p\) (in particular, \(a_i' \le a_i + pq\)). Accordingly, set \(a_k^\prime := x-\sum _{i=1}^{k-1} a_i^\prime \). By construction, \(a_k' \equiv x - \sum _{i=1}^{k-1} a_i^\prime \equiv a_k \bmod q\) and \(a_k^\prime \equiv kr - (k-1)r \equiv r \bmod {p}\). Moreover, if \(\mathbf {H}=\mathbf {N}\), then
In consequence, we find that \(a_1^\prime , \ldots , a_k^\prime \in A \cap B\) and hence \(x = a_1^\prime +\cdots +a_k^\prime \in k(A \cap B)\). This suffices to complete the proof, because x is an arbitrary element of \((kA \cap kB) \setminus V\), where \(V := \llbracket 0, k(k-1)pq-1 \rrbracket \) if \(\mathbf{H}= \mathbf{N}\) and \(V := \emptyset \) otherwise (to wit, V is a finite set). (ii) We have \(kA = q \cdot \mathbf{H}+ k\mathfrak a\) and hence \(kA \cap kB = (q \cdot \mathbf{H}+ k\mathfrak a) \cap (p \cdot \mathbf{H}+ kr)\). Since \(\gcd (p,q) = 1\), it follows from the Chinese remainder theorem that \(kA \cap kB\) is, apart from finitely many elements, the union of \(|k\mathfrak a|\) pairwise disjoint arithmetic progressions modulo pq. Therefore, we conclude from parts (iv)–(vi) of Proposition 2.1 that \(\mathfrak b(kA \cap kB) = (pq)^{-1}|k \mathfrak a|\), as wished. \(\square \)
Proposition 2.4
Fix \(n,t, p, q \in \mathbf {N}^+\) and \(s \in \mathbf{N}\) such that \(nt<q\) and \(\gcd (p,q) = 1\), let Y be a non-empty subset of \(q \cdot \mathbf{H}+ t\), and define \( X := q \cdot \mathbf {H}+ \llbracket 0, t-1 \rrbracket \), \(V := p \cdot \mathbf{H}+ s\), and \(S := (X \cup Y) \cap V\). Then
In particular, if \(Y \in \mathscr {A}\), then
Proof
The “In particular” part of the statement is straightforward from Eq. (6) and Proposition 2.1(v), by the fact that \(mA \in \mathscr {A}\) for all \(m \in \mathbf{N}^+\) and \(A \in \mathscr {A}\). So, we focus on the rest.
Fix \(k \in \llbracket 1, n \rrbracket \), and define \(X' := X \cap V \in \mathscr {A}\), \(Y' := Y \cap V\), and \(V' := (q \cdot \mathbf{H}+ t) \cap V \in \mathscr {A}\). Since Y is a non-empty subset of \(q \cdot \mathbf{H}+ t\) and p is coprime to q (by hypothesis), we gather from the Chinese remainder theorem that \(pqx + r \in Y' \subseteq V' = pq \cdot \mathbf{H} + r\) for some \(x \in \mathbf{H}\) and \(r \in q \cdot \mathbf{H}+ t\). Using that \(X'\) is itself a finite union of arithmetic progressions modulo pq, it follows that, for all \(i \in \mathbf{N}^+\) and \(j \in \mathbf{N}\),
and, on the other hand,
in particular, the relation \(iX' + jr \subseteq _fin iX' + j(pqx + r)\) becomes an equality when \(\mathbf{H}= \mathbf{Z}\). Hence,
and
So taking into account that
and considering that \((k - i)t \le kt - (i + 1) + 1 \le nt < q\) for all \(i \in \mathbf{N}\) (by hypothesis) and, by Eq. (8),
we gather from Propositions 2.1(ii) and 2.2 and Eq. (9) that
It remains to see that \(\mathfrak b_\star (Z_k) = \mathfrak b^\star (Z_k) = (pq)^{-1} kt\). For, set
We have
Recalling that each of \(kS'\), \(Z_k'\), and \(kV'\) is a finite union of arithmetic progressions (and hence, by Proposition 2.1(iv), a set in the domain of \(\mathfrak b\)) with \(kV' \subseteq q \cdot \mathbf{H}+ kt\) (see Eq. (9)) and \(kt < q\), it thus follows from Eq. (11), Lemma 2.3, and Propositions 2.1(v) and 2.2 that
Moreover, we have from Eqs. (7) and (10) that \(Z_k' \subseteq _fin Z_k \subseteq Z_k'\). Therefore, we conclude from the last display and Proposition 2.1(vi) that \(Z_k \in \mathrm{dom}(\mathfrak b)\) and \(\mathfrak b(Z_k) = \mathfrak b(Z_k') = (pq)^{-1} kt\) (as wished). \(\square \)
2.4 A positional representation
We introduce a non-standard positional representation of real numbers (Proposition 2.6) that will be of key importance in the proof of Theorem 3.1; cf. [11, Theorem 1.6] for an “analogous” result attributed by I. Niven to G. Cantor.
Lemma 2.5
Let \(\alpha \) be an irrational number in the interval [0, 1], and fix \(m,t\in \mathbf {N}^+\). There then exist infinitely many \(n \in \mathbf {N}^+\) such that \(\lfloor (nt+1)\alpha \rfloor \in m \cdot \mathbf{N}^+\).
Proof
Since \(t\alpha \) is irrational, the sequence \((\mathrm {frac}(Nt\alpha ))_{N\ge 0}\) is equidistributed in [0, 1[ . This implies that there exists a set \(\mathcal {N}\subseteq \mathbf {N}^+\) such that \(\mathsf {d}(\mathcal {N})=(1-\alpha )/m\) and \(\mathrm {frac}(Nt\alpha ) \in \left]0,(1-\alpha )/m\right[\) for all \(N \in \mathcal {N}\), see e.g. [5, Exercise 1.15, p. 6]. Since
it follows that \(\lfloor (Ntm+1)\alpha \rfloor =m\lfloor Nt\alpha \rfloor \in m \cdot \mathbf{N}^+\) for all \(N \in \mathcal {N}\). \(\square \)
Proposition 2.6
Let \(\alpha \) be an irrational number in the interval [0, 1], and fix \(n \in \mathbf{N}^+\). There then exist sequences \((\beta _i)_{i \ge 1}\) and \((q_i)_{i \ge 0}\) of positive integers with \(q_0 = 1\) and \(q_i \ge 2\) for \(i \ne 1\) such that
and, for every \(i \in \mathbf{N}^+\),
where we have defined
Proof
Given \(x \in [0,1]\) and \(N \in \mathbf{N}^+\), let
it follows by Lemma 2.5 that, if x is irrational, then the set \(\mathcal {Q}(x,N)\) is infinite. Thus, since \(\alpha _0, \alpha _1, \ldots \) are all irrational numbers by their definition in Eq. (13) and the irrationality of \(\alpha \), we can recursively define sequences \((q_i)_{i\ge 0}\) and \((\beta _i)_{i\ge 1}\) of positive integers by taking \(q_0 := 1\) and, for each \(i \in \mathbf{N}^+\),
in particular, \(\beta _i\) is a positive integer because \(\lfloor q_i \alpha _{i-1} \rfloor = n!\, k_i\) for some \(k_i \in \mathbf{N}^+\) (by definition of the set \(\mathcal {Q}(\alpha _{i-1},nq_0\ldots q_{i-1})\)), so that \(k_i \le q_i \alpha _{i-1}/n! < k_i + 1/n!\) and hence \(\beta _i = k_i\). It is clear that
On the other hand, \(\alpha _0 =\alpha \in {]0,1[}\) ; and if \(\alpha _{i-1} \in {]0,1[}\) for some \(i \in \mathbf {N}^+\), then it follows by Eqs. (13) and (15) that \(\alpha _{i} =q_{i}\alpha _{i-1}-n!\,\beta _{i} \in {]0,1[}\,\). Thus, we see by induction that
We may note, thanks to Eq. (14), that \(q_i> q_i \alpha _{i-1} > n! \ge 1\), hence \(q_i\ge 2\) for all \(i \in \mathbf {N}^+\). To conclude, identity (12) follows from the fact that
\(\square \)
3 Main results
This section is devoted to the main results of the paper. We start with a generalization of Theorem 1.1. Recall from Sect. 2.1 that \(\mathscr {A}_\infty \) denotes the family of all subsets of \(\mathbf{H}\) that can be expressed as the union of a finite set and countably many arithmetic progressions of \(\mathbf{H}\).
Theorem 3.1
Given \(n \in \mathbf{N}^+\) and \(\alpha \in [0,1]\), there exists \(A \in \mathscr {A}_\infty \) such that \(kA \in \mathrm {dom}(\mu )\) and \(\mu (kA)=k\alpha /n\) for each \(k \in \llbracket 1, n \rrbracket \) and every quasi-density \(\mu \) on \(\mathbf{H}\).
Proof
Thanks to Proposition 2.1(iii), it will be enough to prove that there exists \(A \in \mathscr {A}_\infty \) such that \(kA \in \text {dom}(\mathfrak b)\) and \(\mathfrak b(kA) = \alpha k/n\) for each \(k \in \llbracket 1, n \rrbracket \). To this end, we distinguish two cases.
Case 1: \(\alpha \) is rational. Write \(\alpha = a/b\), where \(a \in \mathbf{N}\) and \(b \in \mathbf{N}^+\). Then set
Since \(0 \le a \le b\), it is immediate (by induction) that
So, by Proposition 2.1(iii)–(vi), we find that
Case 2: \(\alpha \) is irrational. By Proposition 2.6, there exist sequences \((\beta _i)_{i\ge 1}\) and \((q_i)_{i\ge 0}\) of positive integers with \(q_0 = 1\) and \(q_i \ge 2\) for \(i \ne 0\) such that \(\gcd (q_i,n q_0 \ldots q_{i-1}) = 1\) for every \(i \in \mathbf{N}^+\) and
Accordingly, we can recursively define sequences \((X_i)_{i\ge 1}\) and \((Y_i)_{i\ge 0}\) of subsets of \(\mathbf {H}\) by taking \(Y_0 := \mathbf {H}\) and, for each \(i \in \mathbf {N}^+\),
Because \(q_1, q_2, \ldots \) are pairwise coprime integers, it is immediate from Eq. (17) and the Chinese remainder theorem that, for every \(i \in \mathbf{N}^+\), there exists \(r_i \in \mathbf{N}\) such that
Consequently, we obtain from Proposition 2.1(iv) that
Note that the sets \(X_1, X_2, \ldots \) are pairwise disjoint; moreover,
Then, for each \(i \in \mathbf {N}^+\), define \(A_i := X_1 \cup \ldots \cup X_i\) and \(B_i := A_i \cup Y_i\). We set
It is obvious from Eq. (20) and our definitions that \(A \in \mathscr {A}_\infty \). So, to finish the proof, it only remains to show that \(kA \in \text {dom}(\mathfrak b)\) and \({\mathfrak {b}}(kA)=k\alpha /n\) for all \(k \in \llbracket 1,n\rrbracket \).
For, fix \(k \in \llbracket 1, n \rrbracket \) and \(i \in \mathbf{N}^+\). Since \(\mathfrak {b}\) is monotone, it is clear from Eqs. (19) and (20) that
On the other hand, it follows from Eq. (20) and the above that
which in turn implies that
We claim that
For, let \(j \in \llbracket 0, i-1 \rrbracket \) and define \(Z_{i,j} := A_i \setminus A_j = X_{j+1} \cup \ldots \cup X_i\). We have from Eqs. (17) and (18) that \(X_{j+1} \subseteq Y_j\) and \(Z_{i,j+1} \subseteq Z_{i,j} \subseteq Y_j\). In consequence, we see that
Since each of \(X_{j+1}\), \(Z_{i,j+1}\), and \(Y_j\) is a non-empty element of \(\mathscr {A}\), it thus follows from Proposition 2.4 (applied with \(q = q_{j+1}\), \(t = (n-1)!\,\beta _{j+1}\), \(p = q_1\ldots q_j\), \(X = X_{j+1}\), \(Y = Z_{i,j+1}\), and \(V = Y_j\)) that
(Note that \(Z_{i,j+1} \cap Y_j = Z_{i,j+1}\).) So considering that \(A_i=Z_{i,0}\), we obtain by induction that
This suffices to prove the claim (because \(X_i = Z_{i,i-1}\)), and in a similar way we find that
The proof is essentially the same as the proof of Eq. (23), with the sets \(A_i \setminus A_j\) replaced by \(B_i \setminus A_j\) (\(0 \le j < i\)); we omit further details. Therefore, we gather from Eqs. (16), (21), (23), and (24) that
Consequently, we see that
and we conclude, by Eq. (22), that \(kA \in \mathrm {dom}(\mathfrak {b})\) and \(\mathfrak {b}(kA)=k\alpha /n\) (as wished). \(\square \)
Theorem 3.2
Given \(\alpha \in [0,1]\) and a non-empty finite set \(B\subseteq \mathbf {H}\), there exists \(A \in \mathscr {A}_\infty \) such that \(A+B \in \mathrm {dom}(\mu )\) and \(\mu (A+B) = \alpha \) for every quasi-density \(\mu \) on \(\mathbf{H}\).
Proof
Similarly as in the proof of Theorem 3.1, it suffices to prove that there exists \(A \in \mathscr {A}_\infty \) such that \(A+B \in \mathrm {dom}(\mathfrak b)\) and \(\mathfrak b(A+B) = \alpha \). To this end, set \(x:=\min B\) and \(y:=\max B\).
We may assume without loss of generality that \(x = 0\), because \( A+B = (A+x)+(B-x)\) and both \(A+x\) and \(B-x\) are subsets of \(\mathbf{H}\), with \(|B-x| = |B|\). Therefore, B is a subset of \(\mathbf{N}\); and we can suppose that \(y \ne 0\), or else the conclusion follows by Theorem 3.1.
Now, the statement to be proved is trivial for \(\alpha = 0\) or \(\alpha = 1\) (just take \(A := \emptyset \) in the former case and \(A := \mathbf{H}\) in the latter). Consequently, let \(\alpha \in {]0,1[}\) and pick \(h,k \in \mathbf {N}^+\) such that
Then \(k\alpha -h \in {]0,1[}\) and \(h-y-1\ge y\), and we derive from Theorem 3.1 that there exists a set \(C\in \mathscr {A}_\infty \cap \mathrm {dom}(\mathfrak {b})\) such that \(\mathfrak {b}(C) = k\alpha - h\). So, we define
Then it is straightforward that
and it follows by Propositions 2.1(iv) and 2.2 that
Likewise, we calculate that \(\mathfrak {b}_\star (A+B) = \alpha \). Thus, \(A+B \in \text {dom}(\mathfrak b)\) and \(\mathfrak b(A+B) = \alpha \). \(\square \)
Theorem 3.3
Given \(\alpha \in [0,1]\), there exists a set \(A \subseteq \mathbf{H}\) with \(0 \in A\) and \(\gcd (A) = 1\) such that \(2A = \mathbf{H}\), \(A \in \mathrm {dom}(\mu )\), and \(\mu (A) = \alpha \) for every quasi-density \(\mu \) on \(\mathbf{H}\).
Proof
Once again, it suffices to prove that there exists \(A \in \mathrm {dom}(\mathfrak b)\) such that \(\mathfrak b(A) = \alpha \), cf. the proofs of Theorems 3.1 and 3.2. To this end, set
We know from Lagrange’s four square theorem that \(2Q=\mathbf {N}\), and from [6, Theorem 4.2] that \(\mathfrak {b}(Q)=0\). It follows that \(2X = \mathbf{H}\). Moreover, it is clear from the definition of \(\mathfrak b^\star \) that
Therefore, we find that
On the other hand, Theorem 3.1 guarantees that \({\mathfrak {b}}(Y)=\alpha \) for some \(Y \in \mathrm {dom}(\mathfrak b)\). So, letting \(A:=X \cup Y\) and putting all pieces together, we get from Proposition 2.1(vi) that
This finishes the proof, when considering that \(0 \in Q \subseteq A\) and \(1 \le \gcd (A) \le \gcd (Q) = 1\). \(\square \)
4 Closing remarks
Looking at the statement of Theorem 3.1, it is natural to ask whether assuming \(A \in \mathrm {dom}(\mu )\), for some fixed quasi-density \(\mu \) on \(\mathbf{H}\), is sufficient to guarantee that \(2A \in \mathrm {dom}(\mu )\).
By [4, Proposition 2.2], the answer is negative for the asymptotic density \(\mathsf {d}\) on \(\mathbf{N}\). But it follows by [8, Remark 3] that, in the classical framework of Zermelo-Fraenkel set theory with the axiom of choice, there is a density \(\mu \) on \(\mathbf {H}\) such that \(\mathrm {dom}(\mu )=\mathbf {H}\); hence, in this case, the answer is positive.
One can still wonder what happens with the Buck density \(\mathfrak b\), especially in light of the role played by \(\mathfrak b\) in the proofs of Sect. 3. Again, the answer turns out to be in the negative. In fact, set
Since \(\mathfrak {b}^\star \) is monotone, we gather from [6, Theorem 4.2], similarly as in the proof of Theorem 3.3, that \(A \in \text {dom}(\mathfrak b)\) and \(\mathfrak {b}(A)=0\). However, we will show that \(2A\notin \mathrm {dom}(\mathfrak {b})\). To begin, we have
Fix \(k \in \mathbf {N}^+\) and \(h \in \mathbf {N}\). By Lagrange’s four square theorem, there exist \(y_1, y_2, y_3, y_4 \in \mathbf {N}\) such that \(h = y_1^2+y_2^2+y_3^2+y_4^2\). Set, for each \(i \in \llbracket 1, 4 \rrbracket \), \(n_i := (h+1)k + y_i\) and \(x_i := n_i! + n_i\), and note that \(x_i \in V\), \(x_i \ge h\), and \(n_i \ge k\). It is then easily checked that
Therefore \((k\cdot \mathbf {H}+h) \cap 2A\) is non-empty and, since k and h were arbitrary, we conclude that the only arithmetic progression of \(\mathbf{H}\) containing 2A is \(\mathbf{H}\) itself, with the result that \(\mathfrak {b}^\star (2A)=1\).
Now suppose for a contradiction that \(\mathfrak {b}_\star (2A)\ne 0\). By Eq. (3), this is only possible if 2A contains an arithmetic progression of \(\mathbf {H}\), implying that there is a constant \(C \in \mathbf{R}^+\) such that \(|2A \cap [1,m]| \ge Cm\) for all large m. The latter is, however, a contradiction, because it is clear that
It follows that \(\mathfrak {b}_\star (2A)=0 \ne \mathfrak b^\star (2A)\), and hence \(2A\notin \mathrm {dom}(\mathfrak {b})\).
Change history
29 July 2022
Missing Open Access funding information has been added in the Funding Note.
References
Bienvenu, P.-Y., Hennecart, F.: On the density or measure of sets and their sumsets in the integers or the circle. J. Number Theory 212, 285–310 (2020)
Buck, R.C.: The measure theoretic approach to density. Amer. J. Math. 68(4), 560–580 (1946)
Faisant, A., Grekos, G., Pandey, R.K., Somu, S.T.: Mediterr. J. Math. 18, No. 1, Paper No. 25, 13 pp. (2021)
Hegyvári, N., Hennecart, F., Pach, P.P.: On the density of sumsets and product sets. Australas. J. Combin. 74, 1–16 (2019)
Kuipers, L., Niederreiter, H.: Uniform Distribution of Sequences. Wiley-Interscience, Pure and Applied Math (1974)
Leonetti, P., Tringali, S.: On small sets of integers. Ramanujan J. 57, 275–289 (2022)
Leonetti, P., Tringali, S.: Upper and lower densities have the strong Darboux property. J. Number Theory 174, 445–455 (2017)
Leonetti, P., Tringali, S.: On the notions of upper and lower density. Proc. Edinb. Math. Soc. 63(1), 139–167 (2020)
Nathanson, M.B.: Additive Number Theory: Inverse Problems and the Geometry of Sumsets, Graduate Texts in Mathematics 165, Springer, (1996)
Nathanson, M.B.: “Best possible results on the density of sumsets”, In: Berndt, B.C., Diamond, H.G. Halberstam, H. and Hildebrand, A. (eds.), Analytic Number Theory. Proceedings of a Conference in Honor of Paul T. Bateman, Progress in Mathematics 85, Birkhäuser, pp. 395–403, (1990)
Niven, I.: Irrational numbers, Carus Math. Monogr. 11, Mathematical Association of America, (2006) (6th printing)
Ruzsa, I.Z.: Sumsets and Structure. In: Geroldinger, A., Ruzsa, I.Z. (eds.) Combinatorial Number Theory and Additive Group Theory, pp. 87–210. Birkhäuser, Advanced Courses in Mathematics, CRM Barcelona (2009)
Tenenbaum, G.: Introduction to analytic and probabilistic number theory, Cambridge Studies in Advanced Mathematics 46, Cambridge University Press, (1995)
Volkmann, B.: On Uniform Distribution and the Density of Sum Sets. Proc. Amer. Math. Soc. 8, 130–136 (1957)
Acknowledgements
P.L. was supported by the Austrian Science Fund (FWF), project F5512-N26 and by PRIN 2017, Grant 2017CY2NCA. Both authors thank the anonymous reviewers for a careful reading of the manuscript and many suggestions that helped to improve the overall quality of the paper.
Funding
Open access funding provided by Politecnico di Milano within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Ilse Fischer.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
P.L. was supported by the Austrian Science Fund (FWF), project F5512-N26 and by PRIN 2017, Grant 2017CY2NCA.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Leonetti, P., Tringali, S. On the density of sumsets. Monatsh Math 198, 565–580 (2022). https://doi.org/10.1007/s00605-022-01694-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-022-01694-1
Keywords
- Asymptotic density
- Analytic density
- Banach density
- Buck density
- Logarithmic density
- Sumsets
- Upper and lower densities (and quasi-densities)