Pith. sign in

REVIEW 6 minor 22 references

On the series expansion of the secondary zeta function about $s=1$ and its coefficients

T0 review · 0 major / 6 minor · reviewed 2026-07-14 · grok-4.5

Pith's one-line read The regular Laurent coefficients of the secondary zeta function at its double pole s=1 are given by an explicit Stieltjes-style limit over the ordinates of the Riemann zeros.

desk verdict Clean, expected generalization of Hassani’s n=0 limit to all Cn under RH, with a useful BPT acceleration and solid numerical checks; incremental but correctly done. read the letter →

arxiv 2603.21555 v2 pith:JPT5OOZK submitted 2026-03-23 math.NT

classification math.NT MSC 11M2611M06
keywords secondaryzetafunctionLaurentseriesStieltjesconstantsRiemannzeroshypothesiszerosumsBrenttheorem
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 secondary zeta function is the Dirichlet series formed from the positive imaginary parts of the non-trivial zeros of the Riemann zeta function, assuming the Riemann hypothesis. It possesses a double pole at s=1 whose Laurent expansion contains an infinite sequence of regular coefficients Cn. This paper proves that each Cn equals a concrete limit: the difference between a partial sum of log^n(γ)/γ over zeros up to height T and an elementary main term coming from the Riemann–von Mangoldt formula, taken as T tends to infinity. The expression is the precise analogue of the classical formula for the Stieltjes constants of the ordinary zeta function. Direct numerical checks with millions of zeros, further sharpened by Brent’s error-reduction theorem, confirm the formula to many decimal places and yield high-precision values of the coefficients.

What carries the argument

Stieltjes integration of the weight log^m(t)/t against the zero-counting function N(T)=L(T)+Q(T), which isolates an elementary antiderivative A(T) whose subtraction leaves a remainder that converges to (-1)^m Cm.

What would settle it

Evaluate the partial-sum expression for C0 with the first 10^10 ordinates and compare the result, plus the explicit Brent error bound, against the independently known 19-digit value of C0; a discrepancy larger than the bound would refute the claimed limit.

Watch

Extended reading notes

Core claim

For every integer n greater than or equal to zero the regular coefficient Cn in the Laurent series of the secondary zeta function about s=1 is recovered by the limit formula Cn = lim (T→∞) (-1)^n {sum_{γ<T} log^n(γ)/γ - [1/(2π(n+1)(n+2))] log^{n+1}(T) log(T^{n+1}/(2π)^{n+2})}.

Load-bearing premise

Every non-trivial zero is assumed to lie exactly on the critical line, so that its imaginary part is a real positive number that can be summed directly.

Editorial extensions

If this is right

  • The formula supplies an independent computational path to the coefficients Cn that does not rely on the Arias-de-Reyna algorithm.
  • Inserting the Brent–Platt–Trudgian correction improves the truncation error from O(log^{m+1}T/T) to O(log^{m+1}T/T^2), recovering many extra correct digits from a fixed zero database.
  • The same analysis yields an explicit integral representation of every Cn in terms of the oscillatory remainder Q(t).
  • High-precision tables of Cn for arbitrary n become available once sufficiently many ordinates are known.

Reading between the lines

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

  • The identical limit construction can be repeated at the simple poles of Z(s) that sit at the negative odd integers, producing analogous regular coefficients there.
  • The rapid growth of |Cn| visible in the computed table is consistent with a radius of convergence exactly equal to 2 and suggests factorial-type asymptotics.
  • Because the formula needs the Riemann hypothesis only up to height T, systematic comparison of the limit against independently computed Cn offers a practical numerical probe of the hypothesis itself.
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

0 major / 6 minor

Summary. The paper studies the secondary zeta function Z(s)=sum_gamma gamma^{-s} (sum over positive imaginary parts of non-trivial zeros, under RH). It recalls the known Laurent expansion of Z(s) about the double pole at s=1, with regular coefficients C_n, and proves a limit formula (Theorem 1) expressing each C_n as the T->infty limit of the partial sum sum_{gamma<T} log^n(gamma)/gamma minus an explicit main term built from the Riemann-von Mangoldt asymptotic. The proof proceeds by Stieltjes integration of N(T)=L(T)+Q(T), extraction of the main term A(T) by repeated integration by parts, and identification of the resulting constant with the regular part of the Laurent series via the exp-log expansion of the remainder integral already used by Ivic and by Bondarenko-Ivic-Saksman-Seip. Numerical checks with 2e6 zeros recover the first few C_n to the expected number of digits; an application of Brent-Platt-Trudgian (BPT) error bounds improves the remainder by an extra 1/T factor (Theorem 2) and is verified numerically.

