Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-34/4/a/solution

Fix paired orthonormal bases in the two -dimensional Hilbert spaces. A maximally entangled state is
It is normalized, and the partial traces of its rank-one density operator are . Thus all its Schmidt coefficients are and its entanglement entropy is . No pure bipartite state of these dimensions can have larger entanglement entropy: nonnegativity of quantum relative entropy applied to a reduced state and gives . Hence it is maximally entangled.

New to topics? Read the docs here!