Manuscript X-F@1 · X-F.tex · proposition · f35cc129
Proposition: Classical values
F3: three trees › Classical values · lines 1131–1158 · proof included or linked
X-F@1#prop:classical
Let , be smooth solutions of , , and evaluate the underlying functionals at , . Then evaluates to X-C's completed classical observable at the metric
through ; is the classical first-order retarded response of the gauge-fixed fluctuation to the switched sources. In particular evaluates to X-E's classical tree, to , and to , with X-A's first-order relational scalar.
Proof. Evaluation of a Wick-ordered element at a smooth configuration is evaluation of the underlying polynomial functional. is linear, so evaluates to , and to . By the affine-slot lemma this is the coefficient of X-C's classical observable at the stated metric.
Displayed formulas in this passage
unlabeled · line 1137