Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:0805.1318 · Physical Review A

Necessary and sufficient conditions for bipartite entanglement

Jan Sperling, W. Vogel

Published Feb 19, 2009• 99 citations
arXivHTMLPDF

Abstract

Necessary and sufficient conditions for bipartite entanglement are derived, which apply to arbitrary Hilbert spaces. Motivated by the concept of witnesses, optimized entanglement inequalities are formulated solely in terms of arbitrary Hermitian operators, which makes them useful for applications in experiments. The needed optimization procedure is based on a separability eigenvalue problem, whose analytical solutions are derived for a special class of projection operators. For general Hermitian operators, a numerical implementation of entanglement tests is proposed. It is also shown how to identify bound entangled states with positive partial transposition.

DOI
10.1103/physreva.79.022318

Related papers

Detecting entanglement with non-hermitian operators

Mark S. Hillery

There is no single test that will determine whether a general quantum state is separable or entangled. There are, however, a number of sufficient conditions, including the partial-transpose condition and entanglement witnesses. Here we present a class of sufficient conditions based on expectation values of non-hermitian operators. Initially we examine bipartite systems. The application of these conditions to multimode states of the electromagnetic field and to spin systems is discussed. We show that our original conditions can be strengthened if we make them invariant under certain classes of local unitary transformations. We then go on to study multipartite systems and present conditions that can be used to show that a state is not totally separable. Some simple applications of these conditions are also presented.

International Conference on Quantum Information•Jan 1, 2011•0 citations

Separability criteria and bounds for entanglement measures

Heinz‐Peter Breuer

Employing a recently proposed separability criterion we develop analytical lower bounds for the concurrence and for the entanglement of formation of bipartite quantum systems. The separability criterion is based on a nondecomposable positive map which operates on state spaces with even dimension N >= 4, and leads to a class of nondecomposable optimal entanglement witnesses. It is shown that the bounds derived here complement and improve the existing bounds obtained from the criterion of positive partial transposition and from the realignment criterion.

arXiv:quant-ph/0606185•Journal of Physics A Mathematical and General•Sep 5, 2006•95 citations

Optimization of entanglement witnesses

Maciej Lewenstein, Barbara Kraus, J. I. Cirac +1 more

