Weil / CONCEPT
A Linear Excursion of the Actual Arithmetic Kernel
Failure of RH forces a linear excursion of the complete actual arithmetic kernel.
Closed
DIRECT PREREQUISITES6
DIRECT CONSEQUENCES0
PROOF DEPTH30
DOCUMENT LINKS0
The literal arithmetic kernel exceeds its linear envelope
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- AnalyticLogarithmicContinuationtruth-dependency · Closed
- Local strict positivity of the actual prime kerneltruth-dependency · Closed
- Nonnegative exponential transformstruth-dependency · Closed
- Right Half-Strip Riemann Reductiontruth-dependency · Closed
- Unconditional integrated explicit formulatruth-dependency · Closed
- Unconditional Shifted-Poisson Flowtruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- A quadratic cusp remainder for the actual arithmetic kernelstructural-affinity · Closed
- Actual arithmetic remainder and atomic prefix energystructural-affinity · Closed
- AnalyticLogarithmicContinuationstructural-affinity · Closed
- Local strict positivity of the actual prime kernelstructural-affinity · Closed
- Nonnegative exponential transformsstructural-affinity · Closed
- Right Half-Strip Riemann Reductionstructural-affinity · Closed
- Unconditional integrated explicit formulastructural-affinity · Closed
- Unconditional Shifted-Poisson Flowstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance