Improvements to Turing's method II

  title={Improvements to Turing's method II},
  author={Tim Trudgian},
  journal={Rocky Mountain Journal of Mathematics},
  • T. Trudgian
  • Published 13 June 2014
  • Mathematics
  • Rocky Mountain Journal of Mathematics
This article improves the estimate of the size of the definite inte- gral of S(t), the argument of the Riemann zeta-function. The primary appli- cation of this improvement is Turing's Method for the Riemann zeta-function. Analogous improvements are given for the arguments of Dirichlet L-functions and of Dedekind zeta-functions. 

Tables from this paper

Numerical computations concerning the GRH
  • Dave Platt
  • Computer Science, Mathematics
  • Math. Comput.
  • 2016
We describe two new algorithms for the efficient and rigorous computation of Dirichlet L-functions and their use to verify the Generalised Riemann Hypothesis for all such L-functions associated withExpand
On explicit estimates for S(t), S1(t), and ζ(1/2+it) under the Riemann Hypothesis
Abstract Assuming the Riemann Hypothesis, we provide explicit upper bounds for moduli of S ( t ) , S 1 ( t ) , and ζ ( 1 / 2 + i t ) while comparing them with recently proven unconditional ones. As aExpand
The Riemann hypothesis is true up to $3\cdot 10^{12}$
We verify numerically, in a rigorous way using interval arithmetic, that the Riemann hypothesis is true up to height $3\cdot10^{12}$. That is, all zeroes $\beta + i\gamma$ of the RiemannExpand
A pr 2 02 0 The Riemann hypothesis is true up to 3 · 10 12
We verify numerically, in a rigorous way using interval arithmetic, that the Riemann hypothesis is true up to height 3 · 10. That is, all zeroes β + iγ of the Riemann zeta-function with 0 < γ ≤ 3 ·Expand
Explicit zero density estimate for the Riemann zeta-function near the critical line
  • A. Simonič
  • Mathematics
  • Journal of Mathematical Analysis and Applications
  • 2020
In 1946, A. Selberg proved $N(\sigma,T) \ll T^{1-\frac{1}{4} \left(\sigma-\frac{1}{2}\right)} \log{T}$ where $N(\sigma,T)$ is the number of nontrivial zeros $\rho$ of the Riemann zeta-function withExpand
An improved explicit bound on $|\zeta(1/2 + it)|$
This article proves the bound $|\zeta(\frac{1}{2} + it)|\leq 0.732 t^{\frac{1}{6}} \log t$ for $t \geq 2$, which improves on a result by Cheng and Graham. We also show thatExpand
Accurate estimation of sums over zeros of the Riemann zeta-function
We consider sums of the form $\sum \phi(\gamma)$, where $\phi$ is a given function, and $\gamma$ ranges over the ordinates of nontrivial zeros of the Riemann zeta-function in a given interval. WeExpand


Improvements to Turing's method
  • T. Trudgian
  • Computer Science, Mathematics
  • Math. Comput.
  • 2011
This paper refines the argument of Lehman by reducing the size of the constants in Turing's method by giving in Theorem 1 and scope for further improvements is also given. Expand
The Theory of the Riemann Zeta-Function
The Riemann zeta-function embodies both additive and multiplicative structures in a single function, making it our most important tool in the study of prime numbers. This volume studies all aspectsExpand
An improved upper bound for the argument of the Riemann zeta-function on the critical line II
Abstract Text This paper concerns the function S ( T ) , where π S ( T ) is the argument of the Riemann zeta-function along the critical line. The main result is that | S ( T ) | ⩽ 0.112 log T +Expand
Artin's Conjecture, Turing's Method, and the Riemann Hypothesis
  • A. Booker
  • Mathematics, Computer Science
  • Exp. Math.
  • 2006
A group-theoretic criterion under which one may verify the Artin conjecture for some Galois representations, up to finite height in the complex plane is presented and a rigorous algorithm for computing general L-functions on the critical line via the fast Fourier transform is developed. Expand
A method for proving the completeness of a list of zeros of certain L-functions
  • Jan Büthe
  • Mathematics, Computer Science
  • Math. Comput.
  • 2015
A general version of this method based on an explicit version of a theorem of Littlewood on the average of the argument of the Riemann zeta function is proved 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. Expand
Gram's Law Fails a Positive Proportion of the Time
This paper extends the work done by Titchmarsh on Gram's Law (an attempt to locate the zeroes of the zeta-function on the critical line). Herewith it is shown that a positive proportion of GramExpand
On the zeros of the Riemann zeta function in the critical strip
We describe a computation which shows that the Riemann zeta function ζ(s) has exactly 75,000,000 zeros of the form σ+ it in the region 0 < t < 32,585,736.4; all these zeros are simple and lie on theExpand
Numerical computations concerning the ERH
This paper describes a computation which established the ERH to height 10000 for all primitive Dirichlet L-series with conductor Q < 13, and to height 2500 for all Q < 72, all composite Q < 112, andExpand
Zeros of Dedekind zeta functions in the critical strip
A computation which established the GRH to height 92 for cubic number fields for cubic and quartic fields with small discriminant is described, and Turing's criterion is generalized to prove that there is no zero off the critical line. Expand
The zeros of the Riemann zeta-function
  • E. C. Titchmarsh
  • Mathematics
  • Proceedings of the Royal Society of London. Series A - Mathematical and Physical Sciences
  • 1935
1―It is well known that the distribution of the zeroes of the Riemann zeta-function ζ(s) = ∞Σ n=1 1/n8 (s= σ + it) plays a fundamental part in the theory of prime numbers. It was conjectured byExpand