Weil / CONCEPT
Actual Even Interpolation with Arithmetic Jet Budgets
Finite node radius, positive squared-node gap and target amplitude give actual compact even interpolants with explicit L1 derivative bounds. The construction combines the existing Lagrange realization with a finite-box seed.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES2
PROOF DEPTH7
DOCUMENT LINKS1
Coefficients from a disk bound
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
- Conditioning of Even Lagrange Interpolationstructural-affinity · Closed
- Explicit Nonvanishing Seed Radiusstructural-affinity · Closed
- Finite Box Smoothing and Quantitative Weil Seedsstructural-affinity · Closed
- Finite Even Weil Interpolationstructural-affinity · Closed
- Fourier decay of the actual same-window errorstructural-affinity · Closed
- Logarithmic Fourier convergence in the same windowstructural-affinity · Closed
- Quantitative Packets from Certified Finite Zero Nodesstructural-affinity · Closed
- Smooth Approximation in the Same Windowstructural-affinity · Closed
- Sparse Even Interpolation and Quantitative Jetsstructural-affinity · Closed
- Unit Support and Explicit Peak Radiusstructural-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