Solution

ID: past-exam-of-the-introduction-to-quantum-information-course-of-the-university-of-oxford/2021/3/a/solution

The partial trace removes the other orthonormal factor in the Schmidt decomposition:
For instance, tracing over gives , which vanishes unless . Consequently the nonzero eigenvalues of the two reduced density operators agree, with multiplicity. If the subsystem dimensions differ, the orthonormal Schmidt families can be completed to full bases and the extra eigenvalues are zero.

New to topics? Read the docs here!