λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript En05-C@1 · En05-C.tex · definition · aa213ea6

Definition: Complete algebraic recorded instrument

Stage C: independent references and complete instruments · lines 729–742

Back to manuscript

A finite instrument with outcomes $y$ consists of CP maps

T_{y} : M_{out} ⟶ M_{in}, y \sum T_{y} (1) = 1.

Its recorded Heisenberg channel is

T : y ⨁ M_{out} ⟶ M_{in}, T ((a_{y})_{y}) = y \sum T_{y} (a_{y}) .

Displayed formulas in this passage

unlabeled · line 731
$T_{y} : M_{out} ⟶ M_{in}, y \sum T_{y} (1) = 1.$
unlabeled · line 737
$T : y ⨁ M_{out} ⟶ M_{in}, T ((a_{y})_{y}) = y \sum T_{y} (a_{y}) .$

Nearby in this section