Manuscript XX-E@1 · XX-E.tex · corollary · cf7a8f40

Corollary: Separate fits need not give a common correction

Post-calculation repair: simultaneous actual-image conditions › A complete conditional affine application · lines 1194–1206 · proof included or linked

XX-E@1#cor:separate

Back to manuscript

The separate conditions $- B \in im L$ and $D \in im T$ do not generally imply (eq:jointimage).

Proof. Take $C_{adm} = R$ , $L = T = id_{R}$ , $- B = 0$ , and $D = 1$ . Each scalar target is in the relevant image, but no scalar correction maps simultaneously to $(0, 1)$ .

Nearby in this section

assumption: Assumption: Constructed quantum repair problem
theorem: Theorem: Simultaneous exact repair
section: A complete conditional affine application
proposition: Proposition: Finite probes do not certify exact repair
section: A complete conditional affine application