Manuscript X-L-ST@1 · X-L-ST.tex · section · 20a32a22

The destructive instrument

Recovery of complete residual-report instruments › The destructive instrument · lines 1569–1583

X-L-ST@1#eq:continuation

This is the explicit I-B/En09-A interface IB,En09, not a field-measurement theorem.

If fixed complete continuations $Λ_{k}$ are specified, then

J (X) = k \sum ∣ k ⟩ ⟨ k ∣_{R} \otimes Λ_{k} (D_{k} X D_{k}^{†})

is CPTP. Actual loss and rejection are retained as outcomes rather than postselected away.

Displayed formulas in this passage

X-L-ST@1#eq:continuation · line 1576
$J (X) = k \sum ∣ k ⟩ ⟨ k ∣_{R} \otimes Λ_{k} (D_{k} X D_{k}^{†})$