login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 56th year, we are closing in on 350,000 sequences, and we’ve crossed 9,700 citations (which often say “discovered thanks to the OEIS”).

Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A282794 Indices k of nontrivial Riemann zeta zeros such that floor(Im(zetazero(k))/(2*Pi)*log(Im(zetazero(k))/(2*Pi*e)) + 7/8) - k + 1 = -1. 6
136, 213, 256, 379, 399, 509, 531, 580, 639, 696, 705, 779, 795, 809, 871, 994, 1018, 1048, 1073, 1088, 1096, 1113, 1137, 1158, 1167, 1209, 1233, 1265, 1296, 1321, 1331, 1346, 1404, 1445, 1487 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,1

COMMENTS

Conjecture 1: The union of this sequence and A282793 is A153815.

Conjecture 2: The zeta zeros whose indices are terms of this sequence are the locations where the zeta zero counting function, (RiemannSiegelTheta(t) + Im(log(zeta(1/2 + i*t))))/Pi + 1, undercounts the zeta zeros on the critical line.

Conjecture 3: This sequence consists of the numbers k such that sign(Im(zetazero(k)) - 2*Pi*e*exp(LambertW((k - 15/8)/e))) = -1. Verified for the first 100000 zeta zeros.

LINKS

Table of n, a(n) for n=1..35.

MATHEMATICA

(* Definition: *)

Monitor[Flatten[Position[Table[Floor[Im[ZetaZero[n]]/(2*Pi)*Log[Im[ZetaZero[n]]/(2*Pi*Exp[1])] + 7/8] - n + 1, {n, 1, 1500}], -1]], n]

CROSSREFS

Cf. A002505, A135297, A153815, A273061, A282793, A282896, A282897.

Sequence in context: A165337 A256925 A235285 * A304606 A264951 A264958

Adjacent sequences:  A282791 A282792 A282793 * A282795 A282796 A282797

KEYWORD

nonn

AUTHOR

Mats Granvik, Feb 21 2017

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified December 6 13:45 EST 2021. Contains 349563 sequences. (Running on oeis4.)