Higher decorrelation conjecture for Hecke eigenforms

Let H={x+iy:xR, y>0}\mathbb{H}=\{x+iy:x\in\mathbb{R},\ y>0\} be the upper half-plane, let Γ=SL2(Z)\Gamma=\operatorname{SL}_2(\mathbb{Z}), and let HkH_k be a Hecke basis of holomorphic cusp forms on Γ\Gamma. Let Ω\Omega be a fixed compact set of Γ\H\Gamma\backslash\mathbb{H} whose boundary Ω\partial\Omega has hyperbolic measure zero. Let f,gHkf,g\in H_k satisfy f,g=0\langle f,g\rangle=0. Higher decorrelation conjecture. For every positive integer aNa\in\mathbb{N},

Ωyakf(z)ag(z)adμz=o(1)\int_{\Omega}y^{ak}f(z)^a\overline{g(z)}^a\,\mathrm{d}\mu z=o(1)

as kk\to\infty. This conjecture concerns higher mixed moments of two orthogonal Hecke eigenforms of equal weight and is intended to capture higher-order decorrelation, including joint sign-change information. Its resolution status is not specified in the supplied text.

Sources & referencesView supporting material

Primary source

Bingrong Huang, “Joint distribution of Hecke eigenforms”, arXiv:2406.03073 (2026).

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.