REVIEW
Contour Hankel dynamics and indicator fields for the Riemann $\Xi$-function
Numerical Analysis · Submitted 12 Aug 2026 · 12 references
Pith's verdict: Solid dynamical reformulation of contour-Hankel zero classification; the RH equivalence is honest and the numerics back the theory, though it remains an equivalence rather than progress on RH.
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Weighted contour integrals of $\Xi'/\Xi$ build Hankel matrices whose negative index counts nonreal zero pairs, giving a finite-dimensional Hankel-positivity formulation of the Riemann hypothesis.
The reading
What carries the argument
The central object is the contour Hankel matrix $H_m(\Gamma;\phi_\Gamma)$, built from power moments of the logarithmic derivative under a holomorphic coordinate. Its load-bearing identity is the residue representation, which turns each moment into a power sum $\sum_\ell n_\ell u_\ell^k$ and hence the matrix into $V_m W V_m^T$. In the conjugation-symmetric case, grouping each nonreal conjugate pair into real and imaginary parts gives the factorization $H_m = B_m J B_m^T$, where $J$ carries one positive and one negative weight per pair; Sylvester's law of inertia then forces the negative index to count conjugate pairs. The same factorization drives the dynamics: moving circular contours act through matrices $A_m = \alpha D_m + \beta N_m$, yielding the congruence flow $\dot H_m = A_m H_m + H_m A_m^T$, and crossing events enter as finite-rank jump matrices whose inertia distinguishes real from nonreal zero orbits.
Extended reading notes
Core claim
The discovery is the complete algebraic and dynamical classification of the contour Hankel matrices $H_m(\Gamma;\phi_\Gamma)$, whose entries are the contour moments $\mu_k=(2\pi i)^{-1}\int_\Gamma \phi_\Gamma(t)^k (\Xi'/\Xi)(t)\,dt$. By the residue representation, these moments are power sums over the coordinate images of the enclosed zeros, so $H_m$ factorizes as a Vandermonde–weight–Vandermonde product. For conjugation-compatible contour-coordinate pairs, such as real-centered circles with the normalized coordinate $\phi_{x,\rho}(t)=(t-x)/\rho$, the matrix is real symmetric, and Theorem 3.4 gives its exact inertia: for $m$ at least the number of distinct coordinate nodes, the negative index equals the number of distinct nonreal conjugate pairs. Corollary 3.7 then states that the Riemann hypothesis holds if and only if $H_m(\Gamma_\rho(x);\phi_{x,\rho})$ is positive semidefinite for every admissible real center and radius. The same structure governs motion: between crossings the matrix satisfies a Lyapunov-type congruence flow, while crossing events inject signed rank-one or rank-two indefinite jumps that can be isolated by removing the known coordinate drift.
Load-bearing premise
The entire construction assumes the integration contour avoids all zeros of $\Xi$; if a zero lies on the contour, the residue representation, rank, inertia, and recovery formulas are not defined as stated.
Editorial extensions
If this is right
- If the Riemann hypothesis holds, every admissible real-centered circular contour Hankel matrix is positive semidefinite; if any nonreal zero exists, some order-$m$ matrix has a negative eigenvalue once $m$ reaches the number of distinct coordinate nodes.
- The stabilized rank of a contour Hankel matrix counts distinct coordinate nodes rather than zeros with multiplicity, so multiple zeros collapse into weights and do not enlarge the rank.
- Between zero crossings, the moving-contour Hankel matrix evolves by a congruence flow that preserves rank and, in the real symmetric case, inertia; at a crossing, a real zero produces a signed rank-one semidefinite jump while a nonreal conjugate pair produces a rank-two indefinite jump.
- After correcting for the known coordinate drift, the matrix trajectory becomes piecewise constant, and its isolated jumps determine the crossing direction, multiplicity, coordinate, and, for circular contours, the location of the crossing zero.
- Affine reparameterization of the coordinate preserves rank and inertia, so the numerically stable centered and normalized coordinate can be used without changing the Riemann-hypothesis positivity criterion.
Reading between the lines
- Because the residue representation only needs a meromorphic logarithmic derivative, the same inertia-counting mechanism should transfer to other self-conjugate $L$-functions or entire functions with a functional equation: each nonreal conjugate zero pair would carry one negative Hankel direction.
- The rank-two indefinite event signature suggests a practical numerical scan: move a real-centered circle across a horizontal strip and flag any crossing whose jump inertia is $(1,1,m-2)$; such a flag would constitute direct evidence of a nonreal zero in that strip without first locating it.
- The affine covariance result means the positivity criterion is invariant under centering and scaling, so the normalized coordinate that keeps high moments small can be used in large-scale searches without altering the mathematical condition.
- The piecewise-constant drift-corrected state could be treated as a hidden Markov process over zero sets whose jumps are the only transitions, potentially enabling statistical zero counting in regions where exact quadrature is infeasible; this direction is not pursued in the paper.
Original abstract
We develop a moving-contour Hankel framework for encoding local zero configurations of the Riemann $\Xi$-function. Weighted contour integrals of the logarithmic derivative $\Xi'/\Xi$, expressed in a holomorphic coordinate associated with the contour, are identified with the power moments of a finite atomic measure supported at the coordinate images of the enclosed zeros. This representation yields exact zero-free and rank criteria and, for conjugation-compatible contour-coordinate pairs, an inertia formula: once the matrix order is at least the number of distinct coordinate nodes, the negative index equals the number of distinct nonreal conjugate pairs. Consequently, the Riemann hypothesis admits a local finite-dimensional Hankel-positivity formulation, although establishing this positivity independently of the zero set remains unresolved. As the contour moves, the Hankel matrix evolves by a continuous congruence flow between zero crossings and undergoes finite-rank jumps at crossing events. An isolated zero produces a signed rank-one jump, whereas a nonreal conjugate pair produces a rank-two indefinite event in a real-axis circular scan that meets the pair. Removing the continuous coordinate drift yields a piecewise-constant matrix process from which crossing coordinates, multiplicities, and zero locations can be recovered. Numerical experiments validate the contour quadrature, indicator fields, continuous flow, crossing signatures, and recovery procedure.
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 develop a moving-contour Hankel framework for encoding local zero configurations of the Riemann $\Xi$-function. Weighted contour integrals of the logarithmic derivative $\Xi'/\Xi$, expressed in a holomorphic coordinate associated with the contour, are identified with the power moments of a finite atomic measure supported at the coordinate images of the enclosed zeros. This representation yields exact zero-free and rank criteria and, for conjugation-compatible contour-coordinate pairs, an inertia formula: once the matrix order is at least the number of distinct coordinate nodes, the negative index equals the number of distinct nonreal conjugate pairs. Consequently, the Riemann hypothesis admits a local finite-dimensional Hankel-positivity formulation, although establishing this positivity independently of the zero set remains unresolved. As the contour moves, the Hankel matrix evolves by a continuous congruence flow between zero crossings and undergoes finite-rank jumps at crossing events. An isolated zero produces a signed rank-one jump, whereas a nonreal conjugate pair produces a rank-two indefinite event in a real-axis circular scan that meets the pair. Removing the continuous coordinate drift yields a piecewise-constant matrix process from which crossing coordinates, multiplicities, and zero locations can be recovered. Numerical experiments validate the contour quadrature, indicator fields, continuous flow, crossing signatures, and recovery procedure.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We develop a moving-contour Hankel framework for encoding local zero configurations of the Riemann $\Xi$-function. | contribution 0.91 | 0.95 | 0.09 | asserted 1.00 |
| s1 | Weighted contour integrals of the logarithmic derivative $\Xi'/\Xi$, expressed in a holomorphic coordinate associated with the contour, are identified with the power moments of a finite atomic measure supported at the coordinate images of the enclosed zeros. | method 0.67 | 0.88 | 0.09 | asserted 1.00 |
| s2 | This representation yields exact zero-free and rank criteria and, for conjugation-compatible contour-coordinate pairs, an inertia formula: once the matrix order is at least the number of distinct coordinate nodes, the negative index equals the number of distinct nonreal conjugate pairs. | result 0.96 | 0.89 | 0.29 | asserted 1.00 |
| s3 | Consequently, the Riemann hypothesis admits a local finite-dimensional Hankel-positivity formulation, although establishing this positivity independently of the zero set remains unresolved. | interpretation 0.54 | 0.62 | 0.48 | asserted 0.82 |
| s4 | As the contour moves, the Hankel matrix evolves by a continuous congruence flow between zero crossings and undergoes finite-rank jumps at crossing events. | result 0.82 | 0.85 | 0.08 | asserted 1.00 |
| s5 | An isolated zero produces a signed rank-one jump, whereas a nonreal conjugate pair produces a rank-two indefinite event in a real-axis circular scan that meets the pair. | result 0.93 | 0.82 | 0.06 | asserted 1.00 |
| s6 | Removing the continuous coordinate drift yields a piecewise-constant matrix process from which crossing coordinates, multiplicities, and zero locations can be recovered. | method 0.73 | 0.86 | 0.09 | asserted 0.99 |
| s7 | Numerical experiments validate the contour quadrature, indicator fields, continuous flow, crossing signatures, and recovery procedure. | result 0.80 | 0.94 | 0.09 | asserted 1.00 |
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
Figures
Figures reproduced from arXiv:2608.11520 by the authors.
References
How the literature uses it
What this paper does with the arXiv papers it cites
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.