Manuscript VII-H@1 · VII-H.tex · lemma · d20d2a9f
Lemma: Connected two-insertion coefficient
The complete first-order contraction and its domain · lines 665–690 · proof included or linked
VII-H@1#lem:wick, VII-H@1#eq:wick-square, VII-H@1#eq:punctured-response
For the calibrated Wick square,
Consequently the punctured retarded response is
Proof. Vacuum normal ordering removes self-contractions at each insertion. There are exactly two pairings connecting the two fields at to the two fields at . Each contributes . Terms with an uncontracted normal-ordered field have zero vacuum expectation. This proves (eq:wick-square); subtraction in the commutator gives (eq:punctured-response).
Displayed formulas in this passage
VII-H@1#eq:wick-square · line 668
VII-H@1#eq:punctured-response · line 674