Partial transpose

lemma partial_transpose_preserves_trace :
Tr R S = Tr R.PT S.PT := sorry

Entangled states with a positive partial transpose cannot be distilled

Positive partial transpose of separable state

Non-distillable quantum states with a negative partial transpose;