--- title: Bombieri-Vinogradov Theorem url: https://www.emergentmind.com/topics/bombieri-vinogradov-theorem type: topic --- # Bombieri-Vinogradov Theorem The **Bombieri–Vinogradov theorem** is an averaged prime-number theorem for arithmetic progressions. It asserts that primes are equidistributed among reduced residue classes for moduli approaching the square-root scale of the main parameter, although comparable estimates are not known uniformly for every individual modulus. In a standard von Mangoldt formulation, with \[ \psi(x;q,a)=\sum_{\substack{n\le x\\ n\equiv a\pmod q}}\Lambda(n), \qquad \psi(x)=\sum_{n\le x}\Lambda(n), \] one has, for every fixed \(A>0\), \[ \sum_{q\le Q}\max_{(a,q)=1} \left|\psi(x;q,a)-\frac{x}{\varphi(q)}\right| \ll_A \frac{x}{(\log x)^A} \] when \[ Q\le \frac{x^{1/2}}{(\log x)^{B(A)}}. \] Here \(\Lambda\) is the von Mangoldt function and \(\varphi\) is Euler’s totient function. The theorem has level of distribution \(1/2\), up to logarithmic factors. It is an averaged assertion over moduli, not a pointwise theorem for each \(q\). ## 1. Classical formulation and analytic meaning For a reduced residue class \(a\bmod q\), the prime-number-theorem prediction is \[ \psi(x;q,a)\sim \frac{x}{\varphi(q)}. \] The Bombieri–Vinogradov theorem measures the cumulative discrepancy \[ E(x;q,a)=\psi(x;q,a)-\frac{x}{\varphi(q)} \] or, in formulations adapted to uniformity in the endpoint, \[ E^*(x,q)=\max_{y\le x}\max_{(a,q)=1} \left|\psi(y;q,a)-\frac{y}{\varphi(q)}\right|. \] A typical statement is \[ \sum_{q\le Q}E^*(x,q)\ll_A \frac{x}{(\log x)^A} \] for \[ Q\le x^{1/2}(\log x)^{-B(A)}. \] Equivalent formulations use dyadic intervals \(q\sim Q\), where \(QQ_1. \] The restriction removes moduli with small prime factors, which are the source of the exceptional-character difficulty. Their explicit constants include \[ c_0=48.83236\ldots, \qquad E_0=\prod_p\left(1+\frac1{p(p-1)}\right)=1.943596\ldots. \] Sedunova improved the corresponding logarithmic factor from \((\log x)^{9/2}\) to \((\log x)^{7/2}\), with \[ \sum_{\substack{q\le Q\\\ell(q)>Q_1}} E^*(x,q) \ll c_1 \left( \frac{14x}{Q_1} +4x^{1/2}Q +15x^{2/3}Q^{1/2} +4x^{5/6}\log\frac{Q}{Q_1} \right) (\log x)^{7/2}, \] where \[ c_1=42.140461\ldots. \] These results are explicit but restricted: they do not make the full classical theorem effective over all moduli. A later effective sieve framework shows that many classical sieve consequences can nevertheless be made effective without changing their leading asymptotic term. The method isolates the possible exceptional modulus and deletes its prime divisors from the sieve decomposition. For standard applications, it yields, for example, the effective upper bound \[ \Pi_2(x)\le (4+\varepsilon)C_2\frac{x}{(\log x)^2}, \] where \[ C_2=2\prod_{p>2}\left(1-\frac1{(p-1)^2}\right) \] is the twin-prime constant. This does not make the standalone Bombieri–Vinogradov theorem effective; it makes a broad class of sieve-theoretic applications effective. ## 4. Extensions to sparse and structured sequences The Bombieri–Vinogradov method extends beyond the ordinary prime sequence, but the attainable level depends strongly on the structure of the sequence. ### Smooth numbers For \[ S(y)=\{n\ge1:P^+(n)\le y\}, \] define \[ \Psi(x,y)=\#\{n\le x:n\in S(y)\}. \] Harper proved Bombieri–Vinogradov and Barban–Davenport–Halberstam analogues for \(y\)-smooth numbers in the range \[ \log^K x\le y\le x. \] The expected progression main term is \[ \frac{\Psi_q(x,y)}{\varphi(q)}, \qquad \Psi_q(x,y)= \#\{n\le x:(n,q)=1,\ n\in S(y)\}. \] His Bombieri–Vinogradov estimate holds for \[ Q\le \sqrt{\Psi(x,y)}, \] while the corresponding mean-square theorem permits \[ Q\le \Psi(x,y). \] The relevant parameter is \[ u=\frac{\log x}{\log y}. \] When \(y\) is small, smooth numbers are sparse, and a direct large-sieve argument does not detect sufficient sparsity. Harper combines zero-density estimates with factorization of smooth numbers and a direct large-sieve treatment of large conductors. Possible exceptional zeros are less damaging because the smooth Euler product is exponentiated. The individual character-sum estimates contain decay of the form \[ \exp\left\{-\frac{cu}{\log^2(u+1)}\right\}. \] The result extends the earlier range \[ \exp\{(\log x)^{2/3+\varepsilon}\}\le y\le x \] to the polylogarithmic range \(\log^Kx\le y\le x\) [1208.5992]. ### Multiplicative functions For a multiplicative function \(f\), write \[ \Delta(f,x;q,a) = \sum_{\substack{n\le x\\n\equiv a\pmod q}}f(n) - \frac1{\varphi(q)} \sum_{\substack{n\le x\\(n,q)=1}}f(n). \] Granville and Shao study the class \[ \mathcal C= \{f:\ |\Lambda_f(n)|\le \Lambda(n)\}, \] where \[ -\frac{F'(s)}{F(s)} = \sum_{n\ge2}\frac{\Lambda_f(n)}{n^s}, \qquad F(s)=\sum_{n\ge1}\frac{f(n)}{n^s}. \] For general \(f\in\mathcal C\), a prime-strength theorem cannot hold without additional hypotheses. Two obstructions occur: 1. **Small-conductor correlations**: \(f\) may correlate strongly with a nonprincipal character of small conductor. 2. **Large-prime behavior**: the values \(f(p)\) for primes near \(x\) can be chosen adversarially even when \(f\) satisfies Siegel–Walfisz estimates. After removing finitely many exceptional characters, the authors obtain Bombieri–Vinogradov-type estimates below \(x^{1/2}\). For functions supported on \(y\)-smooth numbers, arbitrary logarithmic savings are recovered in an appropriate range. For a fixed residue class \(a\), they obtain a beyond-\(x^{1/2}\) result up to \[ Q\le x^{20/39-\delta}. \] The exponent \(20/39\) arises from bilinear Kloosterman-fraction estimates of Bettin and Chandee; it does not give a theorem with a maximum over residue classes [1703.06865]. ### Products of primes For the indicator \[ f_k(n)=1_{\{\Omega(n)=k\}}, \] where \(\Omega(n)\) counts prime factors with multiplicity, a Bombieri–Vinogradov-type theorem with additive twists has been proved for \[ Q\le x^{1/3}(\log x)^{-B}, \qquad |\lambda|\le Q^{-3}(\log x)^{-B}. \] The averaged expression is \[ \sum_{q\le Q}\max_{(a,q)=1}\max_{|\lambda|\le\theta} \left| \sum_{n\le x}f_k(n)e\left(\left(\frac aq+\lambda\right)n\right) - \frac1{\phi(q)} \sum_{st=q}\mu(s)t \sum_{\substack{n\le x\\t\mid n}}f_k(n)e(\lambda n) \right|. \] The main term is not simply the total sum divided by \(\phi(q)\), because \(f_k\) has a nontrivial correlation with \((n,q)\). The proof constructs a Vaughan-type Type I/Type II decomposition rather than applying Vaughan’s identity literally [2607.15137]. ## 5. Number-field, automorphic, and geometric analogues Number-field variants replace rational primes and ordinary residue classes by prime ideals and ray classes. For a finite Galois extension \(L/K\), a conjugacy class \(C\subset\operatorname{Gal}(L/K)\) defines a Chebotarev condition. A short-interval Bombieri–Vinogradov theorem gives, for suitable \(\delta,\theta\), \[ \sum_{q\le x^\theta} \max_{(a,q)=1} \max_{y\le h} \max_{x/2\le N\le x} \left| \psi_C(N+y;q,a)-\psi_C(N;q,a) - \frac{|C|}{|G|}\frac{y}{\varphi(q)} \right| \ll \frac{h}{(\log x)^D}, \] with \(h\ge x^{1-\delta}\), subject to \[ \delta<\frac{2}{5[E:\mathbf Q]}, \qquad \theta< \frac13\left(\frac{2}{5[E:\mathbf Q]}-\delta\right). \] The field \(E\) is the fixed field of the largest abelian subgroup \(H\subset G\) meeting \(C\). The proof reduces the nonabelian Frobenius condition to families of Hecke characters and applies Hecke \(L\)-function zero-density estimates [1405.5486]. For primes in a narrow ideal class and a shrinking sector in a finite Galois extension \(K/\mathbf Q\), one obtains Bombieri–Vinogradov estimates in short intervals. If the sector has radius \(p^{-\delta}\), its density contributes a factor \[ x^{-(n-1)\delta} \] to the main term. The permissible range satisfies \[ 2\theta+\max(\delta,\delta')<\frac5n, \] where \(h=x^{1-\delta'}\). The proof uses Hecke characters, Selberg majorants and minorants, Mellin transforms, zero-free regions, and zero-density estimates [2008.09677]. For real quadratic fields of class number one, prime elements can be restricted simultaneously by genuine congruence conditions in \(\mathcal O_{\mathbb K}\) and by sectors in the Minkowski embedding. The resulting estimate has the form \[ \sum_{\mathcal N(\mathfrak q)\le Q} \max_{a\bmod\mathfrak q} \max_{y\le x} |E_S(y;\mathfrak q,a)| \ll \left( x^{13/15}Q^{8/15} +x^{2/3}Q^{5/3} \right)\log^{11}x+\frac{x}{\log^A x}. \] The genuine level of distribution is \(1/5-\varepsilon\). The loss from the classical \(1/2\) level is attributed to the current Hecke large-sieve estimate [2509.03657]. For a self-dual cuspidal automorphic representation \(\pi\) of \(\mathrm{GL}_n\) over a number field \(F\), the prime-ideal coefficients \(\lambda_\pi(\mathfrak p)\) satisfy a Bombieri–Vinogradov theorem in narrow ray classes. If \[ \eta=\max\left\{2,\frac n2\right\}, \] then the level is \[ \frac1\eta=\min\left\{\frac12,\frac2n\right\}. \] Thus the level is essentially \(1/2\) for \(n=2,3,4\), and \(2/n\) for \(n\ge5\). The proof uses Rankin–Selberg positivity, a generalized Vaughan decomposition, automorphic large sieves, and an unconditional Siegel-type lower bound for quadratic twists [2104.02711]. ## 6. Well-factorable weights, exceptional moduli, and structured moduli The square-root barrier can be surpassed when the averaging weights have additional factorization. A sequence \((\lambda_q)\) is **well-factorable of level \(Q\)** if, for every factorization \(Q=Q_1Q_2\), it can be written as \[ \lambda_q=\sum_{q_1q_2=q}\alpha_{q_1}\beta_{q_2}, \] where \(\alpha\) and \(\beta\) are \(1\)-bounded and supported on \(q_1\le Q_1\) and \(q_2\le Q_2\). Bombieri, Friedlander, and Iwaniec proved a prime-distribution theorem with well-factorable weights at level \[ Q=x^{4/7-\varepsilon}. \] More recent convolution-type results combine well-factorable weights with bilinear and trilinear estimates, incomplete Kloosterman sums, and triply-well-factorable decompositions. The admissible modulus exponent depends on the convolution length and is described by piecewise functions such as \(\mathcal L(\nu)\), with values at least \(4/7\) and reaching \(5/8\) in some ranges [2608.13299]. Structured families of moduli can also yield unusually small exceptional sets. Baker proved that if \(\mathcal S\subset[Q,2Q)\) is a pairwise coprime set and \[ Q\le x^{9/40}, \] then the number of \(q\in\mathcal S\) for which \[ E^*(x,q)> \frac{x}{\varphi(q)(\log x)^A} \] is \[ O((\log x)^{34+A}). \] The family may consist of prime powers, and the conclusion is uniform in \(y\le x\) and reduced residue classes. The point is not a larger raw modulus range than classical Bombieri–Vinogradov, but a polylogarithmic exceptional set inside a structured family [1905.12488]. For prime powers \(q=p^N\) with \(p\le(\log x)^C\), Baier and Pujahari extended the structured-modulus range to \[ q\le x^{1/4-\varepsilon}, \] with at most \[ O_{C,\varepsilon}((\log x)^{16+2A}) \] exceptional moduli. The proof exploits the exact identity \[ \frac{1/p^N}{1/p} = \frac{\varphi(p)}{\varphi(p^N)} = \frac1{p^{N-1}}, \] which allows a \(p\)-adic form of Harman’s sieve to compare progressions modulo \(p^N\) and \(p\) [2107.04348]. Polynomially parametrized moduli provide another form of structure. For \[ P(\mathbf x)= \prod_{i=1}^k(x_{u(i)}^2+x_{v(i)}^2), \] the moduli are products of rational primes represented as norms of Gaussian primes. A polynomial large sieve, ultimately based on multidimensional Vinogradov mean-value estimates, improves the standard variable range from approximately \[ Q\lesssim x^{1/(6k)} \] to \[ Q\lesssim x^{1/(3(2k-\sigma))}, \] where \(\sigma>0\) reflects the polynomial saving. This is a theorem for rational primes in progressions to specially parametrized rational moduli, not a Bombieri–Vinogradov theorem over \(\mathbf Z[i]\) [1607.07265]. ## 7. Further applications and scope Bombieri–Vinogradov estimates serve as distribution inputs in a wide range of arithmetic arguments. For prime values of a primitive positive definite binary quadratic form \[ Q(x,y)=ax^2+bxy+cy^2, \] a number-field formulation gives \[ \sum_{q