Manuscript Psy02-A@1 · Psy02-A.tex · definition · d92ce402

Definition: Operational carrier correspondence

Carrier specification and finite realizations › Carrier correspondence and the finite-dimensional obstruction · lines 430–446

Psy02-A@1#eq:carrier-effect

Back to manuscript

A bounded-observation correspondence consists of a state class $S_{bio}$ , an encoding channel $E$ , matched effects $M_{bio}$ and $M_{sc}$ , and a bound

ρ \in S_{bio} sup \abs Tr (ρ M_{bio}) - Tr (E (ρ) M_{sc}) \leq η_{carrier} .

The participating state and effect classes are part of the definition.

Displayed formulas in this passage

Psy02-A@1#eq:carrier-effect · line 435
$ρ \in S_{bio} sup \abs Tr (ρ M_{bio}) - Tr (E (ρ) M_{sc}) \leq η_{carrier} .$

Nearby in this section

section: Carrier correspondence and the finite-dimensional obstruction
proposition: Proposition: Finite-dimensional CCR obstruction
section: Carrier correspondence and the finite-dimensional obstruction