Luminary Research Archive
Luminary Research ArchiveIndependent scholarship
Luminary Portal

All Research

Research

154 papers
Browse papers
  1. Finite certificates for the lower edge of a weighted Weil operatorScott SchubrEdition 2 · 2026-10-27 Public
  2. Effective Prescribed-Gradient Stability for Homogeneous Real-Stable PolynomialsScott SchubrEdition 2 · 2026-10-27 Public
  3. Prescribed-gradient minimizers and coefficient stability for homogeneous real-stable polynomialsScott SchubrEdition 4 · 2026-10-27 Public
  4. Finite theta interpolation and eventual Laguerre failureScott SchubrEdition 2 · 2026-10-27 Public
  5. Uniform permanent-derivative compensation on the six-row conjugate-disjoint Gram locusScott SchubrEdition 2 · 2026-10-27 Public
  6. Certified complementary bounds for an odd Weil receiverScott SchubrEdition 1 · 2026-10-27 Public
  7. RH, Approximately: Certified Lower Bounds for Odd Weil PositivityScott SchubrEdition 1 · 2026-10-27 Public
  8. Sharp regularity criteria for arithmetic cutoff functionalsScott SchubrEdition 1 · 2026-10-26 Public
  9. Optimal energy for Dirichlet repairs in divisor bandsScott SchubrEdition 1 · 2026-10-26 Public
  10. Certified negative-band approximation for odd Weil formsScott SchubrEdition 1 · 2026-10-26 Public

Certified source elimination for localized odd Weil forms

Original PDF · First-page preview

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.