Manuscript Oai283-A@1 · Oai283-A.tex · proposition · 6fb75895

Proposition: Logical accuracy does not specify workspace output

Composition, workspace, and implementation allowances › Clean-subspace estimates · lines 592–606 · proof included or linked

Oai283-A@1#prop:workspace

Accuracy of the reduced logical channel does not imply closeness to a specified clean-workspace full output.

Proof. The isometry

∣ ψ ⟩ ⟼ U ∣ ψ ⟩ \otimes ∣1 ⟩_{E}

has exactly the target logical channel. Its full output has half-diamond distance one from $∣ ψ ⟩ \mapsto U ∣ ψ ⟩ \otimes ∣0 ⟩_{E}$ .

Displayed formulas in this passage