REVIEW 3 major objections 3 minor 43 references
Simultaneous nonvanishing of Dirichlet $L$-functions in Galois orbits
T0 review · 3 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read Under GRH, a positive proportion of characters in every Galois orbit satisfy simultaneous nonvanishing of two twisted Dirichlet L-functions.
desk verdict The simultaneous nonvanishing theorem rests on an unconditional twisted-moment estimate whose off-diagonal reduction uses the wrong congruence and whose main term drops a nonzero orbit-average factor. 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 Euler product mollifier M(χ)=∏_{j=0}^K E_{ℓ_j}(-P_{I_j}(χ;K)) built from prime sums over dyadic intervals (equations (30)–(31)), which molifies the central values by truncating a Dirichlet polynomial with a completely multiplicative weight a(n;K). The argument pairs it with the orbit character averages E_O[χ(n)] from the prior framework, which vanish unless $n^{{p-1}}$≡1 (mod $p^{{k-1}}$), converting off-diagonal terms into p-adic congruence sums D_0,D_1,D_2. These sums are bounded by elementary estimates plus the p-adic Roth theorem, giving the power-saving error in the twisted second moment. The fourth moment bound (Theorem 1.3) then follows from the conditional log-moment inequality of Chandee with the sharp 2v-th moment bound, and the second moment lower bound uses Granville–Soundararajan's lemma for log L(1,η) under GRH.
What would settle it
A concrete check: verify numerically, for a fixed small odd prime p and increasing k, whether the twisted second moment average (1/|O|) Σ_{χ∈O} L(1/2,χη1)L(1/2,χη2) equals L(1,η1η2) to the error claimed in Corollary 1.6; a persistent discrepancy beyond the stated power saving would invalidate Theorem 1.5 and therefore Theorem 1.1. Alternatively, an explicit counterexample with a Galois orbit and two distinct imprimitive characters for which the nonvanishing count is o(q) would refute the main theorem.
Extended reading notes
Core claim
The central claim is Theorem 1.1: under GRH, the count of χ in a fixed Galois orbit O for which L(1/2,χη1)L(1/2,χη2)≠0 is ≫ q, i.e., a positive proportion of the orbit size. The key structural discovery is that small-character twisting preserves primitivity (χη is primitive for primitive χ and imprimitive η), and that the twisted second moment over an orbit has a main term pinned down by L(1,η1η2) with power-saving error, unconditionally (Theorem 1.5). The GRH enters to dominate the fourth moment of L(1/2,χ)M(χ) by O(q) and to force the factor |L(1,η1η2)| in the mollified second moment to be bounded below.
Load-bearing premise
The argument assumes the Generalized Riemann Hypothesis for Dirichlet L-functions; without it the upper bound on the mollified fourth moment and the lower bound on the mollified second moment both break down.
Editorial extensions
If this is right
- For any fixed odd prime p, all Galois orbits modulo p^k get simultaneous nonvanishing with a uniform positive proportion as k→∞.
- The unconditional second moment along a full orbit equals L(1,η1η2) plus a power-saving error, giving a precise average of the product of the two central values.
- An unconditional weaker simultaneous nonvanishing bound of ≫ε q^{2/3−ε} follows via the Weyl subconvexity bound, so the phenomenon does not depend entirely on GRH.
- Along thinner orbits (subquotients of the cyclotomic tower) the same twisted moment asymptotic holds under compatibility conditions, giving unconditional second moments there.
- The sharp mollified fourth moment bound actually holds for all q→∞, not only prime powers, so the mollifying technique may apply to broader families.
Reading between the lines
- The Euler product mollifier construction could be transferred to the family of cubic Hecke L-functions over Galois orbits, where the current nonvanishing densities are weaker; the obstruction is the analogue of the L(1,η) lower bound.
- The p-adic congruence counting (Proposition 2.15) is likely to be reusable wherever orbit averages force congruences mod p^α, e.g., in higher twists or ray class characters over p-adic towers.
- Replacing GRH by a sufficiently strong zero-free region below 3/4 might keep Theorem 1.5 with a smaller saving, suggesting the critical loss is only the explicit log L(1,η) expansion.
- The compatibility window for thin orbits indicates a quantitative threshold in κ that could be probed numerically, possibly predicting where the second moment ceases to be dominated by the diagonal term.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that, under GRH, for a fixed odd prime p and q=p^k, given any two distinct imprimitive Dirichlet characters eta1, eta2 modulo q, a positive proportion of primitive characters chi in any fixed Galois orbit O (as k grows) satisfy L(1/2, chi eta1) L(1/2, chi eta2) != 0. The proof is based on a mollified second moment lower bound (Theorem 1.2) and a mollified fourth moment upper bound (Theorem 1.3), with the unconditional twisted moment asymptotic (Theorem 1.5) as the basis for the lower bound. The paper also proves unconditional second moment asymptotics for full and thin Galois orbits (Corollaries 1.6 and 1.11).
Significance. If the main theorem were correct, it would be a meaningful extension of simultaneous nonvanishing results to the refined family of Galois orbits of Dirichlet characters, building on the work of Khan, Milicevic, and Ngo. The use of an Euler-product mollifier and the Roth-Ridout theorem in this context is interesting, and the unconditional twisted-moment results would be of independent value. However, the proof of the central unconditional moment asymptotic (Theorem 1.5) contains what appear to be serious gaps in both the diagonal and off-diagonal contributions, and those gaps undermine the conditional main theorem as well.
major comments (3)
- [§3.1, proof of Theorem 1.5, equations (12)–(16)] The support condition for the off-diagonal sums is misstated. Lemma 2.3 gives EO[chi(n)] != 0 only if n^{p-1} ≡ 1 mod p^{k-1}. In S+(m1,m2) one has n = m1 n1 m2 n2, so setting a = m1 n1 and b = m2 n2, the nonzero orbit-average condition is (ab)^{p-1} ≡ 1 mod p^{k-1}, i.e. a^{p-1} ≡ b^{-(p-1)} mod p^{k-1}. The paper instead reduces to sums with (m1 n1)^{p-1} ≡ (m2 n2)^{p-1} mod p^{k-1}, i.e. a^{p-1} ≡ b^{p-1} mod p^{k-1}. These two conditions are not equivalent; a concrete example is p=3, alpha=3, a=2, b=14, where ab ≡ 1 mod 27 but a^2 != b^2 mod 27. Thus the reduction to D0(A,B;p^{k-1}) as defined in (6) is not justified, and the bounds in (16)–(18) do not follow. The same issue affects E−, where the analogous condition is (m1 n2 m2 n1)^{p-1} ≡ 1 mod p^{k-h} rather than the stated same-root condition. Since this step is the core of the unconditional Theorem 1.5, it is load-bearing.
- [§3.1, equation (14)] The main term M(m1,m2) is not the actual diagonal contribution. In S+(m1,m2) the summand contains the orbit-average factor EO[chi(m1 n1 m2 n2)]. For m1 n1 = m2 n2, this factor is EO[chi((m1 n1)^2)], not 1. For m1=m2=1, the diagonal sum is sum_r eta(r)/r V(pi r^2/(qX)) EO[chi(r^2)]. By Lemma 2.3, EO[chi(r^2)] != 0 only if r^{2(p-1)} ≡ 1 mod p^{k-1}; since -1 is not a (p-1)-th power modulo an odd prime power, this forces r^{p-1} ≡ 1 mod p^{k-1}, i.e. r lies in one of the p-1 Teichmuller residue classes modulo p^{k-1}. The resulting diagonal contribution is then O(log q / p^{k-1}) = o(1) as k tends to infinity, whereas the paper's M(1,1) equals L(1,eta) + o(1), which is typically of size 1. Thus the proposed main term in (14) is not merely missing a factor; it appears to be of the wrong order of magnitude. The paper does not explain why the omitted orbit-average factor can be replaced by 1.
- [Theorems 1.2 and 1.1] Because Theorem 1.5 is the unconditional basis for the mollified second moment lower bound in Theorem 1.2, and Theorem 1.1 uses Theorem 1.2 together with the fourth moment bound, the gaps in the proof of Theorem 1.5 are load-bearing for the paper's main nonvanishing result. The proof as written does not establish the claimed asymptotics, and the issues with the main term suggest that the stated main term in Theorem 1.5 may be incorrect rather than merely under-proven. Further, the off-diagonal bounds would need to be replaced by bounds for the inverse-product congruence (ab)^{p-1} ≡ 1, for which the Roth-Ridout estimates in Proposition 2.15 do not directly apply as stated.
minor comments (3)
- [Proposition 4.2] The proof of Proposition 4.2 is only sketched by reference to a similar argument in [9]. Since this proposition is an essential part of the mollified fourth moment bound, a fuller proof would be helpful, though this is secondary to the issues in Section 3.
- [Notation] The notation X* is used both for sums over integers not divisible by p and for sums over primitive characters; this is noted in the text but is a potential source of confusion.
- [Introductory remarks] There are several typos and minor errors in the introduction and remarks, e.g., 'Hecker' for 'Hecke' and 'neccesarily' for 'necessarily'; these should be corrected.
Circularity Check
No significant circularity; the derivation follows a standard moment method with external, independently published inputs.
full rationale
The main results are obtained by bounding a mollified second moment from below and a mollified fourth moment from above. Theorem 1.2 is a lower bound for a mollified second moment whose main term is L(1, eta1 eta2) times an explicit Euler product; Theorem 1.3 is an upper bound for a mollified fourth moment proved from a conditional moment bound of Soundararajan, Harper, and Szabo. Neither estimate is defined in terms of the nonvanishing count that Theorem 1.1 derives: the final Holder step combines the two estimates, and the nonvanishing count is not an input to either. The cited lemmas from [18] (Lemmas 2.3 through 2.11) are prior published results used for character averages and congruence estimates, not for the target simultaneous nonvanishing statement; although [18] shares an author, no uniqueness theorem or unverified premise is imported from that work to force the conclusion. Lemma 4.1, Proposition 4.2, and Lemmas 4.3 and 4.4 are the paper's own mollifier estimates, built on external tools such as Chandee, Granville-Soundararajan, and Szabo. No fitted constants are renamed as predictions; the parameters beta_j, s_j, and ell_j are chosen from inequalities with absolute constants. The review note about the off-diagonal support congruence (a^{p-1} congruent to b^{p-1} versus (ab)^{p-1} congruent to 1) is a possible correctness gap in the proof of Theorem 1.5, not a circular reduction of the theorem to its own assumptions, so it does not affect the circularity score.
Assumptions & free parameters
free parameters (3)
- c (cutoff for beta_K) =
0 < c < 4(e^{1/4}-1)^4 / (e(v+2)^4)
- lambda =
Solution of e^{-lambda} = lambda + lambda^2/2, approximately 0.317
- ell_j and s_j =
s_j = 2 floor(1/(8 beta_j)), ell_j = floor(s_j^{3/4})
assumptions (4)
- domain assumption Generalized Riemann Hypothesis
- standard math Roth-Ridout theorem (p-adic Roth theorem)
- domain assumption Conditional moment estimates for Dirichlet L-functions
- standard math Approximate functional equation and character orthogonality
Cite this review
Pith. "Pith review of Simultaneous nonvanishing of Dirichlet $L$-functions in Galois orbits." pith.science (2026). https://pith.science/paper/2QGRSE2B
@misc{pith2026250706609,
author = {Pith},
title = {Pith review of: Simultaneous nonvanishing of Dirichlet $L$-functions in Galois orbits},
year = {2026},
howpublished = {\url{https://pith.science/paper/2QGRSE2B}},
note = {Machine review of arXiv:2507.06609}
}
abstract
Under the Generalized Riemann Hypothesis, we prove that given any two distinct imprimitive Dirichlet characters $\eta_1, \eta_2$ modulo $q=p^k$, a positive proportion of characters $\chi$ modulo $q$ in a fixed Galois orbit of primitive characters satisfies the nonvanishing property that $L(1/2,\chi \eta_1) L(1/2,\chi \eta_2) \neq 0$, as $k \to \infty$ (with $p$ fixed). Previously, only a positive proportion of nonvanishing result was available in Galois orbits (as opposed to simultaneously nonvanishing), due to work of Khan, Mili\'cevi\'c and Ngo. The main ingredients are obtaining a sharp upper bound on the mollified fourth moment over the Galois orbit using an Euler product mollifier, and obtaining a lower bound for the mollified second moment, which relies on using results from Diophantine approximation (such as the $p$-adic Roth theorem). We also unconditionally compute the second moments for $L$--functions associated to primitive Dirichlet characters in full orbits and thinner orbits.
Reference graph
Works this paper leans on
-
[18]
R. Khan, D. Mili´ cevi´ c, and H. T. Ngo, Non-vanishing of Dirichlet L-functions in Galois orbits , Int. Math. Res. Not. (2016), no. 22, 6955–6978
work page 2016
-
[1]
Torsion of Rational Elliptic Curves over the $\mathbb{Z}_p$-Extensions of Quadratic Fields
O. Avci, Torsion of rational elliptic curves over the Zp-extensions of quadratic fields , preprint, arXiv:2505.04149
-
[2]
S. Baier and M. P. Young, Mean values with cubic characters , J. Number Theory 130 (2010), 879–903
work page 2010
-
[3]
H. M. Bui, Non-vanishing of Dirichlet L-functions at the central point , Int. J. Number Theory 8 (2012), 1855–1881
work page 2012
-
[4]
H. M. Bui, N. Evans, S. Lester, and K. Pratt, Weighted central limit theorems for central values of L-functions, J. Eur. Math. Soc. 27 (2025), 2477–2529
work page 2025
-
[5]
Chandee, Explicit upper bounds for L-functions on the critical line , Proc
V. Chandee, Explicit upper bounds for L-functions on the critical line , Proc. Amer. Math. Soc. 137 (2009), 4049–4063
work page 2009
-
[6]
Chinta, Analytic ranks of elliptic curves over cyclotomic fields , J
G. Chinta, Analytic ranks of elliptic curves over cyclotomic fields , J. Reine Angew. Math. 544 (2002), 13–24
work page 2002
-
[7]
Chowla, The Riemann hypothesis and Hilbert’s tenth problem , London and Glasgow: Blackie & Son Ltd
S. Chowla, The Riemann hypothesis and Hilbert’s tenth problem , London and Glasgow: Blackie & Son Ltd. XV, 119 pages, 1965
work page 1965
Show all 43 references
-
[8]
David, A
C. David, A. de Faveri, A. Dunn, and J. Stucky, Non-vanishing for cubic Hecke L-functions, preprint, arXiv:2410.03048
-
[9]
David, A
C. David, A. Florea, and M. Lalin, Nonvanishing for cubic L-functions, Forum Math. Sigma 9 (2021), 58, e69
2021
-
[10]
David and A
C. David and A. M. G¨ ulo˘ glu,One-level density and non-vanishing for cubic L-functions over the Eisen- stein field , Int. Math. Res. Not. (2022), no. 23, 18833–18873
2022
-
[11]
Granville and K
A. Granville and K. Soundararajan, Large character sums, J. Amer. Math. Soc. 14 (2001), 365–397
2001
-
[12]
Greenberg, On the Birch and Swinnerton-Dyer conjecture , Invent
R. Greenberg, On the Birch and Swinnerton-Dyer conjecture , Invent. Math. 72 (1983), 241–265
1983
-
[13]
, On the critical values of Hecke L-functions for imaginary quadratic fields , Invent. Math. 79 (1985), 79–94
1985
-
[14]
Conf., Stillwater/Okla
, Non-vanishing of certain values of L-functions, Analytic Number Theory and Diophantine Problems, Proc. Conf., Stillwater/Okla. 1984, Prog. Math. 70, 223-235, 1987
1984
-
[15]
, Introduction to Iwasawa theory for elliptic curves , Arithmetic Algebraic Geometry, Providence, RI: American Mathematical Society (AMS), 2001, pp. 407–464
2001
-
[16]
A. J. Harper, Sharp conditional bounds for moments of the Riemann zeta function , preprint, arXiv:1305.4618
-
[17]
Iwaniec and P
H. Iwaniec and P. Sarnak, Dirichlet L-functions at the central point , Number theory in progress, Vol. 2 (Zakopane-Ko´ scielisko, 1997), de Gruyter, Berlin, 1999, pp. 941–952
1997
-
[19]
II , Math
, Nonvanishing of Dirichlet L-functions. II , Math. Z. 300 (2022), 1603–1613
2022
-
[20]
Khan and H
R. Khan and H. T. Ngo, Nonvanishing of Dirichlet L-functions, Algebra Number Theory 10 (2016), 2081–2091
2016
-
[21]
Lester and M
S. Lester and M. Radziwi l l, Signs of Fourier coefficients of half-integral weight modular forms , Math. Ann. 379 (2021), no. 3-4, 1553–1604
2021
-
[22]
Mazur, Rational points of abelian varieties with values in towers of number fields , Invent
B. Mazur, Rational points of abelian varieties with values in towers of number fields , Invent. Math. 18 (1972), 183–266
1972
-
[23]
Michel and J
P. Michel and J. Vanderkam, Simultaneous nonvanishing of twists of automorphic L-functions, Compos. Math. 134 (2002), 135–191. 37
2002
-
[24]
H. L. Montgomery and D. E. Rohrlich, On the L-functions of canonical Hecke characters of imaginary quadratic fields. II , Duke Math. J. 49 (1982), 937–942
1982
-
[25]
H. L. Montgomery and R. C. Vaughan, Multiplicative number theory. I. Classical theory , Camb. Stud. Adv. Math., vol. 97, Cambridge: Cambridge University Press, 2007
2007
-
[26]
Munsch and I
M. Munsch and I. E. Shparlinski, Moments and non-vanishing of L-functions over thin subgroups , preprint, arXiv:2309.10207
-
[27]
A. E. ¨Ozl¨ uk and C. Snyder,On the distribution of the nontrivial zeros of quadratic L-functions close to the real axis , Acta Arith. 91 (1999), 209–228
1999
-
[28]
Petrow and M
I. Petrow and M. P. Young, The fourth moment of Dirichlet L-functions along a coset and the Weyl bound, Duke Math. J. 172 (2023), 1879–1960
2023
-
[29]
Qin and X
X. Qin and X. Wu, Non-vanishing of Dirichlet L-functions at the central point , preprint, arXiv:2504.11916
-
[30]
Ridout, The p-adic generalization of the Thue-Siegel-Roth theorem , Mathematika 5 (1958), 40–48
D. Ridout, The p-adic generalization of the Thue-Siegel-Roth theorem , Mathematika 5 (1958), 40–48
1958
-
[31]
D. E. Rohrlich, Galois conjugacy of unramified twists of Hecke characters , Duke Math. J. 47 (1980), 695–703
1980
-
[32]
, The non-vanishing of certain Hecke L-functions at the center of the critical strip , Duke Math. J. 47 (1980), 223–232
1980
-
[33]
, On the L-functions of canonical Hecke characters of imaginary quadratic fields , Duke Math. J. 47 (1980), 547–557
1980
-
[34]
, On L-functions of elliptic curves and anticyclotomic towers , Invent. Math. 75 (1984), 383–408
1984
-
[35]
, On L-functions of elliptic curves and cyclotomic towers , Invent. Math. 75 (1984), 409–423
1984
-
[36]
, L-functions and division towers , Math. Ann. 281 (1988), 611–632
1988
-
[37]
K. F. Roth, Rational approximations to algebraic numbers , Mathematika 2 (1955), 1–20
1955
-
[38]
Shimura, The special values of the zeta functions associated with cusp forms , Comm
G. Shimura, The special values of the zeta functions associated with cusp forms , Comm. Pure Appl. Math. 29 (1976), 783–804
1976
-
[39]
, On the periods of modular forms , Math. Ann. 229 (1977), 211–221
1977
-
[40]
Soundararajan, Nonvanishing of quadratic Dirichlet L-functions at s = 1 2 , Ann
K. Soundararajan, Nonvanishing of quadratic Dirichlet L-functions at s = 1 2 , Ann. of Math. (2) 152 (2000), 447–488
2000
-
[41]
, Moments of the Riemann zeta function , Ann. of Math. (2) 170 (2009), 981–993
2009
-
[42]
2, 37 pp
Barnab´ as Szab´ o,High moments of theta functions and character sums , Mathematika 70 (2024), no. 2, 37 pp
2024
-
[43]
Zacharias, Simultaneous non-vanishing for Dirichlet L-functions, Ann
R. Zacharias, Simultaneous non-vanishing for Dirichlet L-functions, Ann. Inst. Fourier 69 (2019), 1459– 1524. Department of Mathematics, University of Manchester, Manchester M13 9PL, UK Email address : hung.bui@manchester.ac.uk UC Irvine, Mathematics Department, Rowland Hall, ...
2019
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.