Vollständig Positive Abbildung

Eine vollständig positive (CP) Abbildung ist eine lineare Abbildung Φ zwischen Operatoralgebren, so dass für jedes Hilbertraum-Ancilla die erweiterte Abbildung id_A ⊗ Φ positive Operatoren auf positive Operatoren abbildet. Äquivalent besitzt Φ im endlichdimensionalen Fall eine Kraus-Darstellung Φ(·)=∑_i K_i (·) K_i†, welche die Positivität bei verschränkten Eingaben sicherstellt.