Manuscript VIII-B@3 · VIII-B-v3.tex · section · 3aa6baa1

Agreement on one current and on an algebra

Named sources and observable agreement › Agreement on one current and on an algebra · lines 256–264

For a channel $Φ$ , its adjoint is defined by

Tr (Φ (X) a) = Tr (X Φ^{*} (a)) .

The following finite-dimensional observation criterion makes the meaning of source agreement explicit.

Displayed formulas in this passage