Manuscript Em03-B@2 · Em03-B-v2.tex · section · c1a0977d
Global bounded perturbations and finite leakage domains
B4 extraction: explicit swaps and control certificates › Global bounded perturbations and finite leakage domains · lines 1318–1342
Em03-B@2#eq:globalcontrol
Suppose the implemented interaction-picture generator is
Here is explicitly bounded and self-adjoint. One permitted leakage model takes it supported on
with finite-dimensional matrix elements. This allows temporary occupation up to , rather than silently identifying the initial cutoff with the maximum populated level.
Put
Displayed formulas in this passage
Em03-B@2#eq:globalcontrol · line 1335
unlabeled · line 1321
unlabeled · line 1327