On the Zeros of the Riemann Zeta Function in the Critical Strip. IV

Abstract

Very extensive computations are reported which extend and, partly, check previous computations concerning the location of the complex zeros of the Riemann zeta function.The results imply the truth of the Riemann hypothesis for the first 1,500,000,001 zeros of the form a + it in the critical strip with 0 < / < 545,439,823.215,i.e., all these zeros have real part a = 1/2.Moreover, all these zeros are simple.Various tables are given with statistical data concerning the numbers and first occurrences of Gram blocks of various types; the numbers of Gram intervals containing m zeros, for m = 0,1,2, 3 and 4; and the numbers of exceptions to "Rosser's rule" of various types (including some formerly unobserved types).Graphs of the function Z(t) are given near five rarely occurring exceptions to Rosser's rule, near the first Gram block of length 9, near the closest observed pair of zeros of the Riemann zeta function, and near the largest (positive and negative) found values of Z(t) at Gram points.Finally, a number of references are given to various number-theoretical implications.[£300,000,000.£415,000,000) and [£i,445,ooo,ooo> £1,500,000,000)-A vectorized version ([9], [14])of that program was run on a CYBER 205 vector computer to separate the zeros of Z(t) in the interval [£415,000,000.£1,445,000,000)-Finally, the program was run a little further beyond gi,500,000,000 to yield 5 Gram blocks of lengths 1, 1, 2, 1 and 1 in [£1,500,000,000.£1,500,000,006) which a11 satisfy Rosser's rule.Applying Theorem 3.2 of [1] we completed the proof of our claim that the first 1,500,000,001 complex zeros of the

Locations

• Mathematics of Computation - View - PDF
• CWI's Institutional Repository (Centrum Wiskunde & Informatica) - View - PDF