Manuscript Hawk03-A@1 · Hawk03-A.tex · section · 9a109c12

The pair-vacuum proxy instrument

One explicit unitary finite benchmark › The pair-vacuum proxy instrument · lines 988–999

Hawk03-A@1#eq:pairproxy

Define

Π_{β} = J (I_{M} \otimes ∣ β ⟩ ⟨ β ∣_{A B}) J^{†} .

The two Kraus operators $Π_{β}$ and $I - Π_{β}$ define a complete projection instrument. We call its outcomes “proxy pass” and “proxy departure.”

Displayed formulas in this passage

Hawk03-A@1#eq:pairproxy · line 991
$Π_{β} = J (I_{M} \otimes ∣ β ⟩ ⟨ β ∣_{A B}) J^{†} .$