Complete Rank-Two Born-Prediction Rate–Distortion on Gr_C(2,4): All-Field Matrix–Bingham Rigidity and a Unique Coexistence Transition
We solve a finite-dimensional external-spectrum optimization problem for the complex matrix–Bingham law and use it to determine an unrestricted Shannon rate–distortion function. If P is Haar on Gr_C(2,4) and A is traceless Hermitian with fixed Frobenius norm, then E exp[s tr(AP)] is, for every s>0, uniquely maximized, up to unitary conjugacy, by the balanced spectrum (R/2,R/2,-R/2,-R/2). The exceptional model Gr_C(2,4)=Gr_2^+(R^6) turns the orbital integral into a positive series whose coefficients share one simplex-vertex maximizer. For the Haar rank-two state source rho_P=P/2, conditional least squares places arbitrary reports in the full body {sigma: 0<=sigma<=I/2, tr sigma=1}. We obtain its exact classical rate–distortion function for every 0<=D<=1/4. Beyond a scalar dual representation, we prove the complete radial phase diagram: one fold, one positive coexistence contact, no reentrance, and an exact two-piece frontier consisting of one time-sharing segment and one matrix–Bingham branch. The proof reduces the fold derivative to a power series with exactly one negative coefficient followed by strictly positive coefficients. Covariant channels attain the frontier, and the same value is the source-universal worst-state capacity; arbitrary joint n-block memories cost exactly n times the one-letter frontier. The result concerns classical memory for calibrated Born-probability prediction, not quantum rate–distortion, click simulation, or a derivation of Born's rule.
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 preparation of this ARR deposit, machine-readable text extraction, provenance assembly, and integrity checks. The supplied manuscript contains no model-specific authorship disclosure; 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 pilot record: Lluis Eriksson is both the author and ARR's current founder-editor. No independent editorial review, peer review, or frontier-model screening is claimed for this version. Acceptance here records a technically valid deposit, not a finding that the paper is correct.