The Exact Four-Level Inverse Commutator Cost: Horn-Littlewood-Richardson Facets, Rank Transitions, and Sharp Loop Synthesis
For a prescribed traceless Hermitian four-level target F, we determine exactly the least product of Hilbert-Schmidt norms of Hermitian A,B satisfying -i[A,B]=F. With ordered eigenvalues lambda_1 >= ... >= lambda_4, the answer is the maximum of four explicit linear spectral forms. The lower bounds are Horn-Littlewood-Richardson certificates and four closed constructions attain them. On every nonzero spectral stratum, the least optimal rank is exactly max(n_+(F),n_-(F)), closing all chamber walls and degenerations. We also prove a finite-dimensional Horn linear-program reduction, the sharp tax 1 <= kappa_4/(||F||_1/2) <= 2 with complete equality cases, and the exact balanced three-kick action S_2^2=12 sqrt(3) kappa_4. Exact symbolic and deterministic LP certificates accompany the manuscript.
Verification record
- Frontier-model screening
- Not assessed
- Source integrity
- Pass
- Bibliographic integrity
- Not assessed
- Reproducibility
- Not assessed
- Lean 4
- Not assessed
Recorded under ARR-HISTORICAL-IMPORT-1.0. ARR verification and screening are not peer review.
Version history
The ARR identifier remains stable. Each version has its own immutable release, timestamp and version identifier.
- v1 · source snapshot available · viewing
Original ai.vixra version history
Dates below are the source submission timestamps. ai.vixra omits a timezone; ARR preserves the displayed values and uses the normalized offset only for deterministic ordering.
- v1 · original ai.vixra file
AI assistance statement
Historical import from ai.vixra, an AI-assisted e-print archive. ARR has not normalized or independently verified the original manuscript's model-use disclosure; the author remains responsible for its contents.
Frontier-model screening
Status: not_assessed. Any listed reports correspond to this exact version under ARR-SCREEN-1.0; no absent assessment is represented as a pass.
Independent model assessments
No eligible independent ARR-ASSESS-1.0 report is published for this exact version. Missing evidence is not scored as zero.
No model reports are published for this version.
A model assessment is not peer review or a correctness certificate. ARR preserves disagreement, exact-version provenance and later reassessments.
Editorial disclosure
Author-authorized historical import. ARR verified file retrieval and integrity only; it did not perform the current hostile frontier-model admission audit, peer review, novelty review, or correctness certification.