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
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