Manuscript X-E-ST@1 · X-E-ST.tex · corollary · 44614221

Corollary: The fixed-width bare multiplet polynomial

The free carrier and fixed-width polynomial admission › A finite-forest admission lemma · lines 1302–1318 · proof included or linked

X-E-ST@1#cor:bareadmission

The coefficients

ϕ (f), A_{1} [h + r], Q [h + r, h + r] + A_{1} [k]

are admitted fixed-width polynomial Wick functionals. Their metric arguments can have support in $D_{f}$ , not merely in $C$ .

Proof. Apply Lemma lem:forest componentwise, insert classical backgrounds as smooth multipliers, and symmetrize identical quantum slots.

Displayed formulas in this passage