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

Definition: Destructive

Typed interfaces and semantic configurations › Three measurement interfaces · lines 372–384

En03-A@1#def:enter, En03-A@1#eq:destructive

The destructive measurement channel is

M_{S} (ρ) = z \sum ∣ z ⟩ ⟨ z ∣_{R} \otimes M_{z} ρ M_{z}^{†}, M_{S} : L (H_{S B}) ⟶ L (H_{R B}) .

The record $R$ is classical. The factor $S$ is absent. The circuit operation $Enter_{S}$ is interpreted by $M_{S}$ .

Displayed formulas in this passage

En03-A@1#eq:destructive · line 375
$M_{S} (ρ) = z \sum ∣ z ⟩ ⟨ z ∣_{R} \otimes M_{z} ρ M_{z}^{†}, M_{S} : L (H_{S B}) ⟶ L (H_{R B}) .$