REVIEW 2 major objections 4 minor 1 cited by
First Moment of derivatives of $L$-functions in a nonlinear family
T0 review · 2 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read This paper proves that the first moment of central derivatives of quadratic-twist modular L-functions, averaged over a sparse set of fundamental discriminants weighted by a divisor function, has a positive main term of size X log X with an
desk verdict A promising proof of the missing l=1 case, but the written main-term computation has a load-bearing √n vs n^{-1/2} normalization error; fix that, fill in the transferred bounds, and the theorem is likely sound. 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 argument runs on two devices. (1) The weight ψ(m,D)=Σ_{r|m} χ_D(r) is nonzero only when every prime factor of m splits in Q(√D), making the family sparse; the identity ψ(m,D)ψ(n,D)=Σ_{ℓ|(m,n)} χ_D(ℓ) ψ(mn/ℓ²,D) and its Möbius-inverted form let the d-sum be uncoupled from the n-sum. (2) The approximate functional equation splits the moment into a short-range term A(d;Y), where the main term is extracted by shifting Mellin contours and evaluating residues at s=1, and a long-range term B(d;Y), bounded by a dyadic decomposition into N>X, Y<N≤X, and N≤Y, combined with Cauchy–Schwarz and estimates for bilinear forms of Hecke eigenvalues twisted by quadratic characters. The constants c_{q,D} an
What would settle it
Take a fixed f, D, q, J and evaluate numerically the dyadic second-moment sum in §4.1 for N just above X; if it grows faster than X (X/N)^6, the claimed error bound in Proposition 2.5 fails. Alternatively, compute the left-hand side of Theorem 1.1 for moderately large X against the predicted X log X main term and check the difference is compatible with the stated error.
Extended reading notes
Core claim
The central claim is Theorem 1.1: for a weight-2 Hecke eigenform f of squarefree level q with global root number −1, a negative fundamental discriminant D with 4|D, and a smooth compactly supported test function J, the sum over positive fundamental discriminants d ≡ 1 mod 4 with (d, qD)=1 and χ_d(q)=1, of ψ(d,D) L′(1/2, f×χ_d) J(d/X), equals c_{q,D}G(q,D) J̃(1) L(1,χ_D) X log X plus an error of size X (log X)^{1/2}(log log X)^3. The constants c_{q,D} and G(q,D) are explicit Euler products, and c_{q,D}G(q,D) is nonzero. Equivalently, the first moment in this nonlinear family has a genuine main term, so the first derivatives of the twisted L-functions are nonvanishing on average over the spars
Load-bearing premise
The error term is proved only if three estimates taken from earlier papers remain valid when an extra variable d now appears inside a weight function and a new divisor-function weight is present; the paper asserts these transfer without proving them.
Editorial extensions
If this is right
- Averaging with nonnegative weights would rule out a zero sum: a positive X log X main term forces L′(1/2, f×χ_d) to be nonzero for a positive proportion of d in the sparse family.
- The error term X (log X)^{1/2} (log log X)^3 is smaller than the main term by about (log X)^{1/2}/(log log X)^3, which diverges as X grows, so the asymptotic genuinely detects the main term.
- For D = −4, the theorem improves the earlier high-derivative result of the same family by treating the first derivative directly, with a stronger error term.
- The nonzero Euler-product constant makes the leading term fully explicit, so the asymptotic can be compared with arithmetic heuristics such as the Birch–Swinnerton-Dyer conjecture on average.
Reading between the lines
- The averaging set has zero natural density among fundamental discriminants; an X log X main term therefore implies that the average of L′ over the admissible discriminants grows like (log X)² if one normalizes by the number of terms, suggesting vanishing is rare even on very thin families.
- The same contour-shift and dyadic-split scheme should yield an asymptotic for the first moment of central values L(1/2, f×χ_d) over the same family, with main term X (no log factor) and the same Euler-product constant; this is a testable prediction.
- The bottleneck is the transfer of three analytic bounds to the present context, where the variable d now occurs inside the weight W(n/(d√q)) and the ψ(d,D)² weight appears; verifying those bounds from first principles would put the error term on solid ground.
- The method should extend to higher-order derivatives, predicting main terms X (log X)^k, which would unify the earlier higher-derivative asymptotics with the first-derivative case.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves an asymptotic formula for the first moment of central derivatives L'(1/2, f × χ_d) over a sparse nonlinear family of quadratic twists, weighted by the generalized divisor function ψ(d,D). The claimed main term is c_{q,D}G(q,D)~J(1)L(1,χ_D)X log X plus an error term of size O(X(log X)^{1/2}(log log X)^3), with c_{q,D}G(q,D) explicitly given by Euler products and shown nonvanishing for (q,6)=1. The strategy is a Munshi-type approximate functional equation and Mellin inversion, with the n-summation split at Y=X/log^{100}X; the main term is extracted from the n≪Y range and the error term is treated by Li/Zhou-style second moment bounds.
Significance. If correct, the result is a substantial improvement over Munshi's nonlinear-family first moments, which previously required derivatives of order at least 8, and it would establish nonvanishing on average for first derivatives in a sparse family. The main-term constants are explicit Euler products and L-values, with no fitted parameters, and the claimed error term is sharper than what a direct application of known large-sieve estimates would give. The significance is real, but it is conditional: the main-term computation as written contains a power-of-n inconsistency, and the error-term half relies on imported bounds whose transfer is not demonstrated.
major comments (2)
- [§2.2, §3.2, §4] The proof of the main term is not self-consistent. The approximate functional equation displayed in §2.2 has coefficient n^{-1/2}W(n/(d√q)), but A(d;Y) is defined with √n W(n/Y), and §4 expands B with √n(W(n/(d√q))−W(n/Y)). In §3.2, M1(q′) is reduced to XĴ(1)L(1,χ_D)G(q,D)∫(Y/2π)^w Γ(1+w)A1(w;q′,D)dw/w² with A1(w)=Σ_{nq′=□}λ_f(n)n^{-1/2−w}. Under the literal definitions, opening W(n/Y) gives a factor n^{1/2−w}, i.e. the sum is A1(w−1), not A1(w). The residue at w=0 claimed to produce H1(0)X logX is therefore not obtained from the written formulas. The same substitution is used for A2 and in §4.3. Replacing √n by n^{-1/2} throughout would repair the algebra, and is what the approximate functional equation requires, but as written the main term does not follow.
- [§3.1, §4.1, §4.2] Proposition 2.5 is the whole error term, but the bounds that carry it are imported rather than proved or precisely transferred. §3.1 uses U(N,t)≪N(1+|t|)^3(logN)^{9/2}, citing [Mun11a, p.32]; §4.1 and §4.2 respectively assert second moment bounds ≪(X/N)^6 X and ≪(X/N)^{2/logX}X(loglogX)^4, described as 'similar to' [Zho25, Sec. 7.5] and [Zho25, Lemma 7.1]. The present sums have additional features — the ψ(d,D)² weight in the first factor and the d-depending argument W(n/(d√q)) inside the second moment — that are not present in the cited settings. If these bounds fail to transfer, the claimed O(X(logX)^{1/2}(loglogX)^3) is unsupported. The transfer needs to be written out.
minor comments (4)
- [Remark 2.4] The displayed formula should have D0^{1/2} in the denominator of λ_f(D0)/D0∏(1+p^{-1}); the inequality that follows uses the square-root normalization.
- [§3.2] Near the end of the q′<0 case, the text says 'apply Lemma 2.2' for M2(q′); this should be Lemma 2.3.
- [§4.3] In the final estimate for S_{N≤Y}, the appearance of the term X^{15/16}Σ N^{-1/16} is unexplained. Please specify how this term arises and how it is bounded by X log log X.
- [§3] The notation Σ^* is introduced as summation over squarefree integers, but in equation (3.1) it is used for a sum over fundamental discriminants with additional restrictions; define the restricted sum explicitly to avoid ambiguity.
Circularity Check
No significant circularity: the main term is obtained by explicit contour residues from Euler products, not by fitting; the only self-citation is background, and the proof gaps flagged by the reader are correctness risks, not circularity.
full rationale
The central derivation is not circular. Theorem 1.1's main term c_{q,D}G(q,D)J̃(1)L(1,χ_D)X log X is computed from the residues at s=0 of the Dirichlet series A1 and A2 after shifting contours; the constants H_i(0,q',D), G(q,D), and L(1,χ_D) are explicit Euler products and L-values, and no parameter is fitted to the moment being predicted. The identities A1(s;q',D) and A2(s;q',D) in §3.2 coincide with the series in Lemma 2.2/2.3 by definition, but those lemmas are then used to obtain Euler product factorizations; the main term is evaluated by contour residue, not imposed. The cited bounds from [Mun11a], [Li24], and [Zho25] are external to this paper and are not self-citations; whether they transfer to the present weight functions is a legitimate correctness/rigor concern, but it is not circular. The single self-citation [Hua25] appears only in the introduction as related work and is not load-bearing. The n-power inconsistency noted in the manuscript's core calculation (A(d;Y) uses √n while the approximate functional equation and Mellin opening use n^{-1/2}) is a serious mathematical gap if the literal definitions are used, since the displayed reduction to A1(w) is then algebraically false; however, an algebraic inconsistency is the opposite of a circular reduction, because the claimed equations do not reproduce their inputs by construction but rather fail to cohere. That issue should be weighed as a correctness risk, not as circularity. Overall, there is no load-bearing self-citation, no fitted input renamed as a prediction, and no imported uniqueness/ansatz that forces the conclusion; the low score reflects only the minor background self-citation and the external, unverified estimates whose transfer is asserted rather than proved.
Assumptions & free parameters
assumptions (8)
- domain assumption Approximate functional equation: L′(1/2, f×χ_d) = (1+χ_d(q)) Σ_n λ_f(n)χ_d(n) n^{−1/2} W(n/(d√q)) (§2.2)
- standard math Rankin–Selberg local factorization ζ_p(2s)Σ_{ℓ≥0} λ_f(p^{2ℓ}) p^{−ℓs} = L_p(s, sym²f) for p∤q, and λ_f(p)^ℓ = λ_f(p^ℓ) for p|q (Atkin–Lehner) (§2.3 proof of Lemma 2.2)
- standard math Deligne's bound |λ_f(p)| ≤ 2 (§2.3, Remark 2.4)
- standard math Landau–Selberg–Delange theorem (§3.1, proof of Lemma 3.1)
- domain assumption Second-moment bound U(N,t) ≪ N(1+|t|)^3 (log N)^{9/2} for quadratic Dirichlet L-functions ([Mun11a, p.32]) (§3.1)
- domain assumption Li's optimal bilinear-form estimate for Hecke eigenvalues twisted by quadratic characters ([Li24, Prop 3.2]) (§1.1, §4)
- ad hoc to paper The two dyadic second-moment bounds of [Zho25, Sec. 7.5 and Lemma 7.1] transfer verbatim to the weight difference (W(n/(d√q)) − W(n/Y)) and the ψ(d,D)²-weighted d-sum (§4.1, §4.2)
- domain assumption Hypothesis (q,6)=1 so that c_{q,D} G(q,D) ≠ 0 (§2.3, Remark 2.4; Theorem 1.1)
Cite this review
Pith. "Pith review of First Moment of derivatives of $L$-functions in a nonlinear family." pith.science (2026). https://pith.science/paper/NMMDSM46
@misc{pith2026260709056,
author = {Pith},
title = {Pith review of: First Moment of derivatives of $L$-functions in a nonlinear family},
year = {2026},
howpublished = {\url{https://pith.science/paper/NMMDSM46}},
note = {Machine review of arXiv:2607.09056}
}
abstract
In this paper, we prove an asymptotic formula for the moment of the first order derivative of modular $L$-functions at the center of the critical strip, weighted by generalized divisor functions formed by primitive quadratic characters. Such moments were previously studied by Munshi, which naturally arise in the study of elliptic fibration. To the best of our knowledge, such asymptotic formulae have only been proven in the setting of higher-order derivatives, or under the specialization to dihedral forms.
Forward citations
Cited by 1 Pith paper
-
Binary quadratic forms and elliptic curves with analytic rank one
Infinitely many quadratic twists of an arbitrary elliptic curve by values in a genus of binary quadratic forms are claimed to have analytic rank one.
Reference graph
Works this paper leans on
-
[1]
Bump, Daniel and Friedberg, Solomon and Hoffstein, Jeffrey , TITLE =. Invent. Math. , FJOURNAL =. 1990 , NUMBER =. doi:10.1007/BF01233440 , URL =
-
[2]
Conrey, J. B. and Farmer, D. W. and Keating, J. P. and Rubinstein, M. O. and Snaith, N. C. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 2005 , NUMBER =. doi:10.1112/S0024611504015175 , URL =
-
[3]
and Hoffstein, J
Goldfeld, D. and Hoffstein, J. and Patterson, S. J. , TITLE =. Number theory related to. 1982 , ISBN =
1982
-
[4]
Li, Xiannan , TITLE =. Invent. Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00222-024-01265-1 , URL =
-
[5]
Luo, Wenzhi and Ramakrishnan, Dinakar , TITLE =. Invent. Math. , FJOURNAL =. 1997 , NUMBER =. doi:10.1007/s002220050189 , URL =
-
[6]
Number theory, analysis and geometry , PAGES =
Michel, Philippe and Ramakrishnan, Dinakar , TITLE =. Number theory, analysis and geometry , PAGES =. 2012 , ISBN =. doi:10.1007/978-1-4614-1260-1\_20 , URL =
-
[7]
Murty, M. Ram and Murty, V. Kumar , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1991 , NUMBER =. doi:10.2307/2944316 , URL =
-
[8]
Shen, Quanli , TITLE =. Acta Arith. , FJOURNAL =. 2022 , NUMBER =. doi:10.4064/aa211207-7-11 , URL =
Show all 27 references
-
[9]
2025 , eprint=
Averaging quadratically twisted L -values and their derivatives , author=. 2025 , eprint=
2025
-
[10]
Iwaniec, Henryk , TITLE =. S\'. 1990 , NUMBER =
1990
-
[11]
Luo, Wenzhi , TITLE =. Abh. Math. Semin. Univ. Hambg. , FJOURNAL =. 2011 , NUMBER =. doi:10.1007/s12188-010-0046-8 , URL =
2011 doi
-
[12]
A property of
Ivi\'. A property of. Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat. Fiz. , FJOURNAL =. 1977 , PAGES =
1977
-
[13]
Motohashi, Yoichi , TITLE =. Ann. Sci. \'. 1994 , NUMBER =
1994
-
[14]
Ono, Ken and Skinner, Christopher , TITLE =. Invent. Math. , FJOURNAL =. 1998 , NUMBER =. doi:10.1007/s002220050275 , URL =
1998 doi
-
[15]
Munshi, Ritabrata , TITLE =. Compos. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1112/S0010437X10004732 , URL =
2011 doi
-
[16]
Munshi, Ritabrata , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2011 , NUMBER =. doi:10.1090/S0002-9947-2011-05433-4 , URL =
2011 doi
-
[17]
, TITLE =
Kumar, Sumit and Mallesham, Kummari and Sharma, Prahlad and Singh, Saurabh K. , TITLE =. Q. J. Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.1093/qmath/haae028 , URL =
2024 doi
-
[18]
2025 , eprint=
Moment of Derivatives of Quadratic Twists of Modular L -Functions , author=. 2025 , eprint=
2025
-
[19]
Acta Arith
Munshi, Ritabrata , TITLE =. Acta Arith. , FJOURNAL =. 2009 , NUMBER =. doi:10.4064/aa138-3-2 , URL =
2009 doi
-
[20]
Birch, B. J. and Swinnerton-Dyer, H. P. F. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1963 , PAGES =. doi:10.1515/crll.1963.212.7 , URL =
1963 doi
-
[21]
Birch, B. J. and Swinnerton-Dyer, H. P. F. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1965 , PAGES =. doi:10.1515/crll.1965.218.79 , URL =
1965 doi
-
[22]
and Prasad, Dipendra , TITLE =
Gan, Wee Teck and Gross, Benedict H. and Prasad, Dipendra , TITLE =. Ast\'. 2012 , PAGES =
2012
-
[23]
, TITLE =
Waldspurger, J.-L. , TITLE =. J. Math. Pures Appl. (9) , FJOURNAL =. 1981 , NUMBER =
1981
-
[24]
and Zagier, D
Kohnen, W. and Zagier, D. , TITLE =. Invent. Math. , FJOURNAL =. 1981 , NUMBER =. doi:10.1007/BF01389166 , URL =
1981 doi
-
[25]
and Young, Matthew P
Soundararajan, K. and Young, Matthew P. , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2010 , NUMBER =. doi:10.4171/JEMS/224 , URL =
2010 doi
-
[26]
Petrow, Ian , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2014 , NUMBER =. doi:10.1093/imrn/rns265 , URL =
2014 doi
-
[27]
arXiv preprint arXiv:2603.21739 , year=
The second moment of derivatives of quadratic twists of modular L -functions , author=. arXiv preprint arXiv:2603.21739 , year=
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.