The explicit formula conjecture for Farey transfer-operator eigenfunctions

About 10 years old · traced to

Let qq be a parameter and let Eq(y)\mathbf{E}_{q}(y) denote the function introduced through the Farey transfer operators. For the previously considered cases q=1q=1 and q=12q=\frac12, one has E1(y)=(2π)12y\mathbf{E}_{1}(y)=\left(\frac{2}{\pi}\right)^{\frac12}y and E1/2(y)=y12\mathbf{E}_{1/2}(y)=y^{\frac12}. Explicit formula conjecture. For all qq,

Eq(y)=(2π)q−12yq.\mathbf{E}_{q}(y)=\left(\frac{2}{\pi}\right)^{q-\frac12}y^q.

This extends the two explicitly verified cases and predicts a simple closed form for the functions arising from the Farey transfer operators. The supplied text gives no resolution of the assertion.

References

Primary source

Claudio Bonanno and Stefano Isola, “Series expansions for Maass forms on the full modular group from the Farey transfer operators”, arXiv:1607.03414 (2019).

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.