Manuscript Psy02-A@1 · Psy02-A.tex · lemma · d92ce402

Lemma: Punctured Wick-square kernel

A separate normalization-independent response benchmark › Model and punctured response · lines 1591–1634 · proof included or linked

Psy02-A@1#lem:response-kernel, Psy02-A@1#eq:cone-response

Back to manuscript

The declared first-order response satisfies

It is real, retarded, and homogeneous of degree on the punctured space.

Proof. Vacuum Wick contraction has exactly two connecting pairings, so

These positive-frequency products are defined in the free Wick framework. On the nonzero future null cone, and . The boundary-value identity

therefore pulls back to . It gives

Substitute in (eq:response-definition). Away from the origin, the commutator is supported on the nonzero null cones; the time cut creates no extra singular product there. Under positive dilation, has degree two and degree .

Displayed formulas in this passage

  • Psy02-A@1#eq:cone-response · line 1594

  • unlabeled · line 1610

  • unlabeled · line 1617

  • unlabeled · line 1623

Nearby in this section