REVIEW 3 major objections 2 minor 46 references
Power sums and Siegel-type zero-free regions for L-functions
T0 review · 3 major / 2 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read This paper establishes uniform conductor-power Siegel-type zero-free regions for all standard and Rankin–Selberg L-functions, without assuming modularity of tensor products.
desk verdict The power-sum mechanism is genuinely novel and the claimed theorems would be major, but the paper contains a false L-function identity (4.7) that is used in central places, though it looks repairable because only real zeros are involved. 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 machinery is the pairing of two power-sum inequalities from Section 2. The first, Proposition 2.1, asserts that for any complex numbers z_1,...,z_ν there exists a power ℓ ∈ [K,2K] with |z_1^ℓ+···+z_ν^ℓ| ≥ (|z_1|/50)^ℓ; it is used to extract a single exceptional zero β_ε from the logarithmic derivative G_k of F(z)=L(z,π_ε×π′)L(z,π_ε×~π). The second, Proposition 2.2, is a real-part power-sum bound with nonnegative weights that gives an index j with Re(Σ b_n z_n^j) ≥ b_1|z_1|^j/8; via the zero-repulsion lemma it supplies the factor 1−β_1 that bounds the same G_k from above. Matching the two bounds forces 1−β_1 to be at least a fixed power of $C_π^{{-1}}$, closing the zero-free region.
What would settle it
Because the constant c_25 in Proposition 5.1 is effectively computable, the inequality (5.2) can be tested numerically for a concrete pair (π,π′) with explicitly known Hecke eigenvalues, such as F=Q, π′=1, and π the L-function of an elliptic curve with rational coefficients. Compute both sides at x=(C_π C_{π′})^{c_25} using a rigorous zero-finder to locate the greatest real zero β_1; a violation of (5.2) would identify a defect in the proof, while repeated agreement across several conductors would corroborate the mechanism.
Extended reading notes
Core claim
The discovery, on the paper's own terms, is that two lower bounds for power sums can serve as the sole engine for zero-free regions: the first power-sum inequality detects the presence of an exceptional zero through the logarithmic derivative of a shifted Rankin–Selberg product, while a real-part power-sum bound, in combination with a zero-repulsion lemma, controls how close any other zero can come to that exceptional zero. The interaction of these two bounds forces the exceptional zero to lie at distance at least a fixed power of the conductor from 1, producing the bound |L(σ,π×π′)| ≥ c $C_π^{{-ε}}$ throughout σ ≥ 1 − c $C_π^{{-ε}}$. Standard analytic properties of Rankin–Selberg L-functions are used only as input, and the classical Siegel–Tatuzawa bound for Dirichlet L-functions is recovered as a special case.
Load-bearing premise
The proof leans on the zero-repulsion estimate for the isobaric object Π = eπ ⊞ π′: every zero of L(s,Π×eΠ) other than the exceptional one is at distance at least a constant multiple of (1−β_1)/log(conductor) from s=1, uniformly in the conductors.
Editorial extensions
If this is right
- For self-dual π, the prime number theorem error E(x;π) satisfies E(x;π) ≤ c e^{-√log x} as soon as log x ≥ c C_π^ε, matching the quality of classical results for real Dirichlet characters.
- For Rankin–Selberg prime sums, new ‘highly uniform’ prime number theorems hold, with error term either e^{-√log x} or (log x)^{-1/ε} depending on the self-duality of the factors.
- The theorem yields Brauer–Siegel-type limits: along any sequence with C_{π_j} → ∞, we have log|L(1,π_j)| / log C_{π_j} → 0 and the analogous statement for L(1,π_j×π′).
- The result subsumes the twist-aspect Siegel-type bounds and improves the previous conductor-exponent in the fixed-π′ aspect from a fixed power of C_π to an arbitrary ε-power.
- In the conjectural Bloch–Kato framework for weight −2 motives, the lower bound gives polynomial-in-conductor control of the Shafarevich–Tate group order, paralleling the classical consequence for class numbers and regulators.
Reading between the lines
- If the power-sum mechanism is as robust as the paper suggests, any future improvement in the constants of the underlying power-sum inequalities would transfer directly to wider zero-free regions, effectively decoupling progress on Siegel zeros from progress on functoriality.
- The same two-inequality architecture might apply to L-functions without a full Rankin–Selberg theory, such as symmetric powers, provided a zero-repulsion statement can be established for them; the paper does not claim this extension.
- Because the region width is C_π^{-ε}, the proof is uniform in the eigenvalue aspect as well as the conductor aspect; one could test whether the argument adapts to the spectral aspect for Maass forms, where the conductor grows differently.
- The paper states, with proof deferred to forthcoming work, that nonnegativity-based methods cannot reach the main theorem without an unproven modularity hypothesis; if that meta-claim is correct, the power-sum route is not merely an alternative but the only currently viable path to such unconditional results.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to establish, for every ε > 0, ineffective constants c and c' such that the standard L-function L(s,π) and the Rankin–Selberg L-function L(s,π×π') (with π' fixed) satisfy lower bounds of size (C_π(|t|+3))^{-ε} in a one-sided region σ ≥ 1 - c(C_π(|t|+3))^{-ε}. The method combines two Turán-type power-sum inequalities (Propositions 2.1 and 2.2) with an auxiliary isobaric representation, a Landau–Page-type zero-separation result (Proposition 4.6), and a zero-repulsion estimate (Proposition 5.1) that are intended to force the crucial factor (1−β1). Applications to prime number theorems and Brauer–Siegel-type statements are also presented.
Significance. If the main theorems were correct, they would constitute a major advance: the first unconditional Siegel-type zero-free regions with conductor-power saving for all GL(n) standard and Rankin–Selberg L-functions, subsuming prior results of Brumley and of Harcos–Thorner. The two-pronged power-sum strategy is original, and the paper is clearly organized with careful use of standard analytic number theory tools. However, the proof depends on at least two false L-function identities and one unjustified estimate, so the central claims are not established as written.
major comments (3)
- [§4.2, Eq. (4.7)] The identity L(s,eπ×eπ') = L(s,π×π') is false in general. The correct relation is L(s,eπ×eπ') = \overline{L(\bar{s},π×π')}, and for GL(1) Hecke characters χ,ψ the asserted identity would say L(s,\bar{χ}\bar{ψ}) = L(s,χψ), which fails whenever χψ is non-real. This identity is used in the proof of Proposition 4.6 to convert zeros of L(s,π1×π3)L(s,π2×π3) into zeros of L(s,eπ1×eπ3)L(s,eπ2×eπ3), and in the proof of Proposition 5.1 to identify β1 as a double zero of L(s,Π×eΠ). Without (4.7), the four-zero contradiction with Lemma 4.5 and the asserted (1−β1) factor are unsupported.
- [§5, proof of Proposition 5.1] The proof asserts that |λ_{eπ}(p)+λ_{π'}(p)|^2 log Np = Λ_{Π×eΠ}(p) by (4.11), but the four Euler factors actually give Λ_{Π×eΠ}(p)/log Np = |λ_π(p)|^2 + |λ_{π'}(p)|^2 + 2Re(λ_π(p)λ_{π'}(p)), whereas the left-hand side equals |λ_π(p)|^2 + |λ_{π'}(p)|^2 + 2Re(\overline{λ_π(p)}λ_{π'}(p)). These expressions differ whenever Im(λ_π(p))Im(λ_{π'}(p)) ≠ 0, so the inequality used to bound the desired sum by S(x;Π) does not follow from (4.11). This is a second load-bearing error in the proof of (5.2).
- [§5, proof of Proposition 5.1, contribution of 1−β1] The estimate (x^{−12000β1}−x^{−β1})Γ(−β1) ≪ (1−β1)^{−1}x^{−β1} ≪ 1−β1 is not justified. For β1 close to 1, Γ(−β1) ≍ (1−β1)^{−1}, and the hypotheses x ≥ (CπCπ')^{c25} and (5.1) do not imply x^{−β1} ≤ C(1−β1)^2. If 1−β1 is exceptionally small, this term can be much larger than the claimed O((1−β1)(log x)^3), so the bound (5.2) is not established even if the earlier identity issues were repaired.
minor comments (2)
- [§6.1, Eq. (6.1)] The sentence containing 'Otherwise,C pi is bounded' contains a typo: it should read 'C_π'.
- [§2.2, Step 2] The quantity N_ε = exp(K/(300ε)) is used before it is formally introduced in Proposition 6.3; flagging it in the strategy section is helpful, but the forward reference is not a substantive issue.
Circularity Check
No significant circularity: the proof does not reduce to its inputs; the load-bearing defect is a false identity, not circular dependence.
full rationale
The central derivation does not use Theorem 1.1 or Theorem 1.2 as an input. It starts from independent prior results — Jacquet-Shalika nonvanishing, Brumley's narrow zero-free region (1.6), the Harcos-Thorner twist-aspect theorem (1.7), Moreno's zero-repulsion lemma (Lemma 4.12), Montgomery's power-sum propositions, and Jiang's coefficient bounds (Lemma 4.2) — and then combines the two power-sum lower bounds to force a contradiction with an assumed exceptional zero. The self-citations present, chiefly Harcos-Thorner [12, 13], Lemma 4.5 from [12], and Lemma 4.3 from [13], are parameter-free prior theorems and lemmas whose stated assumptions do not include the target zero-free region, so under the review rules they count as independent evidence rather than circularity. The paper itself flags the relevant limitation in Section 2.2: Bombieri's residue approach cannot be used in this generality without knowing Theorem 1.2 in advance, and the proof therefore switches to Moreno's zero repulsion; this is an explicit acknowledgment of a potential circularity trap, not the commission of one. The genuine vulnerability is non-circular: identity (4.7), L(s,eπ×eπ') = L(s,π×π'), is asserted as "straightforward" but is false for non-real L-functions, such as GL(1) Dirichlet characters, and it is load-bearing in Propositions 4.6 and 5.1. Since the assigned task is circularity rather than general correctness, the false identity does not raise the circularity score; no fitted parameter is renamed as a prediction and no input is equivalent to the output by construction.
Assumptions & free parameters
assumptions (6)
- domain assumption Standard analytic properties of GL(n) standard L-functions and Rankin-Selberg L-functions: Euler products, analytic continuation, functional equations, Hadamard factorizations, and conductor bounds (4.8).
- domain assumption The bound |alpha_{j,pi}(p)| <= Np^{theta_n} and Re(mu_{j,pi}(v)) >= -theta_n with theta_n < 1/2 - 1/(n^2+1), from [28,31].
- ad hoc to paper Identity (4.7): L(s,e pi × e pi') = L(s, pi × pi').
- domain assumption Moreno's zero repulsion theorem (Lemma 4.12), from [30].
- domain assumption Harcos-Thorner twist-aspect lower bounds (1.7) from [12,13] and Brumley's narrow zero-free regions (1.6) from [5,26].
- domain assumption Lemma 4.5 from [12] on zeros of L(s,Pi×tilde Pi) when that function has a pole of order r at s=1.
Cite this review
Pith. "Pith review of Power sums and Siegel-type zero-free regions for L-functions." pith.science (2026). https://pith.science/paper/Q5KTNOLY
@misc{pith2026260812257,
author = {Pith},
title = {Pith review of: Power sums and Siegel-type zero-free regions for L-functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/Q5KTNOLY}},
note = {Machine review of arXiv:2608.12257}
}
abstract
Let $\pi$ and $\pi'$ be unitary cuspidal automorphic representations of $\mathrm{GL}(n)$ and $\mathrm{GL}(n')$ over a number field $F$. Let $\mathfrak{C}_{\pi}$ be the analytic conductor of $\pi$. We develop a new approach to zero-free regions for $L$-functions via lower bounds for power sums, proving for all $\varepsilon>0$ the existence of ineffective constants $c=c_{n,F,\varepsilon}>0$ and $c'=c'_{n,F,\pi',\varepsilon}>0$ such that the standard $L$-function $L(s,\pi)$ satisfies \[ |L(\sigma+it,\pi)|\geq c(\mathfrak{C}_{\pi}(|t|+3))^{-\varepsilon},\qquad \sigma\geq 1-c(\mathfrak{C}_{\pi}(|t|+3))^{-\varepsilon} \] and the Rankin-Selberg $L$-function $L(s,\pi\times\pi')$ satisfies \[ |L(\sigma+it,\pi\times\pi')|\geq c'(\mathfrak{C}_{\pi}(|t|+3))^{-\varepsilon},\qquad \sigma\geq 1-c'(\mathfrak{C}_{\pi}(|t|+3))^{-\varepsilon}. \] Applications include improvements to the prime number theorems for these $L$-functions and new generalizations of the Brauer-Siegel theorem.
Reference graph
Works this paper leans on
-
[1]
W. D. Banks. Twisted symmetric-squareL-functions and the nonexistence of Siegel zeros on GL(3). Duke Math. J., 87(2):343–353, 1997
work page 1997
-
[2]
S. Bloch and K. Kato.L-functions and Tamagawa numbers of motives. InThe Grothendieck Festschrift, Vol. I, volume 86 ofProgr. Math., pages 333–400. Birkh¨ auser Boston, Boston, MA, 1990
work page 1990
- [3]
-
[4]
R. Brauer. On the zeta-functions of algebraic number fields.Amer. J. Math., 69:243–250, 1947
work page 1947
-
[5]
F. Brumley. Effective multiplicity one on GL N and narrow zero-free regions for Rankin-Selberg L-functions.Amer. J. Math., 128(6):1455–1474, 2006
work page 2006
-
[6]
C. J. Bushnell and G. Henniart. An upper bound on conductors for pairs.J. Number Theory, 65(2):183–196, 1997
work page 1997
-
[7]
P. X. Gallagher. A large sieve density estimate nearσ= 1.Invent. Math., 11:329–339, 1970
work page 1970
-
[8]
S. S. Gelbart and E. M. Lapid. Lower bounds forL-functions at the edge of the critical strip.Amer. J. Math., 128(3):619–638, 2006
work page 2006
Show all 46 references
-
[9]
Godement and H
R. Godement and H. Jacquet.Zeta functions of simple algebras. Lecture Notes in Mathematics, Vol
-
[10]
Goldfeld and X
D. Goldfeld and X. Li. A standard zero free region for Rankin–SelbergL-functions.Int. Math. Res. Not. IMRN, (22):7067–7136, 2018
2018
-
[11]
D. M. Goldfeld. A simple proof of Siegel’s theorem.Proc. Nat. Acad. Sci. U.S.A., 71:1055, 1974
1974
-
[12]
Harcos and J
G. Harcos and J. Thorner. Tatuzawa’s theorem for Rankin-SelbergL-functions.arXiv e-prints, page arXiv:2508.10844
-
[13]
Harcos and J
G. Harcos and J. Thorner. A new zero-free region for Rankin–SelbergL-functions.J. Reine Angew. Math., 822:179–201, 2025
2025
-
[14]
Hoffstein and P
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 D. Goldfeld, J. Hoffstein and D. Lieman
1994
-
[15]
Hoffstein and D
J. Hoffstein and D. Ramakrishnan. Siegel zeros and cusp forms.Int. Math. Res. Not., (6):279–308, 1995
1995
-
[16]
Humphries
P. Humphries. Effective lower bounds forL(1,χ) via Eisenstein series.Pacific J. Math., 288(2):355– 375, 2017
2017
-
[17]
Humphries and F
P. Humphries and F. Brumley. Standard zero-free regions for Rankin–SelbergL-functions via sieve theory.Math. Z., 292(3-4):1105–1122, 2019
2019
-
[18]
Humphries and J
P. Humphries and J. Thorner. Towards a GL n variant of the Hoheisel phenomenon.Trans. Amer. Math. Soc., 375(3):1801–1824, 2022
2022
-
[19]
Iwaniec and E
H. Iwaniec and E. Kowalski.Analytic number theory, volume 53 ofAmerican Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2004
2004
-
[20]
Jacquet, I
H. Jacquet, I. I. Piatetskii-Shapiro, and J. A. Shalika. Rankin-Selberg convolutions.Amer. J. Math., 105(2):367–464, 1983
1983
-
[21]
Jacquet and J
H. Jacquet and J. A. Shalika. A non-vanishing theorem for zeta functions of GL n.Invent. Math., 38(1):1–16, 1976/77
1976
-
[22]
Jacquet and J
H. Jacquet and J. A. Shalika. On Euler products and the classification of automorphic representa- tions. I.Amer. J. Math., 103(3):499–558, 1981
1981
-
[23]
Jacquet and J
H. Jacquet and J. A. Shalika. On Euler products and the classification of automorphic representa- tions. II.Amer. J. Math., 103(4):777–815, 1981. POWER SUMS AND SIEGEL-TYPE ZERO-FREE REGIONS FORL-FUNCTIONS 21
1981
-
[24]
Y. Jiang. On Hypothesis H of Rudnick and Sarnak.arXiv e-prints, page arXiv:2507.20653
-
[25]
Kaneko and J
I. Kaneko and J. Thorner. Highly uniform prime number theorems.Ann. Inst. Fourier (Grenoble), 75(5):1901–1923, 2025
1901
-
[26]
E. Lapid. On the Harish-Chandra Schwartz space ofG(F)\G(A). InAutomorphic representations andL-functions, volume 22 ofTata Inst. Fundam. Res. Stud. Math., pages 335–377. Tata Inst. Fund. Res., Mumbai, 2013. With an appendix by Farrell Brumley
2013
-
[27]
W. Luo. Non-existence of Siegel zeros for cuspidal functorial products onGL(2)×GL(3).Proc. Amer. Math. Soc., 151(5):1915–1919, 2023
1915
-
[28]
W. Luo, Z. Rudnick, and P. Sarnak. On the generalized Ramanujan conjecture for GL(n). InAuto- morphic forms, automorphic representations, and arithmetic (Fort Worth, TX, 1996), volume 66 of Proc. Sympos. Pure Math., pages 301–310. Amer. Math. Soc., Providence, RI, 1999
1996
-
[29]
H. L. Montgomery.Ten lectures on the interface between analytic number theory and harmonic analysis, volume 84 ofCBMS Regional Conference Series in Mathematics. Published for the Confer- ence Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Soci...
1994
-
[30]
C. J. Moreno. Analytic proof of the strong multiplicity one theorem.Amer. J. Math., 107(1):163–206, 1985
1985
-
[31]
M¨ uller and B
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
2004
-
[32]
Nekov´ aˇ r
J. Nekov´ aˇ r. Be˘ ılinson’s conjectures. InMotives (Seattle, WA, 1991), volume 55 ofProc. Sympos. Pure Math., pages 537–570. Amer. Math. Soc., Providence, RI, 1994
1991
-
[33]
Pascadi and J
A. Pascadi and J. Thorner. Large sieves for GL n and applications.arXiv e-prints, page arXiv:2508.14888
-
[34]
Ramakrishnan and S
D. Ramakrishnan and S. Wang. On the exceptional zeros of Rankin–SelbergL-functions.Compositio Math., 135(2):211–244, 2003
2003
-
[35]
P. Sarnak. Nonvanishing ofL-functions on Re(s) = 1. InContributions to automorphic forms, ge- ometry, and number theory, pages 719–732. Johns Hopkins Univ. Press, Baltimore, MD, 2004
2004
-
[36]
F. Shahidi. On certainL-functions.Amer. J. Math., 103(2):297–355, 1981
1981
-
[37]
C. L. Siegel. ¨Uber die Classenzahl quadratischer Zahlk¨ orper.Acta. Arith., 1(1):83–86, 1935
1935
-
[38]
V. T. S´ os and P. Tur´ an. On some new theorems in the theory of Diophantine approximations.Acta Math. Acad. Sci. Hungar., 6:241–255, 1955
1955
-
[39]
Soundararajan and J
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
2019
-
[40]
Tatuzawa
T. Tatuzawa. On a theorem of Siegel.Jpn. J. Math., 21:163–178 (1952), 1951
1952
-
[41]
J. Thorner. Exceptional zeros of Rankin-SelbergL-functions and joint Sato-Tate distributions.Int. Math. Res. Not. IMRN, (20):Paper No. rnaf307, 16, 2025
2025
-
[42]
Thorner and S
J. Thorner and S. Zhao. Landau–Siegel zeros of Rankin–SelbergL-functions.arXiv e-prints, page arXiv:2601.04189
-
[43]
Tur´ an.On a new method of analysis and its applications
P. Tur´ an.On a new method of analysis and its applications. Pure and Applied Mathematics (New York). John Wiley & Sons, Inc., New York, 1984. With the assistance of G. Hal´ asz and J. Pintz, With a foreword by Vera T. S´ os, A Wiley-Interscience Publication
1984
-
[44]
Wattanawanichkul
N. Wattanawanichkul. A metric approach to zero-free regions forL-functions.Eur. J. Math., 12(3):Paper No. 30, 2026
2026
-
[45]
Q. Zhang. Lower bounds for Rankin–SelbergL-functions on the edge of the critical strip.Acta Arith., 211(2):161–171, 2023. Department of Mathematics, University of Illinois Urbana-Champaign, 1409 West Green Street, Urbana, IL 61801, USA Email address:jesse.thorner@gmail.com
2023
-
[260]
Springer-Verlag, Berlin-New York, 1972
1972
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.