Manuscript VII-E@1 · VII-E.tex · section · b713cf3c

Classical block-diagonal state spaces

Record compatibility, residuals, and composition › Classical block-diagonal state spaces · lines 1561–1575

Let

C = j ⨁ L (H_{j}) \subseteq L (j ⨁ H_{j})

be a prescribed block-diagonal state algebra, and let

E_{C} (X) = j \sum Q_{j} X Q_{j}

be its trace-orthogonal pinching projection. Admissible input states are the density operators in $C$ . The accessible input algebra $A$ need not lie inside $C$ .

Displayed formulas in this passage

unlabeled · line 1564
$C = j ⨁ L (H_{j}) \subseteq L (j ⨁ H_{j})$
unlabeled · line 1569
$E_{C} (X) = j \sum Q_{j} X Q_{j}$

Nearby in this section

proposition: Proposition: Composition modulo unobservable directions
section: Classical block-diagonal state spaces