Manuscript I-B@1 · I-B-v1.tex · section · 5357688f

Three interfaces, not one

Finite names, access, control, and destructive Enter › Three interfaces, not one · lines 499–515

For comparison, define the coherent recording isometry

W_{rec} = k \sum P_{k} \otimes ∣ k ⟩_{A},

where the output retains $C$ , adds a quantum carrier $A$ , and retains $X$ . Define also the represented nondestructive instrument

I^{nd} (ρ) = k \sum ∣ k ⟩ ⟨ k ∣_{R} \otimes (P_{k} \otimes I_{X}) ρ (P_{k} \otimes I_{X}) .

Displayed formulas in this passage

unlabeled · line 502
$W_{rec} = k \sum P_{k} \otimes ∣ k ⟩_{A},$
unlabeled · line 509
$I^{nd} (ρ) = k \sum ∣ k ⟩ ⟨ k ∣_{R} \otimes (P_{k} \otimes I_{X}) ρ (P_{k} \otimes I_{X}) .$