Lower Bounds for Testing Complete Positivity and Quantum Separability

Abstract

In this work we are interested in the problem of testing quantum entanglement. More specifically, we study the separability problem in quantum property testing, where one is given n copies of an unknown mixed quantum state $\varrho$ on $\mathbb {C}^d \otimes \mathbb {C}^d$, and one wants to test whether $\varrho$ is separable or $\epsilon$-far from all separable states in trace distance. We prove that $n = \varOmega (d^2/\epsilon ^2)$ copies are necessary to test separability, assuming $\epsilon$ is not too small, viz. $\epsilon = \varOmega (1/\sqrt{d})$.

We also study completely positive distributions on the grid $[d] \times [d]$, as a classical analogue of separable states. We analogously prove that $\varOmega (d/\epsilon ^2)$ samples from an unknown distribution p are necessary to decide whether p is completely positive or $\epsilon$-far from all completely positive distributions in total variation distance.

Supported by NSF grant FET-1909310. This material is based upon work supported by the National Science Foundation under grant numbers listed above. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author and do not necessarily reflect the views of the National Science Foundation (NSF).