Arith / CONCEPT
Complete Mertens peaks and finite Robin witnesses
Complete cumulative and literal arithmetic-kernel peaks locate strict finite Robin violations.
Closed
DIRECT PREREQUISITES6
DIRECT CONSEQUENCES1
PROOF DEPTH27
DOCUMENT LINKS0
A complete cumulative peak gives an actual lcm witness
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Complete trivial zero correctiontruth-dependency · Closed
- Quotient Integral Budgettruth-dependency · Closed
- Robin response of the actual lcmtruth-dependency · Closed
- The Original Moving-Window Momenttruth-dependency · Closed
- Weighted prime limitstruth-dependency · Closed
- Weil: Gammatruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- A conditional square-root bound for the actual zero kernelstructural-affinity · Closed
- A quadratic cusp remainder for the actual arithmetic kernelstructural-affinity · Closed
- Actual arithmetic remainder and atomic prefix energystructural-affinity · Closed
- Complete Chebyshev tail identity from absolute integrabilitystructural-affinity · Closed
- Complete trivial zero correctionstructural-affinity · Closed
- Exponential derivative ratiosstructural-affinity · Closed
- Inclusive Mangoldt ramps and complete Mertens transformstructural-affinity · Closed
- Laplace transform of every actual zero occurrencestructural-affinity · Closed
- Local strict positivity of the actual prime kernelstructural-affinity · Closed
- Original full-kernel certificate sourcestructural-affinity · Closed
- Quotient Integral Budgetstructural-affinity · Closed
- Robin response of the actual lcmstructural-affinity · Closed
- Series and signed derivativesstructural-affinity · Closed
- The Actual Xi Analytic Dictionarystructural-affinity · Closed
- The hyperbolic sine densitystructural-affinity · Closed
- The Original Moving-Window Momentstructural-affinity · Closed
- Unconditional integrated explicit formulastructural-affinity · Closed
- Weighted prime limitsstructural-affinity · Closed
- Weil: Gammastructural-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