All-Level Local Identifiability of Riemann Xi Toeplitz--Hankel Jets from Cumulative Second-Compound Data

Let $F(x)=\frac{\xi'}{\xi}\!\left(\frac{1}{1-x}\right)=\sum_{n\ge0}f_nx^n$ be the logarithmic-derivative germ of the completed Riemann xi-function, and form the symmetric Toeplitz--Hankel jet $g_{ij}=f_{|i-j|}-f_{i+j+1}+\delta_{ij}f_0.$ For every odd cutoff $L$, we restrict the second compound of the leading matrix jet to row and column pairs of total degree $L$, contract that block against a fixed three-term-recurrence polynomial vector, and retain the resulting diagonal polynomial $Q_L$. The cumulative forward map $\Phi_N=(Q_1,Q_3,\ldots,Q_N)$ is quadratic and is invariant under the exact coefficient gauge $(f_0,f_1,f_2,\ldots)\longmapsto (f_0+c,f_1+2c,f_2+2c,\ldots).$ We prove that the sharp generic threshold for local recovery modulo this gauge is $N=7$: through $N=5$ there are exact local deformations preserving all cumulative data while changing an adjacent second minor, whereas for every odd $N\ge7$ the quotient Jacobian has the maximal rank $2N+1$ on a Zariski-open set. The induction is governed by a cutoff-independent four-column gate $\Sigma=V(g_{01})\cup V(g_{00})\cup V(g_{03},g_{12})\cup V(g_{02},g_{11}).$ A regular level-seven jet outside $\Sigma$ remains regular at every higher odd cutoff, regardless of all later coefficients. We also show that the quotient map is generically finite but not globally finite, that its generic degree is even because of the unavoidable sign involution, and that local identifiability alone does not control the signs of adjacent minors. For the actual xi-derived coefficient sequence, a zero-pair moment formula implies unconditionally that the leading $4\times4$ matrix block is entrywise positive, hence avoids $\Sigma$ and fixes the arithmetic sign orientation. Finally, a directed-rounding MPFR computation certifies a nonzero $15\times15$ Jacobian minor at $N=7$. Consequently, the actual xi-derived jet is locally identifiable modulo the exact gauge at every odd cutoff $N\ge7$. These results concern a structured inverse problem; they do not prove the Riemann hypothesis or the nonnegativity of the adjacent minors.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-08-03
DOI
https://doi.org/10.5281/zenodo.21766369
Primary Topic
Analytic and geometric function theory
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

All-Level Local Identifiability of Riemann Xi Toeplitz--Hankel Jets from Cumulative Second-Compound Data

Yoshiki Ueoka, Sui, Nagi, Akari
Zenodo (CERN European Organization for Nuclear Research)
Analytic and geometric function theory
preprint

All-Level Local Identifiability of Riemann Xi Toeplitz--Hankel Jets from Cumulative Second-Compound Data

Yoshiki Ueoka, Sui, Nagi, Akari
preprint en

Abstract

Let $F(x)=\frac{\xi'}{\xi}\!\left(\frac{1}{1-x}\right)=\sum_{n\ge0}f_nx^n$ be the logarithmic-derivative germ of the completed Riemann xi-function, and form the symmetric Toeplitz--Hankel jet $g_{ij}=f_{|i-j|}-f_{i+j+1}+\delta_{ij}f_0.$ For every odd cutoff $L$, we restrict the second compound of the leading matrix jet to row and column pairs of total degree $L$, contract that block against a fixed three-term-recurrence polynomial vector, and retain the resulting diagonal polynomial $Q_L$. The cumulative forward map $\Phi_N=(Q_1,Q_3,\ldots,Q_N)$ is quadratic and is invariant under the exact coefficient gauge $(f_0,f_1,f_2,\ldots)\longmapsto (f_0+c,f_1+2c,f_2+2c,\ldots).$ We prove that the sharp generic threshold for local recovery modulo this gauge is $N=7$: through $N=5$ there are exact local deformations preserving all cumulative data while changing an adjacent second minor, whereas for every odd $N\ge7$ the quotient Jacobian has the maximal rank $2N+1$ on a Zariski-open set. The induction is governed by a cutoff-independent four-column gate $\Sigma=V(g_{01})\cup V(g_{00})\cup V(g_{03},g_{12})\cup V(g_{02},g_{11}).$ A regular level-seven jet outside $\Sigma$ remains regular at every higher odd cutoff, regardless of all later coefficients. We also show that the quotient map is generically finite but not globally finite, that its generic degree is even because of the unavoidable sign involution, and that local identifiability alone does not control the signs of adjacent minors. For the actual xi-derived coefficient sequence, a zero-pair moment formula implies unconditionally that the leading $4\times4$ matrix block is entrywise positive, hence avoids $\Sigma$ and fixes the arithmetic sign orientation. Finally, a directed-rounding MPFR computation certifies a nonzero $15\times15$ Jacobian minor at $N=7$. Consequently, the actual xi-derived jet is locally identifiable modulo the exact gauge at every odd cutoff $N\ge7$. These results concern a structured inverse problem; they do not prove the Riemann hypothesis or the nonnegativity of the adjacent minors.

Zenodo (CERN European Organization for Nuclear Research)
Analytic and geometric function theory
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.