Choi matrix (source code)

= Choi matrix
{c}
{wiki}

For normalized maximally entangled $|\phi\rangle=d^{-1/2}\sum_j|jj\rangle$, the Choi matrix of $T$ is $C_T=(T\otimes\operatorname{id})(|\phi\rangle\langle\phi|)$. Choi's theorem says $T$ is completely positive exactly when $C_T\geq0$.