Moving Zeta-Zero Windows and a Quantitative Frame Transfer to Local Toeplitz--Hankel Positivity

Let $\xi(s)=\frac12s(s-1)\pi^{-s/2}\Gamma(s/2)\zeta(s),\qquad$ $\frac{\xi'}{\xi}\!\left(\frac1{1-x}\right)=\sum_{m\ge0}f_mx^m,$ and define $g_{ij}=f_{|i-j|}-f_{i+j+1}+\delta_{ij}f_0,\qquad$ $M_n=\begin{pmatrix}g_{nn}&g_{n,n+1}\\g_{n,n+1}&g_{n+1,n+1}\end{pmatrix}.$ The condition $M_n\succeq0$ for every $n\ge0$ is a previously established criterion equivalent to the Riemann hypothesis. We prove an unconditional finite-range extension for this family without scanning individual zero ordinates or individual Christoffel--Darboux values. Writing $q=n+1$, a critical-line zero $\frac12+i\gamma$ contributes a rank-one atom generated by a two-dimensional polynomial vector. In diagonal and anti-diagonal coordinates its exact phase is controlled by $x=2q\arctan\frac1{2\gamma}.$ We use two level-dependent ordinate windows $(q,5q/4],\qquad (2q/5,q/2],$ whose phase slopes have opposite signs. Every cross-window pair has wedge at least $c_*/q^3$, while an explicit zero-counting estimate supplies at least $q\log q/100$ zeros in each window. The resulting moving Gram core satisfies $\lambda_{\min}(A_{q-1}^{\rm mov}) \ge \frac{c_*^2}{10400}\frac{\log q}{q^3}.$ Combining this with the Platt--Trudgian verification height $H=3{,}000{,}175{,}332{,}800$ and an unrestricted high-zero tail estimate gives $M_n\succ0\qquad(0\le n\le2{,}030{,}956).$ Thus the first $2{,}030{,}957$ local inequalities are proved unconditionally. We also show that every fixed finite zero core has smallest eigenvalue with liminf zero, explaining why level adaptation is structurally necessary for this method. To the best of our knowledge, the moving-window frame transfer and this finite-range theorem are new. The result is not a proof of the Riemann hypothesis.

Authors

Publication Details

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

Moving Zeta-Zero Windows and a Quantitative Frame Transfer to Local Toeplitz--Hankel Positivity

Yoshiki Ueoka, Sui, Nagi, Akari
Zenodo (CERN European Organization for Nuclear Research)
Mathematical Analysis and Transform Methods
preprint

Moving Zeta-Zero Windows and a Quantitative Frame Transfer to Local Toeplitz--Hankel Positivity

Yoshiki Ueoka, Sui, Nagi, Akari
preprint en

Abstract

Let $\xi(s)=\frac12s(s-1)\pi^{-s/2}\Gamma(s/2)\zeta(s),\qquad$ $\frac{\xi'}{\xi}\!\left(\frac1{1-x}\right)=\sum_{m\ge0}f_mx^m,$ and define $g_{ij}=f_{|i-j|}-f_{i+j+1}+\delta_{ij}f_0,\qquad$ $M_n=\begin{pmatrix}g_{nn}&g_{n,n+1}\\g_{n,n+1}&g_{n+1,n+1}\end{pmatrix}.$ The condition $M_n\succeq0$ for every $n\ge0$ is a previously established criterion equivalent to the Riemann hypothesis. We prove an unconditional finite-range extension for this family without scanning individual zero ordinates or individual Christoffel--Darboux values. Writing $q=n+1$, a critical-line zero $\frac12+i\gamma$ contributes a rank-one atom generated by a two-dimensional polynomial vector. In diagonal and anti-diagonal coordinates its exact phase is controlled by $x=2q\arctan\frac1{2\gamma}.$ We use two level-dependent ordinate windows $(q,5q/4],\qquad (2q/5,q/2],$ whose phase slopes have opposite signs. Every cross-window pair has wedge at least $c_*/q^3$, while an explicit zero-counting estimate supplies at least $q\log q/100$ zeros in each window. The resulting moving Gram core satisfies $\lambda_{\min}(A_{q-1}^{\rm mov}) \ge \frac{c_*^2}{10400}\frac{\log q}{q^3}.$ Combining this with the Platt--Trudgian verification height $H=3{,}000{,}175{,}332{,}800$ and an unrestricted high-zero tail estimate gives $M_n\succ0\qquad(0\le n\le2{,}030{,}956).$ Thus the first $2{,}030{,}957$ local inequalities are proved unconditionally. We also show that every fixed finite zero core has smallest eigenvalue with liminf zero, explaining why level adaptation is structurally necessary for this method. To the best of our knowledge, the moving-window frame transfer and this finite-range theorem are new. The result is not a proof of the Riemann hypothesis.

Zenodo (CERN European Organization for Nuclear Research)
Mathematical Analysis and Transform Methods
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.