Abstract:Let $g$ be sufficiently large, $b\in\{0,\ldots,g-1\}$, and $\mathcal{S}_b$ be the set of integers with no digit equal to $b$ in their base $g$ expansion. We prove that every sufficiently large odd integer $N$ can be written as $p_1 + p_2 + p_3$ where $p_i$ are prime and $p_i\in \mathcal{S}_b$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to generalize Vinogradov's theorem to primes with restricted digits. Specifically, the paper proves that for a sufficiently large base \(g\) and any \(b\in\{0,\ldots,g - 1\}\), every sufficiently large odd number \(N\) can be expressed as the sum of three primes \(p_1\), \(p_2\), \(p_3\), where these primes do not contain the digit \(b\) in their base - \(g\) representations.
### Problem Description
The core problem of the paper can be formalized as follows:
Let \(g\) be a sufficiently large integer, \(b\in\{0,\ldots,g - 1\}\), and define \(S_b\) as the set of all positive integers that do not contain the digit \(b\) in their base - \(g\) representations. The goal of the paper is to prove that for every sufficiently large odd number \(N\), there exist three primes \(p_1\), \(p_2\), \(p_3\in S_b\) such that:
\[N = p_1 + p_2 + p_3\]
### Solution
To prove this conclusion, the paper adopts the method of Fourier analysis and combines some techniques from combinatorial mathematics and analytic number theory. The main steps include:
1. **Fourier Transform Estimation**: Use the Fourier transform to estimate \(S_b\), especially when \(g\) is sufficiently large, the Fourier transform exhibits a phenomenon superior to square - root cancellation.
2. **Zero - Density Estimation**: By introducing Green's zero - density estimate, construct a Fourier approximation, thereby being able to handle the influence of the zeros of the Dirichlet \(L\) - function.
3. **Combinatorial Lemma**: Through a series of combinatorial lemmas, ensure that under given conditions, some key terms are not too sparse and can be decomposed into tractable forms under appropriate conditions.
4. **Main - Term Estimation**: Calculate the contribution of the main term, that is, the estimated value without the influence of special zeros, and prove that it is consistent with the expected result.
### Main Conclusion
Finally, the paper proves the following theorem:
**Theorem 1.1**: Let \(A\geq1\), \(g\) be sufficiently large, and \(b\in\{0,\ldots,g - 1\}\). Let \(P\) denote the set of primes and \(S_b\) denote the set of all positive integers that do not contain the digit \(b\) in their base - \(g\) representations. Then:
\[ \sum_{x_1 + x_2 + x_3 = N} \prod_{i = 1}^3\Lambda(x_i)=\left(1+O_A((\log N)^{-A})\right)\prod_{p\nmid g}\left(1-\frac{1}{(p - 1)^2}\right)\prod_{p\nmid g,p\nmid N}\left(1+\frac{1}{(p - 1)^3}\right)\sum_{x_1 + x_2 + x_3 = N}\mathbf{1}_{S_b}(x_i)\]
where \(\Lambda(n)\) is the von Mangoldt function and \(\mathbf{1}_{S_b}(x_i)\) is the indicator function.
This result shows that under appropriate conditions, every sufficiently large odd number \(N\) can be expressed as the sum of three primes of a specific type, and these primes do not contain the specified digit \(b\) in their base - \(g\) representations.