Dvoretzky's Theorem and the Complexity of Entanglement Detection

Guillaume Aubrun, Stanislaw Szarek

The well-known Horodecki criterion asserts that a state $\rho$ on ${\mathbf{C}}^d\otimes {\mathbf{C}}^d$ is entangled if and only if there exists a positive map $Φ: \mathsf{M}_d \to \mat…