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

Back to manuscript

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

Nearby in this section