We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Quantum Physics

Title: Dvoretzky's Theorem and the Complexity of Entanglement Detection

Abstract: 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 $\Phi : \mathsf{M}_d \to \mathsf{M}_d$ such that the operator $(\Phi \otimes \mathrm{Id})(\rho)$ is not positive semi-definite. We show that the number of such maps needed to detect all the robustly entangled states (i.e., states $\rho$ which remain entangled even in the presence of substantial randomizing noise) exceeds $\exp(c d^3 / \log d)$. The proof is based on the 1977 inequality of Figiel--Lindenstrauss--Milman, which ultimately relies on Dvoretzky's theorem about almost spherical sections of convex bodies. We interpret that inequality as a statement about approximability of convex bodies by polytopes with few vertices or with few faces and apply it to the study of fine properties of the set of quantum states and that of separable states. Our results can be thought of as geometrical manifestations of the complexity of entanglement detection.
Comments: Accepted talk in QIP'16. V2: added a variant of the main theorem showing that very highly entangled states are already hard to detect. V3: published version; improved presentation, results unchanged
Subjects: Quantum Physics (quant-ph); Functional Analysis (math.FA)
MSC classes: 81P40, 46B07
Journal reference: Discrete Analysis, 2017:1, 20 pp
DOI: 10.19086/da.1242
Cite as: arXiv:1510.00578 [quant-ph]
  (or arXiv:1510.00578v3 [quant-ph] for this version)

Submission history

From: Guillaume Aubrun [view email]
[v1] Fri, 2 Oct 2015 12:38:59 GMT (18kb)
[v2] Fri, 25 Mar 2016 15:10:37 GMT (23kb)
[v3] Thu, 12 Jan 2017 09:16:58 GMT (53kb,D)

Link back to: arXiv, form interface, contact.