Weil / CONCEPT
Negative Full Energy in the Literal Rational Family
A stored off-line zero produces an exact literal rational smooth-transition test with a negative complete paired zero sum and the same negative full energy.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES0
PROOF DEPTH34
DOCUMENT LINKS1
An off-line zero yields a literal negative-energy test
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Certified Literal Rational Pole Boundarystructural-affinity · Closed
- Explicit Fourth-Moment Tail of Actual Zeta Zerosstructural-affinity · Closed
- Finite Head and Fourth-Moment Tail Budgetstructural-affinity · Closed
- Literal Rational Translation-Energy Modulusstructural-affinity · Closed
- Off-Line Zero Negative Weil Squarestructural-affinity · Closed
- Rational Polynomial Tests with a Fixed Cutoffstructural-affinity · Closed
- Semantic Certificate for a Literal Rational Fixed Gridstructural-affinity · Closed
- Unconditional Explicit Formulastructural-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