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

Definition: Algebraic experiment interface

Algebraic interfaces, snapshots, and localization conventions › Channels and state restriction · lines 268–283

An interface consists of global algebras $M_{in}, M_{out}$ , local algebras $A_{in} (I), A_{out} (Y)$ , unital injective $*$ -homomorphisms

ι_{I} : A_{in} (I) ⟶ M_{in}, ι_{Y} : A_{out} (Y) ⟶ M_{out},

and a Heisenberg channel

T : M_{out} ⟶ M_{in}

that is unital and completely positive.

Displayed formulas in this passage

unlabeled · line 273
$ι_{I} : A_{in} (I) ⟶ M_{in}, ι_{Y} : A_{out} (Y) ⟶ M_{out},$
unlabeled · line 279
$T : M_{out} ⟶ M_{in}$