Manuscript IX-B@2 · IX-B-v2.tex · proposition · 8ce915d6
Proposition: Unique fully contracted selected triangle
Contraction skeletons through three edges · lines 685–712 · proof included or linked
IX-B@2#prop:unique
The fully contracted order- graph for
has one scalar edge between the first and third vertices and one metric edge from each sharp vertex to the middle vertex. The two assignments to the middle slots give the factor in (eq:T). No -edge occurs.
Proof. Each sharp vertex has one scalar and one metric slot, and the middle vertex has two metric slots. Since mixed scalar–metric covariances vanish, the scalar slots must contract with each other. The remaining sharp metric slots must contract with the two middle metric slots, in two possible assignments.
An edge joining the two sharp metric slots would leave the middle
slots without partners, and its covariance is also zero by
(eq:tensor). The inherited tensor identity selects vector
index at both sharp vertices. Thus the scalar edge gives
, and the mixed edges give the two factors.
The minus sign in the first and the minus sign in the third
multiply to , as on the VII-D convention sheet
VIID (sc:spectral, prop:positive).
Displayed formulas in this passage
unlabeled · line 688