2025-11-10T02:40:07.337275

An effective Bombieri-Vinogradov error term for sifting problems

Johnston
In number theory, many major results related to the twin prime and Goldbach conjectures are proven using the methods of sieve theory. However, in nearly every case, the existing proofs of these results are ineffective, in that explicit values for which they hold cannot be computed. The reason for this ineffectivity is due to the reliance on the Bombieri-Vinogradov theorem. In this paper, we show that any classical sifting problem with a Bombieri-Vinogradov style error term can in fact be made effective, with no loss to the asymptotic form of the original (ineffective) result. This is done by carefully modifying the sieve upper and lower bounds as to avoid the usual complications regarding the existence of a Siegel zero. We also provide some simple applications. For example, we show that one may effectively bound the number of primes $p\leq x$ such that $p+2$ is also prime by \begin{equation*} (4+o(1))C_2\frac{x}{(\log x)^2}, \end{equation*} where \begin{equation*} C_2=2\prod_{p>2}\left(1-\frac{1}{(p-1)^2}\right) \end{equation*} is the twin-prime constant.
academic

An effective Bombieri-Vinogradov error term for sifting problems

Basic Information

  • Paper ID: 2510.10853
  • Title: An effective Bombieri-Vinogradov error term for sifting problems
  • Author: Daniel R. Johnston (University of New South Wales Canberra)
  • Classification: math.NT (Number Theory)
  • Publication Date: October 14, 2025 (arXiv preprint)
  • Paper Link: https://arxiv.org/abs/2510.10853

Abstract

In number theory, many important results related to the twin prime conjecture and Goldbach's conjecture are proven through sieve theory. However, in almost all cases, existing proofs of these results are ineffective—that is, they cannot compute explicit values for which they hold. This ineffectiveness stems from dependence on the Bombieri-Vinogradov theorem. This paper proves that any classical sieving problem with a Bombieri-Vinogradov-style error term can actually be made effective without loss of the asymptotic form of the original (ineffective) result. This is achieved through careful modification of sieve upper and lower bounds to avoid common complications regarding the existence of Siegel zeros. The author also provides simple applications, for example, effectively bounding the count of primes pxp \leq x such that p+2p+2 is also prime as (4+o(1))C2x(logx)2(4+o(1))C_2\frac{x}{(\log x)^2}, where C2=2p>2(11(p1)2)C_2=2\prod_{p>2}\left(1-\frac{1}{(p-1)^2}\right) is the twin prime constant.

Research Background and Motivation

Problem Background

  1. Importance of the Bombieri-Vinogradov Theorem: This theorem is a central tool in analytic number theory, crucial for studying the distribution of primes in arithmetic progressions. The theorem states: dDsupyxmax(a,d)=1π(x;d,a)π(x)ϕ(d)=OA(x(logx)A)\sum_{d≤D} \sup_{y≤x} \max_{(a,d)=1} \left|\pi(x;d,a) - \frac{\pi(x)}{\phi(d)}\right| = O_A\left(\frac{x}{(\log x)^A}\right)
  2. The Ineffectiveness Problem: Although this theorem is theoretically very powerful, all known proofs are ineffective—that is, they cannot explicitly determine how large xx must be to obtain bounds of the strength shown above. This is primarily due to the existence of potential Siegel zeros.
  3. Applications of Sieve Theory: Sieve methods are widely applied to:
    • Upper bound estimates for the twin prime problem
    • Upper bounds for Goldbach representations
    • Upper bounds for prime values of polynomial parameters
    • Lower bound results such as Chen's theorem

Research Motivation

The author's core motivation is to resolve a fundamental problem in sieve theory: how to make sieving results dependent on the Bombieri-Vinogradov theorem effective while preserving the asymptotic form of the original result.

Core Contributions

  1. Main Theoretical Result: Proves that any classical sieving problem with a Bombieri-Vinogradov-style error term can be made effective without loss of the asymptotic form of the original result
  2. Effective Sieve Bounds:
    • Proposes effective sieve upper bounds (Theorem 1.6)
    • Proposes effective sieve lower bounds (Theorem 1.7)
  3. Concrete Applications:
    • Improves the effective upper bound for twin prime counting, reducing the constant from 8 to 4+ε
    • Improves the effective upper bound for Goldbach representations
    • Provides an effective version of Chen's theorem
  4. Technical Innovation: Through clever modification of sieve bounds to avoid complications with Siegel zeros, using inclusion-exclusion arguments and careful treatment of exceptional moduli