Significance. The main result is a clean, expected generalization of Hassani's n=0 limit (and of Brent's high-precision evaluation of C_0) to all regular Laurent coefficients C_n. The derivation is classical Stieltjes integration under RH and correctly matches the integral representation already present in the literature for the regular part of Z(s). The numerical verification against independent high-precision values obtained by the Arias de Reyna algorithm, together with the concrete BPT improvement, supplies a practical computational tool. The contribution is incremental rather than foundational, but it is self-contained, correctly executed, and of clear interest to specialists working on secondary zeta functions and sums over zeros.

minor comments (6)
  1. Throughout: the manuscript repeatedly writes 'Brent's (BPT) Theorem' and 'the (BPT) method'. BPT is the joint work of Brent-Platt-Trudgian; the attribution should be corrected for accuracy and consistency with the references.
  2. Section 2, display (11)-(12): the lower-limit constant B_m is defined with a special case for m=0 that relies on the convention 0^0=1. A short clarifying sentence would remove any ambiguity for the reader.
  3. Section 2, (16)-(17) and (21): several typographical slips appear (missing closing parentheses, 'Qt)' for Q(t), and an incomplete integral sign). These should be cleaned before publication.
  4. Section 3, numerical checks: the text states that C_0 computed via ADR was 'offset by log^2(2pi)/(4pi)'. A one-line explanation of the origin of that offset (or a pointer to the earlier paper) would help the reader reconcile the two values.
  5. Table 1 caption and surrounding text: the table is said to list coefficients 'to 50 digits' while the displayed entries for large n are given in scientific notation with fewer significant figures; a brief remark on the actual precision claimed for each entry would be useful.
  6. References: several arXiv identifiers and journal citations are incomplete or slightly inconsistent in format; a uniform bibliographic style should be applied.

Circularity Check

0 steps flagged · score 1.5 of 10

No significant circularity: Theorem 1 is a standard Stieltjes-integral derivation under RH; self-citations supply only independent numerical benchmarks.

full rationale

The central claim (Theorem 1) is obtained by inserting the log^m factor into the Stieltjes integral of N(T)=L(T)+Q(T), evaluating the main term A(T) by repeated integration by parts, and identifying the constant remainder with the regular Laurent coefficients already present in Ivić and Bondarenko–Ivić–Saksman–Seip. The RH hypothesis is stated from the first sentence and is definitional for Z(s) itself, not a hidden circular premise. High-precision reference values of Cn used for verification come from the independent Arias-de-Reyna algorithm (cited as [2] and the author’s earlier arXiv:2403.15741); they are not fitted parameters that are then re-predicted. The BPT correction is an external error-bound improvement applied after the main formula is already derived. Consequently the derivation chain does not reduce by construction to its own inputs, and the only self-citations are non-load-bearing numerical checks. Score 1.5 reflects that minor self-citation presence without any circular reduction of the claimed limit formula.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The paper works entirely inside classical analytic number theory under RH. No free parameters are fitted; the only non-standard constants that appear (A0,A1,A2) are taken from Brent's published error bounds. The secondary zeta function itself and the coefficients Cn are not new entities but objects already studied in the cited literature.

assumptions (3)
  • domain assumption Riemann Hypothesis: every non-trivial zero of ζ(s) has real part 1/2.
    Used from the first sentence to define γ_n and the secondary zeta function Z(s).
  • standard math Riemann-von Mangoldt formula N(T)=L(T)+Q(T) with the stated bounds on S(T) and f(T).
    Invoked in equation (5) and the subsequent integration-by-parts argument.
  • standard math Brent-Platt-Trudgian error bounds with numerical constants A0=2.067, A1=0.059, A2=0.007.
    Cited from [3] and inserted into Theorem 2 to improve the remainder.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the series expansion of the secondary zeta function about $s=1$ and its coefficients." pith.science (2026). https://pith.science/paper/JPT5OOZK

@misc{pith2026260321555,
  author       = {Pith},
  title        = {Pith review of: On the series expansion of the secondary zeta function about $s=1$ and its coefficients},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JPT5OOZK}},
  note         = {Machine review of arXiv:2603.21555}
}
abstract

