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
Additional Information
- Jan Büthe
- Affiliation: Mathematisches Institut, Bonn University, Endenicher Allee 60, 53115 Bonn, Germany
- MR Author ID: 1017601
- Email: jbuethe@math.uni-bonn.de
- Received by editor(s): October 28, 2013
- Received by editor(s) in revised form: December 2, 2013
- Published electronically: February 4, 2015
- © Copyright 2015 American Mathematical Society
- Journal: Math. Comp. 84 (2015), 2413-2431
- MSC (2010): Primary 11M26; Secondary 11Y35
- DOI: https://doi.org/10.1090/S0025-5718-2015-02922-6
- MathSciNet review: 3356032