Manuscript IV@1 · IV.tex · section · 351cb2d7
A self-contained quadratic-domain lemma
Shared conventions and elementary measurement facts › A self-contained quadratic-domain lemma · lines 675–683
This lemma will be used to specify the uncompressed generator of Model 1. For Model 2 the measured dynamics will instead be defined only by its bounded compressions.
Figure fig:finite-band-domain summarizes the finite-band analytic-vector argument used for the Model 1 generator.