Pith. sign in

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 →

arxiv 2507.06609 v1 pith:2QGRSE2B submitted 2025-07-09 math.NT

classification math.NT MSC 11M0611M2611N37
keywords DirichletL-functionssimultaneousnonvanishingGaloisorbitsEulerproductmollifiermollifiedmomentsGeneralizedRiemannHypothesisp-adicRoththeorem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves that, assuming the Generalized Riemann Hypothesis, for any fixed odd prime p and any Galois orbit of primitive Dirichlet characters modulo q=p^k, a positive proportion of characters in the orbit satisfy L(1/2,χη1)L(1/2,χη2)≠0 for any two distinct imprimitive characters η1,η2. This is the first simultaneous nonvanishing result inside Galois orbits, extending an earlier single-function nonvanishing proportion. The proof works by bounding a mollified fourth moment from above via a new Euler product mollifier and a mollified second moment from below, with the lower bound relying on p-adic Diophantine approximation. If correct, the result shows the two central values are jointly nonvanishing for a positive share of the orbit as k→∞.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

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)
  1. [§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.
  2. [§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.
  3. [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)
  1. [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.
  2. [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.
  3. [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

0 steps flagged · score 0.0 of 10

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 3 free parameters · 4 assumptions · 0 invented entities

The proof does not fit any constant to data. The free parameters listed are internal mollifier parameters chosen by hand; the main theorem is qualitative in q and does not depend on their precise values. GRH and Roth-Ridout are the main external inputs. No new particles, forces, dimensions, or other invented entities are introduced.

free parameters (3)
  • c (cutoff for beta_K) = 0 < c < 4(e^{1/4}-1)^4 / (e(v+2)^4)
    Chosen by hand in equation (35) to make the hypotheses of Lemma 4.3 hold; the final positive proportion of nonvanishing does not depend on its exact value.
  • lambda = Solution of e^{-lambda} = lambda + lambda^2/2, approximately 0.317
    A fixed constant from Chandee's explicit upper bound in Lemma 4.1, not fitted to any data.
  • ell_j and s_j = s_j = 2 floor(1/(8 beta_j)), ell_j = floor(s_j^{3/4})
    Smoothing and truncation parameters in the Euler product mollifier, chosen in equation (36) to balance error terms; the qualitative theorem does not depend on their precise values.
assumptions (4)
  • domain assumption Generalized Riemann Hypothesis
    Assumed in Theorems 1.1 and 1.2; used in Section 4.1 through Chandee and Soundararajan-Harper moment estimates, and in Section 5 through [11, Lemma 8.2] to control log L(1, eta).
  • standard math Roth-Ridout theorem (p-adic Roth theorem)
    Used in Lemmas 2.9 and 2.11 and Proposition 2.15 through [30] and [18] to control p-adic congruence sums; deep but proven externally.
  • domain assumption Conditional moment estimates for Dirichlet L-functions
    The bound sum |L(1/2, chi)|^{2v} << q (log q)^{v^2} is imported from [42, Theorem 1] under GRH and is essential for Theorem 1.3.
  • standard math Approximate functional equation and character orthogonality
    Standard tools used in Lemma 2.1 and Sections 3 through 5; not in question.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 40 canonical work pages

  1. [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

  2. [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

  3. [2]

    Baier and M

    S. Baier and M. P. Young, Mean values with cubic characters , J. Number Theory 130 (2010), 879–903

  4. [3]

    H. M. Bui, Non-vanishing of Dirichlet L-functions at the central point , Int. J. Number Theory 8 (2012), 1855–1881

  5. [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

  6. [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

  7. [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

  8. [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

Show all 43 references
  1. [8]

    David, A

    C. David, A. de Faveri, A. Dunn, and J. Stucky, Non-vanishing for cubic Hecke L-functions, preprint, arXiv:2410.03048

  2. [9]

    David, A

    C. David, A. Florea, and M. Lalin, Nonvanishing for cubic L-functions, Forum Math. Sigma 9 (2021), 58, e69

  3. [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

  4. [11]

    Granville and K

    A. Granville and K. Soundararajan, Large character sums, J. Amer. Math. Soc. 14 (2001), 365–397

  5. [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

  6. [13]

    , On the critical values of Hecke L-functions for imaginary quadratic fields , Invent. Math. 79 (1985), 79–94

  7. [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

  8. [15]

    , Introduction to Iwasawa theory for elliptic curves , Arithmetic Algebraic Geometry, Providence, RI: American Mathematical Society (AMS), 2001, pp. 407–464

  9. [16]

    A. J. Harper, Sharp conditional bounds for moments of the Riemann zeta function , preprint, arXiv:1305.4618

  10. [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

  11. [19]

    II , Math

    , Nonvanishing of Dirichlet L-functions. II , Math. Z. 300 (2022), 1603–1613

  12. [20]

    Khan and H

    R. Khan and H. T. Ngo, Nonvanishing of Dirichlet L-functions, Algebra Number Theory 10 (2016), 2081–2091

  13. [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

  14. [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

  15. [23]

    Michel and J

    P. Michel and J. Vanderkam, Simultaneous nonvanishing of twists of automorphic L-functions, Compos. Math. 134 (2002), 135–191. 37

  16. [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

  17. [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

  18. [26]

    Munsch and I

    M. Munsch and I. E. Shparlinski, Moments and non-vanishing of L-functions over thin subgroups , preprint, arXiv:2309.10207

  19. [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

  20. [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

  21. [29]

    Qin and X

    X. Qin and X. Wu, Non-vanishing of Dirichlet L-functions at the central point , preprint, arXiv:2504.11916

  22. [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

  23. [31]

    D. E. Rohrlich, Galois conjugacy of unramified twists of Hecke characters , Duke Math. J. 47 (1980), 695–703

  24. [32]

    , The non-vanishing of certain Hecke L-functions at the center of the critical strip , Duke Math. J. 47 (1980), 223–232

  25. [33]

    , On the L-functions of canonical Hecke characters of imaginary quadratic fields , Duke Math. J. 47 (1980), 547–557

  26. [34]

    , On L-functions of elliptic curves and anticyclotomic towers , Invent. Math. 75 (1984), 383–408

  27. [35]

    , On L-functions of elliptic curves and cyclotomic towers , Invent. Math. 75 (1984), 409–423

  28. [36]

    , L-functions and division towers , Math. Ann. 281 (1988), 611–632

  29. [37]

    K. F. Roth, Rational approximations to algebraic numbers , Mathematika 2 (1955), 1–20

  30. [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

  31. [39]

    , On the periods of modular forms , Math. Ann. 229 (1977), 211–221

  32. [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

  33. [41]

    , Moments of the Riemann zeta function , Ann. of Math. (2) 170 (2009), 981–993

  34. [42]

    2, 37 pp

    Barnab´ as Szab´ o,High moments of theta functions and character sums , Mathematika 70 (2024), no. 2, 37 pp

  35. [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, ...

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.