The explicit formula conjecture for Farey transfer-operator eigenfunctions

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π)q12yq.\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.

Sources & referencesView supporting material

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.