Completely positive map
= Completely positive map
{title2=CP map}
{wiki}
A linear map $\Phi$ between matrix algebras is completely positive when $\Phi\otimes\operatorname{id}_r$ is positive for every ancillary dimension $r$. In finite dimensions this is equivalent to positivity of its <Choi matrix> and to the existence of a <Kraus representation>.