Manuscript Hawk05-B@1 · Hawk05-B.tex · section · f2e5d4f5
Finite interfaces, reference preservation, and recovery
Finite interfaces, reference preservation, and recovery · lines 223–229
All spaces are finite dimensional. Let be the variable logical code, with dimension . An external reference is untouched.
Nearby in this section
- definition: Definition: Complete interface
- section: Finite interfaces, reference preservation, and recovery
- lemma: Lemma: Complete restoration and stability
- theorem: Theorem: Exact complete-complement criterion
- section: Finite interfaces, reference preservation, and recovery
- lemma: Lemma: Replacement and Choi benchmarks
- proposition: Proposition: Approximate correction input
- section: Finite interfaces, reference preservation, and recovery