Conjecture on the limiting distribution of the continuous zeta-zero orbit function

From papers

Let SS denote the multiset of ordinates of the nontrivial zeros of the Riemann zeta function. For a>0a>0, define the continuous function Ha:R>0CH_a:\mathbb{R}_{>0}\to\mathbb{C} by

Ha(τ)=1alogτ2πauτaSuπ(1+eiu),H_a(\tau)=\frac{1}{a}\log\frac{\tau}{2\pi a}-\sum_{\substack{u\in\tau-aS\\\\ |u|\leq\pi}}(1+e^{-iu}),

where τaS=τat:tS\tau-aS=\\{\tau-at:t\in S\\} and λ\lambda denotes Lebesgue measure. Continuous-orbit limiting-distribution conjecture. For every a>0a>0 there is a Borel function Fa:CRF_a:\mathbb{C}\to\mathbb{R} satisfying

CFa=1\int_{\mathbb{C}}F_a=1

such that for every Borel set XCX\subseteq\mathbb{C},

limTλ([0,T]Ha1(X))T=XFa.\lim_{T\to\infty}\frac{\lambda([0,T]\cap H_a^{-1}(X))}{T}=\int_XF_a.

The relation ηa,h(n)=Ha((2n+1)π+ah)+O(n1)\eta_{a,h}(n)=H_a((2n+1)\pi+ah)+O(n^{-1}) connects this assertion with the discrete conjecture. Numerical evidence suggests that the statistical distribution of Ha(τ)H_a(\tau) is asymptotically independent of τ\tau, but the existence of the limiting distribution is open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

A. M. Edgington, “Statistical regularities in the zeta zeros”, arXiv:math/0612550 (2006).

Solutions 0

No solutions have been posted yet.