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:1607.03364 · Scientific Reports

A Necessary and Sufficient Criterion for the Separability of Quantum State

Junli Li, Cong‐Feng Qiao

Published Jan 17, 2018• 33 citations
arXivHTMLPDF

Abstract

Quantum entanglement has been regarded as one of the key physical resources in quantum information sciences. However, the determination of whether a mixed state is entangled or not is generally a hard issue, even for the bipartite system. In this work we propose an operational necessary and sufficient criterion for the separability of an arbitrary bipartite mixed state, by virtue of the multiplicative Horn's problem. The work follows the work initiated by Horodecki et al. and uses the Bloch vector representation introduced to the separability problem by J. De Vicente. In our criterion, a complete and finite set of inequalities to determine the separability of compound system is obtained, which may be viewed as trade-off relations between the quantumness of subsystems. We apply the obtained result to explicit examples, e.g. the separable decomposition of arbitrary dimension Werner state and isotropic state.

DOI
10.1038/s41598-018-19709-z

Related papers

On sufficient and necessary criteria of multipartite quantum entanglement

Zhi-Bo Chen, Shao-Ming Fei

Abstract Based on the generalized Bloch representation, we study the separability and entanglement of arbitrary dimensional multipartite quantum states. Some sufficient and some necessary criteria are presented. For certain states, these criteria together are both sufficient and necessary. Detailed examples show that our criteria are better than some existing ones in identifying separability. Based on these criteria, the largest separable ball around the maximally mixed state for arbitrary multi-qubit systems is found, and it is proved that its radius defined via the l 1-norm of the Bloch vector is the constant 1. Furthermore, the criteria in this paper can be implemented experimentally.

arXiv:2503.10123•Physica Scripta•Aug 8, 2025•0 citations

Separability criteria based on the Bloch representation of density matrices

Juan de Vicente

We study the separability of bipartite quantum systems in arbitrary dimensions using the Bloch representation of their density matrix. This approach enables us to find an alternative characterization of the separability problem, from which we derive a necessary condition and sufficient conditions for separability. For a certain class of states the necessary condition and a sufficient condition turn out to be equivalent, therefore yielding a necessary and sufficient condition. The proofs of the sufficient conditions are constructive, thus providing decompositions in pure product states for the states that satisfy them. We provide examples that show the ability of these conditions to detect entanglement. In particular, the necessary condition is proved to be strong enough to detect bound entangled states.

arXiv:quant-ph/0607195•Quantum Information and Computation•Sep 1, 2007•99 citations

Quantum entanglement in finite-dimensional Hilbert spaces

Szilárd Szalay

In the past decades, quantum entanglement has been recognized to be the basic resource in quantum information theory. A fundamental need is then the understanding its qualification and its quantification: Is the quantum state entangled, and if it is, then how much entanglement is carried by that? These questions introduce the topics of separability criteria and entanglement measures, both of which are based on the issue of classification of multipartite entanglement. In this dissertation, after reviewing these three fundamental topics for finite dimensional Hilbert spaces, I present my contribution to knowledge. My main result is the elaboration of the partial separability classification of mixed states of quantum systems composed of arbitrary number of subsystems of Hilbert spaces of arbitrary dimensions. This problem is simple for pure states, however, for mixed states it has not been considered in full detail yet. I give not only the classification but also necessary and sufficient criteria for the classes, which make it possible to determine to which class a mixed state belongs. Moreover, these criteria are given by the vanishing of quantities measuring entanglement. Apart from these, I present some side results related to the entanglement of mixed states. These results are obtained in the learning phase of my studies and give some illustrations and examples.

arXiv:1302.4654•Feb 19, 2013•6 citations

Finer Characterizations of Pure Bipartite Entanglement

Che-Hsu Li

A new criterion necessary and sufficient for the separability of pure bipartite systems for arbitrary finite dimensions is demonstrated; and the corresponding finer quantitative measures or characterizations of entanglement (beyond mere separability or non-separability determination) are discussed. Based on this criterion, we proved that the well-known Peres-Horodecki positivity-of-partial-transform criterion is also necessary and sufficient for separability in the case of pure bipartite systems. The maximum value of entanglement, and the corresponding maximally-entangled states are also worked out in detail.

arXiv:1304.5294•Apr 19, 2013•0 citations

Separability criterion for multipartite quantum states based on the Bloch representation of density matrices

Ali Saif M. Hassan, Pramod S. Joag

We give a new separability criterion, a necessary condition for separability of N-partite quantum states. The criterion is based on the Bloch representation of a N-partite quantum state and makes use of multilinear algebra, in particular, the matrization of tensors. Our criterion applies to arbitrary N-partite quantum states in $\mathcal{H}=\mathcal{H}^{d_1}\otimes \mathcal{H}^{d_2} \otimes \cdots \otimes \mathcal{H}^{d_N}.$ The criterion can test whether a N-partite state is entangled and can be applied to different partitions of the $N$-partite system. We provide examples that show the ability of this criterion to detect entanglement. We show that this criterion can detect bound entangled states. We prove a sufficiency condition for separability of a 3-partite state, straightforwardly generalizable to the case N > 3, under certain condition. We also give a necessary and sufficient condition for separability of a class of N-qubit states which includes N-qubit PPT states.

