A method for proving the completeness of a list of zeros of certain L-functions

Büthe, Jan

doi:10.1090/S0025-5718-2015-02922-6

A method for proving the completeness of a list of zeros of certain L-functions
HTML articles powered by AMS MathViewer

by Jan Büthe PDF

Math. Comp. 84 (2015), 2413-2431 Request permission

Abstract:

When it comes to partial numerical verification of the Riemann Hypothesis, one crucial part is to verify the completeness of a list of pre-computed zeros. Turing developed such a method, based on an explicit version of a theorem of Littlewood on the average of the argument of the Riemann zeta function. In a previous paper by J. Büthe, J. Franke, A. Jost, and T. Kleinjung, we suggested an alternative method based on the Weil-Barner explicit formula. This method asymptotically sacrifices fewer zeros in order to prove the completeness of a list of zeros with imaginary part in a given interval. In this paper, we prove a general version of this method for an extension of the Selberg class including Hecke and Artin L-series, L-functions of modular forms, and, at least in the unramified case, automorphic L-functions. As an example, we further specify this method for Hecke L-series and L-functions of elliptic curves over the rational numbers.

References

Klaus Barner, On A. Weil’s explicit formula, J. Reine Angew. Math. 323 (1981), 139–152. MR 611448, DOI 10.1515/crll.1981.323.139
J. Büthe, Jens Franke, Alexander Jost, and Thorsten Kleinjung, Some applications of the Weil-Barner explicit formula, Math. Nachr. 286 (2013), no. 5-6, 536–549. MR 3048130, DOI 10.1002/mana.201100218
J. Büthe and A. Jost, Algorithmic Applications of Weil’s explicit Formula, 2010, Diplomarbeit.
Andrew R. Booker, Artin’s conjecture, Turing’s method, and the Riemann hypothesis, Experiment. Math. 15 (2006), no. 4, 385–407. MR 2293591
Richard P. Brent, On the zeros of the Riemann zeta function in the critical strip, Math. Comp. 33 (1979), no. 148, 1361–1372. MR 537983, DOI 10.1090/S0025-5718-1979-0537983-2
Jay Jorgenson, Serge Lang, and Dorian Goldfeld, Explicit formulas, Lecture Notes in Mathematics, vol. 1593, Springer-Verlag, Berlin, 1994. MR 1329730, DOI 10.1007/BFb0074039
R. Sherman Lehman, On the distribution of zeros of the Riemann zeta-function, Proc. London Math. Soc. (3) 20 (1970), 303–320. MR 258768, DOI 10.1112/plms/s3-20.2.303
C. J. Moreno, Explicit formulas in the theory of automorphic forms, Number Theory day (Proc. Conf., Rockefeller Univ., New York, 1976) Lecture Notes in Math., Vol. 626, Springer, Berlin, 1977, pp. 73–216. MR 0476650
R. Remmert, Funktionentheorie 2, Springer, 1990, first edition.
Robert Rumely, Numerical computations concerning the ERH, Math. Comp. 61 (1993), no. 203, 415–440, S17–S23. MR 1195435, DOI 10.1090/S0025-5718-1993-1195435-0
Atle Selberg, Old and new conjectures and results about a class of Dirichlet series, Proceedings of the Amalfi Conference on Analytic Number Theory (Maiori, 1989) Univ. Salerno, Salerno, 1992, pp. 367–385. MR 1220477
Emmanuel Tollis, Zeros of Dedekind zeta functions in the critical strip, Math. Comp. 66 (1997), no. 219, 1295–1321. MR 1423079, DOI 10.1090/S0025-5718-97-00871-5
Timothy Trudgian, Improvements to Turing’s method, Math. Comp. 80 (2011), no. 276, 2259–2279. MR 2813359, DOI 10.1090/S0025-5718-2011-02470-1
Timothy Trudgian, On the success and failure of Gram’s law and the Rosser rule, Acta Arith. 148 (2011), no. 3, 225–256. MR 2794929, DOI 10.4064/aa148-3-2
Timothy S. Trudgian, An improved upper bound for the argument of the Riemann zeta-function on the critical line II, J. Number Theory 134 (2014), 280–292. MR 3111568, DOI 10.1016/j.jnt.2013.07.017
A. M. Turing, Some calculations of the Riemann zeta-function, Proc. London Math. Soc. (3) 3 (1953), 99–117. MR 55785, DOI 10.1112/plms/s3-3.1.99
André Weil, Sur les “formules explicites” de la théorie des nombres premiers, Comm. Sém. Math. Univ. Lund [Medd. Lunds Univ. Mat. Sem.] 1952 (1952), no. Tome Supplémentaire, 252–265 (French). MR 53152
André Weil, Sur les formules explicites de la théorie des nombres, Izv. Akad. Nauk SSSR Ser. Mat. 36 (1972), 3–18 (French, with Russian summary). MR 0379440