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