Higher decorrelation conjecture for Hecke eigenforms

About 2 years old · traced to

Let H={x+iy:x∈R, y>0}\mathbb{H}=\{x+iy:x\in\mathbb{R},\ y>0\} be the upper half-plane, let Γ=SL⁡2(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,g∈Hkf,g\in H_k satisfy ⟨f,g⟩=0\langle f,g\rangle=0. Higher decorrelation conjecture. For every positive integer a∈Na\in\mathbb{N},

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

as k→∞k\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.

References

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.