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 a natural number and an integer relatively prime to , consider the modular prime-counting function , which counts the number of prime numbers less than or equal to that are congruent to modulo . Let be the prime-counting function at and the Euler phi-function of . Consider the expression:

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

Then, the Elliott-Halberstam conjecture states that for every and there exists a constant such that

Relation with other facts/conjectures

Name Statement Status
Bombieri-Vinogradov theorem Elliott-Halberstam conjecture holds for Proved assuming generalized Riemann hypothesis