REVIEW
Cauchy laws for zeta logarithmic derivatives and stationary Stieltjes transforms
Number Theory · Submitted 14 Sep 2026 · 28 references
Pith's verdict: A solid, well-proved paper that delivers unconditional Cauchy limits for projected zeta zeros and a general probabilistic framework; the conditional result for the log derivative is cleanly handled. The work is rigorous and the novel probability theorem is independently interesting.
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Without assuming the Riemann hypothesis, the symmetrically truncated Stieltjes transform of projected zero ordinates of the zeta function converges to a standard Cauchy distribution.
The reading
What carries the argument
The weighted cotangent identity (Proposition 2.1) shows that a weighted sum of cotangents of random angles with random weights summing to one follows Cauchy(0,1) conditionally. This identity, combined with a periodization argument, proves that for a periodic point measure the Stieltjes transform at a uniform random point is exactly Cauchy. Stationary random measures are approximated by such periodic measures through a deterministic periodization principle (Proposition 3.6), and quantitative truncation bounds (Theorem 4.1) control the error. For the zeta function, a Hadamard factorization (Appendix A) relates the logarithmic derivative to the Stieltjes transform of the zero ordinates, and off-critical zeros are handled via fractional-moment estimates (Proposition 8.6) derived from Selberg's zero-density estimate.
Extended reading notes
Core claim
The paper's central discovery is that, without any hypothesis on the location of the zeros of ζ, the random variable P_T (a symmetrically truncated Stieltjes transform of the renormalized zero ordinates) converges in distribution to Cauchy(0,1). This is proved by showing that the underlying point measure satisfies the general integrability condition via unconditional estimates of Fujii and Selberg. Under the mild horizontal collapse assumption H(T)=o(T) (equivalent to microscopic horizontal collapse of off-critical zeros), the normalized logarithmic derivative A_T on the critical line also converges to Cauchy(0,1), with an explicit comparison error. For function fields, purity and a weighted cotangent identity give the exact Cauchy law for each nonconstant cohomological factor, and Poincaré duality yields explicit bounds for the full zeta function, leading to Cauchy limits for smooth hypersurfaces of increasing degree.
Load-bearing premise
For the general probabilistic theorem, the load‑bearing premise is that the expected absolute deviation between the counting function and the linear mean intensity is bounded by an integrable function h(r) with ∫_1^∞ h(r)/$r^{2}$ dr < ∞; for the unconditional zeta result this condition is verified using unconditional estimates of S(t) and zero‑density bounds, so no hypothesis on the location of zeros is required.
Editorial extensions
If this is right
- The unconditional Cauchy limit for zero projections supports predictions from random matrix theory without assuming the Riemann hypothesis.
- If the horizontal collapse condition H(T)=o(T) holds (a hypothesis weaker than RH), the logarithmic derivative of ζ on the critical line also has a Cauchy limit, providing a quantitative bridge between the projected zeros and the actual zeta function.
- The general probabilistic theorem (Theorem 3.1) applies to any stationary point measure with sub‑linear counting variance, including sine‑process, Poisson, and bead processes, giving a unified explanation for the ubiquity of the Cauchy distribution in these contexts.
- Over finite fields, the exact Cauchy law for pure cohomological factors and the explicit error bounds for full zeta functions (Theorem 9.5) establish a deterministic analogue of the random‑matrix‑theoretic predictions for varieties over finite fields.
- The comparison method (Theorem 8.7) offers a template for transferring Cauchy limits from projected point configurations to logarithmic derivatives in other L‑function settings.
Reading between the lines
- The general criterion (3.1) suggests that many stationary point processes with sufficiently small counting variance will have Cauchy‑distributed Stieltjes transforms, so the Cauchy law may be a universal feature of such processes beyond the examples considered.
- For the Riemann zeta function, the horizontal collapse condition H(T)=o(T) is plausible on density grounds but remains unproved; the paper provides a clear arithmetic target that, if established, would complete the Cauchy limit for the logarithmic derivative unconditionally.
- In the finite‑field setting, the coupling bound ∆_X = O(d^{−n−1}) for hypersurfaces indicates that increasing degree drives the normalized logarithmic derivative to Cauchy uniformly over the base field, which may be interpreted as a manifestation of increasing topological complexity.
- The independence of the Cauchy variable from the invariant sigma‑field (Theorem 3.1(iv)) implies that the one‑point functional does not capture long‑range correlations; finer point‑process statistics are needed to distinguish processes that share the same marginal Cauchy law.
Original abstract
We prove an unconditional Cauchy limit for a symmetrically truncated Stieltjes transform of the projected ordinates of the zeros of the Riemann zeta function. A suitable normalization of the logarithmic derivative of $\zeta$ on the critical line has the same limit provided that the sum of the distances to the critical line of the zeros lying to its right, counted with multiplicity up to height $2T$, is $o(T)$; we give an explicit bound on the comparison error. The proof rests on a convergence theorem for the Stieltjes transform of positive stationary point measures whose counting discrepancy satisfies an integrability criterion. This theorem is obtained by comparison with the transforms of periodic point measures, combined with truncation bounds and a transfer theorem. Over finite fields, a classical cotangent identity yields Cauchy limits for the logarithmic derivatives of zeta functions of varieties: the law is exactly Cauchy for nonconstant pure cohomological factors, and Poincar\'e duality gives explicit errors for full zeta functions, including Cauchy limits for smooth hypersurfaces of increasing degree, uniformly in the base field.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We prove an unconditional Cauchy limit for a symmetrically truncated Stieltjes transform of the projected ordinates of the zeros of the Riemann zeta function. A suitable normalization of the logarithmic derivative of $\zeta$ on the critical line has the same limit provided that the sum of the distances to the critical line of the zeros lying to its right, counted with multiplicity up to height $2T$, is $o(T)$; we give an explicit bound on the comparison error. The proof rests on a convergence theorem for the Stieltjes transform of positive stationary point measures whose counting discrepancy satisfies an integrability criterion. This theorem is obtained by comparison with the transforms of periodic point measures, combined with truncation bounds and a transfer theorem. Over finite fields, a classical cotangent identity yields Cauchy limits for the logarithmic derivatives of zeta functions of varieties: the law is exactly Cauchy for nonconstant pure cohomological factors, and Poincar\'e duality gives explicit errors for full zeta functions, including Cauchy limits for smooth hypersurfaces of increasing degree, uniformly in the base field.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We prove an unconditional Cauchy limit for a symmetrically truncated Stieltjes transform of the projected ordinates of the zeros of the Riemann zeta function. | result 0.78 | 0.96 | 0.73 | asserted 1.00 |
| s1 | A suitable normalization of the logarithmic derivative of $\zeta$ on the critical line has the same limit provided that the sum of the distances to the critical line of the zeros lying to its right, counted with multiplicity up to height $2T$, is $o(T)$; we give an explicit bound on the comparison error. | result 0.96 | 0.87 | 0.20 | asserted 0.95 |
| s2 | The proof rests on a convergence theorem for the Stieltjes transform of positive stationary point measures whose counting discrepancy satisfies an integrability criterion. | method 0.98 | 0.80 | 0.07 | asserted 1.00 |
| s3 | This theorem is obtained by comparison with the transforms of periodic point measures, combined with truncation bounds and a transfer theorem. | method 0.99 | 0.84 | 0.05 | asserted 1.00 |
| s4 | Over finite fields, a classical cotangent identity yields Cauchy limits for the logarithmic derivatives of zeta functions of varieties: the law is exactly Cauchy for nonconstant pure cohomological factors, and Poincar\'e duality gives explicit errors for full zeta functions, including Cauchy limits for smooth hypersurfaces of increasing degree, uniformly in the base field. | background 0.68 | 0.29 | 0.08 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.