Manuscript IX-B-ST@1 · IX-B-ST.tex · assumption · f6af1523
Assumption: Locked tensor and old-domain data
Chart formulae and the exact dependency ledger › Covariance and mixed kernel · lines 499–537
IX-B-ST@1#ass:tensor, IX-B-ST@1#eq:K, IX-B-ST@1#eq:oldproduct
Retain the VII-C tensor identities and old Wick-symbol convention
CheungVIIC ({:tensor}, {:K}):
The nonzero mixed component is
The reverse component is . The covariance selects the -component at a contraction with .
On the old bulk polynomial domain, retain
Self-contractions within a Wick symbol are excluded. The usual old-domain operations used at positive cutoff are defined. The unchanged mixed-kernel approximants converge in the fixed-support normal stages of VII-C.
Displayed formulas in this passage
IX-B-ST@1#eq:K · line 509
IX-B-ST@1#eq:oldproduct · line 527
unlabeled · line 503