Detecting separable states via semidefinite programs
arXiv:0708.2113 · doi:10.1103/PhysRevA.76.032318
Abstract
We introduce a new technique to detect separable states using semidefinite programs. This approach provides a sufficient condition for separability of a state that is based on the existence of a certain local linear map applied to a known separable state. When a state is shown to be separable, a proof of this fact is provided in the form of an explicit convex decomposition of the state in terms of product states. All states in the interior of the set of separable states can be detected in this way, except maybe for a set of measure zero. Even though this technique is more suited for a numerical approach, a new analytical criterion for separability can also be derived.
8 pages, accepted for publication in Physical Review A
References in corpus (11)
- Separability Criterion for Density Matrices
- Separability of Mixed States: Necessary and Sufficient Conditions
- Separability criterion and inseparable mixed states with positive partial transposition
- A complete family of separability criteria
- Distinguishing separable and entangled states
- Largest separable balls around the maximally mixed bipartite quantum state
- Local indistinguishability: more nonlocality with less entanglement
- Local indistinguishability and LOCC monotones
- Optimum Quantum Error Recovery using Semidefinite Programming
- A Robust Semidefinite Programming Approach to the Separability Problem
- A two-way algorithm for the entanglement problem
Cited by in corpus (7)
- Convex optimization over classes of multiparticle entanglement
- A complete criterion for separability detection
- Algorithm for characterizing stochastic local operations and classical communication classes of multiparticle entanglement
- Iterations of nonlinear entanglement witnesses
- The Essentially Entangled Component of Multipartite Mixed Quantum States, its Properties and an Efficient Algorithm for its Extraction
- Multiparticle Entanglement Resolution Analyzer based on Quantum-Control-Assisted Uncertainty Relation
- Algorithm for evaluating distance-based entanglement measures