Effective correlation and decorrelation for newforms, and weak subconvexity for L-functions
Pith reviewed 2026-05-24 01:34 UTC · model grok-4.3
The pith
Refining Soundararajan's weak subconvexity bound produces the best uniform estimates for newform correlation integrals.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central discovery is that refining the weak subconvexity bound for Rankin-Selberg L-functions associated to pairs of newforms allows one to prove the best known uniform bounds for the integral ∫ ψ(z) f(z) conjugate g(z) y^k dx dy / y^2 minus the indicator term 1_{f=g} (3/π) ∫ ψ(z) dx dy / y^2. This yields effective holomorphic quantum unique ergodicity when f = g and improved effective decorrelation when f ≠ g with squarefree q.
What carries the argument
A refinement of Soundararajan's weak subconvexity bound for the Rankin-Selberg L-function L(f × g, s), which is used to bound the off-diagonal contribution in the correlation integral.
If this is right
- When f = g the result gives effective bounds for the rate at which holomorphic newforms equidistribute with respect to the hyperbolic measure, uniform in weight and level.
- When f ≠ g the result gives effective bounds showing that distinct newforms are asymptotically orthogonal with respect to the test function ψ, uniform in the parameters.
- The uniformity in k and q allows the bounds to apply to families of newforms with growing weight or level.
- The approach extends previous effective QUE results to the holomorphic case with better uniformity.
Where Pith is reading between the lines
- If similar refinements of weak subconvexity can be obtained for other L-functions, the same method might produce correlation bounds for Maass forms or Siegel modular forms.
- The decorrelation estimates could be applied to study the joint distribution of Fourier coefficients of multiple newforms.
- These bounds may improve error terms in the asymptotic for the number of newforms with certain properties in large families.
Load-bearing premise
Soundararajan's weak subconvexity bound for Rankin-Selberg L-functions admits a refinement that is strong enough to control the correlation integral uniformly, and the level must be squarefree for distinct forms.
What would settle it
Computation of a Rankin-Selberg L-function value or the correlation integral for a pair of newforms with large weight or level that violates the claimed bound would falsify the result.
read the original abstract
Let $f$ and $g$ be spectrally normalized holomorphic newforms of even weight $k \geq2$ on $\Gamma_0(q)$. If $f\neq g$, then assume that $q$ is squarefree. For a nice test function $\psi$ supported on $\Gamma_0(1)\backslash\mathbb{H}$, we establish the best known bounds (uniform in $k$, $q$, and $\psi$) for \[ \int_{\Gamma_0(q)\backslash\mathbb{H}}\psi(z)f(z)\overline{g(z)}y^{k}\frac{dxdy}{y^2}-\mathbf{1}_{f = g}\frac{3}{\pi}\int_{\Gamma_0(1)\backslash\mathbb{H}}\psi(z)\frac{dx dy}{y^2}.\] When $f=g$, our results yield an effective holomorphic variant of quantum unique ergodicity, refining work of Holowinsky-Soundararajan and Nelson-Pitale-Saha. When $f \neq g$, our results extend and improve the effective decorrelation result of Huang for $q=1$. To prove our results, we refine Soundararajan's weak subconvexity bound for Rankin-Selberg $L$-functions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims best-known uniform bounds (in weight k, level q, and test function ψ) for the integral ∫ ψ(z) f(z) conj(g(z)) y^k dx dy / y^2 minus the main term (3/π)∫ψ when f=g, for spectrally normalized holomorphic newforms f,g of even weight k≥2 on Γ0(q) (with q squarefree if f≠g). The bounds are derived by refining Soundararajan's weak subconvexity for the Rankin-Selberg L-function L(s,f×g); the f=g case yields an effective holomorphic QUE, while f≠g yields effective decorrelation extending Huang's q=1 result.
Significance. If the refined subconvexity holds with the claimed uniformity, the work supplies effective versions of QUE and decorrelation with improved error terms over Holowinsky-Soundararajan, Nelson-Pitale-Saha, and Huang. The explicit uniformity in k, q, and ψ, together with the squarefree restriction only when f≠g, would be a concrete advance in the effective theory of newform correlations.
major comments (2)
- [Abstract] Abstract: the central bounds rest on a refinement of Soundararajan's weak subconvexity for L(s,f×g) that produces explicit saving uniform in k and ψ; the manuscript must supply the precise error term obtained from the approximate functional equation and analytic continuation step, together with the dependence on the test function ψ, because this saving is load-bearing for both the QUE and decorrelation claims.
- [Abstract] Abstract: the squarefree hypothesis on q when f≠g is imposed precisely to enable the refinement; the text must explain where this hypothesis enters the Rankin-Selberg estimate (e.g., in the Euler product or in the choice of test vectors) and whether the bound fails or merely loses uniformity without it.
minor comments (2)
- The statement of the integral omits the precise support and smoothness conditions on ψ; these should be stated explicitly in the introduction so that the uniformity claim can be checked against the error terms.
- Notation: the normalization of the newforms (spectrally normalized) and the precise meaning of the indicator 1_{f=g} should be recalled in the statement of the main theorem for readers who skip the introduction.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for recommending major revision. The two points raised concern the presentation of the refined subconvexity bound and the role of the squarefree hypothesis. Both can be addressed by adding explicit statements and explanations in the revised manuscript; we detail our responses below.
read point-by-point responses
-
Referee: [Abstract] Abstract: the central bounds rest on a refinement of Soundararajan's weak subconvexity for L(s,f×g) that produces explicit saving uniform in k and ψ; the manuscript must supply the precise error term obtained from the approximate functional equation and analytic continuation step, together with the dependence on the test function ψ, because this saving is load-bearing for both the QUE and decorrelation claims.
Authors: We agree that the precise error term and its dependence on ψ should be stated more explicitly for the reader's convenience. The refinement of Soundararajan's bound is given in Theorem 1.2, which records the saving (kq(1+|t|))^{-δ} with δ>0 explicit; this is obtained in Section 4 by applying the approximate functional equation to the Rankin-Selberg L-function after analytic continuation via the integral representation, with the test function ψ entering through its Sobolev norms in the resulting contour integral. The dependence on ψ is uniform as long as ψ is fixed and smooth. To make this load-bearing step immediately visible, we will insert a concise statement of the refined bound (including the error term and ψ-dependence) directly into the abstract and the first paragraph of the introduction. revision: yes
-
Referee: [Abstract] Abstract: the squarefree hypothesis on q when f≠g is imposed precisely to enable the refinement; the text must explain where this hypothesis enters the Rankin-Selberg estimate (e.g., in the Euler product or in the choice of test vectors) and whether the bound fails or merely loses uniformity without it.
Authors: The squarefree assumption is used when f≠g to guarantee that the local Euler factors at primes dividing q remain unramified of degree exactly two, which simplifies the choice of test vectors in the approximate functional equation and removes extra conductor factors that would otherwise appear in the completed L-function. This enters the proof in Section 4.2 when bounding the local integrals and in the application of the convexity bound on the critical line. Without squarefreeness the same argument yields a bound, but the saving δ becomes dependent on the number of prime factors of q and is no longer uniform; the bound does not fail outright but loses the claimed uniformity in q. We will add a short explanatory paragraph in Section 2.3 (and a cross-reference in the abstract) making this dependence explicit. revision: yes
Circularity Check
No circularity; refines external Soundararajan bound with independent estimates
full rationale
The derivation chain rests on refining Soundararajan's external weak subconvexity bound for Rankin-Selberg L-functions (explicitly stated in the abstract as the proof method), together with prior results of Holowinsky-Soundararajan and Nelson-Pitale-Saha. No self-definitional steps, fitted-input predictions, or load-bearing self-citations appear; the squarefree-q assumption for f≠g is a technical precondition for the external refinement rather than a definitional loop. The central integral bounds are therefore obtained from independent analytic continuation and approximate functional equation arguments outside the present paper's fitted quantities.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption q is squarefree when f ≠ g
- domain assumption ψ is a nice test function supported on Γ₀(1)∖ℍ
Reference graph
Works this paper leans on
-
[1]
V. Blomer and F. Brumley. On the Ramanujan conjecture over number fields.Ann. of Math. (2), 174(1):581–605, 2011
work page 2011
- [2]
-
[3]
C. J. Bushnell and G. Henniart. An upper bound on conductors for pairs.J. Number Theory, 65(2):183– 196, 1997
work page 1997
-
[4]
S. Gelbart and H. Jacquet. A relation between automorphic representations of GL(2) and GL(3).Ann. Sci. ´Ecole Norm. Sup. (4), 11(4):471–542, 1978
work page 1978
-
[5]
J. Hoffstein and P. Lockhart. Coefficients of Maass forms and the Siegel zero.Ann. of Math. (2), 140(1):161–181, 1994. With an appendix by Dorian Goldfeld, Jeffrey Hoffstein and Daniel Lieman
work page 1994
-
[6]
R. Holowinsky. Sieving for mass equidistribution.Ann. of Math. (2), 172(2):1499–1516, 2010
work page 2010
-
[7]
R. Holowinsky and K. Soundararajan. Mass equidistribution for Hecke eigenforms.Ann. of Math. (2), 172(2):1517–1528, 2010
work page 2010
-
[8]
Y. Hu. Triple product formula and mass equidistribution on modular curves of levelN.Int. Math. Res. Not. IMRN, (9):2899–2943, 2018
work page 2018
-
[9]
B. Huang. Effective decorrelation of Hecke eigenforms.Trans. Amer. Math. Soc., 377(9):6669–6693, 2024
work page 2024
-
[10]
B. Huang and Z. Xu. Sup-norm bounds for Eisenstein series.Forum Math., 29(6):1355–1369, 2017
work page 2017
-
[11]
P. Humphries and F. Brumley. Standard zero-free regions for Rankin–SelbergL-functions via sieve theory.Math. Z., 292(3-4):1105–1122, 2019
work page 2019
-
[12]
A. Ivi´ c. On sums of Hecke series in short intervals.J. Th´ eor. Nombres Bordeaux, 13(2):453–468, 2001
work page 2001
-
[13]
Iwaniec.Spectral methods of automorphic forms, volume 53 ofGraduate Studies in Mathematics
H. Iwaniec.Spectral methods of automorphic forms, volume 53 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI; Revista Matem´ atica Iberoamericana, Madrid, second edition, 2002
work page 2002
-
[14]
H. Iwaniec. Notes on quantum unique ergodicity for holomorphic cusp forms (after Holowinsky and Soundararajan). April 2010. Rutgers lectures
work page 2010
-
[15]
H. Iwaniec and E. Kowalski.Analytic number theory, volume 53 ofAmerican Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2004
work page 2004
-
[16]
H. Iwaniec and P. Sarnak. Perspectives on the analytic theory ofL-functions. Number Special Volume, Part II, pages 705–741. 2000. GAFA 2000 (Tel Aviv, 1999)
work page 2000
-
[17]
H. Jacquet, I. I. Piatetskii-Shapiro, and J. A. Shalika. Rankin–Selberg convolutions.Amer. J. Math., 105(2):367–464, 1983
work page 1983
- [18]
-
[19]
I. Kaneko and J. Thorner. Highly uniform prime number theorems.Ann. Inst. Fourier (Grenoble), 75(5):1901–1923, 2025. EFFECTIVE CORRELATION/DECORRELATION AND WEAK SUBCONVEXITY 35
work page 1901
-
[20]
H. H. Kim. Functoriality for the exterior square of GL 4 and the symmetric fourth of GL 2.J. Amer. Math. Soc., 16(1):139–183, 2003. With appendix 1 by Dinakar Ramakrishnan and appendix 2 by Kim and Peter Sarnak
work page 2003
-
[21]
E. Kowalski, P. Michel, and J. VanderKam. Rankin–SelbergL-functions in the level aspect.Duke Math. J., 114(1):123–191, 2002
work page 2002
- [22]
-
[23]
X. Li. Upper bounds onL-functions at the edge of the critical strip.Int. Math. Res. Not. IMRN, (4):727–755, 2010
work page 2010
-
[24]
W. Luo, Z. Rudnick, and P. Sarnak.On Selberg’s eigenvalue conjecture, volume 5, pages 387–401. 1995
work page 1995
- [25]
-
[26]
W. M¨ uller and B. Speh. Absolute convergence of the spectral side of the Arthur trace formula for GLn. Geom. Funct. Anal., 14(1):58–93, 2004. With an appendix by E. M. Lapid
work page 2004
-
[27]
P. D. Nelson. Equidistribution of cusp forms in the level aspect.Duke Math. J., 160(3):467–501, 2011
work page 2011
-
[28]
P. D. Nelson, A. Pitale, and A. Saha. Bounds for Rankin–Selberg integrals and quantum unique ergod- icity for powerful levels.J. Amer. Math. Soc., 27(1):147–191, 2014
work page 2014
-
[29]
K. Ono.The web of modularity: arithmetic of the coefficients of modular forms andq-series, volume 102 ofCBMS Regional Conference Series in Mathematics. Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2004
work page 2004
-
[30]
Z. Rudnick. On the asymptotic distribution of zeros of modular forms.Int. Math. Res. Not., (34):2059– 2074, 2005
work page 2059
-
[31]
P. Shiu. A Brun–Titchmarsh theorem for multiplicative functions.J. Reine Angew. Math., 313:161–170, 1980
work page 1980
-
[32]
K. Soundararajan. Weak subconvexity for central values ofL-functions.Ann. of Math. (2), 172(2):1469– 1498, 2010
work page 2010
-
[33]
K. Soundararajan and J. Thorner. Weak subconvexity without a Ramanujan hypothesis.Duke Math. J., 168(7):1231–1268, 2019. With an appendix by Farrell Brumley
work page 2019
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.