Past exam of the mathematics course of the University of Cambridge / 2023 / ii / Paper 4 / 33B / b / Solution

For $|J,J⟩$, tracing out subsystem 2 gives the reduced density matrixwhich is pure, so its entanglement entropy is zero.

For $|J,J-1⟩$, the two subsystem-2 factors in part (iii) are orthogonal. The partial trace therefore removes the cross terms and givesIts nonzero eigenvalues are $j_1/J$ and $j_2/J$, so the Von Neumann entropy isWhen $j_1=j_2$, both eigenvalues are $1/2$ and $S=\log 2$, the maximal entropy for a rank-two reduced state.