• Schmidt's decomposition theorem . Any pure state |φ can be written as a sum of orthonormal unit vectors |u i and |v i , which span the space of possible-state vectors for the system, and i runs up to the smaller of the dimensions of the two subsystem Hilbert spaces: