Manuscript En03-A@1 · En03-A.tex · definition · 5398614e

Definition: Represented nondestructive instrument

Typed interfaces and semantic configurations › Three measurement interfaces · lines 406–416

En03-A@1#def:nondestructive, En03-A@1#eq:nondestructive

For $P_{z} = ∣ z ⟩ ⟨ z ∣_{S} \otimes I_{B}$ , set

I_{S}^{nd} (ρ) = z \sum ∣ z ⟩ ⟨ z ∣_{R} \otimes P_{z} ρ P_{z} .

Its residual interface is $S \otimes B$ . It is not the destructive primitive.

Displayed formulas in this passage

En03-A@1#eq:nondestructive · line 409
$I_{S}^{nd} (ρ) = z \sum ∣ z ⟩ ⟨ z ∣_{R} \otimes P_{z} ρ P_{z} .$