A complete family of separability criteria

Abstract

We introduce a new family of separability criteria that are based on the existence of extensions of a bipartite quantum state $\rho$ to a larger number of parties satisfying certain symmetry properties. It can be easily shown that all separable states have the required extensions, so the non-existence of such an extension for a particular state implies that the state is entangled. One of the main advantages of this approach is that searching for the extension can be cast as a convex optimization problem known as a semidefinite program (SDP). Whenever an extension does not exist, the dual optimization constructs an explicit entanglement witness for the particular state. These separability tests can be ordered in a hierarchical structure whose first step corresponds to the well-known Positive Partial Transpose (Peres-Horodecki) criterion, and each test in the hierarchy is at least as powerful as the preceding one. This hierarchy is complete, in the sense that any entangled state is guaranteed to fail a test at some finite point in the hierarchy, thus showing it is entangled. The entanglement witnesses corresponding to each step of the hierarchy have well-defined and very interesting algebraic properties that in turn allow for a characterization of the interior of the set of positive maps. Coupled with some recent results on the computational complexity of the separability problem, which has been shown to be NP-hard, this hierarchy of tests gives a complete and also computationally and theoretically appealing characterization of mixed bipartite entangled states.

21 pages. Expanded introduction. References added, typos corrected. Accepted for publication in Physical Review A

References in corpus (19)

• Separability Criterion for Density Matrices
• Separability of Mixed States: Necessary and Sufficient Conditions
• On the volume of the set of mixed entangled states
• Separability criterion and inseparable mixed states with positive partial transposition
• Mixed-state entanglement and distillation: is there a ``bound'' entanglement in nature?
• Bell Inequalities and the Separability Criterion
• Unextendible Product Bases and Bound Entanglement
• Optimization of entanglement witnesses
• Unknown Quantum States: The Quantum de Finetti Representation
• Distinguishing separable and entangled states
• Separable states are more disordered globally than locally
• Classification of multi-qubit mixed states: separability and distillability properties
• Minimal conditions for local pure-state entanglement manipulation
• Reflections upon separability and distillability
• Characterization of separable states and entanglement witnesses
• The asymptotic relative entropy of entanglement
• Local Hidden Variable Theories for Quantum States
• Optimizing Completely Positive Maps using Semidefinite Programming
• Checking $2\times M$ separability via semidefinite programming

Cited by in corpus (282)

