Manuscript Hawk02-A@1 · Hawk02-A.tex · section · 7fbae745
Declared objects, references, and cutoffs
Declared objects, references, and cutoffs · lines 326–333
This explains the limited scope of discarded-probability
certificates for number-diagonal packet states such as those in
En02-E CheungEn02E ({thm:gaussian, thm:cutoff}). Arbitrary-input channel truncation requires a
reference-uniform estimate, not the commuting-state equality alone.
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
- definition: Definition: Cutoff declaration
- lemma: Lemma: Flagged truncation of a commuting state