The secondary zeta function is defined as a generalized zeta series over the imaginary parts of non-trivial zeros assuming (RH). This function admits Laurent series expansion at the double pole at $s=1$. In this article, we derive a new formula for the expansion coefficients of the regular part, which is similar to the Stieltjes constants formula for the Riemann zeta function. We also numerically verify and compute the new formula to high precision for several test cases. Lastly, we also apply the Brent's (BPT) Theorem for improving convergence of the main formula.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 5 linked inside Pith

  1. [1]

    Abramowitz and I

    M. Abramowitz and I. A. Stegun.Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Dover Publications, ninth printing, New York, (1964)

  2. [2]

    Arias De Reyna.Computation of the secondary zeta function.math.NT/arXiv:2006.04869, (Jun

    J. Arias De Reyna.Computation of the secondary zeta function.math.NT/arXiv:2006.04869, (Jun. 2020)

  3. [3]

    Brent, D.J

    R.P. Brent, D.J. Platt, T.S. Trudgian.Accurate estimation of sums over zeros of the Riemann zeta-function. Math. Comp. Also at arXiv:2009.13791, (Sep. 2020)

  4. [4]

    Brent, D.J

    R.P. Brent, D.J. Platt, T.S. Trudgian.A harmonic sum over nontrivial zeros of the Riemann zeta-function. Bull. Austral. Math. Soc. (Nov. 2020)

  5. [5]

    Brent,A sum over non-trivial zero of the Riemann zeta-function, Sept

    R.P. Brent,A sum over non-trivial zero of the Riemann zeta-function, Sept. 2021.https: //maths-people.anu.edu.au/~brent/pd/Brent-NTDU9.pdf

  6. [6]

    Bondarenko, A

    A. Bondarenko, A. Ivi´c, E. Saksman, K. SeipOn certain sums over ordinates of zeta-zeros II. arXiv:1808.01763 [math.NT] (Aug. 2018). 8

  7. [7]

    Chakravarty,The secondary zeta-functions, J

    I.C. Chakravarty,The secondary zeta-functions, J. Math. Anal. Appl.30(1970) 280-294

  8. [8]

    Chakravarty,Certain properties of a pair of secondary zeta-functions, J

    I.C. Chakravarty,Certain properties of a pair of secondary zeta-functions, J. Math. Anal. Appl.35(1971) 484-495

Show all 22 references
  1. [9]

    Chakravarty,On the functional equation of the secondary zeta-functions, Aequationes Math

    I.C. Chakravarty,On the functional equation of the secondary zeta-functions, Aequationes Math. 14(1976) 49-57

  2. [10]

    Delsarte,Formules de Poisson avec reste, J

    J. Delsarte,Formules de Poisson avec reste, J. Analyse Math.17(1966) 419-431

  3. [11]

    A. P. Guinand,A summation formula in the theory of prime numbers, Proc. London Math. Soc. (2)50(1948) 107-119

  4. [12]

    Hassani.Explicit Approximation Of The Sums Over The Imaginary Part of The Non-Trivial Zeros of The Riemann Zeta Function

    M. Hassani.Explicit Approximation Of The Sums Over The Imaginary Part of The Non-Trivial Zeros of The Riemann Zeta Function. Applied Mathematics E-Notes;16:109–116, (2016)

  5. [13]

    Hassani.On A Sum Related By Non-trivial Zeros Of The Riemann Zeta Function

    M. Hassani.On A Sum Related By Non-trivial Zeros Of The Riemann Zeta Function. Applied Mathematics E-Notes;12:1–4, (2012)

  6. [14]

    Ivi´cOn Certain Sums Over Ordinates Of Zeta-Zeros

    A. Ivi´cOn Certain Sums Over Ordinates Of Zeta-Zeros. arXiv:math/0312303v1. [math.NT] (2003)

  7. [15]

    Johansson,mpmath: a Python library for arbitrary-precision floating-point arithmetic (ver- sion 1.1.0), December 2018.https://www.mpmath.org

    F. Johansson,mpmath: a Python library for arbitrary-precision floating-point arithmetic (ver- sion 1.1.0), December 2018.https://www.mpmath.org

  8. [16]

    Kawalec,On the series expansion of the secondary zeta function

    A. Kawalec,On the series expansion of the secondary zeta function. arXiv:2403.15741v2 [math.NT] (2024)

  9. [17]

    A. Kawalec,Secondary Zeta Function Coefficients, Githubhttps://github.com/artek2718/ Secondary-Zeta-Function/blob/main/Sec_Zeta_Coefficients_Unprocessed_22mar26s_ 1.txt, (Uploaded: Mar 2026)

  10. [18]

    Levinson,On the secondary zeta-functions, Journal of Mathematical Analysis And Appli- cations,54(2001) 390-401

    N. Levinson,On the secondary zeta-functions, Journal of Mathematical Analysis And Appli- cations,54(2001) 390-401

  11. [19]

    Bordeaux, (2019)

    The PARI Group, PARI/GP version2.11.4, Univ. Bordeaux, (2019)

  12. [20]

    Titchmarsh,The Theory of the Riemann Zeta-function, The Clarendon Press Oxford University Press, New York, 2nd ed

    E.C. Titchmarsh,The Theory of the Riemann Zeta-function, The Clarendon Press Oxford University Press, New York, 2nd ed. (1986). Edited and with a preface by D.R. HeathBrown

  13. [21]

    Voros.Zeta functions for the Riemann zeros

    A. Voros.Zeta functions for the Riemann zeros. Ann. Institute Fourier,53, 665–699,(2003)

  14. [22]

    Voros.Zeta Functions over Zeros of Zeta Functions

    A. Voros.Zeta Functions over Zeros of Zeta Functions. Springer; 2010th edition (2010). Email: art.kawalec@gmail.com 9

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.