- The paper constructs a closed normalized quotient-Schur certificate connecting Volterra positivity to Weyl/KLM positivity for the full Riemann kernel, while explicitly stopping short of proving the Riemann hypothesis.
- The analysis resolves an endpoint Hardy obstruction by splitting off a finite-dimensional jet space, certifying active-range rank with interval arithmetic, and obtaining a Douglas constant that falls from 1.36×10⁻⁶ to 6.90×10⁻⁸ under refinement.
- The paper rules out several local and finite-mode positivity shortcuts and identifies the uniform ω-cover, unconditional quotient-to-original lift, and KLM-to-de Branges intertwiner as the principal unresolved steps.
Scope and architecture
This manuscript records a reduction-and-certificate program for proving Weyl positivity of a Riemann phase kernel, explicitly disclaiming a proof of the Riemann hypothesis. Starting from the even Riemann kernel Φ, the author constructs a phase-space Weyl symbol σω(x,ξ) and its quantum characteristic function Qω(s,t), and targets the Kastler–Loupias–Miracle-Sole (KLM) positive-type condition, equivalent to positivity of the Weyl quantization, for ∣ω∣<1/2. The intended logical chain is
Volterra Schur positivity ⇒ Weyl/KLM positivity ⇒ de Branges kernel positivity ⇒ shifted-Ξ zero exclusion,
and the paper's central discipline is the separation of proved identities, certified theorems (with reproducible finite/interval inputs and operator-theoretic closure statements), numerical evidence, and external bridges. The internal certificate — a closed-trace quotient Schur factorization for the normalized full-Φ source/Volterra model — is claimed to be closed; the quotient-to-original Weyl lift, uniform ω-coverage, and the final KLM-to-de Branges bridge are explicitly quarantined as open.
The kernel and the parity contraction target
The Weyl kernel is built from the positive-side theta-mode expansion σω(x,ξ)0, with the symbol σω(x,ξ)1 formed by integrating σω(x,ξ)2, where σω(x,ξ)3 is a cosine transform of σω(x,ξ)4. On the half-line, parity decomposition reduces Weyl positivity to a sharp contraction problem: with σω(x,ξ)5 the same-sign kernel and σω(x,ξ)6 the reflected cross-kernel, the target is σω(x,ξ)7 and σω(x,ξ)8, equivalently σω(x,ξ)9. This formulation is forced by the data: Qω(s,t)0 itself is indefinite (minimum eigenvalues of order Qω(s,t)1 to Qω(s,t)2), while after projection off Qω(s,t)3 the contraction spectrum is contained in Qω(s,t)4 to roundoff, with numerical rank of Qω(s,t)5 equal to 7 at Qω(s,t)6 samples. The paper is candid that these are roundoff-level observations, not proofs.
Obstructions to natural factorizations
A substantial part of the paper's value is its systematic elimination of plausible shortcuts, each with explicit counterexamples:
- Positive anti-Wick density is obstructed by a local heat-deconvolution test: at Qω(s,t)7 near Qω(s,t)8, Qω(s,t)9, one has ∣ω∣<1/20 but ∣ω∣<1/21, so even ∣ω∣<1/22 is negative. The sign of the first deconvolution correction is too large for this to be a resolution artifact.
- Finite-core Hermite–Biehler fails: for the three-mode core at ∣ω∣<1/23, the inequality has the wrong sign near ∣ω∣<1/24, consistent with Pólya's warning about one-sided theta truncations.
- Layerwise local source positivity is false (∣ω∣<1/25 for the three-mode Green-source kernel).
- First-order score integration by parts after splitting ∣ω∣<1/26 yields an indefinite kernel ∣ω∣<1/27 (minimum near ∣ω∣<1/28).
- Exact finite negative index for the anti-Loewner boundary is false: high-precision tests show a confluent tail of tiny negative eigenvalues rather than exactly two negative squares.
The conclusion drawn is structural: positivity must be proved at operator level, keeping the Volterra integral and full ∣ω∣<1/29 weight intact, not layer-by-layer or branch-by-branch.
Exact identities and the zero-slope core
Three exact results anchor the finite-core analysis. First, the same-sign Weyl kernel of any exponential core admits an exact expansion in incomplete-gamma functions ⇒0 and its ⇒1-derivative; this formula exposed that earlier Simpson quadrature produced false negative alarms by missing endpoint layers with diagonal entries near ⇒2. Second, the second-order theta identity ⇒3 reduces the first-order score problem to a second-order Volterra problem for the base atom ⇒4. Third, the exact Volterra boundary-plus-tail identity expresses ⇒5 as a boundary term plus an integral of ⇒6 along Volterra rays — proved via a single differentiation along the ray, with both boundary and fixed-⇒7 layers individually indefinite (minima near ⇒8 and ⇒9), so only the integrated object is positive.
The zero-slope corrected core ⇒0, with ⇒1, is not cosmetic: a nonzero ⇒2 produces a delta-mass jump in the reflected mixed kernel at the boundary-crossing point, and ⇒3 removes it exactly. On ⇒4 the tail satisfies ⇒5, and on a witness vector at ⇒6 the third mode contributes ⇒7 against a two-mode defect of ⇒8, leaving ⇒9; the ⇒0 tail contributes only ⇒1.
The endpoint Hardy problem and its resolution
The hardest analytic layer is a one-mode truncated Mellin monotonicity theorem at the endpoint ⇒2, equivalent to positivity of the self-adjoint anti-commutator form ⇒3 on ⇒4. The paper shows this cannot be closed by all-order sign-regularity: a Wronskian computation gives ⇒5, so the scalar Laguerre kernel fails reverse sign-regularity inside the endpoint rectangle. It also cannot be closed by point-kernel positivity: closed-form high-precision evaluation of the Green kernel ⇒6 finds a genuine confluent negative mode of order ⇒7 at ⇒8, and a Taylor-jet computation shows the corrected ⇒9-branch endpoint kernel has Ξ0 at Ξ1. Crucially, the full three-mode reduced Volterra kernel is positive at the same jets (Ξ2 at Ξ3), so the endpoint defect is a distributional jet defect removed by the finite-core structure, not a robust negative eigenspace.
The resolution proceeds by splitting the test space into an endpoint-jet space Ξ4 — the closed span of Taylor functionals Ξ5 built from the lowest eigendirection of the ninth-order jet, active for Ξ6 — and its smooth complement. On the complement, positivity of the Volterra moment form Ξ7 follows from a dilation-monotonicity proposition: if Ξ8 is Loewner monotone in Ξ9, then Φ0, and finite-difference tests recover the moment matrix. On the endpoint space, a Moore–Penrose/Douglas quotient factorization Φ1 is constructed, with the finite Douglas constant Φ2 decreasing under refinement (Φ3 at basis 10 down to Φ4 at basis 16) and zero normalized range residual throughout.
Active range inclusion and the source-side noncollapse theorem
The remaining bottleneck — whether the active source rows factor through the closed trace range — is reduced to a rank statement: Φ5 on the two-dimensional active source eigenspace, with Φ6 at Φ7. The paper closes this in the certified finite model through a chain of increasingly rigorous steps: a Riesz-projection/Davis–Kahan perturbation argument with a certified spectral gap Φ8; a composite-trapezoid source-quadrature bound with a Bernstein-ellipse tail estimate, made machine-rigorous via complex interval arithmetic (Φ9, against a tolerance of ω0); and a Krawczyk/interval-collocation enclosure of the endpoint Plücker chart showing ω1, which certifies full row rank of the endpoint map ω2 and hence solvability of the adjoint Green boundary-value problem. The full-theta tail is then absorbed: the ω3 derivative envelopes are below ω4, interval propagation through the normalized source-row map gives ω5, and the continuum-inflated inactive estimate ω6 fits inside the finite Schur budget ω7 with slack ω8 (about 23% of the budget consumed).
Quotient-Schur assembly and the trace-fiber contraction
With active range inclusion and the source-inactive tail in hand, the closed-trace quotient theorem applies: on ω9 the active source component vanishes and the inactive component is dominated, giving σω(x,ξ)00 on σω(x,ξ)01; polarization and the same bound give the bounded σω(x,ξ)02-factorization of the cross form. The output is the factorization σω(x,ξ)03, so σω(x,ξ)04 implies σω(x,ξ)05 — the normalized full-σω(x,ξ)06 quotient Schur certificate.
The repair-free reduction to the original kernel is then handled via the trace-fiber Schur kernel σω(x,ξ)07, which admits an exact but signed Volterra–Green feature representation σω(x,ξ)08. The paper identifies the closed-form multiplier σω(x,ξ)09, σω(x,ξ)10, with σω(x,ξ)11, and closes the contraction σω(x,ξ)12 by a density/closure argument in the completed Volterra graph norm, using the Euler–Lagrange identity σω(x,ξ)13 for σω(x,ξ)14. Finite tests show the top generalized eigenvalue σω(x,ξ)15 climbing toward 1 (σω(x,ξ)16 at the σω(x,ξ)17 stress point), indicating the constant is sharp. Since σω(x,ξ)18, the primitive endpoint compatibility closes conditionally: σω(x,ξ)19 and σω(x,ξ)20 together give the quotient-to-original lift.
Limitations and open questions
The paper is unusually explicit about what remains. Three external links are open. First, although the algebraic lift and endpoint compatibility are marked closed conditionally, the boundary-repair comparison σω(x,ξ)21 rests on the completed-domain closure argument, and the finite diagnostics for σω(x,ξ)22 are Galerkin-level with constants approaching sharpness. Second, all generated full-σω(x,ξ)23 certificates are at the stress value σω(x,ξ)24; the uniform-in-σω(x,ξ)25 argument via the σω(x,ξ)26-independent multiplier σω(x,ξ)27 and super-exponential theta decay is plausible but is presented as a packaging layer, not a certified parameter cover. Third, and most substantially, the KLM-to-de Branges bridge is unresolved: the Hermite–Biehler inequality σω(x,ξ)28 is itself RH-facing, and every tested explicit intertwiner — coherent-packet pullbacks (best relative residual σω(x,ξ)29), trace-lifted primitives, plus-branch and coupled-branch normal equations (residuals σω(x,ξ)30), coarea and resolvent/heat transmutation dictionaries, and diagonal Mellin atom matching (residual σω(x,ξ)31) — fails. The exact Mellin convolution identity shows the obstruction is structural: the incomplete-gamma boundary prefix is essentially the full atom at the relevant base point and cannot be routed through the existing σω(x,ξ)32 trace family (nullspace residual σω(x,ξ)33). An augmented trace σω(x,ξ)34 with the Mellin primitive functional kills the prefix and admits a positive finite Schur repair, but the final evaluation pullback σω(x,ξ)35 with σω(x,ξ)36, or its closed-cone limit, remains unconstructed; the Hardy-side truncation limit is closed (entry tail σω(x,ξ)37 at σω(x,ξ)38) but the KLM-side branch Grams are not matched by any tested candidate.
Conclusion
The manuscript delivers what it claims: a set of exact identities (the second-order theta identity, the incomplete-gamma same-sign formula, the Volterra boundary-plus-tail decomposition), a disciplined set of disproved shortcuts, and a closed normalized quotient-Schur certificate for the full-σω(x,ξ)39 Weyl/Volterra model, with the endpoint Hardy obstruction resolved by a jet-space Schur split and a machine-rigorous Plücker-chart rank certificate. Its honesty about the boundary between certified content and external bridges is a methodological strength. The remaining work is precisely delimited: the uniform σω(x,ξ)40-cover, the unconditional closure of the quotient-to-original lift, and above all the non-circular construction of the KLM/de Branges intertwiner, for which the paper's own diagnostics indicate that no scalar, diagonal, or generic-kernel ansatz will suffice and that a Mellin-convolution-derived transmutation with an augmented trace repair is the required object.