Turing's method for the Selberg zeta-function

Abstract

In one of his final research papers, Alan Turing introduced a method to certify the completeness of a purported list of zeros of the Riemann zeta-function. In this paper we consider Turing's method in the analogous setting of Selberg zeta-functions, and we demonstrate that it can be carried out rigorously in the prototypical case of the modular surface.

33 pages, to appear in Communications in Mathematical Physics

Cited by in corpus (1)

• The Prime Geodesic Theorem for ${\mathrm{PSL}}_2(\mathbb{Z}[i])$ and Spectral Exponential Sums