Random unitary channel (source code)

= Random unitary channel

A random unitary channel has $T(\rho)=\sum_jp_jU_j\rho U_j^\dagger$. Its Choi matrix is a convex combination of maximally entangled pure states.