Manuscript XVI-M@1 · XVI-M.tex · theorem · 7346c909
Theorem: Collapse of C anom ; unmatched remainder retained
M.6 Dilation identity, residues, and matched scale variation · lines 1645–1662 · proof included or linked
XVI-M@1#thm:M6-collapse
Assume Gate V. Let be as in Definition def:M6-Canom (unit for the linear probe; overall factor restores the physical coefficient).
{Formal / -plateau.} is nonzero (744 nonzero keys) and not self-adjoint (-defect nonempty). It is therefore not a nonzero variational tensor.
Preparation / double plateau. . Structural reason: the coefficient is supported only on ( sector); both plateaus set and kill those derivatives.
Matched projection (double plateau). The orthogonal projection of onto (the M.5 matched Euler tensors) is , since the vector itself is .
Unmatched remainder. In the double plateau the remainder is . In the formal reading the entire non-self-adjoint is retained as unmatched remainder. No unmatched component is discarded and renamed “the anomaly.”
Proof.
Exact collapse columns and SA defects: scaling_anomaly.py (reads the same and Collapse as M.4).
Linear independence of and vanishing of in the double plateau give the projection claim.
Nearby in this section
- section: M.6 Dilation identity, residues, and matched scale variation
- proposition: Proposition: Dilation identity for W (μ) ρ / zero-moment extensions
- remark: Remark: General N
- theorem: Theorem: S 2 scaling residue
- remark: Remark: Status of the residue
- section: M.6 Dilation identity, residues, and matched scale variation
- definition: Definition: N=0 anomaly component
- section: M.6 Dilation identity, residues, and matched scale variation