Counting zeros of Artin L-functions
Pith reviewed 2026-07-01 04:20 UTC · model grok-4.3
The pith
Assuming Artin's holomorphy conjecture, an explicit asymptotic counts the non-trivial zeros of Artin L-functions up to any height T.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Assuming Artin's holomorphy conjecture, the number of non-trivial zeros of an Artin L-function with imaginary part at most T equals an explicit asymptotic expression that holds for every T greater than or equal to 1.
What carries the argument
The explicit asymptotic formula for the zero-counting function of Artin L-functions.
If this is right
- Yields an unconditional explicit zero-counting formula for Hecke L-functions over any number field.
- Improves the explicit zero-counting formulas for Dedekind zeta functions and the Riemann zeta function for sufficiently large T.
- Improves the explicit zero-counting formula for Dirichlet L-functions for sufficiently large T.
Where Pith is reading between the lines
- The formula may support more precise effective Chebotarev density theorems for Galois extensions of number fields.
- Numerical verification of zero counts against the asymptotic could provide evidence toward or against the holomorphy conjecture in concrete cases.
- The method might extend to other families of L-functions once their holomorphy is established.
Load-bearing premise
Artin L-functions are holomorphic on the entire complex plane except for a possible simple pole at s=1.
What would settle it
A direct computation of the zeros of a specific Artin L-function up to a height T larger than the error term, showing a count that deviates from the predicted asymptotic.
read the original abstract
In this article, assuming Artin's (holomorphy) conjecture, we establish an explicit asymptotic formula for the number of non-trivial zeros, up to any given height $T\geq 1$, of Artin $L$-functions. As a consequence, our result yields an unconditional explicit zero-counting formula for Hecke $L$-functions over any number field. In addition, our result improves the recent work of Amberger on Dedekind and Riemann zeta functions and the previous work of Bennett-Martin-O'Bryant-Rechnitzer on Dirichlet $L$-functions for sufficiently large $T$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. Assuming Artin's holomorphy conjecture, the manuscript derives an explicit asymptotic formula for the number N(T) of non-trivial zeros (up to height T ≥ 1) of Artin L-functions attached to representations of Galois groups of number fields. The main term is (T/2π) log(QT/2π) with explicit lower-order terms and error bounds that improve on prior explicit formulae; the result is unconditional for Hecke L-functions (which are known to be entire) and yields improvements for Dedekind zeta functions, the Riemann zeta function, and Dirichlet L-functions when T is sufficiently large.
Significance. The explicit zero-counting formulae, conditional on a standard conjecture, supply a concrete tool for analytic number theory applications that require precise control of zero locations. The unconditional Hecke case follows immediately from known holomorphy and the functional equation. The claimed refinement of the error term (arising from a more careful contour integration that handles the possible pole at s=1 and the Gamma factors) is a technical but useful improvement over the cited works of Amberger and Bennett–Martin–O'Bryant–Rechnitzer for large T.
minor comments (3)
- [Introduction] The introduction should state the precise error term in the main asymptotic (currently only alluded to) so that the improvement over Amberger's result can be compared directly without reading the full proof.
- [§1] Notation for the conductor Q and the Artin conductor should be fixed once at the beginning and used consistently; minor inconsistencies appear in the statements of Theorems 1.1 and 1.2.
- [§4] A short remark on how the new error term behaves numerically for moderate T (say T=100) would help readers assess practical utility, even if the focus is asymptotic.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript, including the recognition of the explicit formulae, the unconditional Hecke case, and the technical improvement in the error term for large T. We are pleased that the referee recommends acceptance.
Circularity Check
No significant circularity; derivation is conditional on external conjecture and uses standard contour integration
full rationale
The paper derives an explicit asymptotic for the zero-counting function N(T) for Artin L-functions conditional on Artin's holomorphy conjecture, via the argument principle applied to a rectangular contour (standard technique). The result for Hecke L-functions follows unconditionally from their known entirety. No self-citations are load-bearing for the central claim, no parameters are fitted and relabeled as predictions, and the formula is not obtained by renaming a known result or smuggling an ansatz. The derivation chain is self-contained against the stated external assumption and does not reduce to its own inputs by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Artin's holomorphy conjecture
Reference graph
Works this paper leans on
-
[1]
Kadiri, H. and Ng, N. , TITLE =. J. Number Theory , FJOURNAL =. 2012 , NUMBER =. doi:10.1016/j.jnt.2011.09.002 , URL =
-
[2]
Lagarias, J. C. and Montgomery, H. L. and Odlyzko, A. M. , TITLE =. Invent. Math. , FJOURNAL =. 1979 , NUMBER =. doi:10.1007/BF01390234 , URL =
-
[3]
Lagarias, J. C. and Odlyzko, A. M. , TITLE =. Algebraic number fields:. 1977 , MRCLASS =
1977
-
[4]
McCurley, K. S. , TITLE =. Math. Comp. , FJOURNAL =. 1984 , NUMBER =. doi:10.2307/2007579 , URL =
-
[5]
Rademacher, H. , TITLE =. Math. Z. , FJOURNAL =. 1959/1960 , PAGES =. doi:10.1007/BF01162949 , URL =
-
[6]
Rosser, B. , TITLE =. Amer. J. Math. , FJOURNAL =. 1941 , PAGES =. doi:10.2307/2371291 , URL =
-
[7]
Trudgian, T. S. , TITLE =. Math. Comp. , FJOURNAL =. 2015 , NUMBER =. doi:10.1090/S0025-5718-2014-02898-6 , URL =
-
[8]
Faber, L. and Kadiri, H. , TITLE =. Math. Comp. , FJOURNAL =. 2015 , NUMBER =. doi:10.1090/S0025-5718-2014-02886-X , URL =
-
[9]
Trudgian, T. S. , title =. 2012 , journal =
2012
-
[10]
Trudgian, T. S. , TITLE =. J. Number Theory , FJOURNAL =. 2014 , PAGES =. doi:10.1016/j.jnt.2013.07.017 , URL =
-
[11]
Backlund, R. J. , TITLE =. Acta Math. , FJOURNAL =. 1916 , NUMBER =. doi:10.1007/BF02422950 , URL =
-
[12]
, TITLE=
Grossmann, J. , TITLE=
-
[13]
Von Mangoldt, H. C. F. , TITLE =. Math. Ann. , FJOURNAL =. 1905 , NUMBER =. doi:10.1007/BF01447494 , URL =
-
[14]
2022 , author =
Counting zeros of the Riemann zeta function , journal =. 2022 , author =
2022
-
[15]
2024 , journal=
An explicit sub-Weyl bound for (1/2 + it) , author=. 2024 , journal=
2024
-
[16]
An explicit van der. Indag. Math. , author =. 2016 , pages =
2016
-
[17]
An improved explicit estimate for (1/2 + it) , volume =. J. Number Theory , author =. 2024 , pages =
2024
-
[18]
Explicit bounds for the Riemann zeta-function on the 1-line , author=. Funct. Approx. Comment. Math. , year=
-
[19]
2024 , author =
Explicit bounds for the Riemann zeta function and a new zero-free region , journal =. 2024 , author =
2024
-
[20]
An explicit upper bound for ( 1 + i t ) , volume =. Indag. Math. , author =. 2022 , pages =
2022
-
[21]
2024 , author =
Explicit bounds on (s) in the critical strip and a zero-free region , journal =. 2024 , author =
2024
-
[22]
2014 , author =
An improved upper bound for the argument of the Riemann zeta-function on the critical line II , journal =. 2014 , author =
2014
-
[23]
2024 , note=
Explicit estimates for the logarithmic derivative and the reciprocal of the Riemann zeta-function , author=. 2024 , note=
2024
-
[24]
Counting zeros of Dedekind zeta functions , author=. Math. Comp. , year=
-
[25]
Counting zeros of. Math. Comp. , author =. 2021 , pages =
2021
-
[26]
and Odlyzko, A.M
Csordas, G. and Odlyzko, A.M. and Smith, W. and Varga, R.S. , journal =. A new Lehmer pair of zeros and a new lower bound for the de Bruijn-Newman constant . , volume =
-
[27]
Dudek , title =
Adrian W. Dudek , title =. Funct. Approx. Comment. Math. , number =
-
[28]
On the error term in the explicit formula of Riemann-von Mangoldt II , author=. Funct. Approx. Comment. Math. , year=
-
[29]
Bellotti, Chiara , title =
-
[30]
Platt, D. J. and Trudgian, T. S. , title =. Bull. Lond. Math. Soc. , volume =. doi:https://doi.org/10.1112/blms.12460 , url =. https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/blms.12460 , year =
-
[31]
Platt, D. J. , year =. Isolating some non-trivial zeros of zeta , volume =. Math. Comp. , doi =
-
[32]
and Hughes, Christopher , year =
Farmer, David and Gonek, S. and Hughes, Christopher , year =. The maximum size of L -functions , volume =. Journal für die reine und angewandte Mathematik (Crelles Journal) , doi =
-
[33]
2015 , author =
An improved explicit bound on | (1/2+it)| , journal =. 2015 , author =
2015
-
[34]
, title =
Pintz, J. , title =. Journ\'ees arithm\'etiques de Besan. 1987 , zbl =
1987
-
[35]
2023 , note=
A new upper bound on the smallest counterexample to the Mertens conjecture , author=. 2023 , note=
2023
-
[36]
2024 , note=
Explicit Bound of | (1+it )| , author=. 2024 , note=
2024
-
[37]
2022 , author =
On explicit estimates for S(t) , S_1(t) , and (1/2+it) under the Riemann Hypothesis , journal =. 2022 , author =
2022
-
[38]
Mathematische Annalen , volume=
Bounding and on the Riemann hypothesis , author=. Mathematische Annalen , volume=. 2013 , publisher=
2013
-
[39]
Milinovich , journal =
Emanuel Carneiro and Andrés Chirre and Micah B. Milinovich , journal =. Bandlimited approximations and estimates for the Riemann zeta-function , urldate =
-
[40]
2025 , note=
A Note on the Phragmen-Lindelof Theorem , author=. 2025 , note=
2025
-
[41]
Bober and Ghaith A
Jonathan W. Bober and Ghaith A. Hiary , title =. Experimental Mathematics , volume =. 2018 , publisher =
2018
-
[42]
IEEE Trans
Johansson, Fredrik , title =. IEEE Trans. Comput. , month =. 2017 , issue_date =
2017
-
[43]
Platt, D. J. , title =
-
[44]
Mathematics of Computation , author =
Isolating some non-trivial zeros of zeta , volume =. Mathematics of Computation , author =. 2017 , pages =
2017
-
[45]
NCI HPC Systems , url=
-
[46]
BlueCrystal User Guide , url=
-
[47]
, title =
Martinet, J. , title =. Algebraic Number Fields , editor =. 1977 , publisher =
1977
-
[48]
International Journal of Number Theory , volume =
Wong, Peng-Jie , title =. International Journal of Number Theory , volume =
-
[49]
American Journal of Mathematics , volume=
Modular forms and the Chebotarev density theorem , author=. American Journal of Mathematics , volume=. 1988 , publisher=
1988
-
[50]
Murty, V. K. , title =. Analytic Number Theory , editor =. 1997 , pages =
1997
-
[51]
Ram Murty and V
M. Ram Murty and V. Kumar Murty and Peng-Jie Wong , title =. Journal of the Ramanujan Mathematical Society , volume =. 2018 , pages =
2018
-
[52]
Estimating the number of zeros of Dedekind zeta-functions
Estimating the number of zeros of Dedekind zeta-functions , author=. preprint, arXiv:2510.27444 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[53]
Algebraic number theory , Url =
Neukirch, J\"urgen , TITLE =. 1999 , PAGES =. doi:10.1007/978-3-662-03983-0 , URL =
-
[54]
Turing, A. M. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1953 , PAGES =. doi:10.1112/plms/s3-3.1.99 , URL =
-
[55]
Tunnell, Jerrold , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1981 , NUMBER =. doi:10.1090/S0273-0979-1981-14936-3 , URL =
-
[56]
, TITLE =
Langlands, Robert P. , TITLE =. 1980 , PAGES =
1980
-
[57]
Inventiones mathematicae , volume=
Serre’s modularity conjecture (I) , author=. Inventiones mathematicae , volume=. 2009 , publisher=
2009
-
[58]
Inventiones mathematicae , volume=
Serre’s modularity conjecture (II) , author=. Inventiones mathematicae , volume=. 2009 , publisher=
2009
-
[59]
International Mathematics Research Notices , volume=
Modularity of solvable Artin representations of GO (4)-type , author=. International Mathematics Research Notices , volume=. 2002 , publisher=
2002
-
[60]
Mathematics of Computation , year=
Improved estimates for the argument and zero-counting function of the Riemann zeta-function , author=. Mathematics of Computation , year=
-
[61]
Bulletin of the Australian Mathematical Society , volume=
Explicit zero-counting theorem for Hecke--Landau zeta-functions , author=. Bulletin of the Australian Mathematical Society , volume=. 2017 , publisher=
2017
-
[62]
Journal of Number Theory , volume=
On the explicit upper and lower bounds for the number of zeros of the Selberg class , author=. Journal of Number Theory , volume=. 2019 , publisher=
2019
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.