Research paperAcceptedARR-2026-263B0753CQ9J2T34 · v1 · 2026-08-15

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

Lluis Eriksson

Abstract

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.

Deposit recordedFirst repository commit · full Git SHA recorded
PublishedGitHub release · tag ARR-2026-263B0753CQ9J2T34-v1
Canonical PDF downloads2GitHub release downloads only; direct ARR PDF reads are not measured
Page viewsNot measuredPage views are not measured until ARR connects a privacy-reviewed, no-cookie analytics source.
Definitions and rankings →
Not yet rated

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.

    Longitudinal frontier-model record

    Independent model assessments

    Read the scale and limits
    Not yet rated

    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.