• Quantum entanglement
• Bell nonlocality
• Entanglement detection
• Quantum discord and the power of one qubit
• A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
• Catalytic Coherence
• Research on Hidden Variable Theories: a review of recent progresses
• Entanglement conditions for two-mode states
• Quantifying Einstein-Podolsky-Rosen steering
• Taming multiparticle entanglement
• Quantifying Entanglement with Witness Operators
• Optimal spin squeezing inequalities detect bound entanglement in spin models
• Entanglement witnesses: construction, analysis and classification
• One-and-a-half quantum de Finetti theorems
• Faithful Squashed Entanglement
• Entropic uncertainty relations and entanglement
• Hypercontractivity, Sum-of-Squares Proofs, and their Applications
• Are general quantum correlations monogamous?
• Covariance matrices and the separability problem
• Measurement-Device-Independent Entanglement Witnesses for All Entangled Quantum States
• Signatures of non-classicality in mixed-state quantum computation
• Entanglement and permutational symmetry
• Extremal properties of the variance and the quantum Fisher information
• Optimal entanglement witnesses for continuous-variable systems
• All entangled states are useful for channel discrimination
• Monogamy of quantum correlations - a review
• Optimizing practical entanglement distillation
• Detecting multipartite entanglement
• Random matrix techniques in quantum information theory
• Evaluation of convex roof entanglement measures
• Energy as an Entanglement Witness for Quantum Many-Body Systems
• Entanglement criteria based on local uncertainty relations are strictly stronger than the computable cross norm criterion
• Entanglement Detection by Local Orthogonal Observables
• Natural Framework for Device-Independent Quantification of Quantum Steerability, Measurement Incompatibility, and Self-Testing
• Complete hierarchies of efficient approximations to problems in entanglement theory
• A resource theory of quantum memories and their faithful verification with minimal assumptions
• Asymptotic quantum cloning is state estimation
• Should Entanglement Measures be Monogamous or Faithful?
• Noise Robustness of the Incompatibility of Quantum Measurements
• Distribution of entanglement in large-scale quantum networks
• General method for constructing local-hidden-variable models for entangled quantum states
• The power of symmetric extensions for entanglement detection
• Principles of Quantum Communication Theory: A Modern Approach
• Broadcast copies reveal the quantumness of correlations
• Separable Multipartite Mixed States - Operational Asymptotically Necessary and Sufficient Conditions
• Relaxations of separability in multipartite systems: Semidefinite programs, witnesses and volumes
• The sum-of-squares hierarchy on the sphere, and applications in quantum information theory
• The Church of the Symmetric Subspace
• Genuine three-partite entangled states with a local hidden variable model
• Bounds on Quantum Correlations in Bell Inequality Experiments
• Efficient optimization of the quantum relative entropy
• A simple proof of monogamy of entanglement
• Semidefinite programming relaxations for quantum correlations
• Tomography is necessary for universal entanglement detection with single-copy observables
• Optimizing linear optics quantum gates
• Activation of Non-Local Quantum Resources
• Detecting two-party quantum correlations in quantum key distribution protocols
• On quantum advantage in dense coding
• Entanglement Detection Beyond Measuring Fidelities
• Entanglement of the Antisymmetric State
• Probing quantum correlations in many-body systems: a review of scalable methods
• Suboptimal quantum-error-correcting procedure based on semidefinite programming
• A Robust Semidefinite Programming Approach to the Separability Problem
• Measurement-device-independent entanglement and randomness estimation in quantum networks
• Witnessing quantum memory in non-Markovian processes
• An Introduction to Quantum Entanglement: a Geometric Approach
• Symmetric Extension of Two-Qubit States
• A (5,5) and (6,6) PPT edge state
• Practical methods for witnessing genuine multi-qubit entanglement in the vicinity of symmetric states
• The Power of Noisy Fermionic Quantum Computation
• Type-independent Characterization of Spacelike Separated Resources
• Entanglement Structure: Entanglement Partitioning in Multipartite Systems and Its Experimental Detection Using Optimizable Witnesses
• Global entanglement in XXZ chains
• Extendibility limits the performance of quantum processors
• Partial separability revisited: Necessary and sufficient criteria
• Better Bell Inequality Violation by Collective Measurements
• A two-way algorithm for the entanglement problem
• A complete criterion for separability detection
• Quantifying the coherence of pure quantum states
• Quantum de Finetti theorem under fully-one-way adaptive measurements
• Detection of $k$-partite entanglement and $k$-nonseparability of multipartite quantum states
• Improved algorithm for quantum separability and entanglement detection
• Compatibility of subsystem states and convex geometry
• A quasipolynomial-time algorithm for the quantum separability problem
• Optimization of device-independent witnesses of entanglement depth from two-body correlators
• Tight Cramér-Rao type bounds for multiparameter quantum metrology through conic programming
• A study of separability criteria for mixed three-qubit states
• System-time entanglement in a discrete time model
• An improved semidefinite programming hierarchy for testing entanglement
• Phase-Covariant Quantum Benchmarks
• Non-full rank bound entangled states satisfying the range criterion
• Approximating the Set of Separable States Using the Positive Partial Transpose Test
• One-way quantum key distribution: Simple upper bound on the secret key rate
• Quantum marginal problem and incompatibility
• Deconstruction and conditional erasure of quantum correlations
• Description of rank four PPT entangled states of two qutrits
• Mutually Unbiased Bases and Semi-definite Programming
• Searching for extremal PPT entangled states
• Symmetric extension in two-way quantum key distribution
• Separability problem for multipartite states of rank at most four
• Bell states diagonal entanglement witnesses
• Detection of Multiparticle Entanglement: Quantifying the Search for Symmetric Extensions
• Semidefinite programming hierarchies for constrained bilinear optimization
• Jordan products of quantum channels and their compatibility
• Hilbert-Schmidt distance and entanglement witnessing
• Measurement Device Independent Verification of Quantum Channels
• Semi-definite programming and quantum information
• Quantum Convex Support
• Maximally entangled mixed states for qubit-qutrit systems
• Efficient Online Quantum Generative Adversarial Learning Algorithms with Applications
• Approximation algorithms for QMA-complete problems
• Entanglement Theory and the Quantum Simulation of Many-Body Physics
• Efficient Bipartite Entanglement Detection Scheme with a Quantum Adversarial Solver
• Manipulating Multi-qudit Entanglement Witnesses by Using Linear Programming
• Entanglement and the truncated moment problem
• Quantum Shannon Theory
• Quantum Gate Fidelity in Terms of Choi Matrices
• Estimating entanglement in teleportation experiments
• The positive partial transpose conjecture for n=3
• Iterations of nonlinear entanglement witnesses
• Exponential clustering of bipartite quantum entanglement at arbitrary temperatures
• Simple and maximally robust processes with no classical common-cause or direct-cause explanation
• Practical measurement-device-independent entanglement quantification
• Detecting Entanglement can be More Effective with Inequivalent Mutually Unbiased Bases
• The quantum marginal problem for symmetric states: applications to variational optimization, nonlocality and self-testing
• Entanglement marginal problems
• Non-classical correlations in quantum mechanics and beyond
• Lower Bounding Ground-State Energies of Local Hamiltonians Through the Renormalization Group
• Calibration robust entanglement detection beyond Bell inequalities
• Resource theory of unextendibility and non-asymptotic quantum capacity
• Dimension-free entanglement detection in multipartite Werner states
• Extendibility of bosonic Gaussian states
• SLOCC Convertibility between Two-Qubit States
• The Communication Value of a Quantum Channel
• Quantum-Inspired Hierarchy for Rank-Constrained Optimization
• Bell-states diagonal entanglement witnesses for relativistic and non-relativistic multispinor systems in arbitrary dimensions
• A Variational Approach to the Quantum Separability Problem
• Entanglement of genuinely entangled subspaces and states: exact, approximate, and numerical results
• Experimental hierarchy of two-qubit quantum correlations without state tomography
• Quantum interactive proofs and the complexity of separability testing
• Complete hierarchy for high-dimensional steering certification
• Pure state estimation and the characterization of entanglement
• Description of thermal entanglement with the static path plus random-phase approximation
• Simple test for quantum channel capacity
• Positive maps and trace polynomials from the symmetric group
• Optimized detection of high-dimensional entanglement
• Testing symmetry on quantum computers
• Characterising the Hierarchy of Multi-time Quantum Processes with Classical Memory
• Structural physical approximations and entanglement witnesses
• Entanglement Distillation; A Discourse on Bound Entanglement in Quantum Information Theory
• Physical Entanglement Between Localized Orbitals
• Activation of nonlocality in bound entanglement
• An elementary introduction to the geometry of quantum states with pictures
• Limitations of semidefinite programs for separable states and entangled games
• Detecting three-qubit bound MUB diagonal entangled states via Nonlinear optimal entanglement witnesses
• Hierarchy of efficiently computable and faithful lower bounds to quantum discord
• Cryptography in a Quantum World
• Automated Machine Learning can Classify Bound Entangled States with Tomograms
• Numerical and analytical results for geometric measure of coherence and geometric measure of entanglement
• Entangled symmetric states and copositive matrices
• Separability discrimination and decomposition of $m$-partite quantum mixed states
• RepLAB: a computational/numerical approach to representation theory
• Truncated su(2) moment problem for spin and polarization states
• Investigating a Class of $2\otimes 2\otimes d$ Chessboard Density Matrices via Linear and Non-linear Entanglement Witnesses Constructed by Exact Convex Optimization
• Norms and Cones in the Theory of Quantum Entanglement
• Efficient and robust detection of multipartite Greenberger-Horne-Zeilinger-like states
• Quantitative bound entanglement in two-qutrit states
• Symmetric extension of bipartite quantum states and its use in quantum key distribution with two-way postprocessing
• Characterization of equivariant maps and application to entanglement detection
• Correlated entanglement distillation and the structure of the set of undistillable states
• Test one to test many: a unified approach to quantum benchmarks
• Quantum Wasserstein distance based on an optimization over separable states
• Detecting Consistency of Overlapping Quantum Marginals by Separability
• Deciding separability with a fixed error
• Finding the optimal probe state for multiparameter quantum metrology using conic programming
• Computational approach to quantum encoder design for purity optimization
• Certificates of quantum many-body properties assisted by machine learning
• Quantifying the performance of approximate teleportation and quantum error correction via symmetric two-PPT-extendibility
• Upper bounds for the secure key rate of decoy state quantum key distribution
• Geometric Rényi Divergence and its Applications in Quantum Channel Capacities
• Parallel ergotropy: Maximum work extraction via parallel local unitary operations
• Tomographic Witnessing and Holographic Quantifying of Coherence
• Two-message quantum interactive proofs and the quantum separability problem
• Certifying Quantum Separability with Adaptive Polytopes
• Using non-positive maps to characterize entanglement witnesses
• $k$-extendibility of high-dimensional bipartite quantum states
• Device independent security of quantum key distribution from monogamy-of-entanglement games
• Detecting Entanglement with Partial State Information
• Detecting separable states via semidefinite programs
• Semi-device-independently characterizing quantum temporal correlations
• On the equivalence of separability and extendability of quantum states
• Estimating operator norms using covering nets
• Can entanglement hide behind triangle-free graphs?
• Implementing positive maps with multiple copies of an input state
• Connector tensor networks: a renormalization-type approach to quantum certification
• Entangled states in the role of witnesses
• The hierarchies of "witnesses" and the properties and characterization of entangled states as super entanglement witnesses
• On single-photon quantum key distribution in the presence of loss
• Quantum Preparation Games
• Classification of joint quantum measurements based on entanglement cost of localization
• Complete criterion for convex-Gaussian state detection
• SymDPoly: symmetry-adapted moment relaxations for noncommutative polynomial optimization
• A Complete Hierarchy of Linear Systems for Certifying Quantum Entanglement of Subspaces
• Dvoretzky's Theorem and the Complexity of Entanglement Detection
• Symmetric quantum states: a review of recent progress
• Noiseless method for checking the Peres separability criterion by local operations and classical communication
• Quantifying the unextendibility of entanglement
• Constructing all entanglement witnesses from density matrices
• Constructing Entanglement Witness Via Real Skew-Symmetric Operators
• Internal Boundary between Entanglement and Separability Within a Quantum State
• Symmetric extendibility of quantum states
• Nonequivalence between absolute separability and positive partial transposition in the symmetric subspace
• Schrödinger as a Quantum Programmer: Estimating Entanglement via Steering
• Truncated moment sequences and a solution to the channel separability problem
• Tripartite separability conditions exponentially violated by Gaussian states
• Revealing hidden physical nonclassicality with nonnegative polynomials
• Computable entanglement cost under positive partial transpose operations
• A fidelity measure for quantum states based on the matrix geometric mean
• Sufficient criteria for absolute separability in arbitrary dimensions via linear map inverses
• Degree of separability of bipartite quantum states
• Monogamy of entanglement between cones
• A family of generalized Horodecki-like entangled states
• All multipartite entanglements are quantum coherences in locally distinguishable bases
• Computing finite-dimensional bipartite quantum separability
• Efficient quantum algorithms for testing symmetries of open quantum systems
• Quantifying subspace entanglement with geometric measures
• Quasi-polynomial time algorithms for free quantum games in bounded dimension
• Five Starter Pieces: Quantum Information Science via Semi-definite Programs
• Multipartite entanglement detection via generalized Wigner-Yanase skew information
• Approximation, Proof Systems, and Correlations in a Quantum World
• Sufficient condition for nonexistence of symmetric extension of qudits using Bell inequalities
• Hybrid Zero-capacity Channels
• Universal methods for extending any entanglement witness from the bipartite to the multipartite case
• Is absolute separability determined by the partial transpose?
• Quantum Computational Complexity and Symmetry
• Computational Complexity and the Nature of Quantum Mechanics
• On the separability of unitarily invariant random quantum states - the unbalanced regime
• A Post-Quantum Associative Memory
• Studies on the Role of Entanglement in Mixed-state Quantum Computation
• Extendible quantum measurements and limitations on classical communication
• Generating random Gaussian states
• Iterative optimization in quantum metrology and entanglement theory using semidefinite programming
• Bipartite entanglement and the arrow of time
• Efficient tensor networks for control-enhanced quantum metrology
• Separability of Hermitian Tensors and PSD Decompositions
• Correlations, Bell Inequality Violation & Quantum Entanglement
• An Inexact Projected Gradient Method with Rounding and Lifting by Nonlinear Programming for Solving Rank-One Semidefinite Relaxation of Polynomial Optimization
• Entanglement conditions and polynomial identities
• Mirrored Entanglement Witnesses for Multipartite and High-Dimensional Quantum Systems
• Witnessing environment dimension through temporal correlations
• Monogamy of highly symmetric states
• Decomposition of completely symmetric states states
• Measurement-device-independent nonlinear entanglement witnesses
• Refuting spectral compatibility of quantum marginals
• Squashed quantum non-Markovianity: a measure of genuine quantum non-Markovianity in states
• Efficient bounds on quantum communication rates via their reduced variants
• Unextendible entanglement of quantum channels
• Extendibility limits quantum-secured communication and key distillation
• Entanglement-Enhanced Classical Communication
• State-witness contraction
• Entanglement and distillation from symmetric positive maps
• Entanglement in the Dicke subspace
• Computational Complexity and the Nature of Quantum Mechanics (Extended version)
• Structure of quantum measurements implementable with one round of classical communication
• Robust certification of non-projective measurements: theory and experiment
• There, and Back Again: Quantum Theory and Global Optimisation
• Quantum Entanglement & Purity Testing: A Graph Zeta Function Perspective
• Effect of phase fluctuation and dephasing on the dynamics of entanglement generation in a correlated emission laser
• Tapping into Permutation Symmetry for Improved Detection of k-Symmetric Extensions
• Positive Maps and Separable Matrices
• Semi-device-independent certification of number of measurements
• Entanglement witnessing with untrusted detectors
• Characterization and properties of weakly optimal entanglement witnesses
• On the separability criterion of bipartite states with certain non-Hermitian operators
• Bounding Real Tensor Optimizations via the Numerical Range
• Detecting Entanglement by Pure Bosonic Extension
• Hybrid no-signaling-quantum correlations
• Entanglement criterion for pure $M\otimes N$ bipartite quantum states
• Scalable Ellipsoidal Classification for Bipartite Quantum States
• A Note on Quantum Separability
• Quantum Advantage in Identifying the Parity of Permutations with Certainty
• On the tensor convolution and the quantum separability problem