Manuscript Hawk02-A@1 · Hawk02-A.tex · definition · 7fbae745
Definition: Cutoff declaration
Declared objects, references, and cutoffs · lines 281–292
A cutoff declaration specifies:
the geometric stopping mass ;
selected species, angular modes, frequencies, and packets;
occupation and numerical truncations;
the treatment of every discarded sector;
the input class and topology in which each truncation error is bounded.
A trace-preserving failure flag is distinguished from postselection.
Nearby in this section
- section: Declared objects, references, and cutoffs
- definition: Definition: Finite code and complete output
- section: Declared objects, references, and cutoffs
- remark: Remark: Physical factorization is an additional bridge
- definition: Definition: Distances
- section: Declared objects, references, and cutoffs
- lemma: Lemma: Flagged truncation of a commuting state
- section: Declared objects, references, and cutoffs