Manuscript XVI-M@1 · XVI-M.tex · corollary · 7346c909
Corollary: Time-only readings of the scale tensor
M.6 Dilation identity, residues, and matched scale variation › Scale derivative versus dilation defect at every grade (work package B) · lines 1830–1842 · proof included or linked
XVI-M@1#cor:wpB-timeonly
Assume Gate V. In the time-only reading and in the time-only reading of Section sec:to-timeonly, for every and every admissible , the collapsed scale tensor is not variational. (The proof combines the archived top-order coordinates with the exact kernels of Theorem thm:to-timeonly and Proposition prop:to-chiplateau; it is complete relative to the reported computations of Lemma lem:to-comp; audit 3 review.)
Proof.
The top-order part of is a nonzero vector of the block (all its slots have , hence ), and its coordinate is (archived in wpB/_wpB_state.json; re-checked by regression_M.py).
is homogeneous in (Lemma lem:to-comp: the blocks have disjoint rows), so the component of is , whatever the -dependent lower-order parts are.
In the time-only reading is at (Theorem thm:to-timeonly), so .
In the time-only reading at is spanned by vectors supported on (Proposition prop:to-chiplateau); has a nonzero coordinate, so again .
By Lemma lem:helm, applied with the time-only adjoint of Lemma lem:to-intertwine, a collapsed tensor with nonzero adjoint defect is not an Euler tensor.
Nearby in this section
- scope: Status (work package B).
- section: Scale derivative versus dilation defect at every grade (work package B)
- lemma: Lemma: Complete scale derivative of the subtraction functions
- theorem: Theorem: Scale derivative equals dilation defect at every grade
- section: Scale derivative versus dilation defect at every grade (work package B)
- section: Scale derivative versus dilation defect at every grade (work package B)
- theorem: Theorem: Double-plateau scale tensor: top component and full tensor
- proposition: Proposition: Exact separating functional for the displayed scale functional (audit 3)