REVIEW 3 major objections 3 minor
Generalization of the Ford-Zaharescu Theorem
T0 review · 3 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read This paper derives an asymptotic formula for sums over $m$-tuples of Riemann zero ordinates weighted by a function of a zero-sum integer linear combination.
desk verdict A promising multivariate extension of Ford-Zaharescu, but the abstract withholds every load-bearing hypothesis, so the whole question sits in the full text. 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 central object is the multiple sum $H$ over zero ordinates with weight $h(a_1\gamma_1+\cdots+a_m\gamma_m)$. The condition $\sum a_i=0$ makes the argument invariant under a common translation of all $\gamma_i$, so $H$ depends only on the relative configuration of the zeros. The asymptotic evaluation of this translation-invariant sum is the mechanism that carries the argument.
What would settle it
The abstract withholds both the main term and the class conditions, so a direct test requires the full theorem. With the full formula in hand, one could take $m=2$, $a_1=1$, $a_2=-1$, and $h$ a Gaussian, compute $H$ numerically for increasing $T$, and check whether $H$ divided by the predicted leading factor converges to the stated constant. Any deviation from the predicted limit would refute the claimed asymptotic.
Extended reading notes
Core claim
The paper claims that, for integers $a_1,\ldots,a_m$ with $\sum_{i=1}^m a_i=0$ and for every $h$ in a specified 'special class', the sum $$H=\sum_{0<\gamma_k\le T, 1\le k\le m} h(a_1\gamma_1+\cdots+a_m\gamma_m),$$ where the $\gamma_k$ independently run through the ordinates of the nontrivial zeros (each counted with multiplicity), satisfies a derived asymptotic formula as $T\to\infty$. The abstract states the sum and the zero-sum condition but does not display the formula's main term or the conditions defining the special class. The result is presented as a generalization of the Ford–Zaharescu theorem from one zero to $m$-tuples.
Load-bearing premise
The theorem's force depends on the unstated definition of the 'special class' of test functions and on any unspoken assumptions about the zeta zeros (such as the Riemann hypothesis or a zero-density estimate); if the class is very narrow or a deep conjecture is assumed, the advertised generalization is much weaker than it appears.
Editorial extensions
If this is right
- For $m=1$, the asymptotic formula specializes to the Ford–Zaharescu theorem, giving a direct consistency check of the generalized statement.
- For $m\ge2$, the formula supplies the leading term of the $m$-point correlation sums under zero-sum integer weights, describing how the ordinates of zeta zeros co-vary at large height.
- Because zeros are counted with multiplicity, the result applies to repeated zeros as they occur, so it places no restriction on zero simplicity.
- The formula holds for every function in the paper's special class, so any function admitted by that class inherits the stated asymptotic.
Reading between the lines
- If the theorem is unconditional, it would be a rare higher-order correlation statement about zeta zeros that does not assume the Riemann hypothesis; if it is conditional, the value lies in identifying exactly which unproved input (e.g., a zero-density estimate) suffices.
- The content of the result hinges almost entirely on the breadth of the 'special class'; a reader should check whether it includes smooth compactly supported functions or is limited to band-limited test functions, as this determines whether the asymptotic implies genuine distributional statements.
- The same zero-sum weighting scheme could in principle be applied to the ordinates of zeros of other $L$-functions or to the zeros of derivatives of $\zeta(s)$, yielding analogous correlation asymptotics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The abstract claims an asymptotic formula for the sum H = Σ_{0<γ_k≤T, 1≤k≤m} h(a_1γ_1+...+a_mγ_m), where the a_i are integers with sum zero, the γ_k run independently over the imaginary parts of the nontrivial zeros of the Riemann zeta function (with multiplicity), and h belongs to an unspecified 'special class.' The abstract states that this generalizes the Ford–Zaharescu theorem from one zero to m-tuples.
Significance. If the asymptotic is established for a genuinely broad class of test functions h, the result would be a significant extension of Ford–Zaharescu-type correlation asymptotics to m-point sums over Riemann zeros, with potential applications to the statistical theory of zeta zeros. However, the abstract does not specify the admissible class of h, the form of the error term, the uniformity in the coefficients a_i, or whether the theorem is unconditional or conditional (on RH, a zero-density estimate, or the pair-correlation conjecture). These are load-bearing details for any claim of this type, and their absence prevents an assessment of the significance and correctness of the result.
major comments (3)
- [Abstract] The phrase 'some special class' (Abstract) is undefined. The admissible class of test functions is load-bearing: if the class is so narrow that h or its Fourier transform vanishes on the relevant integer combinations a·γ, the asymptotic could become a tautology rather than a genuine extension of Ford–Zaharescu. At minimum, the abstract should state the key conditions (smoothness, decay, support of the Fourier transform, or behavior near the origin) or explicitly refer to the theorem in the full text where the class is defined. As written, the claim is not checkable from the material presented.
- [Abstract] The abstract does not state whether the theorem is unconditional or conditional. Results of this type typically depend on RH, the pair-correlation conjecture, or a zero-density estimate; the leading constant and the admissible error term depend critically on which input is assumed. Omitting this status makes the strength of the result and the validity of the asymptotic impossible to evaluate. The authors should state, for example, whether the result holds unconditionally for h in a specified class or under RH (or another hypothesis).
- [Abstract] The sum counts zeros with multiplicity ('each zero occuring in the sum the number of times of its multiplicity'). If multiplicities are not known to be bounded, a single zero of very high multiplicity could dominate H, and the asymptotic requires control of the multiplicity function (e.g., an upper bound on the number of zeros sharing an ordinate). No such hypothesis appears in the abstract. This is a necessary hypothesis for the claimed asymptotic, not a minor technicality, and should be stated explicitly.
minor comments (3)
- [Abstract] The phrase 'some special class' is unhelpful; use a named class (e.g., Schwartz class, compactly supported, etc.) or give the defining inequalities, or at least point to the section where the class is introduced.
- [Abstract] The notation '0<γ_k≤T, 1≤k≤m' is ambiguous. It should be clarified that the sum is over all m-tuples of zero ordinates in (0,T], counted with multiplicity, rather than over independent indices each up to some bound.
- [Abstract] 'non-trivial' should be 'nontrivial' in formal mathematical writing, and the original Ford–Zaharescu theorem should be cited in the abstract or introduction.
Circularity Check
No circularity identifiable from abstract-only evidence
full rationale
The review is limited to the abstract, which states an asymptotic formula for H without defining the 'special class' of test functions h or the underlying assumptions (e.g., RH, pair-correlation, zero-density). No fitted parameter, self-citation, or definitional reduction is visible in the abstract. The leading constant of the claimed asymptotic is not shown to be defined in terms of H itself, and no equation or construction is presented that would make the prediction equivalent to its input. Undefined hypotheses and unstated assumptions are correctness concerns, not circularity. Per the hard rules, circularity may only be flagged when the paper exhibits a specific reduction (e.g., Eq. X = Eq. Y by construction or a fitted parameter renamed as a prediction). No such evidence is present here, so the appropriate finding is no significant circularity (score 0).
Assumptions & free parameters
assumptions (3)
- standard math Riemann-von Mangoldt zero-counting formula (or an equivalent density estimate) supplies the leading constant of the asymptotic; the abstract provides no derivation of this external input.
- domain assumption The theorem either is unconditional or inherits the Riemann hypothesis, a pair-correlation conjecture, or a zero-density estimate; the abstract does not disclose which.
- ad hoc to paper The 'special class' of test functions h is not defined in the abstract; the decay, smoothness, or Fourier conditions it imposes are assumptions of the theorem.
Cite this review
Pith. "Pith review of Generalization of the Ford-Zaharescu Theorem." pith.science (2026). https://pith.science/paper/IMW4FZHE
@misc{pith2026250818280,
author = {Pith},
title = {Pith review of: Generalization of the Ford-Zaharescu Theorem},
year = {2026},
howpublished = {\url{https://pith.science/paper/IMW4FZHE}},
note = {Machine review of arXiv:2508.18280}
}
abstract
We derive an asymptotic formula for the sum $$ H = \sum_{0<\gamma_k\leqslant T,\, 1\leqslant k\leqslant m}h(a_1\gamma_1+a_2\gamma_2+\cdots + a_m\gamma_m), $$ where $a_1, a_2, \ldots, a_m$ are integers whose sum equals zero, $\gamma_1, \ldots, \gamma_m$ independently run through the imaginary parts of the non-trivial zeros of the Riemann zeta function, each zero occuring in the sum the number of times of its multiplicity, and the function $h$ belongs to some special class.
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.