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

About 20 years old · traced to

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>0→CH_a:\mathbb{R}_{>0}\to\mathbb{C} by

Ha(τ)=1alog⁡τ2πa−∑u∈τ−aS∣u∣≤π(1+e−iu),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:t∈S\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:C→RF_a:\mathbb{C}\to\mathbb{R} satisfying

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

such that for every Borel set X⊆CX\subseteq\mathbb{C},

lim⁡T→∞λ([0,T]∩Ha−1(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(n−1)\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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.