One-Spike Inverse Self-Commutators and Exact Three-versus-Four-Kick Curvature Synthesis
For a traceless Hermitian matrix F, this paper minimizes the product of the unnormalized Hilbert--Schmidt norms of Hermitian H and K satisfying -i[H,K]=F. On the complete one-spike spectral cone with nonzero spectrum (P,-b_1,...,-b_n), it proves the exact formula kappa_d(F)=sum_j j b_j, fixes the nonzero singular spectrum and rank of every balanced optimum, derives sharp trace-distance stability and strict Schur concavity, and remains invariant under ambient zero padding. For every finite-dimensional traceless Hermitian target, it also proves exact balanced-loop laws A_3(F)=12 sqrt(3) kappa_d(F) and A_4(F)=16 kappa_d(F), giving a universal 23.02 percent fourth-kick reduction. The work does not give a closed formula when both sign multiplicities exceed one, classify all optimizing matrices, or claim exhaustive bibliographic priority.
Verification record
- Frontier-model screening
- Pass · 1 models
- Source integrity
- Pass
- Bibliographic integrity
- Partial
- Reproducibility
- Partial
- Lean 4
- Not applicable
Recorded under ARR-VERIFY-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
AI assistance statement
OpenAI Codex assisted with corpus and literature triage, algebraic exploration, adversarial proof review, exact-arithmetic replay, typesetting, visual QA, reproducibility hardening, and record preparation. The author selected the claims, reviewed the manuscript, authorized publication, and remains responsible for the work.
Frontier-model screening
Status: pass. Any listed reports correspond to this exact version under ARR-SCREEN-1.0; no absent assessment is represented as a pass.
- gpt-5.6-solOpenAI · reasoning effort high · pass
Independent model assessments
- Eligible reports
- 1
- Range
- 4.10–4.10
- Method
- median · exact version only
OpenAI · gpt-5.6-sol · High · not involved in manuscript4.10
Recommendation: Minor Revision · Material objections: 0
Assessment of the locked canonical PDF at C:\Users\lluis\Documents\Codex\2026-08-10\ade\work\arr-deposit-rank-adaptive-20260830\papers\2026\08\7N\ARR-2026-7NPRNBW4488HG90K\paper.pdf. The manuscript appears mathematically sound on its main claims. I found no unresolved objection that would invalidate the one-spike inverse formula, optimizer singular rigidity, stability theorem, or exact triangular/quadrilateral loop laws. The appropriate disposition is minor revision, mainly for reproducibility metadata, clearer Horn-theorem exposition, and more independently verifiable novelty/provenance support.
- Correctness confidence
- The main finite-dimensional claims appear correct after re-reading the canonical PDF, checking the Horn indexing, optimizer rigidity, stability proof, loop reductions, examples, and exact-arithmetic identities. No material counterexample was found.
- Rigor
- The proofs are short but mostly complete. Lemma 2.2, Theorem 3.1, Theorem 4.1, Corollary 4.2, Theorem 5.1, and Theorem 5.2 have coherent dependencies and quantifiers. The Horn deduction is valid but compressed.
- Novelty
- The all-dimensional one-spike formula, singular-spectrum rigidity, sharp stability, and all-target four-kick law look substantively new. But novelty is not settled inside the PDF: key priority claims rely on self-citations and an unavailable audit, while public checks found related author abstracts, not a definitive external priority record.
- Significance
- Within finite-dimensional matrix commutator optimization, the result is clean and useful: an exact one-spike spectral formula, optimizer singular rigidity, stability constants, and exact three-versus-four loop laws. The scope remains specialized.
- Reproducibility
- The PDF claims exact-arithmetic replays and an independent implementation, but gives no repository URL, artifact hash, filenames, environment, commands, or test counts. I could replay displayed identities, but not identify the package from the PDF alone.
Strengths
- The reduction from Hermitian factor products to a one-matrix self-commutator minimization is clean, dimensionally consistent, and handles balancing and attainment.
- The one-spike formula is supported by a concise Horn lower bound and an explicit weighted-shift construction, with zero-padding handled correctly.
- The singular-value rigidity conclusion follows from equality in the summed lower bounds and is stronger than mere cost evaluation.
- The stability theorem has sharp constants and equality families, and the strict Schur-concavity corollary follows correctly from prefix-sum majorization.
- The three-kick and four-kick loop theorems correctly reduce fixed-target polygon synthesis to the inverse commutator cost, and the four-kick Gram-determinant correction avoids the false parallelogram inequality.
Weaknesses
- The Horn step is correct but under-explained; readers not already fluent with Horn triples and partition indexing may have to reconstruct a key convention-dependent inequality.
- The novelty and priority discussion is cautious, but it depends heavily on author-side records and an accompanying audit that is not included in the exact PDF.
- The reproducibility section asserts accompanying exact-arithmetic routes but does not give enough bibliographic or computational metadata to locate or rerun them from the PDF alone.
- The paper does not classify all optimizing matrices, solve the general mixed-sign spectral problem, or give exact formulas for five or more kicks; these limitations are stated, but they bound the practical reach of the work.
Potential errors
- Possible nonmaterial exposition risk: the Horn inequality application should explicitly define the partition associated with I_l, J_l, and K_l and show the telescoping inequality line-by-line.
- Possible nonmaterial reproducibility risk: the claimed accompanying implementation cannot be verified from the exact PDF because no package locator, hash, or command transcript is supplied.
- Possible nonmaterial provenance risk: the exact ARR self-citations and priority audit were not independently discoverable from the PDF alone or simple public search, so novelty confidence is lower than correctness confidence.
- Possible terminology risk: S_2 denotes a sum of Hilbert-Schmidt norms rather than quadratic edge energy; the manuscript defines it clearly, but readers may initially misread the notation.
Strong novelty candidates
- Exact all-dimensional formula kappa_d(F)=sum_{j=1}^n j b_j on the complete one-positive or one-negative spectral cone.
- Rigidity of the nonzero squared singular values 2 sum_{j=l}^n b_j and rank n for every balanced optimum on that cone.
- Sharp trace-distance stability at the uniform one-spike ray with optimal constants n/4 and (n-1)/2.
- All-target four-kick law A_4(F)=16 kappa_d(F), extending a previously sign-paired equality face to arbitrary finite-dimensional traceless Hermitian targets.
- Universal exact three-versus-four switching gain A_4(F)/A_3(F)=4/(3 sqrt(3)) for every nonzero target.
Unresolved material objections
None reported.
arr:assessment:f8c91055-ae84-452e-8fe8-a781eb345964 · prompt ARR-ASSESS-1.0 · runtime identity: OpenAI gpt-5.6-sol · reasoning effort: high · basis: author verified ui · evidence SHA-256 da6dfa961ccc3a648cd85c6f15d5dc4fc6a12d585d55c2ae40b404095ec233ec · response SHA-256 92d184be930771aef8cc0b046188baea64067fb860dd95f55ef30278257ffcd7 · canonical PDF SHA-256 0f45a998063e687cc689b8e43c2887194c0937c8587c34b783a1631f8974776d
A model assessment is not peer review or a correctness certificate. ARR preserves disagreement, exact-version provenance and later reassessments.
Editorial disclosure
Founder-owned record: the author and ARR founder-editor are the same person. Acceptance records a technically valid deposit after explicit audits; it is not independent peer review or a guarantee that the theorem is correct or novel.