Schmidt decomposition (source code)

= Schmidt decomposition
{c}
{wiki}

Every finite-dimensional bipartite pure state has a decomposition $|\psi\rangle=\sum_{j=1}^r s_j|a_j\rangle|b_j\rangle$ with positive Schmidt coefficients $s_j$ and orthonormal families on each subsystem.