Abstract:Erdős and Graham asked whether any sparse enough admissible set of natural numbers can be translated into a subset of the primes. By using a greedy construction involving powers of primitive roots, we prove that there exist arbitrarily sparse infinite admissible sets that cannot be translated into a subset of the primes, thus answering this question in the negative. We present three additional constructions as well.
What problem does this paper attempt to address?
The paper attempts to solve a number - theory problem proposed by mathematicians Erdős and Graham. Specifically, the problem is about whether there exist sparse enough admissible sets of natural numbers, which can be transformed into subsets of prime numbers by translation (i.e., adding an integer \(n\)).
### Problem Background
The problem proposed by Erdős and Graham can be formalized as the following conjecture:
**Conjecture 1 (Erdős and Graham)**:
There exists a non - decreasing and unbounded function \(f: \mathbb{N}\to\mathbb{Z}_{\geq0}\) such that for any admissible set \(A\subseteq\mathbb{N}\), if for all \(N\), \(|A\cap\{1,\ldots,N\}|\leq f(N)\), then there exists an integer \(n\in\mathbb{Z}\) such that \(A + n\) is contained in the prime numbers.
### Main Contributions of the Paper
The author proves that the above conjecture is false by construction. Specifically, the paper shows that there exist arbitrarily sparse infinite admissible sets that cannot be transformed into subsets of prime numbers by any translation. The author provides four different construction methods to prove this.
#### The First Construction Method
Using the properties of primitive roots, the author constructs a set \(S = \{a^k:k\in\mathbb{N}\}\), where \(a\) is a positive integer and \(a\) is a primitive root of infinitely many prime numbers. Then, the author selects a sparse subset \(A\) from \(S\) such that \(A\) satisfies the sparseness condition but cannot be transformed into a subset of prime numbers by any translation.
#### The Other Three Construction Methods
1. **The Second Construction Method**: Directly construct an infinite admissible set \(B\) containing composite numbers (or 1) by the greedy algorithm, and ensure its sparseness and non - translatability.
2. **The Third Construction Method**: For any integer \(c\geq2\), even if \(c\) is not a primitive root, it is possible to construct a sparse infinite admissible set \(C\) such that it cannot be transformed into a subset of prime numbers by translation.
3. **The Fourth Construction Method**: Construct a set \(D\) such that for all integers \(n\geq2-\min(D)\), there exists \(d_n\in D\) such that \(d_n + n\) is not a prime number.
### Conclusion
Through these constructions, the author proves that the conjecture of Erdős and Graham is not valid, thus answering the number - theory problem they proposed.
### Formula Summary
- Definition of an admissible set: A set \(A\subseteq\mathbb{N}\) is admissible if and only if there does not exist a prime number \(p\) such that \(A\) has at least one element in each residue class modulo \(p\).
- Sparseness condition: For any \(N\), \(|A\cap\{1,\ldots,N\}|\leq f(N)\), where \(f\) is a non - decreasing and unbounded function.
Through these formulas and constructions, the author successfully solves the problem proposed by Erdős and Graham.