T. Eggeling, K. G. H. Vollbrecht, M. M. Wolf
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
The content of this paper is now available as part of arXiv:0902.1502
It is stated by C. Simon, quant-ph/0410032, that the definition of "classicality" used in quant-ph/0310116 is "much narrower than Bell's concept of local hidden variables" and that, in the separable quantum case, the validity of the perfect correlation form of the original Bell inequality is necessarily linked with "the assumption of perfect correlations if the same (quantum) observable is measured on both sides". Here, I prove that these and other statements in quant-ph/0410032 are misleading.
The statement of E.R. Loubenets, Phys. Rev. A 69, 042102 (2004), that separable states can violate classical probabilistic constraints is based on a misleading definition of classicality, which is much narrower than Bell's concept of local hidden variables. In a Bell type setting the notion of classicality used by Loubenets corresponds to the assumption of perfect correlations if the same observable is measured on both sides. While it is obvious that most separable states do not satisfy this assumption, this does not constitute "non-classical" behaviour in any usual sense of the word.
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.
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 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.
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…
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 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…
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.
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.
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, …
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.
Separability criteria based on the Bloch representation of density matrices
本文利用密度矩阵的 Bloch 表示刻画任意维度两体量子态的可分性，导出必要条件、充分条件及一类态的充要条件，并构造性给出纯乘积态分解，可检测包括束缚纠缠在内的纠缠。
Sufficient criteria for absolute separability in arbitrary dimensions via linear map inverses
本文利用线性映射及其逆提出任意维数量子态绝对可分性的新充分判据与极点，并结合凸几何优化及绝对PPT分析，将结果推广至多体系统。
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$ …
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 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…
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…
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.
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…
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.
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 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 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 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)]
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 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.
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 introduce an entanglement criterion to exclude full separability of quantum states. We present numerical evidence that the criterion is necessary and sufficient for the class of GHZ diagonal three-qubit states and estimate the volume of bound entangled states within this class. Finally, we extend our approach to bound entangled states which are not GHZ diagonal.
We 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 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.
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, …
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.
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
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 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 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.
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…
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.
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.
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.
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 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 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…
Separability criterion for n-particle states
本研究提出n粒子态的纯度数概念，证明其最大值是n粒子纯态可分的充要条件、混态可分的必要条件，并探讨n粒子纯态纠缠率可作为全最大纠缠子态系统的纠缠度量。
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 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…
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…
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 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 discuss the discriminating power of separability criteria, which are based on the spectrum of a quantum state and its reductions. Common examples are entropic inequalities utilizing conditional Tsallis or Renyi entropies. We prove that these inequalities are implied by the reduction criterion for any positive value of the entropic parameters. We show however, that arbitrary sets of criteria based on spectral and local information can never be sufficient by establishing a separable, isospectral and locally undistinguishable counterpart for any Werner state in odd dimensions. For the case of …
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…
Separability criteria are typically of the necessary, but not sufficient, variety, in that satisfying some separability criterion, such as positivity of eigenvalues under partial transpose, does not strictly imply separability. Certifying separability amounts to proving the existence of a decomposition of a target mixed state into some convex combination of separable states; determining the existence of such a decomposition is "hard." We show that it is effective to ask, instead, if the target mixed state "fits" some preconstructed separable form, in that one can generate a sufficient separabi…
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…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。