Better bound on the exponent of the radius of the multipartite separable ball
Leonid Gurvits, Howard Barnum
备注：
30 pp doublespaced, latex/revtex, v2 added discussion of Szarek's upper bound, and reference to work of Vidal, v3 fixed some errors (no effect on results), v4 involves major changes leading to an improved constant, same exponent, and adds references to and discussion of Szarek's work showing that exponent is essentially optimal for qubit case, and Hildebrand's alternative derivation for qubit case. To appear in PRA
We show that for an m-qubit quantum system, there is a ball of radius asymptotically approaching kappa 2^{-gamma m} in Frobenius norm, centered at the identity matrix, of separable (unentangled) positive semidefinite matrices, for an exponent gamma = (1/2)((ln 3/ln 2) - 1), roughly .29248125. This is much smaller in magnitude than the best previously known exponent, from our earlier work, of 1/2. For normalized m-qubit states, we get a separable ball of radius sqrt(3^(m+1)/(3^m+3)) * 2^{-(1 + γ)m}, i.e. sqrt{3^{m+1}/(3^m+3)}\times 6^{-m/2} (note that κ= \sqrt{3}), compared to the previous 2 * 2^{-3m/2}. This implies that with parameters realistic for current experiments, NMR with standard pseudopure-state preparation techniques can access only unentangled states if 36 qubits or fewer are used (compared to 23 qubits via our earlier results). We also obtain an improved exponent for m-partite systems of fixed local dimension d_0, although approaching our earlier exponent as d_0 approaches infinity.
The structural study of entanglement in multipartite systems is hindered by the lack of necessary and sufficient operational criteria able to discriminate among the various entanglement properties of a given mixed state. Here, we pursue a different route to the study of multipartite entanglement based on the closeness of a multipartite state to the set of separable ones. In particular, we analyze multipartite diagonal symmetric N qubit states and provide the analytical expression for their Best Separable Approximation (BSA [Phys. Rev. Lett. 80, 2261 (1998)]), that is, their unique convex decom…
We present a necessary and sufficient condition for the separability of multipartite quantum states, this criterion also tells us how to write a multipartite separable state as a convex sum of separable pure states. To work out this criterion, we need to solve a set of equations, actually it is easy to solve these quations analytically if the density matrix of the given quantum state has few nonzero eigenvalues.
A parametrization of multipartite separable states in a finite-dimensional Hilbert space is suggested. It is proved to be a diffeomorphism between the set of zero-trace operators and the interior of the set of separable density operators. The result is applicable to any tensor product decomposition of the state space. An analytical criterion for separability of density operators is established in terms of the boundedness of a sequence of operators.
We introduce an operational procedure to determine, with arbitrary probability and accuracy, optimal entanglement witness for every multipartite entangled state. This method provides an operational criterion for separability which is asymptotically necessary and sufficient. Our results are also generalized to detect all different types of multipartite entanglement.
After introducing the partially separable concept, we proved the equivalence between the partial separability of a given $m$-partite subsystem with $m$ qubits and the purity of states of this $m$-partite subsystem for a pure state in multipartite systems with arbitrary finite $n(>m)$ qubits. Furthermore, we give out the operational realizations (corollaries) of our theorem, which are the sufficient and necessary criterions of partial separability of states and can be used to classification of states. Our results are helpful to understand and describe quantum entanglement in multipartite system…
We prove experimentally the predicted existence of a three-qubit quantum state with genuine multipartite entanglement which can be certified solely from its separable two-qubit reduced density matrices. The qubits are encoded into different degrees of freedom of a pair of correlated photons and the state is prepared by letting the photons to propagate through a linear optical circuit. The presence of genuine multipartite entanglement is verified by finding numerically a fully decomposable entanglement witness acting nontrivially only on the reductions of the global state. Our result confirms v…
We show that for an m-partite quantum system, there is a ball of radius 2^{-(m/2-1)} in Frobenius norm, centered at the identity matrix, of separable (unentangled) positive semidefinite matrices. This can be used to derive an epsilon below which mixtures of epsilon of any density matrix with 1 - epsilon of the maximally mixed state will be separable. The epsilon thus obtained is exponentially better (in the number of systems) than existing results. This gives a number of qubits below which NMR with standard pseudopure-state preparation techniques can access only unentangled states; with parame…
The ability to reliably distribute entanglement among the nodes of a network is an essential requirement for the development of effective quantum communication protocols and the realization of useful quantum networks. It has been demonstrated, in different contexts, that two remote systems can be entangled via local interactions with a carrier system that always remains in a separable state with respect to such distant particles. We develop a strategy for entanglement distribution via separable carriers that can be applied to any number of network nodes to achieve various entanglement distribu…
We study how multi-partite entanglement evolves under the paradigm of separable operations, which include the local operations and classical communication (LOCC) as a special case. We prove that the average "decay" of entanglement induced by a separable operation is measure independent (among SL-invariant ones) and state independent: the ratio between the average output entanglement and the initial entanglement is solely a function of the separable operation, regardless of the input state and of the SL-invariant entanglement measure being used. We discuss the "disentangling power" of a quantum…
The maximal overlap with the fully separable state for the multipartite entangled pure state with translational invariance is studied explicitly by some exact and numerical evaluations, focusing on the one-dimensional qubit system and some representative types of translational invariance. The results show that the translational invariance of the multipartite state could have an intrinsic effect on the determinations of the maximal overlap and the nearest fully separable state for multipartite entangled states. Furthermore a hierarchy of the basic entangled states with translational invariance …
We review and generalize the recently introduced framework of entropy vectors for detecting and quantifying genuine multipartite entanglement in high dimensional multicomponent quantum systems. We show that these ideas can be extended to discriminate among other forms of multipartite entanglement. In particular, we develop methods to test whether density matrices are: decomposable, i.\ e.\ separable with respect to certain given partitions of the subsystems; $k$-separable, i.\ e.\ separable with respect to $k$ partitions of the subsystems; $k$-partite entangled, i.e. there is entanglement amon…
Distribution of quantum correlations among remote users is a key procedure underlying many quantum information technologies. Einstein-Podolsky-Rosen steering, which is one kind of such correlations stronger than entanglement, has been identified as a resource for secure quantum networks. We show that this resource can be established between two and even more distant parties by transmission of a system being separable from all the parties. For the case with two parties, we design a protocol allowing to distribute one-way Gaussian steering between them via a separable carrier; the obtained steer…
Entanglement shared among multiple parties presents complex challenges for the characterisation of different types of entanglement. One of the most fundamental insights is the fact that some mixed states can feature entanglement across every possible cut of a multipartite system yet can be produced via a mixture of states separable with respect to different partitions. To distinguish states that genuinely cannot be produced from mixing such partition-separable states, the term genuine multipartite entanglement was coined. All these considerations originate in a paradigm where only a single cop…
As two valuable quantum resources, Einstein-Podolsky-Rosen entanglement and steering play important roles in quantum-enhanced communication protocols. Distributing such quantum resources among multiple remote users in a network is a crucial precondition underlying various quantum tasks. We experimentally demonstrate the deterministic distribution of two- and three-mode Gaussian entanglement and steering by transmitting separable states in a network consisting of a quantum server and multiple users. In our experiment, entangled states are not prepared solely by the quantum server, but are creat…
We introduce algebriac sets in the products of complex projective spaces for multipartite mixed states, which are independent of their eigenvalues and only measure the "position" of their eigenvectors, as their non-local invariants (ie. remaining invariant after local untary transformations). These invariants are naturally arised from the physical consideration of checking multipartite mixed states by measuring them with multipartite separable pure states. The algebraic sets have to be the sum of linear subspaces if the multipartite mixed state is separable, and thus we give a new separability…
We show that pure states of multipartite quantum systems are multiseparable (i.e. give separable density matrices on tracing any party) if and only if they have a generalized Schmidt decomposition. Implications of this result for the quantification of multipartite pure-state entanglement are discussed. Further, as an application of the techniques used here, we show that any purification of a bipartite PPT bound entangled state is tri-inseparable, i.e. has none of its three bipartite partial traces separable.
Entanglement of multipartite systems is studied based on exchange symmetry under the permutation group S_N. With the observation that symmetric property under the exchange of two constituent states and their separability are intimately linked, we show that anti-symmetric (fermionic) states are necessarily globally entangled, while symmetric (bosonic) states are either globally entangled or fully separable and possess essentially identical states in all the constituent systems. It is also shown that there cannot exist a fully separable state which is orthogonal to all symmetric states, and that…
The partial separability of multipartite qubit density matrixes is strictly defined. We give a reduction way from N-partite qubit density matrixes to bipartite qubit density matrixes, and prove a necessary condition that a N-partite qubit density matrix to be partially separable is its reduced density matrix to satisfy PPT condition.
In our previous work we have found a lower bound for the multipartite uncertainty product of the position and momentum observables over all separable states. In this work we are trying to minimize this uncertainty product over a broader class of states to find the fundamental limits imposed by nature on the observable quantites. We show that it is necessary to consider pure states only and find the infimum of the uncertainty product over a special class of pure states (states with spherically symmetric wave functions). It is shown that this infimum is not attained. We also explicitly construct…
In this paper, based on a matrix norm, we first present a ball of separable unnormalized states around the identity matrix for the bipartite quantum system, which is larger than the separable ball in Frobenius norm. Then the proposed ball is used to get not only simple sufficient conditions for the separability of pseudopure states and the states with strong positive partial transposes, but also a separable ball centered at the identity matrix for the multipartite quantum system.
We firstly investigate the multipartite entanglement features of the quantum states, including the iteration states achieved by repeated application of Grover iteration and the Oracle ones into which the above iteration states evolve by applying single Oracle operation, employed in Grover's search algorithm by means of the separable degree and the entanglement measure. Then we give the quantitative and qualitative descriptions of the entanglement dynamics in Grover's search algorithm. Our results show that for most instances (i) the separable degrees of these states and ranges of their maximum…
One of the many interesting features of quantum nonlocality is that the states of a multipartite quantum system cannot always be distinguished as well by local measurements as they can when all quantum measurements are allowed. In this work, we characterize the distinguishability of sets of multipartite quantum states when restricted to separable measurements -- those which contain the class of local measurements but nevertheless are free of entanglement between the component systems. We consider two quantities: The separable fidelity -- a truly quantum quantity -- which measures how well we c…
We study the relation between distillability of multipartite states and violation of Bell's inequality. We prove that there exist multipartite bound entangled states (i.e. non-separable, non-distillable states) that violate a multipartite Bell inequality. This implies that (i) violation of Bell's inequality is not a sufficient condition for distillability and (ii) some bound entangled states cannot be described by a local hidden variable model.
We obtain a new lower bound on the radius of the largest ball of separable unnormalized states around the identity matrix for a 3-qubit system. This also enables us to improve the corresponding lower bounds for multi-qubit systems. These bounds are approximately 5% better than the previously known ones. As a by-product, we compute the radius of the largest ball that fits into the triple projective tensor product of the unit ball in R^3.
Let B_1,B_2 be balls in finite-dimensional real vector spaces E_1,E_2, centered around unit length vectors v_1,v_2 and not containing zero. An element in the tensor product space E_1 \otimes E_2 is called B_1 \otimes B_2-separable if it is contained in the convex conic hull of elements of the form w_1 \otimes w_2, where w_1 \in B_1, w_2 \in B_2. We study the cone formed by the separable elements in E_1 \otimes E_2. We determine the largest faces of this cone via a description of the extreme rays of the dual cone, i.e. the cone of the corresponding positive linear maps. We compute the radius of…
We present several criteria for genuine multipartite entanglement from universal uncertainty relations based on majorization theory. Under non-negative Schur-concave functions, the vector-type uncertainty relation generates a family of infinitely many detectors to check genuine multipartite entanglement. We also introduce the concept of $k$-separable circles via geometric distance for probability vectors, which include at most $(k-1)$-separable states. The entanglement witness is also generalized to a universal entanglement witness which is able to detect the $k$-separable states more accurate…
Symmetry plays an important role in the field of quantum mechanics. In this paper, we consider a subclass of symmetric quantum states in the multipartite system $N^{\otimes d}$, namely, the completely symmetric states, which are invariant under any index permutation. It was conjectured by L. Qian and D. Chu [arXiv:1810.03125 [quant-ph]] that the completely symmetric states are separable if and only if it is a convex combination of symmetric pure product states. In this paper, we proved that this conjecture is true for both bipartite and multipartite cases. And we proved the completely symmetri…
We devise a novel protocol to detect genuinely multipartite entangled states by harnessing quantum non-Markovian operations. We utilize a particular type of non-Markovianity known as the eternal non-Markovianity to construct a non-complete positive map to filter out the bi-separable states and detect genuine multipartite entanglement. We further propose a witness operator to detect genuinely multipartite entangled states experimentally based on this theory. Our study sheds light on a hitherto unexplored connection between entanglement theory and quantum non-Markovianity.
We develop a new entanglement measure by extending Jaeger's Minkowskian norm entanglement measure. This measure can be applied to a much wider class of multipartite mixed states, although still "quasi" in the sense that it is still incapable of dividing precisely the sets of all separable and entangled states. As a quadratic scalar function of the system density matrix, the quasi measure can be easily expressed in terms of the so-called coherence vector of the system density matrix, by which we show the basic properties of the quasi measure including (1) zero-entanglement for all separable sta…
We investigate the geometrical structure of multipartite states based on the construction of toric varieties. We show that the toric variety represents the space of general pure states and projective toric variety defines the space of separable set of multi-qubits states. We also discuss in details the construction of single-, two-, three-, and multi- qubits states. This construction gives a very simple and elegant visual representation of the geometrical structure of multipartite quantum systems.
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.
Absolute separable states is a kind of separable state that remain separable under the action of any global unitary transformation. These states may or may not have quantum correlation and these correlations can be measured by quantum discord. We find that the absolute separable states are useful in quantum computation even if it contains infinitesimal quantum correlation in it. Thus to search for the class of two-qubit absolute separable states with zero discord, we have derived an upper bound for $Tr(\varrho^{2})$, where $\varrho$ denoting all zero discord states. In general, the upper bound…
The entanglement of superpositions [Phys. Rev. Lett. 97, 100502 (2006)] is generalized to the multipartite scenario: an upper bound to the multipartite entanglement of a superposition is given in terms of the entanglement of the superposed states and the superposition coefficients. This bound is proven to be tight for a class of states composed by an arbitrary number of qubits. We also extend the result to a large family of quantifiers which includes the negativity, the robustness of entanglement, and the best separable approximation measure.
In this paper, we discuss the partial separability and its criteria problems of multipartite qubit mixed-states. First we strictly define what is the partial separability of a multipartite qubit system. Next we give a reduction way from N-partite qubit density matrixes to bipartite qubit density matrixes, and prove a necessary condition that a N-partite qubit mixed-state to be partially separable is its reduction to satisfy the PPT condition. PACC numbers: 03.67.Mn; 03.65.Ud; 03.67.Hk
In this paper we show an explicit construction of multipartite class of entangled states with the PPT (Positive Partial Transposition) property in every cut. We investigate properties of this class of states focusing on the trace distance from the set of separable states. We provide an explicit sub-class of the multipartite entangled PPT states which are arbitrary far from the set of separable states. We argue, that in the multipartite case the mentioned distance increases with dimension of the local Hilbert space. In our construction is we do not have to use many copies of initial state livin…
We demonstrate the existence of Gaussian multipartite bound information which is a classical analog of Gaussian multipartite bound entanglement. We construct a tripartite Gaussian distribution from which no secret key can be distilled, but which cannot be created by local operations and public communication. Further, we show that the presence of bound information is conditional on the presence of a part of the adversary's information creatable only by private communication. Existence of this part of the adversary's information is found to be a more generic feature of classical analogs of quant…
We propose two classes of the generalized concurrence vectors of the multipartite systems consisting of qubits. Making use of them, we are able to, respectively, describe and quantify GHZ-class and W-class entanglement both in total and between arbitrary two partite in the multipartite system consisting of qubits. In the case of pure state of three qubits that one partite is separable, it is shown to exactly back to the usual Wootters' concurrence after introduce a whole concurrence vector. In principle, our method is applicable to any $N$-partite systems consisting of $N$ qubits.
We describe an entanglement witness for $N$-qubit mixed states based on the properties of $N$-point correlation functions. Depending on the degree of violation, this witness can guarantee that no more than $M$ qubits are separable from the rest of the state for any $M\leq N$, or that there is some genuine $M$-party or greater multipartite entanglement present. We illustrate the use our criterion by investigating the existence of entanglement in thermal stabilizer states, where we demonstrate that the witness is capable of witnessing bound-entangled states. Intriguingly, this entanglement can b…
We present a method to apply the well-known matrix product state (MPS) formalism to partially separable states in solid state systems. The computational effort of our method is equal to the effort of the standard density matrix renormalisation group (DMRG) algorithm. Consequently, it is applicable to all usually considered condensed matter systems where the DMRG algorithm is successful. We also show in exemplary cases, that polymerisation properties of ground states are closely connected to properties of partial separability, even if the ground state itself is not partially separable.
Full Inseparability and Genuine Multipartite Entanglement Coincide for Finite-Mode Gaussian States
School of Applied Science, Beijing Information Science and Technology University（北京信息科技大学应用科学学院）；School of Instrument Science and Opto-Electronics Engineering, Beijing Information Science and Technology University（北京信息科技大学仪器科学与光电工程学院）；School of Physics, Beihang University（北京航空航天大学物理学院）；Jiangxi Beidouyun Intelligent Technology Co. Ltd.（江西北斗云智能科技有限公司）；School of Automation (School of Artificial Intelligence), Beijing Information Science and Technology University（北京信息科技大学自动化学院（人工智能学院））；School of Space and Earth Sciences, Beihang University（北京航空航天大学空间与地球科学学院）
For finite-dimensional bipartite quantum systems, we find the exact size of the largest balls, in spectral $l_p$ norms for $1 \le p \le \infty$, of separable (unentangled) matrices around the identity matrix. This implies a simple and intutively meaningful geometrical sufficient condition for separability of bipartite density matrices: that their purity $\tr ρ^2$ not be too large. Theoretical and experimental applications of these results include algorithmic problems such as computing whether or not a state is entangled, and practical ones such as obtaining information about the existence or n…
We investigate the separable states $\r$ of an arbitrary multipartite quantum system with Hilbert space $\cH$ of dimensionin $d$. The length $L(\r)$ of $\r$ is defined as the smallest number of pure product states having $\r$ as their mixture. The length filtration of the set of separable states, $\cS$, is the increasing chain $\emptyset\subset\cS'_1\subseteq\cS'_2\subseteq\cdots$, where $\cS'_i=\{\r\in\cS:L(\r)\le i\}$. We define the maximum length, $L_{\rm max}=\max_{\r\in\cS} L(\r)$, critical length, $L_{\rm crit}$, and yet another special length, $L_c$, which was defined by a simple formul…
For manipulations of multipartite quantum systems, it was well known that all local operations assisted by classical communication (LOCC) constitute a proper subset of the class of separable operations. Recently, Gheorghiu and Griffiths found that LOCC and general separable operations are equally powerful for transformations between bipartite pure states. In this letter we extend this comparison to mixed states and show that in general separable operations are strictly stronger than LOCC when transforming a mixed state to a pure entangled state. A remarkable consequence of our finding is the e…
In this paper, we present a measure of multipartite entanglement ($k$-nonseparable), $k$-ME concurrence $C_{k-\mathrm{ME}}(ρ)$ that unambiguously detects all $k$-nonseparable states in arbitrary dimensions, where the special case, 2-ME concurrence $C_{2-\mathrm{ME}}(ρ)$, is a measure of genuine multipartite entanglement. The new measure $k$-ME concurrence satisfies important characteristics of an entanglement measure including entanglement monotone, vanishing on $k$-separable states, convexity, subadditivity and strictly greater than zero for all $k$-nonseparable states. Two powerful lower bou…
The transfer or exchange of multipartite quantum states is critical to the realization of large-scale quantum information processing and quantum communication. A challenging question in this context is: What is the minimum resource required and how to simultaneously transfer or exchange multipartite quantum entanglement between two sets of qubits. Finding the answer to these questions is of great importance to quantum information science. In this work, we demonstrate that by using a single quantum two-level system - the simplest quantum object - as a coupler arbitrary multipartite quantum stat…
We study the distinguishability of multipartite quantum states by separable operations. We first present a necessary and sufficient condition for a finite set of orthogonal quantum states to be distinguishable by separable operations. An analytical version of this condition is derived for the case of $(D-1)$ pure states, where $D$ is the total dimension of the state space under consideration. A number of interesting consequences of this result are then carefully investigated. Remarkably, we show there exists a large class of $2\otimes 2$ separable operations not being realizable by local opera…
We propose a method of constructing the separability criteria for multipartite quantum states on the basis of entanglement witnesses. The entanglement witnesses are obtained by finding the maximal expectation values of Hermitian operators and then optimizing over all possible Hermitian operators. We derive a set of tripartite separability criteria for the four-qubit Greenberger--Horne--Zeilinger (GHZ) diagonal states. The derived criterion set contains four criteria that are necessary and sufficient for the tripartite separability of the highly symmetric four-qubit GHZ diagonal states; the cri…
We classify multipartite entanglement in a unified manner, focusing on a duality between the set of separable states and that of entangled states. Hyperdeterminants, derived from the duality, are natural generalizations of entanglement measures, the concurrence, 3-tangle for 2, 3 qubits respectively. Our approach reveals how inequivalent multipartite entangled classes of pure states constitute a partially ordered structure under local actions, significantly different from a totally ordered one in the bipartite case. Moreover, the generic entangled class of the maximal dimension, given by the n…
We present a method to construct entanglement measures for pure states of multipartite qubit systems. The key element of our approach is an antilinear operator that we call {\em comb} in reference to the {\em hairy-ball theorem}. For qubits (or spin 1/2) the combs are automatically invariant under $SL(2,\CC)$. This implies that the {\em filters} obtained from the combs are entanglement monotones by construction. We give alternative formulae for the concurrence and the 3-tangle as expectation values of certain antilinear operators. As an application we discuss inequivalent types of genuine four…
One of the most important problems in quantum information is the separability problem, which asks whether a given quantum state is separable. We investigate multipartite states of rank at most four which are PPT (i.e., all their partial transposes are positive semidefinite). We show that any PPT state of rank two or three is separable and has length at most four. For separable states of rank four, we show that they have length at most six. It is six only for some qubit-qutrit or multiqubit states. It turns out that any PPT entangled state of rank four is necessarily supported on a 3x3 or a 2x2…
We give improved upper bounds on the radius of the largest ball of separable states of an m-qubit system around the maximally mixed state. The ratio between the upper bound and the best known lower bound (Hildebrand, quant.ph/0601201) thus shrinks to a constant c = \sqrt{34/27} ~ 1.122, as opposed to a term of order \sqrt{m\log m} for the best upper bound known previously (Aubrun and Szarek, quant.ph/0503221). We give concrete examples of separable states on the boundary to entanglement which realize these upper bounds. As a by-product, we compute the radii of the largest balls that fit into t…
