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.
The formalism of classical and quantum mechanics on phase space leads to symplectic and Heisenberg group representations, respectively. The Wigner functions give a representation of the quantum system using classical variables. The correspondence between the classical and the quantum criterion of separability for the system is obtained in terms of these functions. Entanglement is generic and separability is special. Some applications are discussed in commonly occuring examples and possibly in exotic systems.
Algebraic approach to quantum non - separability is applied to the case of two qubits. It is based on the partition of the algebra of observables into independent subalgebras and the tensor product structure of the Hilbert space is not exploited. Even in this simple case, such general formulation has some advantages. Using algebraic formalism we can explicitly show the relativity of the notion of entanglement to the observables measured in the system and characterize separable and non - separable pure states. As a universal measure of non - separability of pure states we propose to take so cal…
We discuss the concept of how entanglement changes with respect to different factorizations of the total algebra which describes the quantum states. Depending on the considered factorization a quantum state appears either entangled or separable. For pure states we always can switch unitarily between separability and entanglement, however, for mixed states a minimal amount of mixedness is needed. We discuss our general statements in detail for the familiar case of qubits, the GHZ states, Werner states and Gisin states, emphasizing their geometric features. As theorists we use and play with this…
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.
The notions of $k$-separability and $k$-producibility are useful and expressive tools for the characterization of entanglement in multipartite quantum systems, when a more detailed analysis would be infeasible or simply needless. In this work we reveal a partial duality between them, which is valid also for their correlation counterparts. This duality can be seen from a much wider perspective, when we consider the entanglement and correlation properties which are invariant under the permutations of the subsystems. These properties are labeled by Young diagrams, which we endow with a refinement…
We provide a constructive algorithm to find the best separable approximation to an arbitrary density matrix of a composite quantum system of finite dimensions. The method leads to a condition of separability and to a measure of entanglement.
We investigate the separability of arbitrary $n$-dimensional multipartite identical bosonic systems. An explicit relation between the dimension and the separability is presented. In particular, for $n=3$, it is shown that the property of PPT (positive partial transpose) and the separability are equivalent for tripartite systems.
We investigate the separability of quantum states based on covariance matrices. Separability criteria are presented for multipartite states. The lower bound of concurrence proposed in Phys. Rev. A. 75, 052320 (2007) is improved by optimizing the local orthonormal observables.
The separability and entanglement of quantum mixed states in $\Cb^2 \otimes \Cb^3 \otimes \Cb^N$ composite quantum systems are investigated. It is shown that all quantum states $ρ$ with positive partial transposes and rank $r(ρ)\leq N$ are separable.
We study the separability of symmetric bipartite quantum states and show that a single correlation measurement is sufficient to detect the entanglement of any bipartite symmetric state with a non-positive partial transpose. We also discuss entanglement conditions and entanglement witnesses for states with a positive partial transpose.
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.
We present a method to derive separability criteria for the different classes of multiparticle entanglement, especially genuine multiparticle entanglement. The resulting criteria are necessary and sufficient for certain families of states. Further, the criteria are superior to all known entanglement criteria for many other families; also they allow the detection of bound entanglement. We next demonstrate that they are easily implementable in experiments and discuss applications to the decoherence of multiparticle entangled states.
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.
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.
The separability problem is formulated in terms of a characterization of a single entanglement witness. More specifically, we show that any (in general multipartite) state \varrho is separable if and only if a specially constructed entanglement witness W_{\varrho} is weakly optimal, i.e., its expectation value vanishes on at least one product vector. Interestingly, the witness can always be chosen to be decomposable. Our result changes the conceptual aspect of the separability problem and rises some questions about properties of positive maps.
We found three qubit Greenberger-Horne-Zeilinger diagonal states which tells us that the partial separability of three qubit states violates the distributive rules with respect to the two operations of convex sum and intersection. The gaps between the convex sets involving the distributive rules are of nonzero volume.
We construct seven kinds of three-qubit biseparable states to show that every class of biseparable states in the partial separability classification proposed by Szalay and Kökényesi [S. Szalay and Z. Kökényesi, Phys. Rev. A 86, 032341 (2012)] is nonempty.
We review the problem of discriminating entangled states from separable states for bipartite systems. We formally define what entangled states are, present some important criteria to detect entanglement, and show how they can be classified according to their capability to perform some precisely defined tasks.
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)]
Normalized Laplacian matrices of graphs have recently been studied in the context of quantum mechanics as density matrices of quantum systems. Of particular interest is the relationship between quantum physical properties of the density matrix and the graph theoretical properties of the underlying graph. One important aspect of density matrices is their entanglement properties, which are responsible for many nonintuitive physical phenomena. The entanglement property of normalized Laplacian matrices is in general not invariant under graph isomorphism. In recent papers, graphs were identified wh…
For a given Hamiltonian $H$ on a multipartite quantum system, one is interested in finding the energy $E_0$ of its ground state. In the separability approximation, arising as a natural consequence of measurement in a separable basis, one looks for the minimal expectation value $λ_{\rm min}^{\otimes}$ of $H$ among all product states. For several concrete model Hamiltonians, we investigate the difference $λ_{\rm min}^{\otimes}-E_0$, called separability gap, which vanishes if the ground state has a product structure. In the generic case of a random Hermitian matrix of the Gaussian orthogonal ense…
We reduce the question whether a given quantum mixed state is separable or entangled to the problem of existence of a certain full family of commuting normal matrices whose matrix elements are partially determined by components of the pure states constituting a decomposition of the considered mixture. The method reproduces many known entanglement and/or separability criteria, and provides yet another geometrical characterization of mixed separable states.
Quantum entanglement plays crucial roles in quantum information processing. Quantum entangled states have become the key ingredient in the rapidly expanding field of quantum information science. Although the nonclassical nature of entanglement has been recognized for many years, considerable efforts have been taken to understand and characterize its properties recently. In this review, we introduce some recent results in the theory of quantum entanglement. In particular separability criteria based on the Bloch representation, covariance matrix, normal form and entanglement witness; lower bound…
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.
Ichikawa et al. [Phys. Rev. A 78, 052105 (2008)] showed that exchange symmetry gives rise to simple characterization of whether multipartite pure quantum states being either globally entangled or fully separable. In this Brief Report, we provide a simple alternative approach and some extension to their conclusions.
The qudit state for j = 3=2 with density matrix of the form corresponding to X-state of two-qubits is studied from the point of view of entanglement and separability properties. The method of qubit portrait of qudit states is used to get the entropic inequalities for the entangled state of the single qudit. The tomographic probability representation of the qudit X-state under consideration and its Shannon and q-entropic characteristics are presented in explicit form.
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…
The separability problem is one of the basic and emergent problems in the present and future quantum information processing. The latter focuses on information and computing based on quantum mechanics and uses quantum bits as its basic information units. In this paper, we present an overview of the progress in the separability problem in bipartite systems, more specifically in two quantum bits systems from the criterion based on the inequalities of Bell in $1964$ to the recent criteria of separability in 2018.
The known Peres-Horodecki criterion and scaling criterion of separability are considered on examples of three-mode and four-mode Gaussian states of electromagnetic field. It is shown that the principal minors of the photon quadrature dispersion matrix are sensitive to the change of scaling parameters. An empirical observation has shown that the bigger the modulus of negative principal minors, the more entangled the state.
The general expression with the physical significance and positive definite condition of the eigenvalues of $4\times 4$ Hermitian and trace-one matrix are obtained. This implies that the eigenvalue problem of the $4\times 4$ density matrix is generally solved. The obvious expression of Peres' separability condition for an arbitrary state of two qubits is then given out and it is very easy to use. Furthermore, we discuss some applications to the calculation of the entanglement, the upper bound of the entanglement, and a model of the transfer of entanglement in a qubit chain through a noisy chan…
We present a geometric approach to the characterization of separability and entanglement in pure Gaussian states of an arbitrary number of modes. The analysis is performed adapting to continuous variables a formalism based on single subsystem unitary transformations that has been recently introduced to characterize separability and entanglement in pure states of qubits and qutrits [arXiv:0706.1561]. In analogy with the finite-dimensional case, we demonstrate that the $1 \times M$ bipartite entanglement of a multimode pure Gaussian state can be quantified by the minimum squared Euclidean distan…
We examine the entanglement of general mixed states of a two qubit Heisenberg XYZ chain in the presence of a magnetic field, and its detection by means of different criteria. Both the exact separability conditions and the weaker conditions implied by the disorder and the von Neumann entropic criteria are analyzed. The ensuing limit temperatures for entanglement in thermal states of different XYZ models are then examined and compared with the limit temperature of the symmetry-breaking solution in a mean field type approximation. The latter, though generally lower, can also be higher than the ex…
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 investigate separability and entanglement of mixed states in ${\cal C}^2\otimes{\cal C}^2\otimes{\cal C}^N$ three party quantum systems. We show that all states with positive partial transposes that have rank $\le N$ are separable. For the 3 qubit case (N=2) we prove that all states $ρ$ that have positive partial transposes and rank 3 are separable. We provide also constructive separability checks for the states $ρ$ that have the sum of the rank of $ρ$ and the ranks of partial transposes with respect to all subsystems smaller than 15N-1.
We present a review of the problem of finding out whether a quantum state of two or more parties is entangled or separable. After a formal definition of entangled states, we present a few criteria for identifying entangled states and introduce some entanglement measures. We also provide a classification of entangled states with respect to their usefulness in quantum dense coding, and present some aspects of multipartite entanglement.
Quantum correlations in the state of four-level atom are investigated by using generic unitary transforms of the classical (diagonal) density matrix. Partial cases of pure state, $X$-state, Werner state are studied in details. The geometrical meaning of unitary Hilbert reference-frame rotations generating entanglement in the initially separable state is discussed. Characteristics of the entanglement in terms of concurrence, entropy and negativity are obtained as functions of the unitary matrix rotating the reference frame.
Determining whether a quantum state is separable or entangled is a problem of fundamental importance in quantum information science. It has recently been shown that this problem is NP-hard. There is a highly inefficient `basic algorithm' for solving the quantum separability problem which follows from the definition of a separable state. By exploiting specific properties of the set of separable states, we introduce a new classical algorithm that solves the problem significantly faster than the `basic algorithm', allowing a feasible separability test where none previously existed e.g. in 3-by-3-…
We determine the conditions under which general dimer-type spin chains with $XYZ$ couplings of arbitrary range in a general transverse field will exhibit an exactly separable parity-breaking eigenstate. We also provide sufficient conditions which ensure that it will be a ground state. We then examine the exact side limits at separability of the entanglement between any two spins in a finite chain, showing that in the vicinity of separability, the system will loose all signatures of dimerization, with pairwise entanglement approaching infinite range and becoming independent of separation and in…
We investigate the geometric characterization of pure state bipartite entanglement of $(2\times{D})$- and $(3\times{D})$-dimensional composite quantum systems. To this aim, we analyze the relationship between states and their images under the action of particular classes of local unitary operations. We find that invariance of states under the action of single-qubit and single-qutrit transformations is a necessary and sufficient condition for separability. We demonstrate that in the $(2\times{D})$-dimensional case the von Neumann entropy of entanglement is a monotonic function of the minimum sq…
We focus on determining the separability of an unknown bipartite quantum state $ρ$ by invoking a sufficiently large subset of all possible entanglement witnesses given the expected value of each element of a set of mutually orthogonal observables. We review the concept of an entanglement witness from the geometrical point of view and use this geometry to show that the set of separable states is not a polytope and to characterize the class of entanglement witnesses (observables) that detect entangled states on opposite sides of the set of separable states. All this serves to motivate a classica…
To determine whether a given multipartite quantum state is separable with respect to some partition we construct a family of entanglement measures R_m. This is done utilizing generalized concurrences as building blocks which are defined by flipping of M constituents and indicate states that are separable with regard to bipartitions when vanishing. Further, we provide an analytically computable lower bound for R_m via a simple ordering relation of the convex roof extension. Using the derived lower bound, we illustrate the effect of the isotropic noise on a family of four-qubit mixed states for …
Equilibrium states of infinite extended lattice systems at high temperature are studied with respect to their entanglement. Two notions of separability are offered. They coincide for finite systems but differ for infinitely extended ones. It is shown that for lattice systems with localized interaction for high enough temperature there exists no local entanglement. Even more quasifree states at high temperature are also not distillably entangled for all local regions of arbitrary size. For continuous systems entanglement survives for all temperatures. In mean field theories it is possible, that…
We define the separability and entanglement notion for particle with spin $s=1$. We consider two cases. In the first the particle is composed of two fermions with $s_1=1/2$ and $s_2=1/2$. In the second case the state is the qutrit state which is not composed system. The notion of negativity and concurrence is defined for the qutrit state. The concurrence and negativity of entangled and separable qutrit states determined by the parameters of the density matrix are explicitly calculated. The maximum entanglement of the qutrit state is observed for maximum values of non diagonal matrix elements o…
Separability and entanglement for n-qubits systems are quantified by using Hilbert-Schmidt (HS) decompositions in which the density matrices are decomposed into various terms representing certain one qubit, two-qubits,and larger qubits measurements. The present method is more general than previous methods for bipartite systems as it can be used for quantification of entanglement for large n-qubits systems.We demonstrate the use of such method by analyzing three qubits GHZ states, and three qubits general Bell states produced by a certain multiplications of Braid operators, operating on the com…
We explore the subtle relationships between partial separability and entanglement of subsystems in multiqubit quantum states and give experimentally accessible conditions that distinguish between various classes and levels of partial separability in a hierarchical order. These conditions take the form of bounds on the correlations of locally orthogonal observables. Violations of such inequalities give strong sufficient criteria for various forms of partial inseparability and multiqubit entanglement. The strength of these criteria is illustrated by showing that they are stronger than several ot…
A hierarchy of multimode uncertainty relations on the second moments of n pairs of canonical operators is derived in terms of quantities invariant under linear canonical (i.e. symplectic) transformations. Conditions for the separability of multimode continuous variable states are derived from the uncertainty relations, generalizing the inequalities obtained in [Phys. Rev. Lett. 96, 110402 (2006)] to states with some transposed symplectic eigenvalues equal to 1. Finally, to illustrate the methodology proposed for the detection of continuous variable entanglement, the separability of multimode n…
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…
In this paper we give a general integral representation for separable states in the tensor product of infinite dimensional Hilbert spaces and provide the first example of separable states that are not countably decomposable. We also prove the structure theorem for the quantum communication channels that are entanglement-breaking, generalizing the finite-dimensional result of M. Horodecki, Ruskai and Shor. In the finite dimensional case such channels can be characterized as having the Kraus representation with operators of rank 1. The above example implies existence of infinite-dimensional enta…
We study separability problem using general symmetric informationally complete measurements and propose separability criteria in $\mathbb{C}^{d_{1}}\otimes\mathbb{C}^{d_{2}}$ and $\mathbb{C}^{d_{1}}\otimes\mathbb{C}^{d_{2}}\cdots\otimes\mathbb{C}^{d_{n}}$. Our criteria just require less local measurements and provide experimental implementation in detecting entanglement of unknown quantum states.
In the discussion about the quantumness of NMR computation a conclusion is done that computational states are separable and therefore can not be entangled. This conclusion is based on the assumption that the initial density matrix of an individual molecule coincides with whole sample molecules distribution over single molecule energy levels. This means that quantum stochasticity is replaced by classical stochasticity. In the present paper it is shown, that quantum NMR computation can create genuine entangled states if initial system states are thermodynamical equilibrium ones. A separability a…
Boston College（波士顿学院）；J.P. Morgan（摩根大通）；Brandeis University（布兰迪斯大学）；Boston University（波士顿大学）
This study clarifies the proper criteria to assess the modeling capacity of a general tensor model. The work analyze the problem based on the study of tensor ranks, which is not a well-defined quantity for higher order tensors. To process, the author introduces the separability issue to discuss the Cannikin's law of tensor modeling. Interestingly, a connection between entanglement studied in information theory and tensor analysis is established, shedding new light on the theoretical understanding for modeling capacity problems.
We propose the Wigner separability entropy as a measure of complexity of a quantum state. This quantity measures the number of terms that effectively contribute to the Schmidt decomposition of the Wigner function with respect to a chosen phase space decomposition. We prove that the Wigner separability entropy is equal to the operator space entanglement entropy, measuring entanglement in the space of operators, and, for pure states, to twice the entropy of entanglement. The quantum to classical correspondence between the Wigner separability entropy and the separability entropy of the classical …
Quantumness and separability criteria for continuous variable systems are discussed for the case of a noncommutative (NC) phase-space. In particular, the quantum nature and the entanglement configuration of NC two-mode Gaussian states are examined. Two families of covariance matrices describing standard quantum mechanics (QM) separable states are deformed into a NC QM configuration and then investigated through the positive partial transpose criterium for identifying quantum entanglement. It is shown that the entanglement of Gaussian states may be exclusively induced by switching on the NC def…
We present a family of entanglement measures R_m which act as indicators for separability of n-qubit quantum states into m subsystems for arbitrary 2 \leq m \leq n. The measure R_m vanishes if the state is separable into m subsystems, and for m = n it gives the Meyer-Wallach measure while for m = 2 it reduces, in effect, to the one introduced recently by Love et al. The measures R_m are evaluated explicitly for the GHZ state and the W state (and its modifications, the W_k states) to show that these globally entangled states exhibit rather distinct behaviors under the measures, indicating the u…
