OFFSET
1,1
COMMENTS
From Mats Granvik, Feb 21 2017: (Start)
Conjecture 1: Indices n of nontrivial zeros of the Riemann zeta function such that: abs(floor(im(zetazero(n))/(2*Pi)*log(im(zetazero(n))/(2*Pi*e)) + 7/8) - n + 1) = 1.
Conjecture 2: The zeta zeros with these indices are also the locations where the zeta zero counting sequence A135297 disagrees with the zeta zero counting function: (RiemannSiegelTheta(t) + im(log(zeta(1/2 + I*t))))/Pi + 1. The locations where the counting function overcounts are given by A282793, and the locations where the counting function undercounts are given by A282794.
(End)
Floor(im(zetazero(n))/(2*Pi)*log(im(zetazero(n))/(2*Pi*e)) + 7/8) - n + 1 is the branch of the argument of zeta at the n-th zero on the critical line (conjectured). - Stephen Crowley, Mar 09 2017
LINKS
Stephen Crowley, An Expression For The Argument of zeta at Zeros on the Critical Line, arXiv:1703.03490 [math.NT], 2017.
EXAMPLE
Re(zeta'(zetazero(127))) < 0.
MATHEMATICA
Select[Range[1000], N[Re[Zeta'[ZetaZero[ # ]]] < 0] &]
(* Conjecture 1: *) Monitor[Flatten[Position[Table[Abs[Floor[Im[ZetaZero[n]]/(2*Pi)*Log[Im[ZetaZero[n]]/(2*Pi*Exp[1])] + 7/8] - n + 1], {n, 1, 1000}], 1]], n] (* Mats Granvik, Feb 21 2017 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Vladimir Reshetnikov, Jan 02 2009
STATUS
approved