The necessary and sufficient condition of separability of a mixed state of any systems is presented, which is practical in judging the separability of a mixed state. This paper also presents a method of finding the disentangled decomposition of a separable mixed state.
We provide necessary and sufficient conditions for separability of mixed states. As a result we obtain a simple criterion of separability for $2\times2$ and $2\times3$ systems. Here, the positivity of the partial transposition of a state is necessary and sufficient for its separability. However, it is not the case in general. Some examples of mixtures which demonstrate the utility of the criterion are considered.
In a recent paper (quant-ph/0102133) Chen, Liang, Li and Huang suggest a necessary and sufficient separability criterion, which is supposedly practical in judging the separability of any mixed state. In this note we briefly recapitulate their main result and show that it is a reformulation of the problem rather than a practical criterion.
We provide necessary and sufficient conditions for separability of mixed states of n-particle systems. The conditions are formulated in terms of maps which are positive on product states of $n-1$ particles. The method of providing of the maps on the basis of unextendable product bases is provided. The three qubit state problem is reformulated in the form suggesting possibility of explicite characterisation of all maps needed for separability condition.
We study the norms of the Bloch vectors for arbitrary $n$-partite quantum states. A tight upper bound of the norms is derived for $n$-partite systems with different individual dimensions. These upper bounds are used to deal with the separability problems. Necessary conditions are presented for $\mathbf m$-separable states in $n$-partite quantum systems. Based on the upper bounds, classification of multipartite entanglement is illustrated with detailed examples.
In this paper, we present the necessary and sufficient conditions of separability for bipartite pure states in infinite dimensional Hilbert spaces. Let $M$ be the matrix of the amplitudes of $\ketψ$, we prove $M$ is a compact operator. We also prove $\ketψ$ is separable if and only if $M$ is a bounded linear operator with rank 1, that is the image of $M$ is a one dimensional Hilbert space. So we have related the separability for bipartite pure states in infinite dimensional Hilbert spaces to an important class of bounded linear operators in Functional analysis which has many interesting proper…
We present three necessary separability criteria for bipartite mixed states, the violation of each of these conditions is a sufficient condition for entanglement. Some ideas on the issue of finding a necessary and sufficient criterion of separability are also discussed.
In this paper we present the necessary and sufficient conditions of separability for multipartite pure states. These conditions are very simple, and they don't require Schmidt decomposition or tracing out operations. We also give a necessary condition for a local unitary equivalence class for a bipartite system in terms of the determinant of the matrix of amplitudes and explore a variance as a measure of entanglement for multipartite pure states.
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…
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, …
A multimode uncertainty relation (generalising the Robertson-Schroedinger relation) is derived as a necessary constraint on the second moments of n pairs of canonical operators. In turn, necessary conditions for the separability of multimode continuous variable states under (m+n)-mode bipartitions are derived from the uncertainty relation. These conditions are proven to be necessary and sufficient for (1+n)-mode Gaussian states and for (m+n)-mode bisymmetric Gaussian states.
For multipartite states we consider a notion of D-symmetry. For a system of $N$ qubits it concides with usual permutational symmetry. In case of $N$ qudits ($d\geq 3$) the D-symmetry is stronger than the permutational one. For the space of all D-symmetric vectors in $(\mathbb{C}^d)^{\otimes N}$ we define a basis composed of vectors $\{|R_{N,d;k}\rangle: \,0\leq k\leq N(d-1)\}$ which are analog for Dicke states. The aim of this paper is to discuss the problem of separability of D-symmetric states which are diagonal in the basis $\{|R_{N,d;k}\rangle\}$. We show that if $N$ is even and $d\geq 2$ …
In a series of papers with Kossakowski, the first author has examined properties of densities for which the positive partial transpositrionm (PPT) property can be readily checked. These densities were also investigated from a different perspective by Baumgartner, Hiesmayr and Narnhofer. In this paper we show how the support of such densities can be expressed in terms of lines in a finite geometry and how that same structure lends itself to checking the necessary PPT condition and to a novel sufficient condition for separability.
We introduce a sufficient and necessary condition for the separability of a specific class of $N$ $d$-dimensional system (qudits) states, namely special generalized Werner state (SGWS): $W^{[d^N]}(v)=(1-v)\frac{I^{(N)}}{d^N}+v|ψ_d^N><ψ_d^N|$, where $ |ψ_d^N>=\sum_{i=0}^{d-1}α_i|i... i>$ is an entangled pure state of $N$ qudits system and $α_i$ satisfys two restrictions: (i) $\sum_{i=0}^{d-1}α_iα_i^*=1$; (ii) Matrix $\frac{1}{d}(I^{(1)}+\mathcal{T}\sum_{i\neq j}α_i|i>< j|α_j^*)$, where $\mathcal{T}=\texttt{Min}_{i\neq j}\{1/|α_iα_j|\}$, is a density matrix. Our condition gives quite a simple an…
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…
Great progress has been made recently in establishing conditions for separability of a particular class of Werner densities on the tensor product space of $n$ $d$--level systems (qudits). In this brief note we complete the process of establishing necessary and sufficient conditions for separability of these Werner densities by proving the sufficient condition for general n and d.
In this paper, we show that an arbitrary separable state can be the output of a certain entanglement-breaking channel corresponding exactly to the input of a maximally entangled state. A necessary and sufficient separability criterion and some sufficient separability criteria from entanglement-breaking channels are given.
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 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.
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 worke…
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.
We discuss the entropic criterion for separability of compound quantum systems for general non-additive entropic forms based on arbitrary concave functions $f$. For any separable state, the generalized entropy of the whole system is shown to be not smaller than that of the subsystems, for any choice of $f$, providing thus a necessary criterion for separability. Nevertheless, the criterion is not sufficient and examples of entangled states with the same property are provided. This entails, in particular, that the conjecture about the positivity of the conditional Tsallis entropy for all $q$, a …
We study the separability problem in mixtures of Dicke states i.e., the separability of the so-called Diagonal Symmetric (DS) states. First, we show that separability in the case of DS in $C^d\otimes C^d$ (symmetric qudits) can be reformulated as a quadratic conic optimization problem. This connection allows us to exchange concepts and ideas between quantum information and this field of mathematics. For instance, copositive matrices can be understood as indecomposable entanglement witnesses for DS states. As a consequence, we show that positivity of the partial transposition (PPT) is sufficien…
The reduction criterion is a well known necessary condition for separable states, and states violating this condition are entangled and also 1-distillable. In this paper we introduce a new set of necessary conditions for separability of multipartite states, obtained from a set of positive but not completely positive maps. These conditions can be thought of as generalisations of the reduction criterion to multipartite systems. We use tripartite Werner states as an example to investigate the entanglement detecting powers of some of these new conditions, and we also look at what these conditions …
We give a necessary and sufficient condition for a mixed quantum mechanical state to be separable. The criterion is formulated as a boundedness condition in terms of the greatest cross norm on the tensor product of trace class operators.
We study families of positive and completely positive maps acting on a bipartite system $\mathbb{C}^M\otimes \mathbb{C}^N$ (with $M\leq N$). The maps have a property that when applied to any state (of a given entanglement class) they result in a separable state, or more generally a state of another certain entanglement class (e.g., Schmidt number $\leq k$). This allows us to derive useful families of sufficient separability criteria. Explicit examples of such criteria have been constructed for arbitrary $M,N$, with a special emphasis on $M=2$. Our results can be viewed as generalizations of th…
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.
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.
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…
A new hierarchy of separability conditions for bipartite states is obtained. All the conditions in the hierarchy are necessary for separability. The conditions are expressed in terms of higher powers of the density operator of the bipartite system and the reduced density operators of the subsystems. Violation of any of the conditions in the hierarchy implies entanglement. As a consequence of the hierarchy, another separability condition, expressed in terms of the eigenvalues of the density operators of the total system and subsystems, is obtained.
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 obtain a collection of necessary (sufficient) conditions for a bipartite system of qubits to be separable (entangled), which are based on the Landau-Pollak formulation of the uncertainty principle. These conditions are tested, and compared with previously stated criteria, by applying them to states whose separability limits are already known. Our results are also extended to multipartite and higher-dimensional systems.
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.
We provide a necessary and sufficient condition for separability of Gaussian states of bipartite systems of arbitrarily many modes. The condition provides an operational criterion since it can be checked by simple computation. Moreover, it allows us to find a pure product-state decomposition of any given separable Gaussian state. Our criterion is independent of the one based on partial transposition, and is strictly stronger.
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.
We derive a necessary and sufficient condition for the separability of tripartite three mode Gaussian states, that is easy to check for any such state. We give a classification of the separability properties of those systems and show how to determine for any state to which class it belongs. We show that there exist genuinely tripartite bound entangled states and point out how to construct and prepare such states.
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 extend the classification of mixed states of quantum systems composed of arbitrary number of subsystems of arbitrary dimensions. This extended classification is complete in the sense of partial separability and gives 1+18+1 partial separability classes in the tripartite case contrary to a former 1+8+1. Then we give necessary and sufficient criteria for these classes, which make it possible to determine to which class a mixed state belongs. These criteria are given by convex roof extensions of functions defined on pure states. In the special case of three-qubit systems, we define a different…
We employ conditional Tsallis q entropies to study the separability of symmetric one parameter W and GHZ multiqubit mixed states. The strongest limitation on separability is realized in the limit q-->infinity, and is found to be much superior to the condition obtained using the von Neumann conditional entropy (q=1 case). Except for the example of two qubit and three qubit symmetric states of GHZ family, the $q$-conditional entropy method leads to sufficient - but not necessary - conditions on separability.
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 show how the separability problem is dual to that of decomposing any given matrix into a conic combination of rank-one partial isometries, thus offering a duality approach different to the positive maps characterization problem. Several inmediate consequences are analyzed: (i) a sufficient criterion for separability for bipartite quantum systems, (ii) a complete solution to the separability problem for pure states also of bipartite systems independent of the classical Schmidt decomposition method and (iii) a natural generalization of these results to multipartite systems.
We propose a sufficient and necessary separability criterion for pure states in multipartite and high dimensional systems. Its main advantage is operational and computable. The obvious expressions of this criterion can be given out by the coefficients of components of the pure state. In the end, we simply mention a principle method how to define and obtain the measures of entanglement in multipartite and high dimensional systems.
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 consider low rank density operators $\varrho$ supported on a $M\times N$ Hilbert space for arbitrary $M$ and $N$ ($M\leq N$) and with a positive partial transpose (PPT) $\varrho^{T_A}\ge 0$. For rank $r(\varrho) \leq N$ we prove that having a PPT is necessary and sufficient for $\varrho$ to be separable; in this case we also provide its minimal decomposition in terms of pure product states. It follows from this result that there is no rank 3 bound entangled states having a PPT. We also present a necessary and sufficient condition for the separability of generic density matrices for which th…
The so-called permutation separability criteria are simple operational conditions that are necessary for separability of mixed states of multipartite systems: (1) permute the indices of the density matrix and (2) check if the trace norm of at least one of the resulting operators is greater than one. If it is greater than one then the state is necessarily entangled. A shortcoming of the permutation separability criteria is that many permutations give rise to dependent separability criteria. Therefore, we introduce a necessary condition for two permutations to yield independent criteria called c…
Based on the ranks of reduced density matrices, we derive necessary conditions for the separability of multiparticle arbitrary-dimensional mixed states, which are equivalent to sufficient conditions for entanglement. In a similar way we obtain necessary conditions for the separability of a given mixed state with respect to partitions of all particles of the system into subsets. The special case of pure states is discussed separately.
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…
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.
In the present paper the cross norm criterion for separability of density matrices is studied. In the first part of the paper we determine the value of the greatest cross norm for Werner states, for isotropic states and for Bell diagonal states. In the second part we show that the greatest cross norm criterion induces a novel computable separability criterion for bipartite systems. This new criterion is a necessary but in general not a sufficient criterion for separability. It is shown, however, that for all pure states, for Bell diagonal states, for Werner states in dimension d=2 and for isot…
We describe a general methods to localize any sort of k-separability and therefore also the corresponding partial entanglement in genuinely multipartite mixed quantum states. Our methods are based exclusively on the known twopartite methods and some systematic procedures of combinatorial nature. Our methods are formalized in an algorithmic-like fashion and therefore they are easily implementable in a computer environments and might be effectively used for studying numerically these questions for sufficiently small systems
We present a necessary and sufficient product criterion for bipartite quantum states based on the rank of realignment matrix of density matrix. Then, this approach is generalized to multipartite systems. We first introduce the concept of semiproduct in a similar manner to the semiseparable and prove that semiproduct is equivalent to fully product. Therefore, a quantum state is bipartite product with respect to all possible partitions implies fully product which is different from the case of separability. For pure states, it can easily be seen that several necessary and sufficient separability …
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…
We give out the time evolution solution of simultaneous amplitude and phase damping for any continuous variable state. For the simultaneous amplitude and phase damping of a wide class of two- mode entangled Gaussian states, two analytical conditions of the separability are given. One is the sufficient condition of separability. The other is the condition of PPT separability where the Peres-Horodecki criterion is applied. Between the two conditions there may exist bound entanglement. The simplest example is the simultaneous amplitude and phase damping of a two-mode squeezed vacuum state. The da…
The notion of partial trace of a density operator is essential for the understanding of the entanglement and separability properties of quantum states. In this paper we investigate these notions putting an emphasis on the geometrical properties of the covariance ellipsoids of the reduced states. We thereafter focus on Gaussian states and we give new and easily numerically implementable sufficient conditions for the separability of all Gaussian states. Unlike the positive partial transposition criterion, none of these conditions is however necessary.
A general separability condition on the second moment (covariance matrix) for continuous variable two-party systems is derived by an analysis analogous to the derivation of the Kennard's uncertainty relation without referring to the non-negativity of the partially transposed density matrix. This separability criterion is generally more stringent than that used by Simon which is based on the non-negativity of partially transposed density matrix, and thus this criterion may be useful in the analysis of general continuous two-party systems. Another separability criterion used by Duan et al. is sh…
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 e…
Starting with a set of conditions for bipartite separability of arbitrary quantum states in any dimension and expressed in terms of arbitrary operators whose commutator is a $c$-number, we derive a hierarchy of conditions for tripartite separability of continuous-variable three-mode quantum states. These conditions have the form of inequalities for higher-order moments of linear combinations of the mode operators. They enable one to distinguish between all possible kinds of tripartite separability, while the strongest violation of these inequalities is a sufficient condition for genuine tripar…
We derive N-particle Bell-type inequalities under the assumption of partial separability, i.e. that the N-particle system is composed of subsystems which may be correlated in any way (e.g. entangled) but which are uncorrelated with respect to each other. These inequalities provide, upon violation, experimentally accessible sufficient conditions for full N-particle entanglement, i.e. for N-particle entanglement that cannot be reduced to mixtures of states in which a smaller number of particles are entangled. The inequalities are shown to be maximally violated by the N-particle Greenberger-Horne…