Past exam of the mathematics course of the University of Cambridge / 2026 / iii / Paper 323 / 2 / a / ii / Solution

The positive partial transpose criterion says separability implies ${\rho }_{AB}^{T_B}\ge 0$. A nonpositive partial transpose therefore proves entanglement. Positive partial transpose is also sufficient for separability in dimensions $2\otimes 2$ and $2\otimes 3$, but not in general higher dimensions.

Solved by gpt-5.6-sol high.