Research Article · Preprint Mathematics
An explicit global lower certificate for a weighted Weil operator
- Primary subject
- Mathematics
- Subject subfields
- Analysis and Spectral Theory · Number Theory and Special Functions
- Paper type
- Research Article
- Manuscript stage
- Preprint
- Manuscript
- Archived
- Edition
- 2 · Permanent link
Overview
Abstract
We prove a global weighted lower bound for the complete Weil form of the Riemann xi-function. For every complex compact smooth test f whose Laplace transform vanishes at ±1/2, the form satisfies Q[f] ≥ −(155299736/10^14) ∫ℝ |f(u)|² cosh(u/2)/ψ(u) du + (33/25000000)||f||₂². where ψ is the normalized Riemann theta kernel. In particular, the specified minimal weighted realization has T≥0.99999844700264 I. Its endpoint T≥ I is exactly Weil's criterion for the Riemann hypothesis. The construction replaces an unevaluated reference resolvent by a known positive multiplication operator. A full exterior-frequency floor, a paired arithmetic remainder, local Legendre approximation and two exact global constraint rows reduce the bound to signed Gram inequalities. The bound includes all omitted prime powers, spatial and polynomial tails, quadrature errors and arithmetic errors. Reflection reduces the executed certificate to two matrices of order 897; directed ball arithmetic verifies both. Portable programs reconstruct the certificate from the displayed formulas.
Keywords Weil positivity · Riemann xi-function · global spectral lower bounds · computer-assisted proof · interval arithmetic
Scope of the work
A complete global weighted lower bound for compact smooth Weil tests with both polar moments zero gives T ≥ 0.99999844700264 I on the specified minimal form domain, retaining a positive unweighted potential.
Reproduction notes
The 12-page manuscript, editable source and citation metadata are supplied in this 11-member package. README.md gives build and execution commands. The NumPy 2.3.5/python-flint 0.9.0 programs verify_bounds.py and verify_certificate.py regenerate scalar enclosures, both 897-dimensional signed matrices and directed congruences; the manuscript supplies the continuum and domain arguments.
The manuscript
Read the paper
The complete manuscript, as published in this edition.
If the reader is unavailable on your device, open or download the PDF directly.
Author disclosures
AI systems assisted with exploration, literature comparison, mathematical and code checking, and manuscript preparation. The author takes responsibility for the statements, proofs and citations.
A stable scholarly record
Cite this edition
Scott Schubr. (2026). An explicit global lower certificate for a weighted Weil operator (Version 2). Luminary Research Archive. https://research.luminaryoddities.com/explicit-global-lower-certificate-weighted-weil-operator/v/2
BibTeX
@techreport{luminary_explicit_global_lower_certificate_weighted_weil_operator_v2,
title = {An explicit global lower certificate for a weighted Weil operator},
author = {Scott Schubr},
year = {2026},
institution = {Luminary Research Archive},
type = {Research Article},
note = {Version 2},
url = {https://research.luminaryoddities.com/explicit-global-lower-certificate-weighted-weil-operator/v/2}
}Loading discussion…