# The Erdős conjecture for primitive sets

By Jared Duker Lichtman and Carl Pomerance

## Abstract

A subset of the integers larger than 1 is primitive if no member divides another. Erdős proved in 1935 that the sum of for running over a primitive set is universally bounded over all choices for . In 1988 he asked if this universal bound is attained for the set of prime numbers. In this paper we make some progress on several fronts and show a connection to certain prime number “races” such as the race between and .

## 1. Introduction

A set of positive integers is called primitive if no element divides any other (for convenience, we exclude the singleton set ). There are a number of interesting and sometimes unexpected theorems about primitive sets. After Besicovitch Reference 4, we know that the upper asymptotic density of a primitive set can be arbitrarily close to , whereas the lower asymptotic density is always . Using the fact that if a primitive set has a finite reciprocal sum, then the set of multiples of members of the set has an asymptotic density, Erdős gave an elementary proof that the set of nondeficient numbers (i.e., , where is the sum-of-divisors function) has an asymptotic density. Though the reciprocal sum of a primitive set can possibly diverge, Erdős Reference 9 showed that for a primitive set ,

In fact, the proof shows that these sums are uniformly bounded as varies over primitive sets.

Some years later in a 1988 seminar in Limoges, Erdős suggested that in fact we always have

where is the set of prime numbers. The assertion Equation 1.1 is now known as the Erdős conjecture for primitive sets.

In 1991, Zhang Reference 19 proved the Erdős conjecture for primitive sets with no member having more than 4 prime factors (counted with multiplicity).

After Cohen Reference 6, we have

the sum over primes in Equation 1.1. Using the original Erdős argument in Reference 9, Erdős and Zhang showed that for a primitive set , which was later improved by Robin to . These unpublished estimates are reported in Reference 11 by Erdős–Zhang, who used another method to show that . Shortly after, Clark Reference 5 claimed that  . However, his brief argument appears to be incomplete.

Our principal results are the following.

Say a prime is Erdős strong if for any primitive set with the property that each element of has the same least prime factor , we have . We conjecture that every prime is Erdős strong. Note that the Erdős conjecture Equation 1.1 would immediately follow, though it is not clear that the Erdős conjecture implies our conjecture. Just proving our conjecture for the case of would give the inequality in Theorem 1.2 for all primitive sets . Currently the best we can do for a primitive set of even numbers is that ; see Proposition 2.1 below.

For part of the next result, we assume the Riemann Hypothesis (RH) and the Linear Independence Hypothesis (LI), which asserts that the sequence of numbers such that is linearly independent over .

The proof depends strongly on a recent result of Lamzouri Reference 13, who was interested in the “Mertens race” between and .

For a primitive set , let denote the support of , i.e., the set of prime numbers that divide some member of . It is clear that the Erdős conjecture Equation 1.1 is equivalent to the same assertion where the prime sum is over .

If some primitive set of odd numbers exists with , Theorem 1.4 suggests that it will be very difficult indeed to give a concrete example!

For a positive integer , let denote the number of prime factors of counted with multiplicity. Let denote the set of integers with . Zhang Reference 20 proved a result that implies for each , so that the Erdős conjecture holds for the primitive sets . More recently, Banks and Martin Reference 2 conjectured that  . The inequality was just established by Bayless, Kinlaw, and Klyve Reference 3. We prove the following result.

We let the letters represent primes. In addition, we let represent the th prime. For an integer , we let and denote the largest and smallest prime factors of . Modifying the notation introduced in Reference 11, for a primitive set let

We let , and so . In this language, Zhang’s full result Reference 20 states that for all primes , . We also let

with and .

## 2. The Erdős approach

In this section we will prove Theorem 1.1. We begin with an argument inspired by the original 1935 paper of Erdős Reference 9.

For a primitive set , let

The next result will help us prove Theorem 1.1.

With Lemma 2.4 in hand, we prove .

## 3. Mertens primes

In this section we will prove Theorems 1.3 and 1.4. Note that by Mertens’ theorem,

where is Euler’s constant. We say a prime is Mertens if

and let denote the set of Mertens primes. We are interested in Mertens primes because of the following consequence of Proposition 2.1, which shows that every Mertens prime is Erdős strong.

Now, one would hope that the Mertens inequality Equation 3.1 holds for all primes . However, Equation 3.1 fails for since . Nevertheless, we have computed that is indeed a Mertens prime for all , thus proving the unconditional part of Theorem 1.3.

### 3.1. Proof of Theorem 1.3

To complete the proof, we use a result of Lamzouri Reference 13 relating the Mertens inequality to the race between and , studied by Rubinstein and Sarnak Reference 18. Under the assumption of RH and LI, he proved that the set of real numbers satisfying

has logarithmic density equal to the logarithmic density of numbers with , and in particular

We note that if a prime , then for