- Generalized Riemann hypothesis
The

Riemann hypothesis is one of the most importantconjecture s inmathematics . It is a statement about the zeros of theRiemann zeta function . Various geometrical and arithmetical objects can be described by so-called**global**, which are formally similar to the Riemann zeta-function. One can then ask the same question about the zeros of these "L"-functions, yielding various generalizations of the Riemann hypothesis. Many mathematicians believe these generalizations of the Riemann hypothesis to be true. The only cases of these conjectures which have been proven occur in the function field case (not the number field case).L-function sGlobal "L"-functions can be associated to

elliptic curve s,number field s (in which case they are called),Dedekind zeta-function sMaass form s, andDirichlet character s (in which case they are called Dirichlet L-functions). When the Riemann hypothesis is formulated for Dedekind zeta-functions, it is known as the**extended Riemann hypothesis**(ERH) and when it is formulated for Dirichlet "L"-functions, it is known as the**generalized Riemann hypothesis**(GRH). These two statements will be discussed in more detail below. (Many mathematicians use the label "generalized Riemann hypothesis" to cover the extension of the Riemann hypothesis to all global "L"-functions, not just the special case of Dirichlet "L"-functions.)**Generalized Riemann hypothesis (GRH)**The generalized Riemann hypothesis (for Dirichlet "L"-functions) was probably formulated for the first time by Piltz in 1884. Like the original Riemann hypothesis, it has far reaching consequences about the distribution of

prime number s.The formal statement of the hypothesis follows. A

Dirichlet character is a completely multiplicativearithmetic function χ such that there exists a positive integer "k" with χ("n" + "k") = χ("n") for all "n" and χ("n") = 0 whenever gcd("n", "k") > 1. If such a character is given, we define the corresponding**Dirichlet L-function**by:$L(chi,s)\; =\; sum\_\{n=1\}^infty\; frac\{chi(n)\}\{n^s\}$for every

complex number "s" with real part > 1. Byanalytic continuation , this function can be extended to ameromorphic function defined on the whole complex plane. The generalized Riemann hypothesis asserts that for every Dirichlet character χ and every complex number "s" with L(χ,"s") = 0: if the real part of "s" is between 0 and 1, then it is actually 1/2.The case χ("n") = 1 for all "n" yields the ordinary Riemann hypothesis.

**Consequences of GRH**An "arithmetic progression" in the

natural number s is a set of numbers of the form "a", "a"+"d", "a"+2"d", "a"+3"d", ... where "a" and "d" are natural numbers and "d" is non-zero.

Dirichlet's theorem states that if "a" and "d" arecoprime , then such an arithmetic progression contains infinitely many prime numbers.Let π("x","a","d") denote the number of prime numbers in this progression which are less than or equal to "x".If the generalized Riemann hypothesis is true, then for every coprime "a" and "d" and for every ε > 0:$pi(x,a,d)\; =\; frac\{1\}\{varphi(d)\}\; int\_2^x\; frac\{1\}\{ln\; t\},dt\; +\; O(x^\{1/2+epsilon\})quadmbox\{\; as\; \}\; x\; oinfty$

where φ("d") denotes

Euler's phi function and O is theLandau symbol . This is a considerable strengthening of theprime number theorem .If GRH is true, then for every prime "p" there exists a primitive root modulo "p" (a generator of the multiplicative group of integers modulo "p") which is less than 70 (ln("p"))

^{2}; this is often used in proofs.Goldbach's weak conjecture also follows from the generalized Riemann hypothesis.If GRH is true, then the

Miller-Rabin primality test is guaranteed to run in polynomial time. (A polynomial-time primality test which does not require GRH, theAKS primality test , was published in 2002.)If GRH is true, then

Shanks-Tonelli algorithm is guaranteed to run in polynomial time. Shanks-Tonelli algorithm isuseful for finding solutions to: $x^2\; equiv\; n\; mod\; p$where "n" is aquadratic residue mod p,"p" is prime and x is the unknown variable. This algorithm is an important step intheQuadratic Sieve (Carl Pomerance ) factoring algorithm.Assuming the truth of the GRH, the estimate of the character sum in the

