Solution

ID: past-exam-of-the-theoretical-physics-ii-course-of-the-university-of-cambridge/2016/paper-1/2/a/solution

Assume the composite pure state has unit norm. Put its amplitudes into the matrix
The partial trace contracts the same index between ket and bra:
Thus
It is Hermitian, positive semidefinite and has trace one. Its determinant is particularly useful:
This follows from multiplicativity of the determinant, or by expanding the two-by-two expression. If the supplied amplitudes were not normalized, the physical reduced state would be instead.

New to topics? Read the docs here!