Explicit separable density matrices, for mixed two qubits states, are derived by the use of Hilbert Schmidt decompositions and Peres Horodecki criterion. A strongly separable two qubits mixed state is defined by multiplications of two density matrices given with pure states while weakly separable two qubits state is defined by multiplications of two density matrices which includes non-pure states. We find the sufficient and necessary condition for separability of two-qubits density matrices and show that under this condition the two-qubit density matrices are strongly separable.
Using the Hilbert-Schmidt (HS) decomposition we suggest new possible choices of Bell operators and entanglement witnesses (EW ) for n (>2) qubits systems for (full/bi) separability. The latter give upper bounds for (full/bi) separability. Also using the HS decomposition, we find explicitly (full/bi) separable forms for some qubits states which give lower bounds for (full/bi) separability. When the lower bounds and upper bounds coincide it means that the EW is optimal. In the case of full separability, the positive transpose method can sometimes give optimal results. As concrete examples, we gi…
The partial separability of multipartite qubit density matrixes is strictly defined. We give a reduction way from N-partite qubit density matrixes to bipartite qubit density matrixes, and prove a necessary condition that a N-partite qubit density matrix to be partially separable is its reduced density matrix to satisfy PPT condition.
In this Letter we find the new criteria of separability of multipartite qubit density matrixes. Especially, we discuss in detail the criteria of separability for tripartite qubit density matrixes. We find the sufficient and necessary conditions of separability for tripartite qubit density matrixes, and give two corollaries. The second corollary can be taken as the criterion of existence of entanglement for tripartite qubit density matrixes. In concrete application, its steps are quite simple and easy to operate. Some examples, discussions and the generalization to more high dimensional multipa…
Recently, Laplacian matrices of graphs are studied as density matrices in quantum mechanics. We continue this study and give conditions for separability of generalized Laplacian matrices of weighted graphs with unit trace. In particular, we show that the Peres-Horodecki positive partial transpose separability condition is necessary and sufficient for separability in ${\mathbb C}^2\otimes {\mathbb C}^q$. In addition, we present a sufficient condition for separability of generalized Laplacian matrices and diagonally dominant nonnegative matrices.
In this paper, we discuss the partial separability and its criteria problems of multipartite qubit mixed-states. First we strictly define what is the partial separability of a multipartite qubit system. Next we give a reduction way from N-partite qubit density matrixes to bipartite qubit density matrixes, and prove a necessary condition that a N-partite qubit mixed-state to be partially separable is its reduction to satisfy the PPT condition. PACC numbers: 03.67.Mn; 03.65.Ud; 03.67.Hk
We give a complete, hierarchic classification for arbitrary multi-qubit mixed states based on the separability properties of certain partitions. We introduce a family of N-qubit states to which any arbitrary state can be depolarized. This family can be viewed as the generalization of Werner states to multi-qubit systems. We fully classify those states with respect to their separability and distillability properties. This provides sufficient conditions for nonseparability and distillability for arbitrary states.
We characterize the separability of three qubit GHZ diagonal states in terms of entries. This enables us to check separability of GHZ diagonal states without decomposition into the sum of pure product states. In the course of discussion, we show that the necessary criterion of Gühne for (full) separability of three qubit GHZ diagonal states is sufficient with a simpler formula. The main tool is to use entanglement witnesses which are tri-partite Choi matrices of positive bi-linear maps.
In this paper, we present a method to construct full separability criteria for tripartite systems of qubits. The spirit of our approach is that a tripartite pure state can be regarded as a three-order tensor that provides an intuitionistic mathematical formulation for the full separability of pure states. We extend the definition to mixed states and given out the corresponding full separability criterion. As applications, we discuss the separability of several bound entangled states, which shows that our criterion is feasible.
This paper characterizes two forms of separability of pure states of systems of n qubits: (i) into a tensor product of n qubit states, and (ii), into a tensor product of 2 subsystems states of p and q qubits respectively with p+q=n. For both cases, necessary and sufficient conditions are proved in the form of minimal sets of equalities among pair-wise products of amplitudes. These conditions bear some relation with entanglement measures, and a number of more refined questions about separability in n qubit systems can be studied on the basis of these results.
We construct seven kinds of three-qubit biseparable states to show that every class of biseparable states in the partial separability classification proposed by Szalay and Kökényesi [S. Szalay and Z. Kökényesi, Phys. Rev. A 86, 032341 (2012)] is nonempty.
We derive a general expression for standard tensor norm of $N$-body correlation tensors for $N$-qubit complete graph states. With the help of this expression, we formulate a separability criterion that identifies non-$k$-separability of a class of $N$-qubit complete graph states, including GHZ state. We illustrate the performance of our criterion by considering the $N$-qubit complete graph states added with colored product noise. We also demonstrate that few local measurement settings are sufficient to evaluate our criterion.
We give a separability criterion for three qubit states in terms of diagonal and anti-diagonal entries. This gives us a complete characterization of separability when all the entries are zero except for diagonal and anti-diagonals. The criterion is expressed in terms of a norm arising from anti-diagonal entries. We compute this norm in several cases, so that we get criteria with which we can decide the separability by routine computations.
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.
Necessary conditions for separability are most easily expressed in the computational basis, while sufficient conditions are most conveniently expressed in the spin basis. We use the Hadamard matrix to define the relationship between these two bases and to emphasize its interpretation as a Fourier transform. We then prove a general sufficient condition for complete separability in terms of the spin coefficients and give necessary and sufficient conditions for the complete separability of a class of generalized Werner densities. As a further application of the theory, we give necessary and suffi…
The separable mixed 2-qubit X-states are classified in accordance with degeneracies in the spectrum of density matrices. It is shown that there are four classes of separable X-states, among them: one 4D family, a pair of 2D family and a single, zero-dimensional maximally mixed state.
We give separability criteria for general multi-qubit states in terms of diagonal and anti-diagonal entries. We define two numbers which are obtained from diagonal and anti-diagonal entries, respectively, and compare them to get criteria. They give rise to characterizations of separability when all the entries are zero except for diagonal and anti-diagonal, like Greenberger-Horne-Zeilinger diagonal states. The criteria is strong enough to get nonzero volume of entanglement with positive partial transposes.
In view of the photon-number tomograms of two-mode light states, using the qubit-portrait method for studying the probability distributions with infinite outputs, the separability and entanglement detection of the states are studied. Examples of entangled Gaussian state and Schrödinger cat state are discussed.
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.
Hilbert-Schmidt (HS) decompositions are employed for analyzing systems of n-qubits, and a qubit with a qudit. Negative eigenvalues, obtained by partial-transpose (PT) plus local unitary transformations (PTU) for one qubit from the whole system, are used for indicating inseparability. A sufficient criterion for full separability of the n-qubits and qubit-qudit systems is given. We use the singular value decomposition (SVD) for improving the criterion for full separability. General properties of entanglement and separability are analyzed for a system of a qubit and a qudit and n-qubits systems, …
A new layers method is presented for multipartite separability of density matrices from simple graphs. Full separability of tripartite states is studied for graphs on degree symmetric premise. The models are generalized to multipartite systems by presenting a class of fully separable states arising from partially symmetric graphs.
Substantial progress has recently been reported in the determination of the Hilbert-Schmidt (HS) separability probabilities for two-qubit and qubit-qutrit (real, complex and quaternionic) systems. An important theoretical concept employed has been that of a separability function. It appears that if one could analogously obtain separability functions parameterized by the eigenvalues of the density matrices in question--rather than the diagonal entries, as originally used--comparable progress could be achieved in obtaining separability probabilities based on the broad, interesting class of monot…
Separability and entanglement for n-qubits systems are quantified by using Hilbert-Schmidt (HS) decompositions in which the density matrices are decomposed into various terms representing certain one qubit, two-qubits,and larger qubits measurements. The present method is more general than previous methods for bipartite systems as it can be used for quantification of entanglement for large n-qubits systems.We demonstrate the use of such method by analyzing three qubits GHZ states, and three qubits general Bell states produced by a certain multiplications of Braid operators, operating on the com…
The approximation of matrices to the sum of tensor products of Hermitian matrices is studied. A minimum decomposition of matrices on tensor space $H_1\otimes H_2$ in terms of the sum of tensor products of Hermitian matrices on $H_1$ and $H_2$ is presented. From this construction the separability of quantum states is discussed.
The question of the generation of random mixed states is discussed, aiming for the computation of probabilistic characteristics of composite finite dimensional quantum systems. Particularly, we consider the generation of the random Hilbert-Schmidt and Bures ensembles of qubit and qutrit pairs and compute the corresponding probabilities to find a separable state among the states of a fixed rank.
It is shown that, for the block matrices belonging to $M(nd,\mathbb{C})$ with commuting and normal block entries of dimension $d$, the separability of such a block matrices is equivalent to its semi-positive definity. The separability decomposition of lenght equal to the dimension of the block matrix (which is smaller then Carathéodory theorem implies) is given. The separability decomposition depends only on eigenvalues of block entries in the first part and on eigenvectors of the block entries in the second part of the tensor product. It is shown that semi-positive definity of considered bloc…
We analyze the separability of the joint state of a collection of two-level systems at finite temperature T. The fact that only separable states are found in the neighborhood of their thermal equilibrium state guarantees that decoherence will destroy any initially arranged entanglement in a finite time.
The correlation matrices or tensors in the Bloch representation of density matrices are encoded with entanglement properties. In this paper, based on the Bloch representation of density matrices, we give some new separability criteria for bipartite and multipartite quantum states. Theoretical analysis and some examples show that the proposed criteria can be more efficient than the previous related criteria.
A conceptually simpler proof of the separability criterion for two-qubit systems, which is referred to as "Hefei inequality" in literature, is presented. This inequality gives a necessary and sufficient separability criterion for any mixed two-qubit system unlike the Bell-CHSH inequality that cannot test the mixed-states such as the Werner state when regarded as a separability criterion. The original derivation of this inequality emphasized the uncertainty relation of complementary observables, but we show that the uncertainty relation does not play any role in the actual derivation and the Pe…
By combining a parameterized Hermitian matrix, the realignment matrix of the bipartite density matrix $ρ$ and the vectorization of its reduced density matrices, we present a family of separability criteria, which are stronger than the computable cross norm or realignment (CCNR) criterion. With linear contraction methods, the proposed criteria can be used to detect the multipartite entangled states that are biseparable under any bipartite partitions. Moreover, we show by examples that the presented multipartite separability criteria can be more efficient than the corresponding multipartite real…
We study separability criteria in multipartite quantum systems of arbitrary dimensions by using the Bloch representation of density matrices. We first derive the norms of the correlation tensors and obtain the necessary conditions for separability under partition of tripartite and four-partite quantum states. Moreover, based on the norms of the correlation tensors,we obtain the separability criteria by matrix method. Using detailed examples, our results are seen to be able to detect more entangled states than previous studies. Finally, necessary conditions of separability for multipartite syst…
The separability from spectrum problem asks for a characterization of the eigenvalues of the bipartite mixed states ρ with the property that U^*ρU is separable for all unitary matrices U. This problem has been solved when the local dimensions m and n satisfy m = 2 and n <= 3. We solve all remaining qubit-qudit cases (i.e., when m = 2 and n >= 4 is arbitrary). In all of these cases we show that a state is separable from spectrum if and only if U^*ρU has positive partial transpose for all unitary matrices U. This equivalence is in stark contrast with the usual separability problem, where a state…
We give necessary and sufficient conditions under which a density matrix acting on a two-fold tensor product space is separable. Our conditions are given in terms of quantum conditional information transmission.
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.
It was shown in [Augusiak et al.,\;Phys. Rev. A \textbf{77}, 030301(R) (2008)] that discrimination between entanglement and separability in a two qubit state can be achieved by a measurement of a single observable on four copies of it. Moreover, a pseudo entanglement monotone $π$ was proposed to quantify entanglement in such states. The main goal of the present paper is to show that close relationship between $π$ and concurrence reported there is a result of sharing the same underlying construction of a spin flipped matrix. We also show that monogamy of entanglement can be rephrased in terms o…
A Multipartite entangled state has many different kinds of entanglement specified by the number of partitions. The most essential example of multipartite entanglement is the entanglement of multi-qubit Greenberger-Horne-Zeilinger (GHZ) state in white noise. We explicitly construct the entanglement witnesses for these states with stabilizer generators of the GHZ states. For a $N$ qubit GHZ state in white noise, we demonstrate the necessary and sufficient criterion of separability when it is divided into $k$ parties with $N\leq 2k-1$ for arbitrary $N$ and $k$. The criterion covers more than a ha…
We reduce the question whether a given quantum mixed state is separable or entangled to the problem of existence of a certain full family of commuting normal matrices whose matrix elements are partially determined by components of the pure states constituting a decomposition of the considered mixture. The method reproduces many known entanglement and/or separability criteria, and provides yet another geometrical characterization of mixed separable states.
Explicit separability of general two qubits density matrices is related to Lorentz transformations. We use the 4-dimensional form R(u,v=0,1,2,3) of the Hilbert-Schmidt (HS) decomposition of the density matrix. For the generic case in which Lorentz transformations diagonalize R(u,v=0,1,2,3) (into s(0),s(1),s(2),s(3)) we give relations between the R parameters and the s parameters. In particular we consider two cases: a) Two qubits density matrices with one pair of linear terms in the HS decomposition. b) Two qubits density matrices with two or three symmetric pairs of linear terms. Some of the …
A quantum system consisting of two subsystems is separable if its density matrix can be written as $ρ=\sum_A w_A\,ρ_A'\otimesρ_A''$, where $ρ_A'$ and $ρ_A''$ are density matrices for the two subsytems. In this Letter, it is shown that a necessary condition for separability is that a matrix, obtained by partial transposition of $ρ$, has only non-negative eigenvalues. This criterion is stronger than Bell's inequality.
The density matrix of a graph is the combinatorial laplacian matrix of a graph normalized to have unit trace. In this paper we generalize the entanglement properties of mixed density matrices from combinatorial laplacian matrices of graphs discussed in Braunstein {\it et al.} Annals of Combinatorics, {\bf 10}(2006)291 to tripartite states. Then we proved that the degree condition defined in Braunstein {\it et al.} Phys. Rev. A {\bf 73}, (2006)012320 is sufficient and necessary for the tripartite separability of the density matrix of a nearest point graph.
We study the noisy GHZ-W mixture. We demonstrate some necessary but not sufficient criteria for different classes of separability of these states. It turns out that the partial transposition criterion of Peres and the criteria of Gühne and Seevinck dealing with matrix elements are the strongest ones for different separability classes of this 2 parameter state. As a new result we determine a set of entangled states of positive partial transpose.
We show that all $2\otimes 4$ states with strong positive partial transposes (SPPT) are separable. We also construct a family of $2\otimes 5$ entangled SPPT states, so the conjecture on the separability of SPPT states are completely settled. In addition, we clarify the relation between the set of all $2\otimes d$ separable states and the set of all $2\otimes d$ SPPT states for the case of $d=3,4$.
We found three qubit Greenberger-Horne-Zeilinger diagonal states which tells us that the partial separability of three qubit states violates the distributive rules with respect to the two operations of convex sum and intersection. The gaps between the convex sets involving the distributive rules are of nonzero volume.
We examine the entanglement of general mixed states of a two qubit Heisenberg XYZ chain in the presence of a magnetic field, and its detection by means of different criteria. Both the exact separability conditions and the weaker conditions implied by the disorder and the von Neumann entropic criteria are analyzed. The ensuing limit temperatures for entanglement in thermal states of different XYZ models are then examined and compared with the limit temperature of the symmetry-breaking solution in a mean field type approximation. The latter, though generally lower, can also be higher than the ex…
We reconsider density matrices of graphs as defined in [quant-ph/0406165]. The density matrix of a graph is the combinatorial laplacian of the graph normalized to have unit trace. We describe a simple combinatorial condition (the "degree condition") to test separability of density matrices of graphs. The condition is directly related to the PPT-criterion. We prove that the degree condition is necessary for separability and we conjecture that it is also sufficient. We prove special cases of the conjecture involving nearest point graphs and perfect matchings. We observe that the degree condition…
We list in increasing order -- 1/3, 3/8, 2/5, 135 pi/1024, 16/(3 pi^2), 3 pi/16, 5/8, 105 pi/512, 2 - 435 pi/1024, 11/16, 1 -- a number of exact two-qubit Hilbert-Schmidt (HS) separability probabilities, we are able to compute. Each probability corresponds to a specific scenario -- a class of 4 x 4 density matrices (rho) with an m-subset (m<6) of its six off-diagonal pairs of symmetrically located entries set to zero. Initially, we consider only scenarios in which the (6-m) non-nullified pairs are real, but then permit them to be complex (as well as quaternionic) in nature also. The general an…
We propose a method of constructing the separability criteria for multipartite quantum states on the basis of entanglement witnesses. The entanglement witnesses are obtained by finding the maximal expectation values of Hermitian operators and then optimizing over all possible Hermitian operators. We derive a set of tripartite separability criteria for the four-qubit Greenberger--Horne--Zeilinger (GHZ) diagonal states. The derived criterion set contains four criteria that are necessary and sufficient for the tripartite separability of the highly symmetric four-qubit GHZ diagonal states; the cri…
We extend the findings and analyses of our two recent studies (Phys. Rev. A, 75, 032326 [2007] and arXiv:0704.3723) by, first, obtaining numerical estimates of the separability function based on the (Euclidean, flat) Hilbert-Schmidt (HS) metric for the 27-dimensional convex set of quaternionic two-qubit systems. The estimated function appears to be strongly consistent with our previously-formulated Dyson-index (beta = 1, 2, 4) ansatz, dictating that the quaternionic (beta=4) separability function should be exactly proportional to the square of the separability function for the 15-dimensional c…
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.
Using the finite Fourier transform, we introduce a generalization of Pauli-spin matrices for $d$-dimensional spaces, and the resulting set of unitary matrices $S(d) $ is a basis for $d\times d$ matrices. If $N=d_{1}\times d_{2}\times...\times d_{b}$ and $H^{[ N]}=\bigotimes H^{% [ d_{k}]}$, we give a sufficient condition for separability of a density matrix $ρ$ relative to the $H^{[ d_{k}]}$ in terms of the $L_{1}$ norm of the spin coefficients of $ρ>.$ Since the spin representation depends on the form of the tensor product, the theory applies to both full and partial separability on a given s…
A geometrical picture of separability of 2 x 2 composite quantum systems, showing the region of separable density matrices in the space of hermitian matrices, is given. It rests on the criterion of separability given by Peres, and it is an extension of the ``Horodecki diagram'' and the ``stella octangula'' described by Aravind.
When two qubits A and B are in an appropriate state, Alice can remotely steer Bob's system B into different ensembles by making different measurements on A. This famous phenomenon is known as quantum steering, or Einstein-Podolsky-Rosen steering. Importantly, quantum steering establishes the correspondence not only between a measurement on A (made by Alice) and an ensemble of B (owned by Bob) but also between each of Alice's measurement outcomes and an unnormalized conditional state of Bob's system. The unnormalized conditional states of B corresponding to all possible measurement outcomes of …
We propose a unifying approach to the separability problem using covariance matrices of locally measurable observables. From a practical point of view, our approach leads to strong entanglement criteria that allow to detect the entanglement of many bound entangled states in higher dimensions and which are at the same time necessary and sufficient for two qubits. From a fundamental perspective, our approach leads to insights into the relations between several known entanglement criteria -- such as the computable cross norm and local uncertainty criteria -- as well as their limitations.
We construct a single observable measurement of which mean value on four copies of an {\it unknown} two-qubit state is sufficient for unambiguous decision whether the state is separable or entangled. In other words, there exists a universal collective entanglement witness detecting all two-qubit entanglement. The test is directly linked to a function which characterizes to some extent the entanglement quantitatively. This function is an entanglement monotone under so--called local pure operations and classical communication (pLOCC) which preserve local dimensions. Moreover it provides tight up…
Recently, Braunstein et al. [1] introduced normalized Laplacian matrices of graphs as density matrices in quantum mechanics and studied the relationships between quantum physical properties and graph theoretical properties of the underlying graphs. We provide further results on the multipartite separability of Laplacian matrices of graphs. In particular, we identify complete bipartite graphs whose normalized Laplacian matrix is multipartite entangled under any vertex labeling. Furthermore, we give conditions on the vertex degrees such that there is a vertex labeling under which the normalized …
Two-qubit X-matrices have been the subject of considerable recent attention, as they lend themselves more readily to analytical investigations than two-qubit density matrices of arbitrary nature. Here, we maximally exploit this relative ease of analysis to formally derive an exhaustive collection of results pertaining to the separability probabilities of generalized two-qubit X-matrices endowed with Hilbert-Schmidt and, more broadly, induced measures. Further, the analytical results obtained exhibit interesting parallels to corresponding earlier (but, contrastingly, not yet fully rigorous) res…
We seek to derive the probability--expressed in terms of the Hilbert-Schmidt (Euclidean or flat) metric--that a generic (nine-dimensional) real two-qubit system is separable, by implementing the well-known Peres-Horodecki test on the partial transposes (PTs) of the associated 4 x 4 density matrices. But the full implementation of the test--requiring that the determinant of the PT be nonnegative for separability to hold--appears to be, at least presently, computationally intractable. So, we have previously implemented--using the auxiliary concept of a diagonal-entry-parameterized separability f…
We report substantial progress in the study of separability functions and their application to the computation of separability probabilities for the real, complex and quaternionic qubit-qubit and qubit-qutrit systems. We expand our recent work (arXiv:0704.3723), in which the Dyson indices of random matrix theory played an essential role, to include the use of not only the volume element of the Hilbert-Schmidt (HS) metric, but also that of the Bures (minimal monotone) metric as measures over these finite-dimensional quantum systems. Further, we now employ the Euler-angle parameterization of den…
