Manuscript Oai283-A@1 · Oai283-A.tex · section · 6fb75895
Clean-subspace estimates
Composition, workspace, and implementation allowances › Clean-subspace estimates · lines 529–534
The supplied synthesis excerpts use zero-workspace operator-norm estimates. These require a separate argument from unrestricted per-gate diamond estimates.
Nearby in this section
- lemma: Lemma: Telescoping on an ideal clean prefix
- section: Clean-subspace estimates
- 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