An entanglement witness (EW) is an operator that allows the detection of entangled states. We give necessary and sufficient conditions for such operators to be optimal, i.e., to detect entangled states in an optimal way. We show how to optimize general EW, and then we particularize our results to the nondecomposable ones; the latter are those that can detect positive partial transpose entangled states (PPTES's). We also present a method to systematically construct and optimize this last class of operators based on the existence of ``edge'' PPTES's, i.e., states that violate the range separability criterion [Phys. Lett. A 232, 333 (1997)] in an extreme manner. This method also permits a systematic construction of nondecomposable positive maps (PM's). Our results lead to a sufficient condition for entanglement in terms of nondecomposable EW's and PM's. Finally, we illustrate our results by constructing optimal EW acting on $H={C}^{2}\ensuremath{\bigotimes}{C}^{4}.$ The corresponding PM's constitute examples of PM's with minimal ``qubit'' domains, or---equivalently---minimal Hermitian conjugate codomains.

arXiv:quant-ph/0005014•Physical Review A•Oct 16, 2000•684 citations

Separable Multipartite Mixed States: Operational Asymptotically Necessary and Sufficient Conditions

Fernando G. S. L. Brandão, Reinaldo O. Vianna

We introduce an operational procedure to determine, with arbitrary probability and accuracy, optimal entanglement witnesses for every multipartite entangled state. This method provides an operational criterion for separability which is asymptotically necessary and sufficient. Our results are also generalized to detect all different types of multipartite entanglement.

arXiv:quant-ph/0405063•Physical Review Letters•Nov 24, 2004•71 citations

Numerical Construction of Multipartite Entanglement Witnesses

S. Gerke, W. Vogel, Jan Sperling

Entanglement in multipartite systems is a key resource for quantum information and communication protocols, making its verification in complex systems a necessity.Because an exact calculation of arbitrary entanglement probes is impossible, we derive and implement a numerical method to construct multipartite witnesses to uncover entanglement in arbitrary systems.Our technique is based on a substantial generalization of the power iteration-an essential tool for computing eigenvalues-and it is a solver for the separability eigenvalue equations, enabling the general formulation of optimal entanglement witnesses.Beyond our rigorous derivation and direct implementation of this method, we apply our approach to several examples of complexly quantum-correlated states and benchmark its general performance.Consequently, we provide a generally applicable numerical tool for the identification of multipartite entanglement.

arXiv:1801.08371•Physical Review X•Aug 20, 2018•22 citations

Simple Sufficient Criteria for Optimality of Entanglement Witnesses

Frederik vom Ende, Simon Cichy

If one wants to establish optimality of a given bipartite entanglement witness, the current standard approach is to check whether it has the spanning property. Although this is not necessary for optimality, it is most often satisfied in practice, and for small enough dimensions or sufficiently structured witnesses this criterion can be checked by hand. In this work we introduce a novel characterization of the spanning property via entanglement-breaking channels, which in turn leads to a new sufficient criterion for optimality. This criterion amounts to just checking the kernel of some bipartite state. It is slightly weaker than the spanning property, but it is a lot easier to test for -- by hand as well as numerically -- and it applies to almost all witnesses which are known to have the spanning property. A second criterion is derived from this, where one can simply compute the expectation value of the given witness on a maximally entangled state. Finally, this approach implies new spectral constraints on witnesses as well as on positive maps.

arXiv:2505.15615•May 21, 2025•0 citations
Necessary and sufficient conditions for bipartite entanglement are derived, which apply to arbitrary Hilbert spaces. Motivated by the concept of witnesses, optimized entanglement inequalities are formulated solely in terms of arbitrary Hermitian operators, which makes them useful for applications in experiments. The needed optimization procedure is based on a separability eigenvalue problem, whose analytical solutions are derived for a special class of projection operators. For general Hermitian operators, a numerical implementation of entanglement tests is proposed. It is also shown how to identify bound entangled states with positive partial transposition.
There is no single test that will determine whether a general quantum state is separable or entangled. There are, however, a number of sufficient conditions, including the partial-transpose condition and entanglement witnesses. Here we present a class of sufficient conditions based on expectation values of non-hermitian operators. Initially we examine bipartite systems. The application of these conditions to multimode states of the electromagnetic field and to spin systems is discussed. We show that our original conditions can be strengthened if we make them invariant under certain classes of local unitary transformations. We then go on to study multipartite systems and present conditions that can be used to show that a state is not totally separable. Some simple applications of these conditions are also presented.
Employing a recently proposed separability criterion we develop analytical lower bounds for the concurrence and for the entanglement of formation of bipartite quantum systems. The separability criterion is based on a nondecomposable positive map which operates on state spaces with even dimension N >= 4, and leads to a class of nondecomposable optimal entanglement witnesses. It is shown that the bounds derived here complement and improve the existing bounds obtained from the criterion of positive partial transposition and from the realignment criterion.
An entanglement witness (EW) is an operator that allows the detection of entangled states. We give necessary and sufficient conditions for such operators to be optimal, i.e., to detect entangled states in an optimal way. We show how to optimize general EW, and then we particularize our results to the nondecomposable ones; the latter are those that can detect positive partial transpose entangled states (PPTES's). We also present a method to systematically construct and optimize this last class of operators based on the existence of ``edge'' PPTES's, i.e., states that violate the range separability criterion [Phys. Lett. A 232, 333 (1997)] in an extreme manner. This method also permits a systematic construction of nondecomposable positive maps (PM's). Our results lead to a sufficient condition for entanglement in terms of nondecomposable EW's and PM's. Finally, we illustrate our results by constructing optimal EW acting on $H={C}^{2}\ensuremath{\bigotimes}{C}^{4}.$ The corresponding PM's constitute examples of PM's with minimal ``qubit'' domains, or---equivalently---minimal Hermitian conjugate codomains.
Entanglement in multipartite systems is a key resource for quantum information and communication protocols, making its verification in complex systems a necessity.Because an exact calculation of arbitrary entanglement probes is impossible, we derive and implement a numerical method to construct multipartite witnesses to uncover entanglement in arbitrary systems.Our technique is based on a substantial generalization of the power iteration-an essential tool for computing eigenvalues-and it is a solver for the separability eigenvalue equations, enabling the general formulation of optimal entanglement witnesses.Beyond our rigorous derivation and direct implementation of this method, we apply our approach to several examples of complexly quantum-correlated states and benchmark its general performance.Consequently, we provide a generally applicable numerical tool for the identification of multipartite entanglement.
If one wants to establish optimality of a given bipartite entanglement witness, the current standard approach is to check whether it has the spanning property. Although this is not necessary for optimality, it is most often satisfied in practice, and for small enough dimensions or sufficiently structured witnesses this criterion can be checked by hand. In this work we introduce a novel characterization of the spanning property via entanglement-breaking channels, which in turn leads to a new sufficient criterion for optimality. This criterion amounts to just checking the kernel of some bipartite state. It is slightly weaker than the spanning property, but it is a lot easier to test for -- by hand as well as numerically -- and it applies to almost all witnesses which are known to have the spanning property. A second criterion is derived from this, where one can simply compute the expectation value of the given witness on a maximally entangled state. Finally, this approach implies new spectral constraints on witnesses as well as on positive maps.