Manuscript Oai283-A@1 · Oai283-A.tex · section · 6fb75895
Clean-subspace estimates
Composition, workspace, and implementation allowances › Clean-subspace estimates · lines 586–591
These lemmas validate a conversion step whenever its clean isometry estimate is proved. They do not verify the missing recursive synthesis argument or construct its target-dependent tables.
Nearby in this section
- section: Clean-subspace estimates
- lemma: Lemma: Telescoping on an ideal clean prefix
- section: Clean-subspace estimates
- lemma: Lemma: Isometry error to complete-channel error
- proposition: Proposition: Logical accuracy does not specify workspace output
- section: Clean-subspace estimates
- remark: Remark: Controlled phases are not disposable