Manuscript IV@1 · IV.tex · section · 351cb2d7
Regulated generators and coherent correspondence
Model 3: scalar stress form and exterior record › Regulated generators and coherent correspondence · lines 2967–3017
IV@1#eq:coherent3, IV@1#eq:tail3
For a Schwartz coherent label , let
Normal ordering gives the exact identity
This follows either by coherent contraction of (eq:B3) or by substituting the classical one-point function in the normal-ordered stress. The number estimate justifies the coherent expectations.
As , in Schwartz topology. Wave-packet estimates and classical response continuity therefore give convergence of the right side to the uncut classical pairing. This is an expectation limit, not an operator or instrument limit.
For , , define
Then
and
To verify it, write , , and expand the difference as . Apply (eq:bound3). The vacuum expectation of every compression is exactly zero.
Displayed formulas in this passage
IV@1#eq:coherent3 · line 2976
IV@1#eq:tail3 · line 3004
unlabeled · line 2971
unlabeled · line 2995
unlabeled · line 3000