cp's OEIS Frontend

A208436 Indices of maximal gaps between consecutive nontrivial zeros of the Riemann zeta function.

%I A208436 #48 Mar 28 2022 21:34:39
%S A208436 1,3,8,14,33,64,79,126,183,379,795,1935,2292,3296,4805,6620,15323,
%T A208436 19187,20105,36719,46589,185013,220571,259501,516200,880694,1493008,
%U A208436 1663325,1793281,3206674,6488753,14145077,22653912,33742399,65336924,70354407,81805537,110280572,129842508,298466597,566415148
%N A208436 Indices of maximal gaps between consecutive nontrivial zeros of the Riemann zeta function.
%C A208436 Values are conjectural: in principle exact values can be computed, but the bound involves a triple logarithm (or double logarithm under RH) and so is computationally infeasible.
%C A208436 Corresponding gap sizes are (to 7 decimal places) 6.887314, 5.414019, 4.678078, 4.280766, 3.860924, 3.499560, 3.249442, 3.235864, 3.011009, 2.980888, 2.594919, 2.589789, 2.539380, 2.406590, 2.279428, 2.194404, 2.176083, 2.098284, 2.064198, 2.042407, 2.024333, 1.966653, 1.844023, 1.804885, 1.798398, 1.779155, 1.754010, 1.696635, 1.688765, 1.686034, 1.580157, 1.567382, 1.525555, 1.521410, 1.488847, 1.479976, 1.432771, 1.422617, 1.420599, 1.413245, 1.393242, ....
%C A208436 Goldston & Gonek show, on the Riemann Hypothesis, that the gap between the zero 1/2 + ix and the following zero is at most Pi(1 + o(1))/log log x. For illustrative purposes, if o(1) is taken to be zero, it would suffice to check up to height 345.9 to verify a(24) with gap size 1.804... but over 10^10 for gap size 1. - _Charles R Greathouse IV_, Oct 22 2012
%C A208436 Littlewood proves an unconditional version: there is some constant Y such that the gap between the zero x + i*y and the following zero is at most 32/log log log y for all y > Y. Hall & Hayman improve the above constant from 32 to Pi/2 + o(1). Even with this latter improvement, verifying a gap of size 1 with this formula (even dropping the o(1)) would take a height above 10^53. - _Charles R Greathouse IV_, Jun 04 2021
%C A208436 Ivić improves the Goldston & Gonek constant to Pi/2. - _Charles R Greathouse IV_, Jun 23 2021
%C A208436 Bui & Milinovich, improving on Bredberg, prove that, for large enough T, there is a gap of length 6.36*Pi/log T between T and 2T (that is, 3.18 times the length of the average gap). This seems rather sharp around values where we're computing this sequence. - _Charles R Greathouse IV_, Jun 24 2021
%C A208436 Simonič (2018) shows that a(1) = 1, see the proof of Lemma 3 around (8). - _Charles R Greathouse IV_, Jul 07 2021
%C A208436 Simonič (2022) shows that, under the Riemann hypothesis, it suffices to check up to height 10^2465 to prove that the values of a(2)-a(40) are as stated. a(41) requires checking to 10^2588. Because these values are so high it is not currently feasible to prove more terms of the sequence, even under RH. - _Charles R Greathouse IV_, Mar 28 2022
%D A208436 R. R. Hall and W. K. Hayman, Hyperbolic distance and distinct zeros of the Riemann zeta-function in small regions, Journal für die reine und angewandte Mathematik vol. 526 (2000), pp. 35-59.
%D A208436 J. E. Littlewood, Two notes on the Riemann zeta-function, Proceedings of the Cambridge Philosophical Society Vol. 22, No. 3 (1924), pp. 234-242.
%D A208436 E. C. Titchmarsh, The theory of the Riemann zeta-function, 1986.
%H A208436 H. M. Bui and M. B. Milinovich, <a href="https://arxiv.org/abs/1410.3635">Gaps between zeros of the Riemann zeta-function</a>, 2017 preprint. arXiv:1410.3635 [math.NT]
%H A208436 Johan Bredberg, <a href="https://arxiv.org/abs/1101.3197">Large gaps between consecutive zeros, on the critical line, of the Riemann zeta-function</a>, 2011 preprint. arXiv:1101.3197 [math.NT]
%H A208436 D. A. Goldston and S. M. Gonek, <a href="http://www.math.sjsu.edu/~goldston/article38.pdf">A note on S(t) and the zeros of the Riemann zeta-function</a>, Bull. London Math. Soc. 39 (2007), pp. 482-486.
%H A208436 Aleksandar Ivić, <a href="https://arxiv.org/abs/1610.01317">Some remarks on the differences between ordinates of consecutive zeta zeros</a>, Funct. Approx. Comment. Math. 58:1 (2018), pp. 23-35. arXiv:1610.01317 [math.NT]
%H A208436 LMFDB, <a href="http://www.lmfdb.org/zeros/zeta/">Zeros of ζ(s)</a>
%H A208436 Andrew Odlyzko, <a href="http://www.dtc.umn.edu/~odlyzko/zeta_tables/">Tables of zeros of the Riemann zeta function</a>
%H A208436 Aleksander Simonič, <a href="https://arxiv.org/abs/1612.08627">Lehmer pairs and derivatives of Hardy's Z-function</a>, Journal of Number Theory, Vol. 184 (March 2018), pp. 451-460. arXiv:1612.08627 [math.NT]
%H A208436 Aleksander Simonič, <a href="https://arxiv.org/abs/2010.13307">On explicit estimates for S(t), S1(t), and ζ(1/2 + it) under the Riemann Hypothesis</a>, Journal of Number Theory, Vol. 231 (February 2022), pp. 464-491. arXiv:2010.13307 [math.NT]
%H A208436 <a href="/index/Z#zeta_function">Index entries for zeta function</a>
%e A208436 The first four nontrivial zeros of the zeta function are at 0.5 + 14.13472...i, 0.5 + 21.02203...i, 0.5 + 25.01085...i, and 0.5 + 30.42487...i with gaps 6.88731..., 3.98882..., and 5.41402....  No gap is larger than the first, so a(1) = 1.  The third gap is larger than all gaps later than the first gap, so a(2) = 3.
%Y A208436 Cf. A161914, A002410.
%K A208436 nonn,hard,nice
%O A208436 1,2
%A A208436 _Charles R Greathouse IV_, Feb 26 2012
%E A208436 a(27)-a(41) from _Andrey V. Kulsha_, Aug 27 2012