REVIEW 5 minor 1 cited by
On the Effective Non-vanishing of Rankin--Selberg $L$-functions at Special Points
T0 review · 0 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read A positive proportion of Rankin–Selberg special L-values, governed by an explicit Euler product, are shown not to vanish.
desk verdict Solid effective refinement of Luo's non-vanishing theorem; the main new results are genuine and the cited large sieve is not load-bearing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central objects are the twisted spectral moments C_1(m) and C_2(m_1,m_2) with Gaussian weight exp(−(t_j−T)^2/$Π^{2}$), evaluated through the Kuznetsov trace formula, the Voronoï summation formula, and stationary-phase analysis of the resulting Bessel integrals. The first moment has its main term only at m=1; the second moment carries the main term through the Rankin–Selberg L-function L(s,Q⊗Q) expanded near its pole at s=1, producing the constants γ_1, γ_0 and the factor B(m). The mollifier M_j = Σ_{m≤M} x_m a(m) λ_j(m) $m^{{−1/2−it_j}}$ is chosen by optimizing a Rayleigh quotient with coefficients x_m, and the key input controlling the second mollified moment is the mean Lindelöf bound obtained from Luo's spectral large sieve inequality.
What would settle it
Compute numerically, for a fixed Q of small level such as an elliptic curve newform, the proportion #{j: t_j ≤ T, L(1/2+it_j, Q⊗u_j) ≠ 0} / #{j: t_j ≤ T} for increasingly large T; if it ever drops below γ(Q)(1/11−ε), Theorem 1 is false. More directly, test the spectral large sieve inequality (8.3) with a_n=1 for N ~ T on spectral intervals of length 1; a counterexample at that level would destroy the proof of Theorem 8.
Extended reading notes
Core claim
This paper establishes that, for a fixed holomorphic Hecke newform Q of square-free level q, the special Rankin–Selberg L-values L(1/2+it_j, Q⊗u_j) — where the u_j run over an orthonormal basis of Hecke–Maass cusp forms with Laplace eigenvalue 1/4+$t_j^{2}$ — vanish less often than previously known: at least γ(Q)(1/11−ε) of the values with t_j ≤ T are nonzero as T→∞, with γ(Q) equal to the explicit Euler product in (1.5) built from the Hecke eigenvalues a(p). For short windows |t_j−T| ≤ T^μ with 3/4<μ<1, the non-vanishing proportion is at least γ(Q)(4μ−3)/(4μ+7−ε). The proof proceeds by asymptotically evaluating the twisted first and second spectral moments of these L-values, then applying a Selberg-type mollifier to convert the moment information into a counting lower bound.
Load-bearing premise
The argument depends on the spectral large sieve inequality (8.3): that sums over nearby Maass forms of arbitrary coefficient vectors are as small as (T+N)(TN)^ε, and if that inequality fails, the mean Lindelöf bound and the entire mollified second-moment control collapse.
Editorial extensions
If this is right
- For each fixed Q, the lower bound γ(Q)/11 is explicit and computable from the Hecke eigenvalues a(p), so the result yields a concrete numerical proportion for any given newform.
- On short spectral intervals of length about T^μ with μ>3/4, the non-vanishing proportion stays bounded below by γ(Q)(4μ−3)/(4μ+7), so the phenomenon is not confined to the full spectral range.
- The asymptotic for the untwisted second spectral moment gives a power-saving remainder, refining Luo's smoothed moment asymptotics.
- In the Phillips–Sarnak deformation picture, a positive proportion of non-vanishing special values is exactly what forces the Weyl law to fail for generic co-finite groups under the standard eigenvalue multiplicity assumptions, as recalled in the introduction.
- The same moment asymptotics determine the form Q: if |L(s_j,Q⊗u_j)| = c |L(s_j,Q'⊗u_j)| for all j with fixed c>0 then Q=Q'.
Reading between the lines
- A natural testable extension is to evaluate γ(Q) numerically for a few concrete newforms (for instance, the Δ form or a CM form) and compare the observed non-vanishing proportion with γ(Q)/11; the paper itself notes that γ(Q) requires numerical evaluation.
- The short-interval constant (4μ−3)/(4μ+7) is small even at μ close to 1; pushing the method below μ=3/4 would likely require a genuinely new bound for the second spectral moment rather than a sharper analysis of the present argument.
- Theorem 10 suggests that the twisted second moment at the points t_j is a complete invariant for the newform Q; a stronger version might establish the same conclusion using only a finite set of exceptional j.
- The load-bearing role of the spectral large sieve inequality indicates that any improvement of that inequality with N ~ T would translate directly into an improvement of the 1/11 proportion.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves an effective positive-proportion non-vanishing result for the Rankin--Selberg L-values L(1/2+it_j, Q⊗u_j), where Q is a holomorphic Hecke newform of square-free level and u_j are Hecke--Maass cusp forms of full level. Theorem 1 states that, as T→∞, the unweighted proportion of non-vanishing values among 0<t_j≤T is at least γ(Q)(1/11−ε), with γ(Q) given by an explicit Euler product in (1.5). Theorem 2 gives the analogous lower bound γ(Q)(4μ−3)/(4μ+7)−ε on short intervals |t_j−T|≤T^μ for 3/4<μ<1, and Theorem 3 gives a weaker power bound for 1/3<μ≤3/4. The proof develops asymptotic formulae for twisted first and second spectral moments (Theorems 4 and 5), obtains a mollified first and second moment (Lemmas 10.1 and 10.3), and converts the harmonic-weighted lower bound into an unweighted statement by the standard Kowalski--Michel/BHS weight-removal argument. An additional section derives unsmoothed moment asymptotics (Theorem 11) and a determination theorem (Theorem 10).
Significance. If the proof is correct, this is a substantial quantitative advance over Luo's earlier qualitative positive-proportion result: the proportion is given by an explicit, Q-dependent Euler product, and the method also yields short-interval non-vanishing and improved unsmoothed moment asymptotics. The main chain of the argument is coherent: the central Theorems 1 and 2 follow from the mollified-moment asymptotics, which in turn rest on the twisted-moment theorems proved in Sections 6--7 rather than on the spectral large sieve used only for Theorem 3. The paper is careful with constants and derives γ(Q) from residues of Rankin--Selberg L-functions, with no fitted free parameters. The twisted-moment analysis is long and technical, but the structure of lemmas and error terms is clear, and the external inputs (Kuznetsov formula, Voronoï summation, Luo's identity, and the standard weight-removal method) are standard in the field.
minor comments (5)
- [§10.4, final paragraph] The passage from the harmonic-weighted lower bound (10.37)--(10.38) to the unweighted statements of Theorems 1 and 2 is delegated to the method of Kowalski--Michel [KM1] and its Maass-form adaptation in [BHS]. Since the precise constant γ(Q)/11 is a headline feature, the authors should either state the exact weight-removal lemma they are invoking or give a precise reference to the theorem in [BHS] that preserves the constant, so that the reader does not have to infer it from the literature.
- [§7.3.5] The proof of the off-diagonal second moment says that only the generic case (c,k1k2)=1 will be treated and that the remaining To-type exponential sums are 'not hard' in view of Lemma 7.7. For a paper of this length and with this level of detail elsewhere, a few sentences or a short appendix describing the non-generic cases would greatly help the reader verify that the bound in Lemma 7.12 indeed covers all c, k1, k2.
- [§8.1] The spectral large sieve (8.3) is quoted from Luo and Jutila without proof. This is acceptable as an external input, but the paper should state more explicitly in Section 8 that this input is used only for Theorem 3 and for the mean Lindelöf bound (2.8), and not for the central positive-proportion Theorems 1 and 2.
- [§10.3, (10.3)] The stated coefficient bound x_m=O(τ(m)) does not strictly follow from (10.26), since 1/ξ(m) can be as large as 3^{ω(m)} for square-free m with many small prime factors. All later estimates in the paper only require x_m=O(T^ε) for m≤M, so the statement of (10.3) should be adjusted accordingly.
- [Theorem 4 and §6.4] The notation '3√' (or '3 a') for the cube root in the error term of (2.3) is easy to misread as a product involving a factor 3; the authors should explicitly define the cube-root notation at its first occurrence.
Circularity Check
No circularity found: the non-vanishing constants and proportions are derived from independent moment asymptotics, not fitted to the target.
full rationale
The central claim (Theorem 1, equation (1.4)) follows from the mollified-moment lower bound (10.33), which combines Lemma 10.1 (first moment, from Theorem 4) and Lemma 10.3 (second moment, from Theorem 5). Theorem 4 is proved in Section 6 via the Kuznetsov formula, Voronoi summation, and the Wilton bound; Theorem 5 is proved in Section 7 via the Kuznetsov formula, Luo's identity, and the stationary phase analysis of Bessel integrals. The constants gamma_1 and gamma_5 are residues or Euler products attached to L(s, Q tensor Q) and D(s, Xi) (Definitions 3.1 and 10.1), computed from (3.31) and (10.22)-(10.24), and the quotient gamma = gamma_5 / gamma_1 is algebraically identical to the explicit Euler product (1.5). No parameter is fitted to the non-vanishing density; the mollifier coefficients are chosen by Cauchy optimization (10.21), and the resulting proportion depends only on the Euler product. The spectral large sieve (8.3) of Luo and Jutila is used only in Theorem 8, which supports the short-interval Theorem 3 and the untwisted mean Lindelof bound, and it does not enter the proofs of Theorems 4, 5, or 10.1. The cited unsmoothing and harmonic-weight removal steps (Lemma 9.1 from [LQ] adapted from [IJ]; Kowalski-Michel and BHS) are standard external reductions and do not assume the target non-vanishing statement. The few self-citations, such as [LQ], are auxiliary lemmas from prior work and are not constructs that presuppose Theorem 1 or Theorem 2.
Assumptions & free parameters
assumptions (6)
- standard math Kuznetsov trace formula (Lemma 3.1)
- standard math Voronoï summation for GL(2) (Lemma 3.3)
- standard math Spectral large sieve inequality of Luo and Jutila (8.3)
- standard math Deligne bound |a_p(n)| ≤ τ(n) (3.19)
- standard math Wilton bound for sums of a(n)e(γn) (Lemma 3.4)
- domain assumption Method of Kowalski and Michel for removing the harmonic weight, as adapted in [BHS]
Cite this review
Pith. "Pith review of On the Effective Non-vanishing of Rankin--Selberg $L$-functions at Special Points." pith.science (2026). https://pith.science/paper/7GB5MXVE
@misc{pith2026250608546,
author = {Pith},
title = {Pith review of: On the Effective Non-vanishing of Rankin--Selberg $L$-functions at Special Points},
year = {2026},
howpublished = {\url{https://pith.science/paper/7GB5MXVE}},
note = {Machine review of arXiv:2506.08546}
}
abstract
Let $Q (z)$ be a holomorphic Hecke cusp newform of square-free level and $u_j (z)$ traverse an orthonormal basis of Hecke--Maass cusp forms of full level. Let $1/4 + t_j^2$ be the Laplace eigenvalue $u_j (z)$. In this paper, we prove that there is a constant $ \gamma (Q) $ expressed as a certain Euler product associated to $Q$ such that at least $ \gamma (Q) / 11 $ of the Rankin--Selberg special $L$-values $L (1/2+it_j, Q \otimes u_j)$ for $ t_j \leqslant T$ do not vanish as $T \rightarrow \infty$. Further, we show that the non-vanishing proportion is at least $\gamma (Q) \cdot (4\mu-3) / (4\mu+7) $ on the short interval $ |t_j - T| \leqslant T^{\mu} $ for any $3/4 < \mu < 1$.
Forward citations
Cited by 1 Pith paper
-
On the Effective Non-vanishing of Hecke--Maass $L$-functions at Special Points
At least 33% of the special values L(1/2+it_f, f) of Hecke-Maass L-functions are nonzero, a new effective non-vanishing record.
Reference graph
Works this paper leans on
-
[1]
K. Aggarwal, R. Holowinsky, Y. Lin, and Z. Qi. A B essel delta method and exponential sums for GL (2) . Q. J. Math. , 71(3):1143--1168, 2020
work page 2020
-
[2]
A. O. L. Atkin and J. Lehner. Hecke operators on _ 0 (m) . Math. Ann. , 185:134--160, 1970
1970
-
[3]
F. V. Atkinson. The mean value of the zeta-function on the critical line. Proc. London Math. Soc. (2) , 47:174--200, 1941
work page 1941
-
[4]
Balkanova, B
O. Balkanova, B. Huang, and A. S\" o dergren. Non-vanishing of M aass form L -functions at the central point. Proc. Amer. Math. Soc. , 149(2):509--523, 2021
2021
- [5]
-
[6]
Bohr and E
H. Bohr and E. Landau. Sur les z\'eros de la fonction (s) de R iemann. C. R. Acad. Sci. Paris , 158:106--110, 1914
1914
-
[7]
V. Blomer. Subconvexity for twisted L -functions on GL (3) . Amer. J. Math. , 134(5):1385--1421, 2012
2012
-
[8]
G. Chinta and A. Diaconu. Determination of a GL _3 cuspform by twists of central L -values. Int. Math. Res. Not. , (48):2941--2967, 2005
work page 2005
Show all 60 references
-
[9]
P. Deligne. La conjecture de W eil. I . Inst. Hautes \'Etudes Sci. Publ. Math. , (43):273--307, 1974
1974
-
[10]
Deshouillers and H
J.-M. Deshouillers and H. Iwaniec. The nonvanishing of R ankin- S elberg zeta-functions at special points. The S elberg T race F ormula and R elated T opics ( B runswick, M aine, 1984) , Contemp. Math., Vol. 53 , 51--95. Amer. Math. Soc., Providence, RI, 1986
1984
-
[11]
Deshouillers, H
J.-M. Deshouillers, H. Iwaniec, R. S. Phillips, and P. Sarnak. Maass cusp forms. Proc. Nat. Acad. Sci. U.S.A. , 82(11):3533--3534, 1985
1985
-
[12]
Ganguly, J
S. Ganguly, J. Hoffstein, and J. Sengupta. Determining modular forms on SL_2( Z ) by central values of convolution L -functions. Math. Ann. , 345(4):843--857, 2009
2009
-
[13]
A. Good. The square mean of D irichlet series associated with cusp forms. Mathematika , 29 (2):278--295, 1982
1982
-
[14]
D. R. Heath-Brown. The fourth power moment of the R iemann zeta function. Proc. London Math. Soc. (3) , 38(3):385--422, 1979
1979
-
[15]
Hoffstein and P
J. Hoffstein and P. Lockhart. Coefficients of M aass forms and the S iegel zero. Ann. of Math. (2) , 140(1):161--181, 1994. With an appendix by Dorian Goldfeld, Hoffstein and Daniel Lieman
1994
-
[16]
M. N. Huxley. Area, L attice P oints, and E xponential S ums , London Mathematical Society Monographs. New Series, Vol. 13 . The Clarendon Press, Oxford University Press, New York, 1996. Oxford Science Publications
1996
-
[17]
Ivi\' c and M
A. Ivi\' c and M. Jutila. On the moments of H ecke series at central points. II . Funct. Approx. Comment. Math. , 31:93--108, 2003
2003
-
[18]
Iwaniec and E
H. Iwaniec and E. Kowalski. Analytic N umber T heory , American Mathematical Society Colloquium Publications, Vol. 53 . American Mathematical Society, Providence, RI, 2004
2004
-
[19]
Iwaniec and X
H. Iwaniec and X. Li. The orthogonality of H ecke eigenvalues. Compos. Math. , 143(3):541--565, 2007
2007
-
[20]
Ivi\' c and Y
A. Ivi\' c and Y. Motohashi. On the fourth power moment of the R iemann zeta-function. J. Number Theory , 51(1):16--45, 1995
1995
-
[21]
Iwaniec and P
H. Iwaniec and P. Sarnak. The non-vanishing of central values of automorphic L -functions and L andau- S iegel zeros. Israel J. Math. , 120(part A):155--177, 2000
2000
-
[22]
A. Ivi\'c. On the fourth moment of the R iemann zeta-function. Publ. Inst. Math. (Beograd) (N.S.) , 57(71):101--110, 1995
1995
-
[23]
A. Ivi\'c. On the error term for the fourth moment of the R iemann zeta-function. J. London Math. Soc. (2) , 60(1):21--32, 1999
1999
-
[24]
H. Iwaniec. Small eigenvalues of L aplacian for _0(N) . Acta Arith. , 56(1):65--82, 1990
1990
-
[25]
H. Iwaniec. The spectral growth of automorphic L -functions. J. Reine Angew. Math. , 428: 139--159, 1992
1992
-
[26]
H. Iwaniec. Topics in C lassical A utomorphic F orms , Graduate Studies in Mathematics, Vol. 17 . American Mathematical Society, Providence, RI, 1997
1997
-
[27]
H. Iwaniec. Spectral M ethods of A utomorphic F orms , Graduate Studies in Mathematics, Vol. 53 . American Mathematical Society, Providence, RI, S econd edition, 2002
2002
-
[28]
M. Jutila. On spectral large sieve inequalities. Funct. Approx. Comment. Math. , 28:7--18, 2000
2000
-
[29]
Kowalski and P
E. Kowalski and P. Michel. The analytic rank of J_0(q) and zeros of automorphic L -functions. Duke Math. J. , 100(3):503--542, 1999
1999
-
[30]
Kowalski and P
E. Kowalski and P. Michel. A lower bound for the rank of J_0(q) . Acta Arith. , 94(4):303--343, 2000
2000
-
[31]
Kowalski, P
E. Kowalski, P. Michel, and J. VanderKam. Rankin- S elberg L -functions in the level aspect. Duke Math. J. , 114(1):123--191, 2002
2002
-
[32]
E. M. Kiral, I. Petrow, and M.w P. Young. Oscillatory integrals with uniformity in parameters. J. Th\'eor. Nombres Bordeaux , 31(1):145--159, 2019
2019
-
[33]
N. V. Kuznetsov. P etersson's conjecture for cusp forms of weight zero and L innik's conjecture. S ums of K loosterman sums. Math. Sbornik , 39:299--342, 1981
1981
-
[34]
X. Li. Bounds for GL (3) GL (2) L -functions and GL (3) L -functions. Ann. of Math. (2) , 173 (1):301--336, 2011
2011
-
[35]
X. Li. A weighted W eyl law for the modular surface. Int. J. Number Theory , 7(1):241--248, 2011
2011
-
[36]
S.-C. Liu. Determination of GL (3) cusp forms by central values of GL (3) GL (2) L -functions. Int. Math. Res. Not. IMRN , (21):4025--4041, 2010
2010
-
[37]
Liu and Z
S.-C. Liu and Z. Qi. Moments of central L -values for M aass forms over imaginary quadratic fields. Trans. Amer. Math. Soc. , 375(5):3381--3410, 2022
2022
-
[38]
Luo and D
W. Luo and D. Ramakrishnan. Determination of modular forms by twists of critical L -values. Invent. Math. , 130(2):371--398, 1997
1997
-
[39]
W. Luo. On the nonvanishing of R ankin- S elberg L -functions. Duke Math. J. , 69(2):411--425, 1993
1993
-
[40]
W. Luo. The spectral mean value for linear forms in twisted coefficients of cusp forms. Acta Arith. , 70(4):377--391, 1995
1995
-
[41]
W. Luo. Spectral mean-value of automorphic L -functions at special points. Analytic N umber T heory, V ol.\ 2 ( A llerton P ark, IL , 1995) , Progr. Math. , Vol. 139, 621--632. Birkh\"auser Boston, Boston, MA, 1996
1995
-
[42]
W. Luo. Special L -values of R ankin- S elberg convolutions. Math. Ann. , 314(3):591--600, 1999
1999
-
[43]
W. Luo. Nonvanishing of L -values and the W eyl law. Ann. of Math. (2) , 154(2):477--502, 2001
2001
-
[44]
W. Luo. Refined asymptotics for second spectral moment of R ankin- S elberg L -functions at the special points. Int. Math. Res. Not. IMRN , (23):5457--5483, 2012
2012
-
[45]
Magnus, F
W. Magnus, F. Oberhettinger, and R. P. Soni. Formulas and T heorems for the S pecial F unctions of M athematical P hysics . 3rd enlarged edition. Die Grundlehren der mathematischen Wissenschaften, Band 52. Springer-Verlag New York, Inc., New York, 1966
1966
-
[46]
Motohashi
Y. Motohashi. Spectral theory of the R iemann zeta-function , Cambridge Tracts in Mathematics, Vol. 127 . Cambridge University Press, Cambridge, 1997
1997
-
[47]
R. Munshi. On effective determination of modular forms by twists of critical L -values. Math. Ann. , 347(4):963--978, 2010
2010
-
[48]
R. Munshi. The circle method and bounds for L -functions--- III : t -aspect subconvexity for GL(3) L -functions. J. Amer. Math. Soc. , 28(4):913--938, 2015
2015
-
[49]
R. S. Phillips and P. Sarnak. On cusp forms for co-finite subgroups of PSL (2, R ) . Invent. Math. , 80(2):339--364, 1985
1985
-
[50]
Z. Qi. Proof of the strong I vi\' c conjecture for the cubic moment of M aass-form L -functions. Int. Math. Res. Not. IMRN , (22):19205--19236, 2023
2023
-
[51]
Z. Qi. Subconvexity for L -functions on GL_3 over number fields. J. Eur. Math. Soc. (JEMS) , 26(3):1113--1192, 2024
2024
-
[52]
A. Selberg. Harmonic analysis. Collected Papers. V ol. I , Contemp. Math., Vol. 53 , 626--674. Springer-Verlag, Berlin, 1989
1989
-
[53]
A. Selberg. On the zeros of R iemann's zeta-function. Collected Papers. V ol. I , Contemp. Math., Vol. 53 , 85--141. Springer-Verlag, Berlin, 1989
1989
-
[54]
C. D. Sogge. Fourier I ntegrals in C lassical A nalysis , Cambridge Tracts in Mathematics, Vol. 105 . Cambridge University Press, Cambridge, 1993
1993
-
[55]
E. C. Titchmarsh. The T heory of the R iemann Z eta- F unction . The Clarendon Press, Oxford University Press, New York, 2nd edition, 1986. Edited and with a preface by D. R. Heath-Brown
1986
-
[56]
G. N. Watson. A T reatise on the T heory of B essel F unctions . Cambridge University Press, Cambridge, England; The Macmillan Company, New York, 1944
1944
-
[57]
E. T. Whittaker and G. N. Watson. A C ourse of M odern A nalysis . 4th edition. Reprinted. Cambridge University Press, New York, 1962
1962
-
[58]
M. P. Young. The second moment of GL(3) GL(2) L -functions at special points. Math. Ann. , 356(3):1005--1028, 2013
2013
-
[59]
M. P. Young. Weyl-type hybrid subconvexity bounds for twisted L -functions and H eegner points on shrinking sets. J. Eur. Math. Soc. (JEMS) , 19(5):1545--1576, 2017
2017
-
[60]
N. I. Zavorotny . On the fourth moment of the R iemann zeta function. Automorphic F unctions and N umber T heory, P art I , II ( R ussian) , pages 69--124a, 254. Akad. Nauk SSSR, Dal ' nevostochn. Otdel., Vladivostok, 1989
1989
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.