Steuding's universality conjecture for Selberg-class functions

Let SS be the Selberg class, let LS~S\mathcal L\in \widetilde{\mathcal S}\cap S, let KK be a compact subset of the strip S={σm<σ<1}\mathfrak S=\{\sigma_m<\sigma<1\} with connected complement, and let gg be a continuous function on KK, holomorphic in K0K^0, with no isolated zeros in K0K^0. Steuding's conjecture. For every ϵ>0\epsilon>0,

lim infT1Tmeas{t[0,T]:maxsKL(s+it)g(s)<ϵ}>0.\liminf_{T\to\infty}\frac{1}{T}\operatorname{meas}\left\{t\in[0,T]:\max_{s\in K}|\mathcal L(s+it)-g(s)|<\epsilon\right\}>0.

This is a stronger measure-theoretic universality statement than the preceding theorem and is intended to provide information about the Riemann Hypothesis. For the Riemann zeta-function, Johan Andersson showed that it is equivalent to a conjecture on zero-free polynomial approximation.

Sources & referencesView supporting material

Primary source

Javier Falcó and Paul M. Gauthier, “Approximation in measure: Dirichlet problem, universality and the Riemann hypothesis”, arXiv:2002.10129 (2020).

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.