Manuscript Oai283-A@1 · Oai283-A.tex · section · 6fb75895
Clean-subspace estimates
Composition, workspace, and implementation allowances › Clean-subspace estimates · lines 606–613
A transport certificate must therefore either discard workspace explicitly or provide a complete-output certificate for every returned workspace factor. It cannot silently strengthen a reduced guarantee. This is the residual-ownership distinction emphasized in En07-B and VIII-A CheungEn07B,CheungVIIIA.
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
- section: Clean-subspace estimates
- proposition: Proposition: Logical accuracy does not specify workspace output
- remark: Remark: Controlled phases are not disposable