← LESR · Root 6217 local analysis (Paper 09C–09U)
/
LESR 09D · Paired-sliver domination and a robust scalar certificate
LESR · Root 6217 local analysis (Paper 09C–09U)
LESR 09D · Paired-sliver domination and a robust scalar certificate
Neo.K / Aletheia
Paired-Sliver Domination and a Robust Scalar Certificate: From the Analytic Elimination of the Secondary LP to a Finite-Radius Acceptance Box
Eliminates 09C's LP through |X+H| + |X−H| ≥ 2|H|: when 0 ≤ γ_w/D < 2λ_S, Φ₂ ≥ c₀ − γ_w·A/D (nominal 0.225586328; ≥ 0.202 on a deliberately wide acceptance box). If a remainder |R₃| ≤ 30ρ³ were certified, this would give A(ρ) ≥ A0 + 0.112ρ² on [0, 0.003].
Conditional on an assumed remainder bound, A(ρ) ≥ A0 + 0.1ρ² holds on the local radius [0, 0.003]. This is a conditional result.
The boxed 'A(ρ) ≥ A0 + 0.1ρ² on the whole local radius' in the abstract is conditional: the acceptance box 'is not a measured interval', the remainder is assumed, and topology exhaustion and the first-order certificate remain OPEN (stated in §33 and §50). The 'flat minimizer face' claim (§12, §37) is withdrawn in 09E.
Connections · Connections
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.