# Improvements to Turing's method II

@article{Trudgian2016ImprovementsTT, title={Improvements to Turing's method II}, author={Tim Trudgian}, journal={Rocky Mountain Journal of Mathematics}, year={2016}, volume={46}, pages={325-332} }

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

#### 10 Citations

Numerical computations concerning the GRH

- 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 with… Expand

On explicit estimates for S(t), S1(t), and ζ(1/2+it) under the Riemann Hypothesis

- Mathematics
- Journal of Number Theory
- 2021

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 a… Expand

The Riemann hypothesis is true up to $3\cdot 10^{12}$

- Mathematics
- 2020

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 Riemann… Expand

A pr 2 02 0 The Riemann hypothesis is true up to 3 · 10 12

- 2020

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

- 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 with… Expand

An improved explicit bound on $|\zeta(1/2 + it)|$

- Mathematics
- 2014

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 that… Expand

Accurate estimation of sums over zeros of the Riemann zeta-function

- Computer Science, Mathematics
- Math. Comput.
- 2021

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. We… Expand

#### References

SHOWING 1-10 OF 22 REFERENCES

Improvements to Turing's method

- 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

- Mathematics
- 1987

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 aspects… Expand

An improved upper bound for the argument of the Riemann zeta-function on the critical line II

- Mathematics
- 2012

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

- 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

- 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

- Mathematics
- 2008

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 Gram… Expand

On the zeros of the Riemann zeta function in the critical strip

- Mathematics
- 1979

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 the… Expand

Numerical computations concerning the ERH

- Mathematics
- 1993

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, and… Expand

Zeros of Dedekind zeta functions in the critical strip

- Mathematics, Computer Science
- Math. Comput.
- 1997

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

- 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 by… Expand