A positive semi-definite block matrix (a state if it is normalized) is said to be separable if it is the sum of simple tensors of positive semi-definite matrices. A state is said to be entangled if it is not separable. It is very difficult to detect the border between separable and entangled states. The PPT (positive partial transpose) criterion tells us that the partial transpose of a separable state is again positive semi-definite, as was observed by M. D. Choi in 1982 from...