Exploiting the cone structure of the set of unnormalized mixed quantum states, we offer an approach to detect separability independently of the dimensions of the subsystems. We show that any mixed quantum state can be decomposed as $ρ=(1-λ)C_ρ+λE_ρ$, where $C_ρ$ is a separable matrix whose rank equals that of $ρ$ and the rank of $E_ρ$ is strictly lower than that of $ρ$. With the simple choice $C_ρ=M_{1}\otimes M_{2}$ we have a necessary condition of separability in terms of $λ$, which is also sufficient if the rank of $E_ρ$ equals 1. We give a first extension of this result to detect genuine entanglement in multipartite states and show a natural connection between the multipartite separability problem and the classification of pure states under stochastic local operations and classical communication (SLOCC). We argue that this approach is not exhausted with the first simple choices included herein.
In this paper we propose a sequence of tests which gives a definitive test for checking $2\times M$ separability. The test is definitive in the sense that each test corresponds to checking membership in a cone, and that the closure of the union of all these cones consists exactly of {\it all} $2 \times M$ separable states. Membership in each single cone may be checked via semidefinite programming, and is thus a tractable problem. This sequential test comes about by considering the dual problem, the characterization of all positive maps acting ${\mathbb C}^{2 \times 2} \to {\mathbb C}^{M\times …
There are two important paradigms for defining quantum correlations in quantum information theory, viz. the information-theoretic and the entanglement-separability ones. We find an analytical relation between two measures of quantum correlations, one in each paradigm, and show that only a certain cone-like region on the two-dimensional space spanned by these measures is accessible to pure three-qubit states. The information-theoretic multiparty quantum correlation measure is related to the monogamy considerations of a bipartite information-theoretic quantum correlation measure, while the entan…
We study the quantum entanglement and separability of Hermitian and pseudo-Hermitian systems of identical bosonic or fermionic particles with point interactions. The separability conditions are investigated in detail.
We investigate the separability of arbitrary dimensional tripartite sys- tems. By introducing a new operator related to transformations on the subsystems a necessary condition for the separability of tripartite systems is presented.
We investigate the separability of quantum states based on covariance matrices. Separability criteria are presented for multipartite states. The lower bound of concurrence proposed in Phys. Rev. A. 75, 052320 (2007) is improved by optimizing the local orthonormal observables.
We consider the separability of rank two quantum states on multiple quantum spaces with different dimensions. The sufficient and necessary conditions for separability of these multiparty quantum states are explicitly presented. A nonseparability inequality is also given, for the case where one of the eigenvectors corresponding to nonzero eigenvalues of the density matrix is maximally entangled.
Metrical separability of the spin systems energetic surfaces is shown. The irreversibility of the spin system evolution is considered as the consequence of random quantum jumps on energy surfaces.
We develop separability criteria to identify non-$k$-separability $(k = 2,3,\ldots,n)$ and genuine multipartite entanglement in different classes of mixed $n$-partite quantum states using elements of density matrices. With the help of these criteria, we detect non-$k$-separability in $n$-qudit GHZ and W states respectively added with white noise. We also discuss the experimental implementation of our criteria by means of local observables.
By using the "subtracting projectors" method in proving the separability of PPT states on multiple quantum spaces, we derive a canonical form of PPT states in ${\Cb}^{K_1} \otimes {\Cb}^{K_2} \otimes ... \otimes {\Cb}^{K_m} \otimes {\Cb}^N$ composite quantum systems with rank $N$, from which a sufficient separability condition for these states is presented.
Explicit sufficient and necessary conditions for separability of $N$-dimensional rank two multiparty quantum mixed states are presented. A nonseparability inequality is also given, for the case where one of the eigenvectors corresponding to nonzero eigenvalues of the density matrix is maximally entangled.
We provide a constructive algorithm to find the best separable approximation to an arbitrary density matrix of a composite quantum system of finite dimensions. The method leads to a condition of separability and to a measure of entanglement.
We propose the Wigner separability entropy as a measure of complexity of a quantum state. This quantity measures the number of terms that effectively contribute to the Schmidt decomposition of the Wigner function with respect to a chosen phase space decomposition. We prove that the Wigner separability entropy is equal to the operator space entanglement entropy, measuring entanglement in the space of operators, and, for pure states, to twice the entropy of entanglement. The quantum to classical correspondence between the Wigner separability entropy and the separability entropy of the classical …
In this paper, we mainly discuss the separability of $n$-partite quantum states from elements of density matrices. Practical separability criteria for different classes of $n$-qubit and $n$-qudit quantum states are obtained. Some of them are also sufficient conditions for genuine entanglement of $n$-partite quantum states. Moreover, one of the resulting criteria is also necessary and sufficient for a class of $n$-partite states.
We show that all density operators of 2$\times N$--dimensional quantum systems that remain invariant after partial transposition with respect to the first system are separable. Based on this criterion, we derive a sufficient separability condition for general density operators in such quantum systems. We also give a simple proof of the separability criterion in $2\times 2$--dimensional systems [A. Peres, Phys. Rev. Lett {\bf 77}, 1413 (1996)]
The separability and entanglement of quantum mixed states in $\Cb^2 \otimes \Cb^3 \otimes \Cb^N$ composite quantum systems are investigated. It is shown that all quantum states $ρ$ with positive partial transposes and rank $r(ρ)\leq N$ are separable.
We advance a novel perspective of the entanglement issue that appeals to the Schlienz-Mahler measure [Phys. Rev. A 52, 4396 (1995)]. Related to it, we propose an criterium based on the consideration of convex subsets of quantum states. This criterium generalizes a property of product states to convex subsets (of the set of quantum-states) that is able to uncover a new geometrical property of the separability property.
This short note describes a method to tackle the (bipartite) quantum separability problem. The method can be used for solving the separability problem in an experimental setting as well as in the purely mathematical setting. The idea is to invoke the following characterization of entangled states: A state is entangled if and only if there exists an entanglement witness that detects it. The method is basically a search for an entanglement witness that detects the given state.
Inspired by the realignment or computable cross norm criterion, we present a new result about the characterization of quantum entanglement. Precisely, an interesting class of inequalities satisfied by all separable states of a bipartite quantum system is derived. These inequalities induce new separability criteria that generalize the realignment criterion.
We propose an interpretation of quantum separability based on a physical principle: local time reversal. It immediately leads to a simple characterization of separable quantum states that reproduces results known to hold for binary composite systems and which thereby is complete for low dimensions. We then describe a constructive algorithm for finding the canonical decomposition of separable and non separable mixed states of dimensions 2x2 and 2x3.
Separability is an important problem in theory of quantum entanglement. By using the Bloch representation of quantum states in terms of the Heisenberg-Weyl observable basis, we present a new separability criterion for bipartite quantum systems. It is shown that this criterion can be better than the previous ones in detecting entanglement. The results are generalized to multipartite quantum states.
In this paper, an intuitive approach is employed to generalize the full separability criterion of tripartite quantum states of qubits to the higher-dimensional systems (Phys. Rev. A \textbf{72}, 022333 (2005)). A distinct characteristic of the present generalization is that less restrictive conditions are needed to characterize the properties of full separability. Furthermore, the formulation for pure states can be conveniently extended to the case of mixed states by utilizing the kronecker product approximate technique. As applications, we give the analytic approximation of the criterion for …
For two qubits and for general bipartite quantum systems, we give a simple spectral condition in terms of the ordered eigenvalues of the density matrix which guarantees that the corresponding state is separable.
We present separability criteria for both bipartite and multipartite quantum states. These criteria include the criteria based on the correlation matrix and its generalized form as special cases. We show by detailed examples that our criteria are more powerful than the positive partial transposition criterion, the realignment criterion and the criteria based on the correlation matrices.
We introduce an entanglement criterion to exclude full separability of quantum states. We present numerical evidence that the criterion is necessary and sufficient for the class of GHZ diagonal three-qubit states and estimate the volume of bound entangled states within this class. Finally, we extend our approach to bound entangled states which are not GHZ diagonal.
We use the generalized concurrence approach to investigate the general multipartite separability problem. By extending the preconcurrence matrix formalism to arbitrary multipartite systems, we show that the separability problem can be formulated equivalently as a pure matrix analysis problem that consists in determining whether a given set of symmetric matrices is simultaneously unitarily congruent to hollow matrices, i.e., to matrices whose main diagonal is only composed of zeroes.
We investigate the canonical forms of positive partial transposition (PPT) density matrices in ${\cal C}^2 \otimes {\cal C}^M \otimes {\cal C}^N$ composite quantum systems with rank $N$. A general expression for these PPT states are explicitly obtained. From this canonical form a sufficient separability condition is presented.
We show that the non-locality together with the statistical character makes the world statistically separable. The super-luminal signal transmission is impossible. The quantum theory is therefore consistent with the relativity and the causality.
Usual separability criteria applicable to distinguishable particles are not applicable to identical particles. Here we show that Partial transposition and symmetrization (or anti symmetrization) of density matrix of bipartite boson systems (fermion systems) can be used to check whether a state is separable or not.By using determinant based separability criteria it has been found that bipartite states of identical particles are always separable. It is found that partial transposition and symmetrization is equivalent to realignment criteria proposed by Wu.
Entanglement of quantum states is absolutely essential for modern quantum sciences and technologies. It is natural to extend the notion of entanglement to quantum observables dual to quantum states. For quantum states, various separability criteria have been proposed to determine whether a given state is entangled. In this Letter, we propose a separability criterion for specific quantum effects (binary observables) that can be regarded as a dual version of the Bell-Clauser-Horne-Shimony-Holt (Bell-CHSH) inequality for quantum states. The violation of the dual version of the Bell-CHSH inequalit…
We study the normal form of multipartite density matrices. It is shown that the correlation matrix (CM) separability criterion can be improved from the normal form we obtained under filtering transformations. Based on CM criterion the entanglement witness is further constructed in terms of local orthogonal observables for both bipartite and multipartite systems.
We generalize the definition of strong positive partial transpose (SPPT) to the multipartite system. The tripartite case was first considered by X.-Y. Yu and H. Zhao [ Int. J. Theor. Phys.,54, 292, (2015)]. In this extension, unfortunately, desired properties such as the PPT of SPPT states the separability of super and pure SPPT states are not preserved. In contrast, this paper provides an alternative generalization to multipartite cases with these properties preserved. We also provide sufficient conditions for the separability of SPPT states.
We present a family of 3--qubit states to which any arbitrary state can be depolarized. We fully classify those states with respect to their separability and distillability properties. This provides a sufficient condition for nonseparability and distillability for arbitrary states. We generalize our results to $N$--particle states.
We study the separability of symmetric bipartite quantum states and show that a single correlation measurement is sufficient to detect the entanglement of any bipartite symmetric state with a non-positive partial transpose. We also discuss entanglement conditions and entanglement witnesses for states with a positive partial transpose.
The quantum marginal problem asks whether a set of given density matrices are consistent, i.e., whether they can be the reduced density matrices of a global quantum state. Not many non-trivial analytic necessary (or sufficient) conditions are known for the problem in general. We propose a method to detect consistency of overlapping quantum marginals by considering the separability of some derived states. Our method works well for the $k$-symmetric extension problem in general, and for the general overlapping marginal problems in some cases. Our work is, in some sense, the converse to the well-…
Determining whether a quantum state is separable or entangled is a problem of fundamental importance in quantum information science. It has recently been shown that this problem is NP-hard. There is a highly inefficient `basic algorithm' for solving the quantum separability problem which follows from the definition of a separable state. By exploiting specific properties of the set of separable states, we introduce a new classical algorithm that solves the problem significantly faster than the `basic algorithm', allowing a feasible separability test where none previously existed e.g. in 3-by-3-…
We study the concepts of compatibility and separability and their implications for quantum and classical systems. These concepts are illustrated on a macroscopic model for the singlet state of a quantum system of two entangled spin 1/2 with a parameter reflecting indeterminism in the measurement procedure. By varying this parameter we describe situations from quantum, intermediate to classical and study which tests are compatible or separated. We prove that for classical deterministic systems the concepts of separability and compatibility coincide, but for quantum systems and intermediate syst…
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 {\it et. al.} and uses the Bloch vector representation introduced to the separability problem by J. De Vicente. In our criterion, …
We investigate separability and entanglement of mixed states in ${\cal C}^2\otimes{\cal C}^2\otimes{\cal C}^N$ three party quantum systems. We show that all states with positive partial transposes that have rank $\le N$ are separable. For the 3 qubit case (N=2) we prove that all states $ρ$ that have positive partial transposes and rank 3 are separable. We provide also constructive separability checks for the states $ρ$ that have the sum of the rank of $ρ$ and the ranks of partial transposes with respect to all subsystems smaller than 15N-1.
In the discussion about the quantumness of NMR computation a conclusion is done that computational states are separable and therefore can not be entangled. This conclusion is based on the assumption that the initial density matrix of an individual molecule coincides with whole sample molecules distribution over single molecule energy levels. This means that quantum stochasticity is replaced by classical stochasticity. In the present paper it is shown, that quantum NMR computation can create genuine entangled states if initial system states are thermodynamical equilibrium ones. A separability a…
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 {\it arbitrary} $N$-partite quantum states in $\mathcal{H}=\mathcal{H}^{d_1}\otimes \mathcal{H}^{d_2} \otimes ... \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 sho…
Quantum entanglement plays crucial roles in quantum information processing. Quantum entangled states have become the key ingredient in the rapidly expanding field of quantum information science. Although the nonclassical nature of entanglement has been recognized for many years, considerable efforts have been taken to understand and characterize its properties recently. In this review, we introduce some recent results in the theory of quantum entanglement. In particular separability criteria based on the Bloch representation, covariance matrix, normal form and entanglement witness; lower bound…
We show that any multi-qudit entanglement witness leads to a non-separability indicator for quantum optical fields, which involves intensity correlations. We get, e.g., necessary and sufficient conditions for intensity or intensity-rate correlations to reveal polarization entanglement. We also derive separability conditions for experiments involving multiport interferometers, now feasible with integrated optics. We show advantages of using intensity rates rather than intensities, e.g., a mapping of Bell inequalities to ones for optical fields. The results have implication for studies of non-cl…
In this work we investigate the quantum noise properties of polarization vortices in connection with an intensity based Clauser-Horne-Shimony-Holt inequality for their spin-orbit separability. We evaluate the inequality for different input quantum states and the corresponding intensity fluctuations. The roles played by coherence and photon number squeezing provide a suitable framework for characterizing pure state spin-orbit entanglement. Structural inseparability of the spin-orbit mode requires coherence, an issue concerning either classical or quantum descriptions. In both cases, it can be w…
We present a generalized partial transposition separability criterion for the density matrix of a multipartite quantum system. This criterion comprises as special cases the famous Peres-Horodecki criterion and the recent realignment criterion in [O. Rudolph, quant-ph/0202121] and [K. Chen, L.A. Wu, quant-ph/0205017]. It involves only straightforward matrix manipulations and is easy to apply. A quantitative measure of entanglement based on this criterion is also obtained.
The conditional version of sandwiched Tsallis relative entropy (CSTRE) is employed to study the bipartite separability of one parameter family of N-qudit Werner- Popescu states in their 1 : N-1 partition. For all N, the strongest limitation on bipartite separability is realized in the limit q tending to infinity and is found to match exactly with the separability range obtained using an algebraic method which is both necessary and sufficient. The theoretical superiority of using CSTRE criterion to find the bipartite separability range over the one using Abe- Rajagopal (AR) q-conditional entrop…
We analyze the properties of the conditional amplitude operator, the quantum analog of the conditional probability which has been introduced in [quant-ph/9512022]. The spectrum of the conditional operator characterizing a quantum bipartite system is invariant under local unitary transformations and reflects its inseparability. More specifically, it is shown that the conditional amplitude operator of a separable state cannot have an eigenvalue exceeding 1, which results in a necessary condition for separability. This leads us to consider a related separability criterion based on the positive ma…
We give a canonical form of PPT states in ${\cal C}^2 \otimes {\cal C}^2\otimes {\cal C}^2 \otimes {\cal C}^N$ with rank=$N$. From this canonical form a necessary separable condition for these states is presented.
Recently, a new and powerful separability criterion was introduced in [O. Rudolph, quant-ph/0202121] and [Chen {\it et al.}, quant-ph/0205017]. Composing the main idea behind the above criterion and the necessary and sufficient condition in terms of positive maps, we provide a characterization of separable states by means of linear contractions. The latter need not be positive maps. We extend the idea to multipartite systems, and find that, somewhat suprisingly, partial realigment (unlike partial transposition) can detect genuinely triparite entanglement. We also show that for multipartite sys…
The purpose of this paper is to obtain a sufficient and necessary condition as a criteria to test whether an arbitrary multipartite state is entangled or not. Based on the tensor expression of a multipartite pure state, the paper shows that a state is separable iff $| \mathbf{C}(ρ)| $ =0 for pure states and iff $C(ρ)$ vanishes for mixed states.
A new necessary separability criterion that relates the structures of the total density matrix and its reductions is given. The method used is based on the realignment method [K. Chen and L.A. Wu, Quant. Inf. Comput. 3, 193 (2003)]. The new separability criterion naturally generalizes the reduction separability criterion introduced independently in previous work of [M. Horodecki and P. Horodecki, Phys. Rev. A 59, 4206 (1999)] and [N.J. Cerf, C. Adami and R.M. Gingrich, Phys. Rev. A 60, 898 (1999)]. In special cases, it recovers the previous reduction criterion and the recent generalized partia…
Quantum entanglement is the core resource in quantum information processing and quantum computing. It is an significant challenge to effectively characterize the entanglement of quantum states. Recently, elegant separability criterion is presented in [Phys. Rev. Lett. 125, 200501 (2020)] by Elben et al. based on the first three partially transposed (PT) moments of density matrices. Then in [Phys. Rev. Lett. 127, 060504 (2021)] Yu \emph{et al.} proposed two general powerful criteria based on the PT moments. In this paper, based on the realignment operations of matrices we propose entanglement d…
Careful analysis of cluster separability opens a way to a completely new understanding of preparation and registration procedures for microsystems: they are changes of separation status. An important observation is that quantum mechanics does not specify what happens to systems when they change their separation status. New rules that close this gap can therefore be added without disturbing the logic of quantum mechanics. Another important observation is that registration apparatuses for microsystems must contain detectors and that their readings are signals from detectors. This leads to furthe…
It is pointed out that separability problem for arbitrary multi-partite states can be fully solved by a finite size, elementary recursive algorithm. In the worse case scenario, the underlying numerical procedure, may grow doubly exponentially with the state's rank. Nevertheless, we argue that for generic states, analysis of concurrence matrices essentially reduces the task of solving separability problem in $m \times n$ dimensions to solving a set of linear equations in about $\binom{mn+D-1}{D}$ variables, where $D$ decreases with $mn$ and for large $mn$ it should not exceed 4. Moreover, the s…
