Manuscript Oai283-A@1 · Oai283-A.tex · section · 6fb75895
Clean-subspace estimates
Composition, workspace, and implementation allowances › Clean-subspace estimates · lines 561–566
In particular, this lemma does not require an approximate prefix to have exactly clean scratch. It does require the displayed bounds on the ideal-prefix subspaces.
Nearby in this section
- section: Clean-subspace estimates
- lemma: Lemma: Telescoping on an ideal clean prefix
- lemma: Lemma: Isometry error to complete-channel error
- section: Clean-subspace estimates
- proposition: Proposition: Logical accuracy does not specify workspace output
- section: Clean-subspace estimates
- remark: Remark: Controlled phases are not disposable