 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.