Manuscript X-J-ST@1 · X-J-ST.tex · definition · 8f0d1a36

Definition: Selective instrument convention

Section B: selective amplitude visibility › The retained amplitude family · lines 1038–1047

A finite instrument ${Φ_{y}}_{y \in Y}$ consists of completely positive maps with trace-preserving sum. Its complete recorded output is

R_{Φ} (Z) = y \sum ∣ y ⟩ ⟨ y ∣_{R} \otimes Φ_{y} (Z) .

Every $Φ_{y} (Z)$ is retained subnormalized.

Displayed formulas in this passage