Weil / CONCEPT
Rational Polynomial Tests with a Fixed Cutoff
Every even smooth compactly supported complex test can be approximated by two rational polynomials under a fixed smooth plateau. The approximation controls both the physical zeroth and second L1 derivatives and the complete paired Weil square sum.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES4
PROOF DEPTH33
DOCUMENT LINKS1
Simultaneous rational approximation of three jets
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Certified Literal Rational Pole Boundarystructural-affinity · Closed
- Explicit Fourth-Moment Tail of Actual Zeta Zerosstructural-affinity · Closed
- Explicit Nonvanishing Seed Radiusstructural-affinity · Closed
- Finite Head and Fourth-Moment Tail Budgetstructural-affinity · Closed
- Instantiated Sparse Certificatestructural-affinity · Closed
- Literal Rational Pole-Boundary Gridstructural-affinity · Closed
- Literal Rational Translation-Energy Modulusstructural-affinity · Closed
- Negative Full Energy in the Literal Rational Familystructural-affinity · Closed
- Off-Line Nonreal Zero Negative Weil Squarestructural-affinity · Closed
- Rate Certificate for a Literal Rational Fixed Gridstructural-affinity · Closed
- Rational Two-Jet Budget Verifierstructural-affinity · Closed
- Semantic Certificate for a Literal Rational Fixed Gridstructural-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