← LESR · Root 6217 local analysis (Paper 09C–09U) / LESR 09J · The eight-chart quadratic floor on B01

LESR · Root 6217 local analysis (Paper 09C–09U) LESR 09J · The eight-chart quadratic floor on B01 Neo.K / Aletheia

Eight-Chart Quadratic Floor on B01: From the 4-D Boundary Cover to Eight Polyhedral Sign Charts, a Second-Order Lower Bound on the Whole B01 Local Box

On B01 the boundary slice reduces to eight quadratic programs (one per first-order sign chart); a KKT active-face enumeration gives Ψ₂ ≥ 0.1060833695 on the whole declared box (worst chart (−,+,+), at u = 6, v = −0.15, w = −0.00433), leaving only a uniform higher-order remainder.

The second-order lower bound on the whole B01 local box is about 0.106, above 0.1; the higher-order remainder is still to be handled. The KKT enumeration is called a 'research numerical certificate'; its scope is the declared velocity box; 'B01 PARTIAL' is kept.

Connections · Connections

PreviousLESR 09I · Radial cover and the first genuine bridge subleaf · Radial-Cover Integration and the First Genuine Bridge Subleaf: the Hausdorff–Steiner Continuity Guard, a Global Local-Secant Cover of B01, and a Positive-Volume Near-Minimizer Leaf

NextLESR 09K · Research closure of B01 · Uniform Cubic Bound and Research Closure of B01: Eight Cubic Charts, a Fourth-Order Interval Taylor Remainder, and the Research Closure of the First Full Bridge Parent

This is a full-text translation of the Chinese source, which remains authoritative for its research claims. Translation is not independent mathematical verification and does not upgrade the original evidence level.

Loading…