Schmidt decomposition (source code)

= Schmidt decomposition
{c}
{wiki}

= Schmidt decomposition theorem
{c}
{synonym}

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.