REVIEW 1 major objections 3 minor 8 references
A new hyperbolicity wedge and a joint semicircle limit for Jensen polynomials of Riemann's $\xi$-function
T0 review · 1 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read There is an absolute constant K such that whenever n^3 log^2(n+2) ≥ K d^5, the Jensen polynomial J^{d,n} has d distinct negative real zeros, and its scaled zeros follow Wigner's semicircle law as n and d grow together.
desk verdict A sound and substantial polynomial-wedge hyperbolicity theorem; the only real vulnerability is the imported complex saddle expansion, and the identified algebraic objection does not hold up. 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 proof is organized by quotient invariants q_k = R_{k+1}^2/(R_k R_{k+2}), which are unchanged by rescaling every coefficient and therefore capture all coefficient information. Starting from a Laguerre family, the author matches the first two normalized coefficients; a complex saddle expansion for the logarithmic moment function, with Lambert-type scale L_x solving x = L_x(π $e^{{L_x}}$ + 3/4), shows a positive defect at the third coefficient. A Jacobi deformation absorbs that defect, and a second Jacobi factor inserted through finite-free multiplicative convolution absorbs the opposite-sign defect at the fourth coefficient, so the model matches R_0 through R_4 exactly. Hyperbolicity is preserved because finite-free multiplicative convolution keeps positive real roots, and the remaining factor is a holomorphic multiplier c_F whose deviation from 1 is small exactly in the stated wedge; a fifth-order multiplier stability principle transfers real-rootedness from the model to $J^{{d,n}}$.
What would settle it
Find integers d and n with d ≤ c $n^{{3/5}}$ $log^{{2/5}}$(n+2) for some fixed positive c (for instance c = 1/2) such that $J^{{d,n}}$ has a non-real zero, or two roots that coalesce; the theorem asserts that no such pair exists. A less direct check is to compute the second-difference quantity D_n = log(R_3/$R_3^{{(L)}}$) for large n, since Lemma 4.3 predicts D_n ~ 2/($n^{2}$ log n) > 0 and the opposite sign would identify the analytic input as false.
Extended reading notes
Core claim
The central claim is Theorem 1.1: for an absolute constant K > 0, the condition $n^{3}$ $log^{2}$(n+2) ≥ K $d^{5}$ forces all d zeros of $J^{{d,n}}$ to be real, distinct, and negative. The proof constructs a comparison polynomial with explicit simple positive roots, matches the first five normalized coefficients exactly, and then shows that the remaining coefficient multiplier is a small holomorphic perturbation; the wedge condition is precisely what makes this perturbation small. Theorem 1.2 then identifies the empirical distribution of the centered and scaled zeros of the actual Jensen polynomial with Wigner's semicircle law, uniformly along every sequence of pairs (n,d) staying in the wedge.
Load-bearing premise
Everything rests on the quoted asymptotic expansion of the logarithmic moment of Riemann's xi-function in a complex sector, including bounds on its first five derivatives; if that expansion or its derivative bounds failed, the argument would collapse.
Editorial extensions
If this is right
- For any fixed degree d, the theorem yields hyperbolicity as soon as n grows beyond a polynomial scale in d, roughly d^{5/3} up to log factors, rather than an exponential scale.
- The result verifies one infinite family of Jensen polynomials unconditionally, but it does not cover the remaining region of the (d,n)-plane, so it does not prove the Riemann hypothesis.
- In the joint limit n,d → ∞ inside the wedge, the scaled zeros of J^{d,n} converge to Wigner's semicircle law, matching the random-matrix prediction in a simultaneous degree-derivative limit.
- Matching five coefficients is enough: the stability lemma shows that a multiplier whose first five values are 1 and whose deviation is small in a neighborhood changes the zero count in any interval by at most one.
Reading between the lines
- If the saddle expansion can be differentiated further and more coefficients matched, the same mechanism suggests the exponent on d in the wedge condition might be improved; this is not claimed in the paper.
- The sign pattern of the defects, positive at R_3 and negative at R_4, is what makes the two-stage Jacobi construction work; a natural testable extension is whether the same pattern persists for moments of other L-functions with similar theta kernels.
- The joint semicircle theorem invites numerical checks of local statistics, such as spacing distributions or edge behavior, in the same wedge; the paper explicitly does not claim such local universality.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves an unconditional hyperbolicity region for the Jensen polynomials J^{d,n} attached to Riemann's xi-function: there is an absolute constant K such that n^3 log^2(n+2) >= K d^5 implies that J^{d,n} has d distinct negative real zeros. The proof constructs a comparison polynomial from a Laguerre baseline, a first Jacobi correction matching the normalized coefficients R_0 through R_3, and a second finite-free convolution factor matching R_0 through R_4; a fifth-order multiplier stability proposition transfers real-rootedness to the Jensen polynomial. The same comparison model yields a joint semicircle limit for the naturally scaled zeros as n and d tend to infinity together in the wedge.
Significance. If correct, this is a substantial advance: it replaces exponential thresholds d = O(log n) with a polynomial wedge d <= c n^{3/5} log^{2/5}(n+2) and permits d and n to tend to infinity simultaneously in the global semicircle limit. The proof is largely constructive and transparent: the comparison parameters are solved from coefficient-matching equations rather than fitted to hyperbolicity, and the final stability argument is quantitative. The main analytic input, the uniform sectorial saddle expansion in Proposition 4.1, is imported from published work and is clearly identified. However, one algebraic identity used in the root-localization lemma is false as written, so the manuscript is not yet in publishable form.
major comments (1)
- [Section 7, Eq. (78)] The displayed expression for the difference between the diagonal entry (75) and V is not correct. Subtracting V from (75) and simplifying gives the numerator 2k(k+H+1)(U-2V) + V H(d-1) + 2k(k+1)(1-U), not 2k(k+H+1)(U-2V) + V H(d-1). For example, with U=20, V=10, d=5, k=1, the omitted term changes the value from 560/288 to 484/288. This identity is used to prove the diagonal bound |D_k - V| <= 4d that underlies Lemma 7.3's root localization and, through it, the proof of Lemma 11.1. The missing term is O(d^2/U) after division by the denominator, and under (57) it is O(d/K_r) for both factors, so the intended bound is likely repairable; however, as written the proof of the central real-rootedness claim has a gap that must be fixed.
minor comments (3)
- [Section 9, Eq. (86)] I checked the factorization (E+D)JpF = -(epsilon_p/A) E(E-d)(E+A)pF; it is correct. The apparent d=1 counterexample disappears because for pF(y)=1-y/B one has JpF=0, so both sides vanish.
- [Section 4, Proposition 4.1] The proof's main analytic weight is carried by the imported sectorial saddle expansion from [3, Section 3], including derivative bounds through order five derived by Cauchy estimates. This is a legitimate use of a published theorem, but the paper should state explicitly which formula or theorem in [3] is being imported, since the derivative bounds are not quoted verbatim.
- [References] Reference [7] contains a typographical error in the title: 'BemerkungÜber' should be 'Bemerkung über'.
Circularity Check
No circularity: the hyperbolicity wedge is derived from external saddle asymptotics and finite-free convolution, with model parameters solved from coefficient equations rather than fit to hyperbolicity.
full rationale
The derivation chain is self-contained against external benchmarks. The comparison models are built from the Laguerre, Jacobi, and finite-free families, and their parameters are solved from explicit quotient-matching equations in Lemmas 5.1 and 6.1, not from any information about the Jensen zeros. The real-rootedness of the comparison polynomial pF is established independently via Jacobi-matrix localization and finite-free convolution in Lemmas 7.1-7.3, so hyperbolicity is not an input. The analytic saddle input, Proposition 4.1, is quoted from reference [3], whose authors share no overlap with the present sole author; this is not a self-citation chain. The finite-free convolution theorems in [4] and [5] are also external. The final stability principle, Proposition 2.2, is proved inside the paper and applies a uniform bound on a holomorphic multiplier; nothing in it assumes the conclusion. The defect signs in Lemmas 4.3 and 5.4 and the fifth-derivative bound in Lemma 8.1 are computed asymptotics, not fitted parameters renamed as predictions. The semicircle law in Theorem 1.2 is derived for the comparison model by trace-moment convergence and then transferred to the Jensen zeros through the in-paper bound (100); it is not a restatement of the model's definition. The possible algebraic issue in Eq. (86) raised by a skeptic would be a correctness defect, not circularity, since the identity is used as an intermediate estimate rather than as a premise equivalent to the conclusion. No equation in the paper reduces a claimed prediction to its own inputs, and no load-bearing premise is justified only by a self-citation.
Assumptions & free parameters
free parameters (1)
- Auxiliary normalization D =
B_J/2
assumptions (7)
- standard math Pólya's Jensen criterion: the Riemann hypothesis is equivalent to hyperbolicity of J^{d,n} for all d,n ≥ 0.
- standard math Riemann's integral representation Ξ(t)=∫_0^∞ Φ(u) cos(tu) du with Φ(u)>0 and absolute convergence, and the relation γ(n)=n!/(2n)! M_n.
- domain assumption Uniform sectorial complex saddle expansion for log M_z with derivative bounds through order five (Proposition 4.1), imported from [3, Section 3].
- domain assumption Finite-free multiplicative convolution preserves real-rootedness and interlacing direction, and has the logarithmic-mesh simplicity property (Propositions 2.7, 2.11, 2.17 of [4]).
- domain assumption Largest-root inequality for monic normalization of multiplicative finite-free convolution ([5, Theorem 1.13]).
- standard math Jacobi tridiagonal recurrence with explicit diagonal and off-diagonal entries and Gershgorin localization (Szegő [8]).
- standard math Standard identities: Legendre duplication, sectorial Stirling asymptotics, Hermite-Genocchi formula, Newton interpolation.
Cite this review
Pith. "Pith review of A new hyperbolicity wedge and a joint semicircle limit for Jensen polynomials of Riemann's $\xi$-function." pith.science (2026). https://pith.science/paper/AST542L7
@misc{pith2026260808682,
author = {Pith},
title = {Pith review of: A new hyperbolicity wedge and a joint semicircle limit for Jensen polynomials of Riemann's $\xi$-function},
year = {2026},
howpublished = {\url{https://pith.science/paper/AST542L7}},
note = {Machine review of arXiv:2608.08682}
}
abstract
Let \[ \xi\!\left(\frac12+z\right) =\sum_{n\geq 0}\frac{\gamma(n)}{n!}z^{2n}, \qquad J^{d,n}(X) =\sum_{j=0}^{d}\binom dj\gamma(n+j)X^j . \] The Riemann hypothesis is equivalent to the hyperbolicity of $J^{d,n}$ for every $d,n\geq0$. We prove that there is an absolute constant $K>0$ such that \[ n^3\log^2(n+2)\geq Kd^5 \quad\Longrightarrow\quad J^{d,n}\ \text{is hyperbolic}. \] Along every sequence with $n,d\to\infty$ in this region, the empirical measure of the naturally centered and scaled zeros also converges to Wigner's semicircle law. This gives a simultaneous degree--derivative version of the global semicircle consequence of the fixed-degree Hermite limit of Griffin, Ono, Rolen, and Zagier.
Reference graph
Works this paper leans on
-
[3]
M. J. Griffin, K. Ono, L. Rolen, J. Thorner, Z. Tripp, and I. Wagner, Jensen polynomials for the Riemann xi-function,Adv. Math.397(2022), Paper No. 108186. https: //arxiv.org/abs/1910.01227. 24
work page Pith review arXiv 2022
-
[1]
D. W. Farmer, Jensen polynomials are not a plausible route to proving the Riemann hypothesis,Adv. Math.411(2022), Paper No. 108781. https://arxiv.org/abs/ 2008.07206
work page Pith review arXiv 2022
-
[2]
Jensen polynomials for the Riemann zeta function and other sequences
M. Griffin, K. Ono, L. Rolen, and D. Zagier, Jensen polynomials for the Riemann zeta function and other sequences,Proc. Natl. Acad. Sci. USA116(2019), no. 23, 11103–11110.https://arxiv.org/abs/1902.07321
work page Pith review arXiv 2019
-
[4]
Real roots of hypergeometric polynomials via finite free convolution
A. Mart ´ ınez-Finkelshtein, R. Morales, and D. Perales, Real roots of hypergeometric polynomials via finite free convolution,Int. Math. Res. Not. IMRN(2024), no. 16, 11642–11687.https://arxiv.org/abs/2309.10970
work page Pith review arXiv 2024
-
[5]
A. W. Marcus, D. A. Spielman, and N. Srivastava, Finite free convolutions of polyno- mials,Probab. Theory Related Fields182(2022), 807–848. https://arxiv.org/abs/ 1504.00350
work page Pith review arXiv 2022
-
[6]
Zeros of Jensen polynomials and asymptotics for the Riemann xi function
C. O’Sullivan, Zeros of Jensen polynomials and asymptotics for the Riemann xi function, Res. Math. Sci.8(2021), Paper No. 46.https://arxiv.org/abs/2007.13582
work page Pith review arXiv 2021
-
[7]
G. P´ olya, Bemerkung¨Uber die Integraldarstellung der Riemannschen ξ-Funktion,Acta Math.48(1926), 305–317
work page 1926
-
[8]
Szeg˝ o,Orthogonal Polynomials, 4th ed., American Mathematical Society Colloquium Publications, vol
G. Szeg˝ o,Orthogonal Polynomials, 4th ed., American Mathematical Society Colloquium Publications, vol. 23, American Mathematical Society, Providence, RI, 1975. 25
work page 1975
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.