Completely positive map (source code)

= 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>.