Exact Branch Rigidity and Unique Crossing in Grassmann Matrix--Bingham Free Energies: Finite Certification, All-Field Gr_C(3,6) and Gr_C(4,8) Two-Block Order, and a Gr_C(2,5) Exchange Theorem
Let P be a Haar-distributed complex Grassmann projector and consider the matrix--Bingham normalizer Z_A(s)=E exp{s tr(AP)} on the trace-zero, Frobenius-unit external sphere. We prove exact complementary results for its canonical two-level branch geometry. On every half Grassmannian Gr_C(r,2r), the balanced rank-r field strictly maximizes the normalized two-block moments of degrees 4, 6, 8, and 10. Exact endpoint analysis gives balanced dominance at small and large field, while a finite certification theorem reduces coefficientwise all-field order at each fixed rank to a terminating block of rational Hankel signs plus an analytic tail. At Gr_C(3,6), a closed all-degree argument proves strict balanced order for every field. At Gr_C(4,8), exact rational arithmetic through degree 268 and the analytic tail give a second all-field theorem. On Gr_C(2,5), compact overlap densities, Sturm arithmetic over Q(sqrt(6)), and strict total positivity prove a unique simple exchange in the complete oriented two-level family. The results do not classify arbitrary multi-level external spectra and do not claim an unrestricted all-distortion rate--distortion function.
Verification record
- Frontier-model screening
- Not assessed
- Source integrity
- Pass
- Bibliographic integrity
- Not assessed
- 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 repository and literature discovery, theorem exploration, exact algebraic replay, drafting, adversarial proof checking, bibliography review, deposit preparation, machine-readable extraction, packaging, and visual release QA. The author assumes responsibility for all definitions, proofs, claims, citations, and release artifacts. No independent AI scientific assessment is claimed.
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
Founder-owned record: Lluis Eriksson is both the author and ARR's current founder-editor. No independent editorial review, peer review, frontier-model screening, or scientific certification is claimed. Acceptance records a technically valid deposit.