Weil / CONCEPT
RH Locates ZeroData on the Critical Line
Under Mathlib's Riemann hypothesis, every zero in supplied ZeroData lies on the critical line.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES6
PROOF DEPTH4
DOCUMENT LINKS1
RH puts every supplied ZeroData zero on the critical line
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- A conditional square-root bound for the actual zero kerneltruth-dependency · Closed
- Euler Data to Arithmetic Prony Nodestruth-dependency · Closed
- Height-Window Weil-Square Criteriontruth-dependency · Closed
- RH Implies the Transcribed O-6 Weil Positivity Statementtruth-dependency · Closed
- Truncated Weil-Square Positivity Criteriontruth-dependency · Closed
- Zero-Hilbert Cayley Unitaritytruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A conditional square-root bound for the actual zero kernelstructural-affinity · Closed
- Cayley Unitarity Defectstructural-affinity · Closed
- Euler Data to Arithmetic Prony Nodesstructural-affinity · Closed
- Golden Cofinal Positivitystructural-affinity · Closed
- Golden Positivity Inductionstructural-affinity · Closed
- Height-Window Weil-Square Criterionstructural-affinity · Closed
- Positive Exact Realization Fiberstructural-affinity · Closed
- RH Implies the Transcribed O-6 Weil Positivity Statementstructural-affinity · Closed
- Truncated Weil-Square Positivity Criterionstructural-affinity · Closed
- Weil: Statementstructural-affinity · Closed
- Weil: Zero Sumstructural-affinity · Closed
- Zero-Hilbert Cayley Unitaritystructural-affinity · Closed
- ZeroData Nonemptiness and Infinitely Many Nontrivial Zerosstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance