Selberg's orthonormality conjecture for the Selberg class

Let S{\mathcal S} be the Selberg class of functions L(s)=n=1aL(n)nsL(s)=\sum_{n=1}^{\infty}a_L(n)n^{-s} satisfying the Ramanujan hypothesis, analytic continuation, a functional equation, and an Euler product. A function in S{\mathcal S} is primitive if it cannot be written as a nontrivial product of functions in S{\mathcal S}. For LSL\in{\mathcal S}, write aL(p)a_L(p) for its Dirichlet-series coefficient at a prime pp. Selberg's orthonormality conjecture. For every function 1LS1\ne L\in{\mathcal S}, there is a positive integer κL\kappa_L such that

pxaL(p)2p=κLloglogx+R(x),\sum_{p\leq x}\frac{|a_L(p)|^2}{p}=\kappa_L\log\log x+R(x),

and, for any primitive functions L1,L2SL_1,L_2\in{\mathcal S},

pxaL1(p)aL2(p)p=R(x),\sum_{p\leq x}\frac{a_{L_1}(p)\overline{a_{L_2}(p)}}{p}=R(x),

where R(x)1R(x)\ll 1. The first relation predicts the logarithmic mean square of prime coefficients, while the second is the orthonormality relation for distinct primitive LL-functions. This conjecture is closely related to the prime-coefficient condition used in universality results for LL-functions, but its general validity for the Selberg class remains open.

Sources & referencesView supporting material

Primary source

Yoonbok Lee, Takashi Nakamura and Łukasz Pańkowski, “Selberg's orthonormality conjecture and joint universality of L-functions”, arXiv:1503.03620 (2015).

Additional references

2 papers in this index state this conjecture (2013–2015). The statement above is taken from the most recent of them; the others are arXiv:1305.3972.

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.