Entanglement, or quantum inseparability, is a crucial resource in quantum information applications, and therefore the experimental generation of separated yet entangled systems is of paramount importance. Experimental demonstrations of inseparability with light are not uncommon, but such demonstrations in physically well-separated massive systems, such as distinct gases of atoms, are new and present significant challenges and opportunities. Rigorous theoretical criteria are needed for demonstrating that given data are sufficient to confirm entanglement. Such criteria for experimental data have been derived for the case of continuous-variable systems obeying the Heisenberg-Weyl (position- momentum) commutator. To address the question of experimental verification more generally, we develop a sufficiency criterion for arbitrary states of two arbitrary systems. When applied to the recent study by Julsgaard, Kozhekin, and Polzik [Nature 413, 400 - 403 (2001)] of spin-state entanglement of two separate, macroscopic samples of atoms, our new criterion confirms the presence of spin entanglement.
Recently in Reference [ quant-ph/0202121] a computational criterion of separability induced by greatest cross norm is proposed by Rudolph. There, Rudolph conjectured that the new criterion is not weaker than positive partial transpose criterion for separability. We show that there exist counterexample to this claim, that is, proposed criterion is weaker than the positive partial transpose criterion.
A very explicit analytic formula of the separability criterion of two-party Gaussian systems is given. This formula is compared to the past formulation of the separability criterion of continuous variables two-party Gaussian systems.
We derive a combinatorial criterion for detecting k-separability of N-partite Dicke states. The criterion is efficiently computable and implementable without full state tomography. We give examples in which the criterion succeeds, where known criteria fail.
The recent proposed realignment separability criterion for mixed is analyzed. We identify the essential part of this criterion is a swap operator followed by a partial transposition. Then we analyze the separability criterion of permutation indices of the density matrix for multipartite state which is a generalization of the realignment criterion. We give a method to solve the equivalence problem of the separability criterion of permutation indices of the density matrix. For tripartite state, we show the non-trivial separability criteria are either partial transposition criterion or realignmen…
We first propose a new separability criterion based on algebraic-geometric invariants of bipartite mixed states introduced in [1], then prove that for all low ranks r <m+n-2, generic rank r mixed states in mxn systems have relatively high Schmidt numbers (thus entangled) by this separability criterion. This also means that the algebraic-geometric separability criterion proposed here can be used to dectect all low rank entangled mixed states outside a measure zero set.
In this paper, we give Separability criterion for the multi-mode Gaussian states using the Marchenko-Pastur theorem. We show that the Marchenko-Pastur theorem from random matrix theory as necessary and sufficient condition for separability of multimode Gaussian states.
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.
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.
Using new results on the separability properties of bosonic systems, we provide a new complete criterion for separability. This criterion aims at characterizing the set of separable states from the inside by means of a sequence of efficiently solvable semidefinite programs. We apply this method to derive arbitrarily good approximations to the optimal measure-and-prepare strategy in generic state estimation problems. Finally, we report its performance in combination with the criterion developed by Doherty et al. [1] for the calculation of the entanglement robustness of a relevant family of quan…
A group of symmetric operators are introduced to carry out the separability criterion for bipartite and multipartite quantum states. Every symmetric operator, represented by a symmetric matrix with only two nonzero elements, and their arbitrary linear combinations are found to be entanglement witnesses. By using these symmetric operators, Wootters' separability criterion for two-qubit states can be generalized to bipartite and multipartite systems in arbitrary dimensions.
The Peres-Horodecki criterion of positivity under partial transpose is studied in the context of separability of bipartite continuous variable states. The partial transpose operation admits, in the continuous case, a geometric interpretation as mirror reflection in phase space. This recognition leads to uncertainty principles, stronger than the traditional ones, to be obeyed by all separable states. For all bipartite Gaussian states, the Peres-Horodecki criterion turns out to be necessary and sufficient condition for separability.
In this paper, we give out some effective criterions which can be used to judge the separability of multipartite pure states. We obtain the relationship between separability and Schmidt decomposable of multipartite pure states in Theorem1. The first criterion derived from Theorem2 dose not need the Schmidt decomposition which is hard to find for multipartite states. Theorem3 is more profound which can be used to deduce Corollary1 which is one of the main results in [1]. Finally, we give out an algorithm which can be used to judge the separability of multipartite pure states effectively.
A decomposition form is introduced in this report to establish a criterion for the bi-partite separability of Bell diagonal states. A such criterion takes a quadratic form of the coefficients of a given Bell diagonal states and can be derived via a simple algorithmic calculation of its invariants. In addition, the criterion can be extended to a quantum system of higher dimension.
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…
We present a class of non-Gaussian two-mode continuous variable states for which the separability criterion for Gaussian states can be employed to detect whether they are separable or not. These states reduce to the two-mode Gaussian states as a special case.
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.
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.
By using the algebraic separability criterion of R. Simon, we present an explicit determination of squeezing parameters for which the P-representation condition saturates the $Sp(2,R)\otimes Sp(2,R)$ invariant separability condition for continuous variable two-party Gaussian systems. We thus give for the first time the explicit analytic formulas of squeezing parameters which establish the equivalence of the separability condition with the P-representation condition. The implications of our algebraic analysis on some of the past related works are discussed.
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.
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 …
We present a framework for deciding whether a quantum state is separable or entangled using covariance matrices of locally measurable observables. This leads to the covariance matrix criterion as a general separability criterion. We demonstrate that this criterion allows to detect many states where the familiar criterion of the positivity of the partial transpose fails. It turns out that a large number of criteria which have been proposed to complement the positive partial transpose criterion - the computable cross norm or realignment criterion, the criterion based on local uncertainty relatio…
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…
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 …
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…
We introduce examples of three- and four-mode entangled Gaussian mixed states that are not detected by the scaling and Peres-Horodecki separability criteria. The presented modification of the scaling criterion resolves this problem. Also it is shown that the new criterion reproduces the main features of the scaling pictures for different cases of entangled states, while the previous versions lead to completely different outcomes. This property of the presented scheme is evidence of its higher generality.
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 introduce algebraic sets in the products of complex projective spaces for the mixed states in multipartite quantum systems as their invariants under local unitary operations. The algebraic sets have to be the union of the linear subspaces if the state is separable. Some examples are studied based on our criterion
We introduce algebraic sets in the complex projective spaces for the mixed states in bipartite quantum systems as their invariants under local unitary operations. The algebraic sets of the mixed state have to be the union of the linear subspaces if the mixed state is separable. Some examples are given and studied based on our criterion
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.
The computable cross norm (CCN) criterion is a new powerful analytical and computable separability criterion for bipartite quantum states, that is also known to systematically detect bound entanglement. In certain aspects this criterion complements the well-known Peres positive partial transpose (PPT) criterion. In the present paper we study important analytical properties of the CCN criterion. We show that in contrast to the PPT criterion it is not sufficient in dimension 2 x 2. In higher dimensions we prove theorems connecting the fidelity of a quantum state with the CCN criterion. We also a…
For a given density matrix $ρ$ of a bipartite quantum system an asymptotical separability criterion is suggested. Using the continuous ensemble method, a sequence of separable density matrices is built which converges to $ρ$ if and only if $ρ$ is separable. The convergence speed is evaluated and for any given tolerance parameter $κ$ an iterative procedure is suggested which decides in finite number of steps if there exists a separable density matrix $ρ_κ$ which differs from the matrix $ρ$ by at most $κ$.
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.
Employing a recently proposed separability criterion we develop analytical lower bounds for the concurrence and for the entanglement of formation of bipartite quantum systems. The separability criterion is based on a nondecomposable positive map which operates on state spaces with even dimension N >= 4, and leads to a class of nondecomposable optimal entanglement witnesses. It is shown that the bounds derived here complement and improve the existing bounds obtained from the criterion of positive partial transposition and from the realignment criterion.
Using a recently introduced framework, we derive criteria for quantum k-separability, which are very easily computed. In the case k = 2, our criteria are equally strong to the best methods known so far, while in all other cases there are currently no comparable criteria known. We also show how the criteria can be implemented experimentally.
We analyze and compare the mathematical formulations of the criterion for separability for bipartite density matrices and the Bell inequalities. We show that a violation of a Bell inequality can formally be expressed as a witness for entanglement. We also show how the criterion for separability and a description of the state by a local hidden variable theory, become equivalent when we restrict the set of local hidden variable theories to the domain of quantum mechanics. This analysis sheds light on the essential difference between the two criteria and may help us in understanding whether there…
We present a method for checking Peres separability criterion in an arbitrary bipartite quantum state $ρ_{AB}$ within local operations and classical communication scenario. The method does not require the prior state reconstruction and the structural physical approximation. The main task for the two observers, Alice and Bob, is to estimate some specific functions. After getting these functions, they can determine the minimal eigenvalue of $ρ^{T_{B}}_{AB}$, which serves as an entanglement indicator in lower dimensions.
A family of separability criteria based on correlation matrix (tensor) is provided. Interestingly, it unifies several criteria known before like e.g. CCNR or realignment criterion, de Vicente criterion and derived recently separability criterion based on SIC POVMs. It should be stressed that, unlike the well known Correlation Matrix Criterion or criterion based on Local Uncertainty Relations, the new criteria are linear in the density operator and hence one may find new classes of entanglement witnesses and positive maps. Interestingly, there is a natural generalization to multipartite scenari…
We introduce a weak form of the realignment separability criterion which is particularly suited to detect continuous-variable entanglement and is physically implementable (it requires linear optics transformations and homodyne detection). Moreover, we define a family of states, called Schmidt-symmetric states, for which the weak realignment criterion reduces to the original formulation of the realignment criterion, making it even more valuable as it is easily computable especially in higher dimensions. Then, we focus in particular on Gaussian states and introduce a filtration procedure based o…
We show that the following nontrivial necessary precondition for an entanglement evolution equation for pure Gaussian states under one-sided Gaussian channels holds. Suppose a Gaussian quantum channel acts on one mode of a pure entangled multi-mode Gaussian input state. Then, for a fixed channel, either all output states are entangled or none of them are. In other words, if the input state is Gaussian, pure and entangled, the separability after a one-sided Gaussian quantum channel does not depend on the input state, but only on the channel. Furthermore, a simple linear-algebraic separability c…
Currently available separability criteria for continuous-variable states are generally based on the covariance matrix of quadrature operators. The well-known separability criterion of Duan et al. [Phys. Rev. Lett. 84, 2722 (2000)] and Simon [Phys. Rev. Lett. 84, 2726 (2000)] , for example, gives a necessary and sufficient condition for a two-mode Gaussian state to be separable, but leaves many entangled non-Gaussian states undetected. Here, we introduce an improvement of this criterion that enables a stronger entanglement detection. The improved condition is based on the knowledge of an additi…
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, …
The partial scaling transform of the density matrix for multiqubit states is introduced to detect entanglement of quantum states. The transform contains partial transposition as a special case. The scaling transform corresponds to partial time scaling of subsystem (or partial Planck's constant scaling) which was used to formulate recently separability criterion for continous variables.A measure of entanglement which is a generalization of negativity measure is introduced being based on tomographic probability description of spin states.
We construct a density matrix whose elements are written in terms of expectation values of non-Hermitian operators and their products for arbitrary dimensional bipartite states. We then show that any expression which involves matrix elements can be reformulated by the expectation values of these non-Hermitian operators and vice versa. We consider the condition of pure states and pure product states and rewrite them in terms of expectation values and density matrix elements respectively. We utilize expectation values of these operators to present the condition for separability of ${C}^d \otimes…
A geometric understanding of entanglement is proposed based on local measurements. Taking recourse to the general structure of density matrices in the framework of Euclidean geometry, we first illustrate our approach for bipartite Werner states. It is demonstrated that separable states satisfy certain geometric constraints that entangled states do not. A separability criterion for multiparty Werner states of arbitrary dimension is derived. This approach can be used to determine separability across any bipartition of a general density matrix and leads naturally to a computable measure of entang…
Detection power of separability criteria based on a correlation tensor is tested within a family of generalized isotropic state in $d_1 \otimes d_2$. For $d_1 \neq d_2$ all these criteria are weaker than positive partial transposition (PPT) criterion. Interestingly, our analysis supports the recent conjecture that a criterion based on symmetrically informationaly complete positive operator-valued measure (SIC-POVMs) is stronger than realignment criterion.
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…
The problem of constructing a necessary and sufficient condition for establishing the separability of continuous variable systems is revisited. Simon [R. Simon, Phys. Rev. Lett. 84, 2726 (2000)] pointed out that such a criterion may be constructed by drawing a parallel between the Peres' partial transpose criterion for finite dimensional systems and partial time reversal transformation for continuous variable systems. We generalize the partial time reversal transformation to a partial scaling transformation and re-examine the problem using a tomographic description of the continuous variable q…
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 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.
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.
In this Letter we give a method for constructing sets of simple circuits that can determine the spectrum of a partially transposed density matrix, without requiring either a tomographically complete POVM or the addition of noise to make the spectrum non-negative. These circuits depend only on the dimension of the Hilbert space and are otherwise independent of the state.
We analyse the problem of distillation of entanglement of mixed states in higher dimensional compound systems. Employing the positive maps method [M. Horodecki et al., Phys. Lett. A 223 1 (1996)] we introduce and analyse a criterion of separability which relates the structures of the total density matrix and its reductions. We show that any state violating the criterion can be distilled by suitable generalization of the two-qubit protocol which distills any inseparable two-qubit state. Conversely, all the states which can be distilled by such a protocol must violate the criterion. The proof in…
It is shown that any separable state on Hilbert space ${\cal H}={\cal H}_1\otimes{\cal H}_2$, can be written as a convex combination of N pure product states with $N\leq (dim{\cal H})^2$. Then a new separability criterion for mixed states in terms of range of density matrix is obtained. It is used in construction of inseparable mixed states with positive partial transposition in the case of $3\times 3$ and $2\times 4$ systems. The states represent an entanglement which is hidden in a more subtle way than it has been known so far.
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 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.
We present an elementary and explicit proof of the separability criterion for continuous variable two-party Gaussian systems. Our proof is based on an elementary formulation of uncertainty relations and an explicit determination of squeezing parameters for which the P-representation condition saturates the $Sp(2,R)\otimes Sp(2,R)$ invariant separability condition. We thus give the explicit formulas of squeezing parameters, which establish the equivalence of the separability condition with the P-representation condition, in terms of the parameters of the standard form of the correlation matrix.…
