Namespaces
Variants
Actions

Bombieri prime number theorem

From Encyclopedia of Mathematics
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

For many important problems in the theory of numbers one needs information about the average distribution of prime numbers in arithmetic progressions (cf. also Number theory; Prime number; Dirichlet theorem). Let $\pi(x;q,a)$ denote the number of primes $p \le x$ satisfying $p \equiv a \pmod q$. One looks for inequalities of the type ($A > 0$ arbitrary but fixed) \begin{equation}\label{eq:a1} \sum_{q \le Q = q(x)} \max_{y \le x} \max_{(a,q)=1} \left\vert{ \pi(y;q,a) - \frac{\mathrm{li}(y)}{\phi(q)} }\right\vert \ll x(\log x)^{-A} \end{equation} where $\mathrm{li}$ is the logarithmic integral (cf. also Distribution of prime numbers) and $\phi$ is the Euler totient function (cf. Totient function).

The first attempt to obtain a "non-trivial" estimate of this kind was made by A. Rényi in 1948. He showed that \eqref{eq:a1} is true with $Q(x) = x^\delta$ for some small positive $\delta$. Due to subsequent refinements of M.B. Barban, Pan Cheng Dong, A.I. Vinogradov and, finally, E. Bombieri it is known that one can take $Q = x^{1/2} (\log x)^{-B}$ for some $B = B(A) > 0$. Somewhat later, P.X. Gallagher introduced major simplifications in Bombieri's arguments. More recently, R.C. Vaughan developed an ingenious new method which gives a still simpler proof by essentially elementary means; a general reference is [a2].

The critical exponent $1/2$ in $Q$ can conjecturally be replaced by $1-\delta$ (the Halberstam conjecture). Under certain restrictive conditions, Fouvry–Iwaniec and Bombieri–Friedlander–Iwaniec have given refinements to $11/21$ and $4/7$; see [a1].

The main advantage of Bombieri's theorem becomes clear by noting that the classical Page–Siegel–Walfisz prime number theorem (cf. Page theorem) only leads to the limit $Q = (\log x)^C$ for the moduli $q$ in \eqref{eq:a1}. Moreover, Bombieri's bound $Q$ is as good, apart from the logarithmic factor, as one can obtain on the assumption of the generalized Riemann hypothesis (cf. Riemann hypotheses). This makes it often possible to circumvent the use of the extended Riemann hypothesis, which has far-reaching implications in number theory; for example, it gives approaches to such important results as the Titchmarsh divisor problem, the Hardy–Littlewood formula for the number of representations of an integer as a sum of a prime and two squares or Chen's celebrated theorem that every sufficiently large even integer is the sum of a prime and an almost-prime having at most two prime factors; a general reference is [a3].

Bombieri's result has also been generalized to algebraic number fields, by a number of scientists. There are various ways in which this can be done, but the principle underlying the treatment is always that of the large sieve. In view of applications Hinz's multi-dimensional version of Bombieri's theorem is of some interest, see [a4]. This leads, among other things, to an analogue of Chen's theorem in totally real fields, see [a5].

See also Selberg sieve: Density theorems.

References

[a1] E. Bombieri, J. Friedlander, H. Iwaniec, "Primes in arithmetic progressions" Acta Math. , 156 (1986) pp. 203–251
[a2] H. Davenport, "Multiplicative number theory" , Berlin (1980)
[a3] H. Halberstam, H.-E. Richert, "Sieve methods" , Acad. Press (1974)
[a4] J. Hinz, "A generalization of Bombieri's prime number theorem to algebraic number fields" Acta Arith. , LI (1988) pp. 173–193
[a5] J. Hinz, "Chen's theorem in totally real algebraic number fields" Acta Arith. , LVIII (1991) pp. 335–361
How to Cite This Entry:
Bombieri prime number theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bombieri_prime_number_theorem&oldid=35836
This article was adapted from an original article by J. Hinz (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article