Pólya-Vinogradov inequality can be improved to $Oleft(sqrt\{q\}loglog\; q\; ight)$, "q" being the modulus of the character.**Extended Riemann hypothesis (ERH)**Suppose "K" is a

number field (a finite-dimensionalfield extension of the rationals**Q**) with ring of integers O_{"K"}(this ring is theintegral closure of theinteger s**Z**in "K"). If "a" is an ideal of O_{"K"}, other than the zero ideal we denote its norm by "Na". Theof "K" is then defined by:$zeta\_K(s)\; =\; sum\_a\; frac\{1\}\{(Na)^s\}$for every complex number "s" with real part > 1. The sum extends over all non-zero ideals "a" of ODedekind zeta-function _{"K"}.The Dedekind zeta-function satisfies a functional equation and can be extended by

analytic continuation to the whole complex plane. The resulting function encodes important information about the number field "K". The extended Riemann hypothesis asserts that for every number field "K" and every complex number "s" with ζ_{"K"}("s") = 0: if the real part of "s" is between 0 and 1, then it is in fact 1/2.The ordinary Riemann hypothesis follows from the extended one if one takes the number field to be

**Q**, with ring of integers**Z**.**See also*** Artin's conjecture

*Selberg class

*Wikimedia Foundation.
2010.*

### Look at other dictionaries:

**Riemann hypothesis**— The real part (red) and imaginary part (blue) of the Riemann zeta function along the critical line Re(s) = 1/2. The first non trivial zeros can be seen at Im(s) = ±14.135, ±21.022 and ±25.011 … Wikipedia**Grand Riemann hypothesis**— In mathematics, the grand Riemann hypothesis is a generalisation of the Riemann hypothesis and Generalized Riemann hypothesis. It states that the nontrivial zeros of all automorphic L functions lie on the critical line1/2 + it with t a real… … Wikipedia**Riemann zeta function**— ζ(s) in the complex plane. The color of a point s encodes the value of ζ(s): dark colors denote values close to zero and hue encodes the value s argument. The white spot at s = 1 is the pole of the zeta function; the black spots on the… … Wikipedia**Riemann zeta function**— ▪ mathematics function useful in number theory for investigating properties of prime numbers (prime). Written as ζ(x), it was originally defined as the infinite series ζ(x) = 1 + 2−x + 3−x + 4−x + ⋯. When x = 1, this series is called the… … Universalium**Riemann mapping theorem**— In complex analysis, the Riemann mapping theorem states that if U is a simply connected open subset of the complex number plane Bbb C which is not all of Bbb C, then there exists a biholomorphic (bijective and holomorphic) mapping f, from U, onto … Wikipedia**Hypothèse de Riemann généralisée**— L hypothèse de Riemann est l une des plus importantes conjectures des mathématiques et concerne les zéros de la fonction ζ de Riemann. Divers objets géométriques et arithmétiques peuvent être décrits par ce que l on appelle les fonctions L… … Wikipédia en Français**Bernhard Riemann**— Infobox Scientist name =Bernhard Riemann box width =300px image width =225px caption =Bernhard Riemann, 1863 birth date =September 17, 1826 birth place =Breselenz, Germany death date =death date and age|1866|7|20|1826|9|17 death place =Selasca,… … Wikipedia**Cauchy-Riemann equations**— In mathematics, the Cauchy Riemann differential equations in complex analysis, named after Augustin Cauchy and Bernhard Riemann, are two partial differential equations which provide a necessary and sufficient condition for a differentiable… … Wikipedia**mathematics**— /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium**Dirichlet L-function**— In mathematics, a Dirichlet L series is a function of the form Here χ is a Dirichlet character and s a complex variable with real part greater than 1. By analytic continuation, this function can be extended to a meromorphic function on the whole… … Wikipedia