An Improved Semidefinite Programming Hierarchy for Testing Entanglement
Abstract
We present a stronger version of the Doherty-Parrilo-Spedalieri (DPS) hierarchy of approximations for the set of separable states. Unlike DPS, our hierarchy converges exactly at a finite number of rounds for any fixed input dimension. This yields an algorithm for separability testing that is singly exponential in dimension and polylogarithmic in accuracy. Our analysis makes use of tools from algebraic geometry, but our algorithm is elementary and differs from DPS only by one simple additional collection of constraints.
- Publication:
-
Communications in Mathematical Physics
- Pub Date:
- June 2017
- DOI:
- 10.1007/s00220-017-2859-0
- arXiv:
- arXiv:1506.08834
- Bibcode:
- 2017CMaPh.352..881H
- Keywords:
-
- Quantum Physics;
- Computer Science - Data Structures and Algorithms;
- Mathematics - Optimization and Control
- E-Print:
- 22 pages. v2: published version, adds numerical results. Matlab code available at https://github.com/isobovine/dpsplus/