REVIEW
A genus-two spectral curve of the Riemann $\Xi$-function: Real Structure and Certified Arithmetic Separation of Periods
Number Theory · Submitted 23 Oct 2026 · 36 references
Pith's verdict: Certified Lambda <= 0.1732 and a certified six-point genus-two core for Xi are genuinely new and honestly scoped; the headline number rests on one large exact integer convolution that the supplied audit never independently regenerates.
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper claims a certified genus-two real spectral core of the Riemann Ξ-function with Farey denominator barriers on its period ratios, and a canopy certificate bounding the Newman constant by Λ ≤ 433/2500 = 0.1732 without QRH.
The reading
What carries the argument
The load-bearing object is the normalized spectral discriminant $\Delta_0(T) = K(T)/Y(T)^6$, where $Y(T) = \tfrac14\Xi(i\sqrt{T})$ is the entire even $\theta$-moment function and $K$ is a regularized entire numerator obtained by clearing the apparent singularities of the logarithmic-derivative discriminant; every simple zero of $K$ away from $Y = 0$ is a simple ramification point of the spectral curve. Its six certified simple zeros generate the monic real sextic $P_X(T)$ whose double cover $X_2$ is the compact genus-two real core of type $(2,1,1)$. Two certified bridges carry the argument: the parameter match of Theorem 3.12 identifying $N_6(sT+r)$ with $P_X(T)$ inside the scalar normal form of the van der Put–Saito $P_{\mathrm{III}}(D_6)$ rank-two Lax connection, and the calibrated action differential $\varpi_0 = \sqrt{\Delta_0(T)}\,dT$ integrated on the three-cut symplectic basis $(\alpha_1,\alpha_2,\beta_1,\beta_2)$, whose zero-action lattice $\Lambda_2$ reduces to rationality of $u_1/u_2$ and $r_1/r_2$. Exact Farey-neighbor identities such as $20219\cdot419336 - 13749\cdot616667 = 1$ convert certified period enclosures into exact denominator barriers, and the reciprocal-head construction — finite Dirichlet-inverse coefficients $a_1,\dots,a_J$ with exactly enumerated integer convolution norms — replaces the cruder Euler-product coefficient budget and closes the remaining cap in the $\Lambda$ argument.
Extended reading notes
Core claim
The central claim is that the normalized discriminant $\Delta_0(T) = K(T)/Y(T)^6$, built from the logarithmic derivative of the transverse product with its apparent singularities cleared, carries a compact genus-two real spectral core for the Riemann $\Xi$-function. Directed $\theta$-moment and Rouché/Krawczyk certificates isolate exactly six simple branch values — two real, two nonreal conjugate pairs — so the normalization of the double cover $y^2 = \Delta_0(T)$ over a conjugation-invariant domain is the hyperelliptic sextic $X_2: W_X^2 = P_X(T)$ of real type $(2,1,1)$: genus two, one real oval, nondividing. Theorem 3.12 certifies real parameters in an explicit box such that the sextic numerator of the van der Put–Saito $P_{\mathrm{III}}(D_6)$ scalar normal form satisfies $N_6(sT+r)/t^2 s^6 = P_X(T)$, exhibiting the Xi core as the orientation curve of an actual real $D_6$ Lax phase point. The arithmetic theorem (Theorem 5.2, Corollary 5.3) is that the calibrated zero-action lattice $\Lambda_2$ is trivial exactly when both real period ratios $u_1/u_2$ and $r_1/r_2$ are irrational; since that irrationality is not proved, the paper instead certifies the Farey windows $13749/419336 < u_1/u_2 < 20219/616667$ and $16579/8678 < -r_1/r_2 < 252355/132091$, forcing reduced denominators $q_u \ge 1{,}036{,}003$ and $q_r \ge 140{,}769$, uniformly for $|\kappa| \le 3\times10^{-10}$, with positive certified ratio velocities giving generic local nonresonance and Diophantine separation under the heat flow. Separately, a mollified reciprocal-head canopy certificate with exactly enumerated integer convolution norms, combined with the published rectangular time-barrier and finite-RH verifications, yields $\Lambda \le 433/2500 = 0.1732$ in the heat-time normalization $t = 4\kappa$ of the de Bruijn–Newman flow, with no quasi-Riemann-hypothesis assumption. The paper asserts that the heat tangent differs from the matched fixed-exponent isomonodromic direction, admitting only a local moving-exponent lift, and it explicitly disclaims any equivalence between core nonresonance and RH.
Load-bearing premise
The load-bearing premise is implementation trust: every status [A] theorem assumes the supplied directed interval-arithmetic certificates (Rouché budgets, heat jets, Farey linear forms, exact integer convolutions) are correctly implemented and faithfully replayed, and the $\Lambda \le 433/2500 = 0.1732$ bound additionally assumes the two published external verifications — the rectangular time-barrier and the finite-RH check — are valid.
Editorial extensions
If this is right
- If the certificates hold, the transcendental branch data of the $\Xi$-function lie on a classical object: a genuine genus-two real curve of type $(2,1,1)$ realized, after a real affine coordinate change, as the scalar-normal-form orientation curve of a real $P_{\mathrm{III}}(D_6)$ Lax phase point, with explicit Kummer and Shioda–Inose K3 models attached (Theorems 3.12, 3.24, 3.25).
- Any rational resonance $u_1/u_2 = p/q$ or $r_1/r_2 = p/q$ must have reduced denominator at least $1{,}036{,}003$ or $140{,}769$, respectively, and these barriers persist uniformly throughout the heat window $|\kappa| \le 3\times10^{-10}$ (Corollary 7.3, Theorem 7.5).
- Under the certified heat motion both period ratios move with strictly positive velocity, each fixed core cycle resonates at most once locally, and almost every nearby heat time has a nonresonant core together with quantitative Diophantine separation of the calibrated actions (Theorems 6.3–6.6).
- Core nonresonance is not a zero-reality criterion: for almost every negative heat time in the certified interval the action lattice is trivial while the heat function has a nonreal zero, and if RH holds a countable dense set of positive local heat times still has resonant cores alongside all-real zeros (Corollary 6.7 and the discussion after it).
- The de Bruijn–Newman constant satisfies $\Lambda \le 433/2500 = 0.1732$ with no quasi-Riemann-hypothesis assumption, an improvement on the published $0.22$ ceiling from the same heat-flow criterion, achieved with the same two external numerical inputs plus the new reciprocal-head canopy certificate (Corollary 7.24).
Reading between the lines
- The Farey result marks a practical frontier rather than a stopping point: the linear forms in (134)–(135) already straddle the first unresolved mediants, so the next certified rung will need correlated affine/Taylor-model treatment of the common theta-moment data, not a longer decimal expansion.
- The nine Humbert exclusions plus the Mordell–Weil height barrier $\hat{h}(P) \ge 21/2$ are finite-height evidence for Conjecture 3.36; an LLL/PSLQ search over the certified Igusa boxes could sharpen the search radius, but the paper's own density argument (Proposition 3.33) shows that only an exact arithmetic or transcendence input can settle Picard rank.
- A concrete next experiment suggested by the $D_6$ realization is to compute the decorated Stokes/cluster coordinates at the certified parameter box (35); the paper marks this as the remaining nonabelian test between a curve identity and a full wild Riemann–Hilbert correspondence, and the outcome would confirm or refute the 'Kummer shadow' interpretation of the three real Kummer nodes.
- The $\Lambda$ ceiling inherits the trustworthiness of the two external published computations; an independent re-verification of the rectangular time barrier and the finite-RH height check, or a canopy certificate that works without them, is the natural audit path, since the paper explicitly does not replay those two inputs.
Original abstract
We associate a compact genus-two real spectral core with a transverse logarithmic-derivative discriminant of the Riemann $\Xi$-function. Directed interval arithmetic certifies its branch geometry, a real $P_{\mathrm{III}}(D_6)$ scalar-normal-form realization, and associated Kummer and Shioda--Inose models. Zero-action resonance reduces to rationality of two real period ratios. Their certified heat motion yields generic local nonresonance and Diophantine separation, while explicit Farey windows impose denominator barriers of $1{,}036{,}003$ and $140{,}769$ throughout $|\kappa|\le3\times10^{-10}$ in the heat time $\kappa$. Fixed-point irrationality and exact Picard rank remain open. The heat tangent differs from the matched fixed-exponent isomonodromic direction, but admits a local moving-exponent curve lift. Separately, a reciprocal-head canopy certificate combined with published finite-RH and rectangular time-barrier verifications bounds the de Bruijn--Newman constant by $\Lambda\le433/2500=0.1732$ without a QRH assumption. These local arithmetic and global analytic results share a phase--transverse bridge; no equivalence between core nonresonance and RH is asserted.
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 associate a compact genus-two real spectral core with a transverse logarithmic-derivative discriminant of the Riemann $\Xi$-function. Directed interval arithmetic certifies its branch geometry, a real $P_{\mathrm{III}}(D_6)$ scalar-normal-form realization, and associated Kummer and Shioda--Inose models. Zero-action resonance reduces to rationality of two real period ratios. Their certified heat motion yields generic local nonresonance and Diophantine separation, while explicit Farey windows impose denominator barriers of $1{,}036{,}003$ and $140{,}769$ throughout $|\kappa|\le3\times10^{-10}$ in the heat time $\kappa$. Fixed-point irrationality and exact Picard rank remain open. The heat tangent differs from the matched fixed-exponent isomonodromic direction, but admits a local moving-exponent curve lift. Separately, a reciprocal-head canopy certificate combined with published finite-RH and rectangular time-barrier verifications bounds the de Bruijn--Newman constant by $\Lambda\le433/2500=0.1732$ without a QRH assumption. These local arithmetic and global analytic results share a phase--transverse bridge; no equivalence between core nonresonance and RH is asserted.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We associate a compact genus-two real spectral core with a transverse logarithmic-derivative discriminant of the Riemann $\Xi$-function. | contribution 0.99 | 0.90 | 0.16 | asserted 1.00 |
| s1 | Directed interval arithmetic certifies its branch geometry, a real $P_{\mathrm{III}}(D_6)$ scalar-normal-form realization, and associated Kummer and Shioda--Inose models. | method 0.54 | 0.84 | 0.11 | asserted 1.00 |
| s2 | Zero-action resonance reduces to rationality of two real period ratios. | result 0.85 | 0.70 | 0.13 | asserted 1.00 |
| s3 | Their certified heat motion yields generic local nonresonance and Diophantine separation, while explicit Farey windows impose denominator barriers of $1{,}036{,}003$ and $140{,}769$ throughout $|\kappa|\le3\times10^{-10}$ in the heat time $\kappa$. | result 0.99 | 0.81 | 0.17 | asserted 1.00 |
| s4 | Fixed-point irrationality and exact Picard rank remain open. | limitation 0.89 | 0.19 | 0.03 | asserted 0.64 |
| s5 | The heat tangent differs from the matched fixed-exponent isomonodromic direction, but admits a local moving-exponent curve lift. | result 0.93 | 0.79 | 0.05 | asserted 1.00 |
| s6 | Separately, a reciprocal-head canopy certificate combined with published finite-RH and rectangular time-barrier verifications bounds the de Bruijn--Newman constant by $\Lambda\le433/2500=0.1732$ without a QRH assumption. | result 0.93 | 0.67 | 0.33 | asserted 1.00 |
| s7 | These local arithmetic and global analytic results share a phase--transverse bridge; no equivalence between core nonresonance and RH is asserted. | interpretation 0.74 | 0.67 | 0.22 | asserted 0.99 |
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.