REVIEW
On the Imaginary Part of $\zeta'/\zeta$
Number Theory · Submitted 9 Oct 2026 · 11 references
Pith's verdict: New imaginary-part identity for the truncated log derivative of zeta is the real contribution; the derivation is plausible but the uniform derivative estimates in Lemma 4.2 need sharper justification before the proof is fully rigorous.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
An explicit zero-side formula for the imaginary part of the smoothly truncated logarithmic derivative of the Riemann zeta function, expressed through the odd companion of the Fejér kernel.
The reading
What carries the argument
The recursive identity ℑ_k(t)−ℑ_{k+1}(t)= (1/L)C'_k(t) relates successive truncation levels of the imaginary-part prime sum. Combined with the unconditional high-order Fejér identity (Lemma 4.2), which gives an explicit formula for C_k(t) involving the kernel Ẽ_k(z)=2∫₀¹(1−u)^k cos(uz)du, the proof telescopes the derivative sum and evaluates the limit as k→∞ to obtain A∞. The odd-kernel tail identity (Lemma 4.3) handles the truncation error.
Extended reading notes
Core claim
Theorem 2.1 states that for large T and t ≍ T, the imaginary part of Z(½+it) equals the real part of a sum over all nontrivial zeros ρ of A∞(−iL(ρ−½−it)), plus an error O(1/L) with L=log T. Here A∞(z)=2(z−sin z)/z² is the sine transform of the triangular weight (1−u), making it the odd counterpart of the squared sinc kernel for the real part. The proof uses a recursive relation between moments of the prime sum and a high-order Fejér identity for the real part, then telescopes the derivatives. Corollary 2.2 gives the asymptotic average of the imaginary part at zeros shifted by a microscopic distance, showing a non-zero maximum at d≈0.4147.
Load-bearing premise
The uniform bound E'_k(t) ≪ 1/(T L) in Lemma 4.2, needed for termwise differentiation of the zero sum, is stated but not fully derived from the Stirling approximations in the text.
Editorial extensions
If this is right
- The imaginary-part identity gives a new unconditional handle on the local distribution of zeros, analogous to the real-part identity used in pair-correlation studies.
- Under the Riemann Hypothesis, the formula reduces to a sum of real A∞ terms, providing a direct smoothed count of zeros weighted by an odd kernel.
- The shifted average (Corollary 2.2) peaks at a non-zero shift, unlike the real-part average, indicating that the imaginary part probes zero arrangements in a genuinely different way.
- Combined with the matrix argument that overcomes the clustering obstruction, the imaginary-part identity may yield stronger lower bounds on the proportion of simple zeros on the critical line.
- The explicit form of the kernel may facilitate the study of higher moments of zero distribution.
Reading between the lines
- The oddness of A∞ implies that its average over zeros at zero shift vanishes, so any non-zero signal must come from a microscopic displacement; this property could be exploited to detect subtle anisotropies in zero spacings.
- If the imaginary-part identity is fed into the vector construction that produced the positive-direction counting argument, it could provide an additional trace equation that forces the negative spectral mass B to be positive, potentially improving the known 2/3 bound.
- The recursive structure of the proof suggests a family of higher-order kernels that interpolate between the real and imaginary Fejér companions; these may be useful for multi-scale studies of zero statistics.
Original abstract
We derive an explicit zero-side formula for the imaginary part of a smooth truncation of the logarithmic derivative of the Riemann zeta-function. The resulting kernel is the odd companion of the Fej\'er kernel in Montgomery's pair-correlation identity. Motivated by the recent breakthrough of Anthropic's Claude \cite{Claude26}, we also give an expository account of how the real-part identity can be turned into a matrix problem, overcoming the clustering obstruction for zeros off the critical line. Finally, we discuss how the new imaginary-part identity may contain additional information about such clustering.
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 derive an explicit zero-side formula for the imaginary part of a smooth truncation of the logarithmic derivative of the Riemann zeta-function. The resulting kernel is the odd companion of the Fej\'er kernel in Montgomery's pair-correlation identity. Motivated by the recent breakthrough of Anthropic's Claude \cite{Claude26}, we also give an expository account of how the real-part identity can be turned into a matrix problem, overcoming the clustering obstruction for zeros off the critical line. Finally, we discuss how the new imaginary-part identity may contain additional information about such clustering.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We derive an explicit zero-side formula for the imaginary part of a smooth truncation of the logarithmic derivative of the Riemann zeta-function. | contribution 0.69 | 0.96 | 0.66 | asserted 1.00 |
| s1 | The resulting kernel is the odd companion of the Fej\'er kernel in Montgomery's pair-correlation identity. | result 0.74 | 0.78 | 0.14 | asserted 1.00 |
| s2 | Motivated by the recent breakthrough of Anthropic's Claude \cite{Claude26}, we also give an expository account of how the real-part identity can be turned into a matrix problem, overcoming the clustering obstruction for zeros off the critical line. | contribution 0.91 | 0.77 | 0.08 | asserted 0.99 |
| s3 | Finally, we discuss how the new imaginary-part identity may contain additional information about such clustering. | interpretation 0.92 | 0.43 | 0.17 | hedged possibility 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.