Elliott-Halberstam conjecture: Difference between revisions

From Number
No edit summary
 
Line 1: Line 1:
==Statement==
==Statement==


For <math>n</math> a [[natural number]] and <math>a</math> an integer relatively prime to <math>m</math>, consider the [[fact about::modular prime-counting function]] <math>x \mapsto \pi(x;n,a)</math>, which counts the number of [[prime number]]s less than or equal to <math>x</math> that are congruent to <math>a</math> modulo <math>n</math>. Let <math>\pi(x)</math> be the [[fact about::prime-counting function]] at <math>x</math> and <math>\varphi(n)</math> the [[fact about::Euler phi-function]] of <math>n</math>. Consider the expression:
For <math>n</math> a [[natural number]] and <math>a</math> an integer relatively prime to <math>n</math>, consider the [[fact about::modular prime-counting function]] <math>x \mapsto \pi(x;n,a)</math>, which counts the number of [[prime number]]s less than or equal to <math>x</math> that are congruent to <math>a</math> modulo <math>n</math>. Let <math>\pi(x)</math> be the [[fact about::prime-counting function]] at <math>x</math> and <math>\varphi(n)</math> the [[fact about::Euler phi-function]] of <math>n</math>. Consider the expression:


<math>E(x;n) := \max_{(a,n) = 1} \left| \pi(x;n,a) - \frac{\pi(x)}{\varphi(n)} \right|</math>
<math>E(x;n) := \max_{(a,n) = 1} \left| \pi(x;n,a) - \frac{\pi(x)}{\varphi(n)} \right|</math>

Latest revision as of 20:39, 3 May 2010

Statement

For n a natural number and a an integer relatively prime to n, consider the modular prime-counting function xπ(x;n,a), which counts the number of prime numbers less than or equal to x that are congruent to a modulo n. Let π(x) be the prime-counting function at x and φ(n) the Euler phi-function of n. Consider the expression:

E(x;n):=max(a,n)=1|π(x;n,a)π(x)φ(n)|

The intuition here is that the primes should be roulghy equally distributed between the various congruence classes modulo n, so the expected number of primes in each congruence class is π(x)/φ(n). We are interested in the largest of the deviations from this expected value.

Then, the Elliott-Halberstam conjecture states that for every θ<1 and A>0 there exists a constant C>0 such that

1nxθE(x;n)CxlogAx

Relation with other facts/conjectures

Name Statement Status
Bombieri-Vinogradov theorem Elliott-Halberstam conjecture holds for θ<1/2 Proved assuming generalized Riemann hypothesis