On Erdős and Sárközy’s sequences with Property P

A sequence A of positive integers having the property that no element ai∈A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$a_i \in A$$\end{document} divides the sum aj+ak\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$a_j+a_k$$\end{document} of two larger elements is said to have ‘Property P’. We construct an infinite set S⊂N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S\subset \mathbb {N}$$\end{document} having Property P with counting function S(x)≫xlogx(loglogx)2(logloglogx)2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S(x)\gg \frac{\sqrt{x}}{\sqrt{\log x}(\log \log x )^2(\log \log \log x)^2}$$\end{document}. This improves on an example given by Erdős and Sárközy with a lower bound on the counting function of order xlogx\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\frac{\sqrt{x}}{\log x}$$\end{document}.


Introduction
Erdős and Sárközy [9] define a monotonically increasing sequence A = {a 1 < a 2 < . . .} of positive integers to have 'Property P' if a i a j + a k for i < j ≤ k. They proved Communicated by J. Schoißengeier.  Christian Elsholtz elsholtz@math.tugraz.at 1 Institute of Analysis and Number Theory, Graz University of Technology, Kopernikusgasse 24/II, 8010 Graz, Austria that any infinite sequence of integers with Property P has density 0. Schoen [15] showed that if an infinite sequence A has Property P and any two elements in A are coprime then the counting function A(x) = a i <x 1 is bounded from above by A(x) < 2x 2 3 and Baier [1] improved this to A(x) < (3+ )x 2 3 (log x) −1 for any > 0. Concerning finite sequences with Property P, Erdős and Sárközy [9] get the lower bound max A(x) ≥ x 3 + 1 by just taking A to be the set A = {x, x − 1, . . . , x − x 3 } for x ∈ N.
Erdős and Sárközy also thought about large sets with Property P with respect to the size of the counting function (cf. [9, p. 98]). They observed that the set A = {q 2 i : q i the i-th prime with q i ≡ 3 mod 4} has Property P. This uses the fact that the square of a prime p ≡ 3 mod 4 has only the trivial representation p 2 = p 2 + 0 2 as the sum of two squares. With this set A they get Erdős has asked repeatedly to improve this (see e.g. [6, p. 185], [7, p. 535]) and in particular, Erdős [7,8] asked if one can do better than a n ∼ (2n log n) 2 . He wanted to know if it is possible to have a n < n 2 . We will not quite achieve this but we go a considerable step in this direction. First, we observe that a set of squares of integers consisting of precisely k prime factors p ≡ 3 mod 4 also has Property P. As for any fixed k this would only lead to a moderate improvement, our next idea is to try to choose k increasing with x. In order to do so, we actually use a union of several sets S i with Property P. Together, this union will have a good counting function throughout all ranges of x. However, in order to ensure that this union of sets with Property P still has Property P, we employ a third idea, namely to equip all members a ∈ S i with a special indicator factor. This seems to be the first improvement going well beyond the example given by Erdős and Sárközy since 1970. Our main result will be the following theorem.
Theorem The set S ⊂ N constructed explicitly below has Property P and counting function We achieve this improvement by not only considering squares of primes p ≡ 3 mod 4 but products of squares of such primes. More formally we set Here the sets S i are defined by where ν is the product of exactly i distinct primes p ≡ 3 mod 4 and we recall that q i is the i-th prime in the residue class 3 mod 4. The rôle of the q i is an 'indicator' which uniquely identifies the set S i a given integer n ∈ S belongs to. Results from probabilistic number theory like the Theorem of Erdős-Kac suggest that for varying x different sets S i will yield the main contribution to the counting function S(x). In particular for given x > 0 the main contribution comes from the sets S i with The study of sequences with Property P is closely related to the study of primitive sequences, i.e. sequences where no element divides any other and there is a rich literature on this topic (cf. [10, Chapter V]). Indeed a similar idea as the one described above was used by Martin and Pomerance [13] to construct a large primitive set. While Besicovitch [3] proved that there exist infinite primitive sequences with positive upper density, Erdős [4] showed that the lower density of these sequences is always 0. In his proof Erdős used the fact that for a primitive sequence of positive integers the sum ∞ i=1 1 a i log a i converges. In more recent work Banks and Martin [2] make some progress towards a conjecture of Erdős which states that in the case of a primitive sequence holds. Erdős [5] studied a variant of the Property P problem, also in its multiplicative form.

Notation
Before we go into details concerning the proof of the Theorem we need to fix some notation. Throughout this paper P denotes the set of primes and the letter p (with or without index) will always denote a prime number. We write log k for the k-fold iterated logarithm. The functions ω and count, as usual, the prime divisors of a positive integer n without respectively with multiplicity. For two functions f, g : R → R + the binary relation f g (and analogously f g) denotes that there exists a constant Dependence of the implied constant on certain parameters is indicated by subscripts. The same convention is used for the Landau symbol

