 Solution

A bipartite density operator ${\rho }_{AB}$ has positive partial transpose when ${\rho }_{AB}^{T_B}\ge 0$ in a product basis. Positivity is independent of the choice of local bases, although the matrix representing the partial transpose changes.

If the state is a separable quantum state, write ${\rho }_{AB}={\sum }_j{p}_j{\rho }_j^A\otimes {\rho }_j^B$. Taking its partial transpose givesIndeed, the matrix transpose preserves the nonnegative eigenvalues of each local density operator; a tensor product of positive semidefinite operators is positive, and so is their nonnegative sum. This proves the necessary direction of the positive partial transpose criterion.