Separability criterion and inseparable mixed states with positive partial transposition
Pawel Horodecki
备注：
It is improved and extended version of the former manuscript, in particular the theorem concerning finite decomposition of separable states has been included, 14 pages, RevTeX
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 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.
In matrix theory, a well established relation $(AB)^{T}=B^{T}A^{T}$ holds for any two matrices $A$ and $B$ for which the product $AB$ is defined. Here $T$ denote the usual transposition. In this work, we explore the possibility of deriving the matrix equality $(AB)^Γ=A^ΓB^Γ$ for any $4 \times 4$ matrices $A$ and $B$, where $Γ$ denote the partial transposition. We found that, in general, $(AB)^Γ\neq A^ΓB^Γ$ holds for $4 \times 4$ matrices $A$ and $B$ but there exist particular set of $4 \times 4$ matrices for which $(AB)^Γ= A^ΓB^Γ$ holds. We have exploited this matrix equality to investigate th…
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…
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 dynamical behavior of interacting systems plays a fundamental role for determining quantum correlations, such as entanglement. In this Letter, we describe temporal quantum effects of the inseparable evolution of composite quantum states by comparing the trajectories to their classically correlated counterparts. For this reason, we introduce equations of motions describing the separable propagation of any interacting quantum system, which are derived by requiring separability for all times. The resulting Schroedinger-type equations allow for comparing the trajectories in a separable configu…
Positivity of the density operator reflects itself in terms of sequences of inequalities on observable moments. Uncertainty relations for non-commuting observables form a subset of these inequalities. In addition, criterion of positivity under partial transposition (PPT) imposes distinct bounds on moments, violations of which signal entanglement. We present bounds on some novel sets of composite moments, consequent to positive partial transposition of the density operator and report their violation by entangled multiqubit states. In particular, we derive separability bounds on a multiqubit mom…
The discovery of entangled quantum states from which one cannot distill pure entanglement constitutes a fundamental recent advance in the field of quantum information. Such bipartite bound-entangled (BE) quantum states \emph{could} fall into two distinct categories: (1) Inseparable states with positive partial transposition (PPT), and (2) States with negative partial transposition (NPT). While the existence of PPT BE states has been confirmed, \emph{only one} class of \emph{conjectured} NPT BE states has been discovered so far. We provide explicit constructions of a variety of multi-copy undis…
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 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)]
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 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 study bipartite entanglement in systems of N identical bosons distributed in M different modes. For such systems, a definition of separability not related to any a priori Hilbert space tensor product structure is needed and can be given in terms of commuting subalgebras of observables. Using this generalized notion of separability, we classify the states for which partial transposition turns out to be a necessary and sufficient condition for entanglement detection.
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.
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.
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.
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.
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 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 investigate classification and detection of entanglement of multipartite quantum states in a very general setting, and obtain efficient $k$-separability criteria for mixed multipartite states in arbitrary dimensional quantum systems. These criteria can be used to distinguish $n-1$ different classes of multipartite inseparable states and can detect many important multipartite entangled states such as GHZ states, W states, anti W states, and mixtures thereof. They detect $k$-nonseparable $n$-partite quantum states which have previously not been identified. Here $k=2,3,\cdots,n$. No optimizati…
We construct a family of bipartite states of arbitrary dimension whose eigenvalues of the partially transposed matrix can be inferred directly from the block structure of the global density matrix. We identify from this several subfamilies in which the PPT criterion is both necessary and sufficient. A sufficient criterion of separability is obtained, which is fundamental for the discussion. We show how several examples of states known to be classifiable by the PPT criterion indeed belong to this general set. Possible uses of these states in numerical analysis of entanglement and in the search …
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 solve the open question of the existence of four-qubit entangled symmetric states with positive partial transpositions (PPT states). We reach this goal with two different approaches. First, we propose a half-analytical-half-numerical method that allows to construct multipartite PPT entangled symmetric states (PPTESS) from the qubit-qudit PPT entangled states. Second, we adapt the algorithm allowing to search for extremal elements in the convex set of bipartite PPT states [J. M. Leinaas, J. Myrheim, and E. Ovrum, Phys. Rev. A 76, 034304 (2007)] to the multipartite scenario. With its aid we s…
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…
We analyze the separability properties of density operators supported on $\C^2\otimes \C^N$ whose partial transposes are positive operators. We show that if the rank of $ρ$ equals N then it is separable, and that bound entangled states have rank larger than N. We also give a separability criterion for a generic density operator such that the sum of its rank and the one of its partial transpose does not exceed 3N. If it exceeds this number we show that one can subtract product vectors until decreasing it to 3N, while keeping the positivity of $ρ$ and its partial transpose. This automatically gi…
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 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.
From both theoretical and experimental points of view symmetric states constitute an important class of multipartite states. Still, entanglement properties of these states, in particular those with positive partial transposition (PPT), lack a systematic study. Aiming at filling in this gap, we have recently affirmatively answered the open question of existence of four-qubit entangled symmetric states with positive partial transposition and thoroughly characterized entanglement properties of such states [J. Tura et al., Phys. Rev. A 85, 060302(R) (2012)] With the present contribution we continu…
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.
With a probability of success of $95 \%$ we solve the separability problem for Bell diagonal qutrit states with positive partial transposition (PPT). The separability problem, i.e. distinguishing separable and entangled states, generally lacks an efficient solution due to the existence of bound entangled states. In contrast to free entangled states that can be used for entanglement distillation via local operations and classical communication, these states cannot be detected by the Peres-Horodecki criterion or PPT criterion. We analyze a large family of bipartite qutrit states that can be sepa…
The structure of the state spaces of bipartite (N tensor N) quantum systems which are invariant under product representations of the group SO(3) of three-dimensional proper rotations is analyzed. The subsystems represent particles of arbitrary spin j which transform according to an irreducible representation of the rotation group. A positive map theta is introduced which describes the time reversal symmetry of the local states and which is unitarily equivalent to the transposition of matrices. It is shown that the partial time reversal transformation theta_2 = (I tensor theta) acting on the co…
A finite dimensional quantum mechanical system is modeled by a density rho, a trace one, positive semi-definite matrix on a suitable tensor product space H[N] . For the system to demonstrate experimentally certain non-classical behavior, rho cannot be in S, a closed convex set of densities whose extreme points have a specificed tensor product form. Two mathematical problems in the quantum computing literature arise from this context: (1) the determination whether a given rho is in S and (2) a measure of the ``entanglement'' of such a rho in terms of its distance from S. In this paper we descri…
We derive a general framework that connects every positive map with a corresponding witness for partial separability in multipartite quantum systems. We show that many previous approaches were intimately connected to the witnesses derived from partial transposition and that such criteria can easily be outperformed in higher dimensions by non-decomposable maps. As an exemplary case we present a witness that is capable of detecting genuine multipartite entanglement in bound entangled states.
From the consideration of measuring bipartite mixed states by separable pure states, we introduce algebraic sets in complex projective spaces for bipartite mixed states as the degenerating locus of the measurement. These algebraic sets are independent of the eigenvalues and only measure the "position" of eigenvectors of bipartite mixed states. They are nonlocal invariants ie., remaining invariant after local unitary transformations. The algebraic sets have to be the sum of the linear subspaces if the mixed states are separable, and thus we give a "eigenvalue-free" criterion of separability.Bas…
In this paper we consider the separability problem for bipartite quantum states arising from graphs. Earlier it was proved that the degree criterion is the graph-theoretic counterpart of the familiar positive partial transpose criterion for separability, although there are entangled states with positive partial transpose for which the degree criterion fails. Here we introduce the concept of partially symmetric graphs and degree symmetric graphs by using the well-known concept of partial transposition of a graph and degree criteria, respectively. Thus, we provide classes of bipartite separable …
For quantum systems with a total dimension greater than six, the positive partial transposition (PPT) criterion is sufficient but not necessary to decide the non-separability of quantum states. Here, we present an Automated Machine Learning approach to classify random states of two qutrits as separable or entangled using enough data to perform a quantum state tomography, without any direct measurement of its entanglement. We could successfully apply our framework even when the Peres-Horodecki criterion fails. In addition, we could also estimate the Generalized Robustness of Entanglement with r…
We study quantum information aspects of the fermionic entanglement negativity recently introduced in [Phys. Rev. B 95, 165101 (2017)] based on the fermionic partial transpose. In particular, we show that it is an entanglement monotone under the action of local quantum operations and classical communications--which preserves the local fermion-number parity-- and satisfies other common properties expected for an entanglement measure of mixed states. We present fermionic analogs of tripartite entangled states such as W and Greenberger-Horne-Zeilinger states and compare the results of bosonic and …
Tensor product operators on finite dimensional Hilbert spaces are studied. The focus is on bilinear tensor product operators. A tensor product operator on a pair of Hilbert spaces is a maximally general bilinear operator into a target Hilbert space. By 'maximally general' is meant every bilinear operator from the same pair of spaces to any Hilbert space factors into the composition of the tensor product operator with a uniquely determined linear mapping on the target space. There are multiple distinct tensor product operators of the same type; there is no "the" tensor product. Distinctly diffe…
Entanglement witnesses (EWs) are a fundamental tool for the detection of entanglement. We study the inertias of EWs, i.e., the triplet of the numbers of negative, zero, and positive eigenvalues respectively. We focus on the EWs constructed by the partial transposition of states with non-positive partial transposes. We provide a method to generate more inertias from a given inertia by the relevance between inertias. Based on that we exhaust all the inertias for EWs in each qubit-qudit system. We apply our results to propose a separability criterion in terms of the rank of the partial transpose …
Absolutely separable states $\varrho$ remain separable under arbitrary unitary transformations $U \varrho U^†$. By example of a three qubit system we show that in multipartite scenario neither full separability implies bipartite absolute separability nor the reverse statement holds. The main goal of the paper is to analyze quantum maps resulting in absolutely separable output states. Such absolutely separating maps affect the states in a way, when no Hamiltonian dynamics can make them entangled afterwards. We study general properties of absolutely separating maps and channels with respect to b…
Optimal entanglement criteria from trace invariants
S. N. Bose National Centre for Basic Sciences（S.N. 玻色基础科学国家中心）；Indian Statistical Institute（印度统计研究所）；Université de Toulouse（图卢兹大学）；Laboratoire de Physique Théorique, Université de Toulouse, CNRS, UPS（理论物理实验室，图卢兹大学，法国国家科学研究中心）
