Certified source elimination for localized odd Weil forms
Loading original first page…
Abstract
We give a quantitative local correction and a form-domain continuation method for the complete odd Weil form. On the support |u|<(1/2)log 8 we verify a positive scalar floor together with a 3×10^(-11) directional floor along the normalized first-collar polar profile. The sharp coefficient of that profile lies between 3×10^(-11)+10^(-40) and 5.641396988×10^(-11). The lower certificate compresses to every intermediate support between (1/2)log 7 and (1/2)log 8. For a compact physical source with a certified gap, we construct an explicit logarithmic Fourier reference and a finite inverse upper using form-core trials and exterior and constraint annihilators. The resulting certificates are complete at every strict finite cap. A rational example exhibits a strict cap certified by the completed receiver although every fixed-extension primal trial fails. Directional inverse metrics, exact polar elimination and portable interval and rational verification provide the local application and its continuation inputs.
Read the full paper in the original PDF.