Manuscript Em03-F@1 · Em03-F-v1.tex · proposition · 0d4d148b
Proposition: Calculated packet displacement
Outgoing scalar packet identification and normality · lines 863–888 · proof included or linked
Em03-F@1#prop:displacement, Em03-F@1#eq:alpha
The conditional outgoing packet amplitude is
Consequently,
These are calculated from the bulk profile and scattering map.
Proof. The Weyl displacement identity gives
Insert . The initial state is centered, so its conditional mean is (eq:alpha). Taking the quadrature combinations proves the result.
Displayed formulas in this passage
Em03-F@1#eq:alpha · line 866
unlabeled · line 873
unlabeled · line 882