Manuscript IX-C-ST@1 · IX-C-ST.tex · proposition · 892f50c4
Proposition: Signs and multiplicities
Both first stages and the placement ledger · lines 1185–1204 · proof included or linked
IX-C-ST@1#prop:placementcount
The three two-edge placements have insertion sign , assignment multiplicity , and residual degree two. Their fully contracted completion has the parent coefficient .
Proof. The only available nonzero edges are metric edges and scalar edge . Each two-edge choice removes four of the six slots. Both outer insertion signs occur, giving . For , the two middle slots have two assignments. For , either middle slot is used, again giving two; the third case is its reverse. The tensor identity fixes index on each mixed metric edge. Full contraction adds the remaining edge and gives the supplied triangle.
Nearby in this section
- lemma: Lemma: Injective generating tests
- proposition: Proposition: Reverse coefficient and its sign
- section: Both first stages and the placement ledger
- theorem: Theorem: Admitted first-stage products
- proposition: Proposition: Fixed-support first-stage continuity
- section: Both first stages and the placement ledger
- proposition: Proposition: One-edge outputs
- section: Both first stages and the placement ledger