The set S has Property P
In this section we verify that any union of sets S i defined in (2) has Property P.
Proof We prove the Lemma by contradiction. Suppose that n 2 1 |n 2 2 +n 2 3 . By our assumption there exists a prime p ≡ 3 mod 4 such that p|n 1 and p gcd(n 2 , n 3 ). Hence, w.l.o.g. p n 2 . We have n 2 2 + n 2 3 ≡ 0 mod p and since p does not divide n 2 , we get that n 2 is invertible mod p. Hence (2) has Property P.

Lemma 2 Any union of sets S i defined in
Proof Suppose by contradiction that there exist a i ∈ S i , a j ∈ S j and a k ∈ S k with a i < a j ≤ a k and a i |a j + a k . First suppose that either where we again recall that q i was defined as the i-th prime in the residue class 3 mod 4. Then

Products of k distinct primes
In order to establish a lower bound for the counting functions of the sets S i in (2) we need to count square-free integers containing exactly k distinct prime factors p ≡ 3 mod 4, but no others, where k ∈ N is fixed. For k ≥ 2 and π k (x) := #{n ≤ x : ω(n) = (n) = k} Landau [11] proved the following asymptotic formula: We will need a lower bound of similar asymptotic growth as the formula above for the quantity Very recently Meng [14] used tools from analytic number theory to prove a generalization of this result to square-free integers having k prime factors in prescribed residue classes. The following is contained as a special case in [14,Lemma 9]:

γ is the Euler-Mascheroni constant, λ( p) is the indicator function of primes in the residue class 3 mod 4 and
We will show that Lemma A with some extra work implies the following Corollary.

Corollary 1 Uniformly for log log
Proof In view of Lemma A and with k ∼ log log x 2 we see that it suffices to check that, independent of the choice of k and for sufficiently large x, there exists a constant c > 0 such that Note that the left hand side of the above inequality is exactly the coefficient of the main which was studied by Languasco and Zaccagnini in [12]. 1 The computational results of Languasco and Zaccagnini imply that 0.0482 < M(3, 4) < 0.0483 and hence allow for the following lower bound for C (3,4): It remains to get a lower bound for h 2(k−3) 3 log log x , where the function h is defined as in Lemma A. A straight forward calculation yields that Note that for x → ∞ and log log x 2 −1 ≤ k ≤ log log x 2 + log log x 2 the term 2(k−3) 3 log log x gets arbitrarily close to 1 3 . Hence we may suppose that 99 300 ≤ 2(k−3) 3 log log x ≤ 101 300 and it suffices to find a lower bound for h (x) where 99 300 ≤ x ≤ 101 300 . For x in this range Mathematica provides the following bounds on the Gamma function and its derivatives Later we will use that Finally, using log(1 + x p ) ≤ x p , we get Together with (4) this leads to an admissible choice of c = 0.802 in (3).

The counting function S(x)
Proof of Theorem As in (1) we set where the sets S i are defined as in (2). The set S has Property P by Lemma 2 and it remains to work out a lower bound for the size of the counting function S(x). For sufficiently large x there exists a uniquely determined integer k ∈ N such that e 2e 2k ≤ x < e 2e 2(k+1) hence It depends on the size of x, which S i makes the largest contribution. For a given x we take several sets S k+2 , S k+3 , . . . , S k+l , l = log 2 √ x 2 , as the number of prime factors p ≡ 3 mod 4 of a typical integer less than x is in Using Corollary 1 as well as the fact that the i-th prime in the residue class 3 mod 4 is asymptotically of size 2i log i for given 2 ≤ j ≤ l we get S k+ j (x) We deal with the fractions F 1 and F 2 on the right hand side of (6) separately. With the given range of j and (5) we have that It remains to deal with F 2 . Using the given range of k and j we have that k + j ≤ log 2 √ x and, again for sufficiently large x, for the numerator of F 2 we get log k+ j−1 2 Here we used that and that for 0 ≤ y ≤ 1 2 we certainly have that log(1 − y) ≥ −2y. To deal with the denominator of F 2 we apply Stirling's Formula and get x + 2( j − 1)) k+ j−1 log 2 x 2 k+ j−1 e j−2 √ log x .
Altogether we get Since it suffices to check that for any x > 0 and for our choices of j there exists a fixed constant c > 0 such that For j ≥ 2 we have that 1 + 2( j−1) is monotonically decreasing in j and get Therefore for j ≥ 2 the constant c in (8) may be chosen as c = 1 e for sufficiently large x. Together with (7) this implies Altogether for the counting function of any of the sets S i with Summing these contributions up we finally get