Detailed Methodology

Core Technical Strategy

1. Treatment of Siegel Zeros

  • Define exceptional modulus k1k_1: if an exceptional zero exists and satisfies specific conditions, then k1=k0k_1 = k_0; otherwise k1=0k_1 = 0
  • Adopt different strategies based on the size of k1k_1:
    • When k1logXk_1 ≤ \log X: directly apply effective Bombieri-Vinogradov-type results
    • When k1>logXk_1 > \log X: use inclusion-exclusion arguments to avoid exceptional zeros

2. Effective Sieve Upper Bound (Theorem 1.6) For sieving problems (A,P)(A,P) satisfying the conditions: S(A,P,z)<XV(z)(1+OA(1loglogX))(F(s)+ε1(X))+OB,γ(X(logX)Bγ)S(A,P,z) < XV(z)\left(1 + O_A\left(\frac{1}{\log\log X}\right)\right)(F(s) + \varepsilon_1(X)) + O_{B,\gamma}\left(\frac{X}{(\log X)^{B_\gamma}}\right)

where:

  • s=logDlogz1s = \frac{\log D}{\log z} ≥ 1
  • D=X(logX)BD = \frac{\sqrt{X}}{(\log X)^B}, B>γ2B > \gamma^2
  • Bγ={B1,if 0<γ1Bγ22,if γ>1B_\gamma = \begin{cases} B-1, & \text{if } 0 < \gamma ≤ 1 \\ \frac{B-\gamma^2}{2}, & \text{if } \gamma > 1 \end{cases}

3. Effective Sieve Lower Bound (Theorem 1.7) Under more stringent conditions, provides analogous lower bound results: S(A,P,z)>XV(z)(1+O(1loglogX))(f(sδ)ε2(X))+O(X(logX)BγloglogXlogloglogX)S(A,P,z) > XV(z)\left(1 + O\left(\frac{1}{\log\log X}\right)\right)(f(s-\delta) - \varepsilon_2(X)) + O\left(\frac{X}{(\log X)^{B_\gamma}}\frac{\log\log X}{\log\log\log X}\right)

Technical Innovation Points

1. Inclusion-Exclusion Technique When facing large exceptional moduli, use the identity: S(A,P,z)=j=01(1)jS(Amj,Pj+1,z)+(1)S(Am,P,z)S(A,P,z) = \sum_{j=0}^{\ell-1} (-1)^j S(A_{m_j}, P_{j+1}, z) + (-1)^\ell S(A_{m_\ell}, P_\ell, z)

2. Refined Error Analysis

  • Employ different estimation strategies for different ranges of yy values
  • Use Cauchy-Schwarz inequality to handle the case γ>1\gamma > 1
  • Carefully control the contributions of various error terms

3. Obtaining Effective Constants Ensure all constants are effective through:

  • Using Page's effective Siegel zero bounds
  • Applying effective versions of the prime number theorem
  • Avoiding ineffective forms of the Siegel-Walfisz theorem

Experimental Setup

Application Examples

1. Twin Prime Problem

  • Sieve set: A1={p+2:2<px is prime}A_1 = \{p+2 : 2 < p ≤ x \text{ is prime}\}
  • Sieve prime set: P1={p>2 prime}P_1 = \{p > 2 \text{ prime}\}
  • Uses Rosser-Iwaniec linear sieve upper bound

2. Goldbach Problem

  • Sieve set: A2={np:(p,n)=1}A_2 = \{n-p : (p,n) = 1\}
  • Sieve prime set: P2={p prime:(p,n)=1}P_2 = \{p \text{ prime} : (p,n) = 1\}

3. Quadratic Polynomial Representation Problem

  • Sieve set: A={nq2:3<qn prime and (q,n)=1}A = \{n-q^2 : 3 < q ≤ n \text{ prime and } (q,n) = 1\}
  • Uses 2-dimensional sieve

Parameter Settings

  • Choose B=4B = 4 for 1-dimensional problems
  • Choose B=265B = 265 for 2-dimensional problems (though optimization is possible in practical applications)
  • D=X(logX)BD = \frac{\sqrt{X}}{(\log X)^B}

Experimental Results

Main Results

1. Twin Prime Counting ImprovementΠ2(x)(4+ε)C2x(logx)2\Pi_2(x) ≤ (4+\varepsilon)C_2\frac{x}{(\log x)^2} Compared to the previous best effective estimate (constant 8), this represents an improvement by a factor of 2.

2. Goldbach Representation ImprovementG(n)(4+ε)Cnn(logn)2G(n) ≤ (4+\varepsilon)C_n\frac{n}{(\log n)^2} where Cn=C2pn,p>2p1p2C_n = C_2\prod_{p|n, p>2}\frac{p-1}{p-2}.

3. Effective Version of Chen's Theorem Every even number greater than exp(exp(32.7))\exp(\exp(32.7)) can be expressed as the sum of a prime and a square-free number with at most two prime factors.

4. Quadratic Form Representation There exists a computable constant NN such that all n>Nn > N with n0,2(mod6)n ≡ 0,2 \pmod{6} can be represented as N=q2+ηN = q^2 + \eta, where qq is prime and η\eta has at most 17 prime factors.

Theoretical Significance

  • First systematic resolution of the effectiveness problem in sieve theory
  • Demonstrates that complications from Siegel zeros can be circumvented through clever technical means
  • Provides effective quantitative versions of many important problems in number theory

Prior Work

  1. Liu's Results: Provides an effective version of the Bombieri-Vinogradov theorem, but the power of logarithms in the error term is limited
  2. Akbary-Hambrook's Work: Obtains partial effective results by excluding small moduli
  3. Bordignon et al.'s Work: Specific effective versions for Chen's theorem

Advantages of This Paper

  • Provides a more general framework applicable to any Bombieri-Vinogradov-style sieving problem
  • Does not lose the asymptotic form of the original result
  • Improves constants in concrete applications

Conclusions and Discussion

Main Conclusions

  1. Proves that sieving problems with Bombieri-Vinogradov-style error terms can be made effective
  2. Provides systematic methods for handling ineffectiveness caused by Siegel zeros
  3. Achieves improvements in multiple concrete applications

Limitations

  1. For the case γ>1\gamma > 1, using the Cauchy-Schwarz inequality may not be optimal
  2. Effective constants in certain applications may be large, limiting practical applicability
  3. The method primarily applies to classical sieving problems

Future Directions

  1. Extend techniques to improved sieve results of Lichtman and Pascadi
  2. Optimize effective constants for greater practical significance
  3. Explore applications to other number-theoretic problems

In-Depth Evaluation

Strengths

  1. Theoretical Importance: Resolves a fundamental problem in sieve theory
  2. Technical Innovation: Clever inclusion-exclusion arguments and exceptional zero handling
  3. Practical Improvements: Obtains better effective bounds on multiple important problems
  4. Systematicity: Provides a general framework for handling such problems

Weaknesses

  1. Technical Complexity: The proofs are quite technical, particularly for the lower bounds
  2. Constant Size: Effective constants in certain applications may be prohibitively large
  3. Scope of Applicability: Primarily limited to traditional sieve problems

Impact

  1. Academic Value: Provides important technical tools for number-theoretic research
  2. Methodological Contribution: Demonstrates how to systematically address effectiveness issues
  3. Practical Value: While constants are large, provides theoretical computability

Applicable Scenarios

This method is particularly suitable for number-theoretic applications requiring explicit bounds, such as prime generation algorithm design in cryptography and algorithm analysis in computational number theory.

References

The paper cites 35 important references, including:

  • Classical literature on the Bombieri-Vinogradov theorem
  • Standard textbooks on sieve theory (Halberstam & Richert, Greaves)
  • Prior work on effectiveness results (Liu, Akbary & Hambrook, etc.)
  • Related analytic number theory results

This paper has significant theoretical importance in number theory. Although technically demanding, it provides a systematic solution to the effectiveness problem in sieve theory and represents an important advance in the field.