An explicit quintic obstruction for a fixed-center Riemann theta product
Loading original first page…
Abstract
We exhibit an explicit polynomial square on which the signed derivative functional of a fixed-center Riemann theta product is negative. At the center s_0=(1)/(4)log(13/(4π)), the polynomial P(X)=X^5-264X^3+10952X satisfies ℒ_(s_0)(P^2)≤-1 351 625 671. The certificate uses rational interval arithmetic for derivatives through order ten and an explicit bound on the complete infinite theta tail. It follows that the normalized product at this center is not positive definite and that its odd derivative Hankel block is indefinite.
Read the full paper in the original PDF.
Edition files
- Quintic_Theta_Witness_Publication.pdf72.1 KiB · pdf
SHA-256
96932bbbd33fe75cf693ec8c2ac1a1247774e20bb01e1139425928b6fd5b0233 - Revised_publication_package.zip87.5 KiB · package
SHA-256
0080440b6763af0eeb39f246dcf6c5c9d6794ba428fd6af3ee166b788d7f01b7
Available editions
Research details
- Subjects
- Mathematics · Number Theory and Special Functions
- Keywords
- Riemann theta kernel, Positive definite functions, Hankel matrices, Rational interval arithmetic
- Manuscript date
- 2026-10-13
- Reader reuse
- No additional permission granted
Scope
An explicit fixed-center quintic polynomial-square certificate proves failure of positive definiteness of the specified normalized theta product and indefiniteness of its odd derivative Hankel block.
Disclosures
Generative AI tools, including OpenAI's Codex, assisted with mathematical exploration and review, preparation of verification code, literature searches, and manuscript drafting and formatting. The author takes responsibility for the manuscript and supplementary materials, including all mathematical claims, computations, and references.
Reproduction
The paper has 6 pages. The editable-source archive contains 11 files. Compile Quintic_Theta_Witness_Publication.tex. The two standard-library verifiers independently regenerate the 160-bit and 192-bit rational certificate calculations, with assertions enabled.
References and related resources
- B. Rodgers and T. Tao. The de Bruijn–Newman constant is non-negative. Forum of Mathematics, Pi 8 (2020), e6.
- G. Csordas. Fourier transforms of positive definite kernels and the Riemann xi-Function. arXiv:1309.0055v2 (2014).
- R. L. Hudson. When is the Wigner quasi-probability density non-negative? Reports on Mathematical Physics 6 (1974), 249–252.
- Misty | PIRarchive. Where the RH Program Stands: Computing the Shorted Boundary Form. June 2, 2026, Section 6. Informal online numerical report; accessed October 13, 2026.