arXiv:0704.3942•Quantum Information and Computation•Sep 1, 2008•39 citations

Horodeckis criterion of separability of mixed states in von Neumann and C*-algebras

Marek Miller, Robert Olkiewicz

The Horodeckis necessary and sufficient condition of separability of mixed states is generalized to arbitrary composite quantum systems.

Infinite Dimensional Analysis Quantum Probability and Related Topics•Nov 13, 2014•4 citations
Quantum entanglement has been regarded as one of the key physical resources in quantum information sciences. However, the determination of whether a mixed state is entangled or not is generally a hard issue, even for the bipartite system. In this work we propose an operational necessary and sufficient criterion for the separability of an arbitrary bipartite mixed state, by virtue of the multiplicative Horn's problem. The work follows the work initiated by Horodecki et al. and uses the Bloch vector representation introduced to the separability problem by J. De Vicente. In our criterion, a complete and finite set of inequalities to determine the separability of compound system is obtained, which may be viewed as trade-off relations between the quantumness of subsystems. We apply the obtained result to explicit examples, e.g. the separable decomposition of arbitrary dimension Werner state and isotropic state.
Abstract Based on the generalized Bloch representation, we study the separability and entanglement of arbitrary dimensional multipartite quantum states. Some sufficient and some necessary criteria are presented. For certain states, these criteria together are both sufficient and necessary. Detailed examples show that our criteria are better than some existing ones in identifying separability. Based on these criteria, the largest separable ball around the maximally mixed state for arbitrary multi-qubit systems is found, and it is proved that its radius defined via the l 1-norm of the Bloch vector is the constant 1. Furthermore, the criteria in this paper can be implemented experimentally.
We study the separability of bipartite quantum systems in arbitrary dimensions using the Bloch representation of their density matrix. This approach enables us to find an alternative characterization of the separability problem, from which we derive a necessary condition and sufficient conditions for separability. For a certain class of states the necessary condition and a sufficient condition turn out to be equivalent, therefore yielding a necessary and sufficient condition. The proofs of the sufficient conditions are constructive, thus providing decompositions in pure product states for the states that satisfy them. We provide examples that show the ability of these conditions to detect entanglement. In particular, the necessary condition is proved to be strong enough to detect bound entangled states.
In the past decades, quantum entanglement has been recognized to be the basic resource in quantum information theory. A fundamental need is then the understanding its qualification and its quantification: Is the quantum state entangled, and if it is, then how much entanglement is carried by that? These questions introduce the topics of separability criteria and entanglement measures, both of which are based on the issue of classification of multipartite entanglement. In this dissertation, after reviewing these three fundamental topics for finite dimensional Hilbert spaces, I present my contribution to knowledge. My main result is the elaboration of the partial separability classification of mixed states of quantum systems composed of arbitrary number of subsystems of Hilbert spaces of arbitrary dimensions. This problem is simple for pure states, however, for mixed states it has not been considered in full detail yet. I give not only the classification but also necessary and sufficient criteria for the classes, which make it possible to determine to which class a mixed state belongs. Moreover, these criteria are given by the vanishing of quantities measuring entanglement. Apart from these, I present some side results related to the entanglement of mixed states. These results are obtained in the learning phase of my studies and give some illustrations and examples.
A new criterion necessary and sufficient for the separability of pure bipartite systems for arbitrary finite dimensions is demonstrated; and the corresponding finer quantitative measures or characterizations of entanglement (beyond mere separability or non-separability determination) are discussed. Based on this criterion, we proved that the well-known Peres-Horodecki positivity-of-partial-transform criterion is also necessary and sufficient for separability in the case of pure bipartite systems. The maximum value of entanglement, and the corresponding maximally-entangled states are also worked out in detail.
We give a new separability criterion, a necessary condition for separability of N-partite quantum states. The criterion is based on the Bloch representation of a N-partite quantum state and makes use of multilinear algebra, in particular, the matrization of tensors. Our criterion applies to arbitrary N-partite quantum states in H=Hd1⊗Hd2⊗⋯⊗HdN.\mathcal{H}=\mathcal{H}^{d_1}\otimes \mathcal{H}^{d_2} \otimes \cdots \otimes \mathcal{H}^{d_N}.H=Hd1​⊗Hd2​⊗⋯⊗HdN​. The criterion can test whether a N-partite state is entangled and can be applied to different partitions of the NNN-partite system. We provide examples that show the ability of this criterion to detect entanglement. We show that this criterion can detect bound entangled states. We prove a sufficiency condition for separability of a 3-partite state, straightforwardly generalizable to the case N > 3, under certain condition. We also give a necessary and sufficient condition for separability of a class of N-qubit states which includes N-qubit PPT states.