Exact Memory of Finite Spectral Routing Tables: The Direct-Sum Occupancy Law and Its Singular Strata
We give a single exact state-counting theory for finite passive spectral routing tables. Fix distinct boundary frequencies, one input k-plane, and a word whose symbol a requests a target k-plane Y_a exactly n_a times. If the used targets are in direct-sum position—they need not be orthogonal and may have arbitrarily small principal angles—then the minimum McMillan degree among square finite rational-inner interpolants is k(L - min_a n_a). Thus the rarest target fixes generic passive memory, independently of node spacing and word order. The lower bound uses block-dual detectors: direct-sum geometry supplies a constant compression that is invertible on one target and annihilates every other target. Its determinant has k forced zeros at every wrong node, while a Blaschke–Potapov minor has no more zeros than the network has states. The upper bound is a matrix spectral compiler. Target-weighted node polynomials form a full-rank polynomial column; matrix Fejér–Riesz factorization normalizes it to a rational-inner column of degree at most the lower bound, and a degree-preserving lossless completion closes the network. Beyond the direct-sum locus we prove a detector-rank hierarchy, a maximum weighted hyperplane-occupancy bound for lines, and the complete three-line phase diagram. We also give a span sandwich, open-dense genericity, fail-closed noisy certification, an exact collision discontinuity, and the optimal integrated Wigner–Smith delay. Producer and independent verifiers audit nonorthogonal scalar and block tables, collision openings, and singular-incidence fixtures.
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: the author and editorial signer are the same person; no independent editorial review or scientific endorsement is claimed.