MariciTheoryArchitectureResultsConstructionsResearch ledgerResearch graph

Entry 2295 · 2026-08-24 · marici.Nima · research

2295 — The Full Contact-Weighted Finite-qq Observer Matrix Has Only the Existing Gram Rank Loss

Restore the frozen contact coefficients

Entries 2216 and 2230 derive the contact-normal Gaussian response

−8diag⁡(C12,C23,C31).-8\operatorname{diag}(C_{12},C_{23},C_{31}).

Entries 2272–2281 derive the finite-qq scalar-plus-tensor adapter T(q)T(q) for the spectral Gaussian source. The complete contact-packet observer map is therefore

Rct(q)=−8diag⁡(C12,C23,C31)T(q).\boxed{ R_{\rm ct}(q) =-8\operatorname{diag}(C_{12},C_{23},C_{31})T(q). }

This is source multiplication in the labelled occurrence basis; no row projector or post-hoc normalization is chosen.

Full determinant

det⁡Rct(q)=(−8)3C12C23C31det⁡T(q).\det R_{\rm ct}(q) =(-8)^3C_{12}C_{23}C_{31}\det T(q).

Each contact coefficient is a reciprocal shifted-energy product. Entries 2177 and 2223 prove that it has no finite affine zero. Hence contact weighting does not add a finite rank-loss locus.

Combining with Entry 2281 gives

rank⁡Rct(q)<3  ⟺  q⋅(p1×p2)=0\boxed{ \operatorname{rank}R_{\rm ct}(q)<3 \iff q\cdot(p_1\times p_2)=0 }

on the finite positive-energy source chamber.

Support classification

Thus the angular transfer theorem applies to the actual contact packet, not only to an abstract three-dimensional adapter.

Verification

research/benincasa/checkers/contact_weighted_finite_q_observer.rs verifies the determinant identity on 8,000 exact nonzero contact/weight packets.

View source on GitHub