Manuscript Em03-A@1 · Em03-A-v1.tex · definition · 6d54627d
Definition: Time–frequency number window
Outgoing observables, rate normalization, and error bounds › A precise 1/(2π) counting convention · lines 1005–1030
Em03-A@1#def:window
On the one-particle space , let denote multiplication by the indicator of a compact positive-frequency interval . For , define
and
The expected number in this mode window is
where is the multiplication operator. Equivalently, this is the monotone expectation of finite-rank positive number-functionals approximating .
Displayed formulas in this passage
unlabeled · line 1010
unlabeled · line 1017
unlabeled · line 1021