Entanglement of pure states of bipartite quantum systems has been shown to have a unique measure in terms of the von Neumann entropy of the reduced states of either of its subsystems. The measure is established under entanglement manipulation of an asymptotically large number of copies of the states. In this paper, different asymptotic measures of entanglement assigned to arbitrary sequences of bipartite pure states are shown to coincide only when the sequence is information stable, in terms of the quantum spectral information rates of the sequence of subsystem states. Additional bounds on the optimal rates of entanglement manipulation protocols in quantum information are also presented, including bounds given by generalizations of the coherent information and the relative entropy of entanglement.
We analyze approximate transformations of pure entangled quantum states by local operations and classical communication, finding explicit conversion strategies which optimize the fidelity of transformation. These results allow us to determine the most faithful teleportation strategy via an initially shared partially entangled pure state. They also show that procedures for entanglement manipulation such as entanglement catalysis [Jonathan and Plenio, Phys. Rev. Lett. 83, 3566 (1999)] are robust against perturbation of the states involved, and motivate the notion of non-local fidelity, which qua…
We consider the entanglement manipulation capabilities of the universal covariant quantum cloner or quantum processor circuit for quantum bits. We investigate its use for cloning a member of a bipartite or a genuine tripartite entangled state of quantum bits. We find that for bipartite pure entangled states a nontrivial behavior of concurrence appears, while for GHZ entangled states a possibility of the partial extraction of bipartite entanglement can be achieved.
We discuss disentanglement of pure bipartite quantum states within the framework of the schemes developed for entanglement splitting and broadcasting of entanglement.
A complete analysis of entangled bipartite qutrit pure states is carried out based on a simple entanglement measure. An analysis of all possible extremally entangled pure bipartite qutrit states is shown to reduce, with the help of SLOCC transformations, to three distinct types. The analysis and the results should be helpful for finding different entanglement types in multipartite pure state systems.
Monogamy of bipartite correlations leads, for arbitrary pure multi-qubit states, to simple conditions able to indicate various types of multipartite entanglement by being capable to exclude the possibility of k-separability.
This paper is to investigate the effects of quantum noises on entanglement localization by taking an example of reducing a three-qubit Greenberger-Horne-Zeilinger (GHZ) state to a two-qubit entangled state. We consider, respectively, two types of quantum decoherence, i.e., amplitude-damping and depolarizing decoherence, and explore the best von Neumann measurements on one of three qubits of the triple GHZ state for making the amount of entanglement of the collapsed bipartite state be as large as possible. The results indicate that different noises have different impacts on entanglement localiz…
Analytic expressions for the probability density distribution of the linear entropy and the purity are derived for bipartite pure random quantum states. The explicit distributions for a state belonging to a product of Hilbert spaces of dimensions p and q are given for p=3 and any q>=3, as well as for p=q=4.
Based on set theoretic ordering properties, a general formulation for constructing a pair of convertibility monotones, which are generalizations of distillable entanglement and entanglement cost, is presented. The new pair of monotones do not always coincide for pure bipartite infinite dimensional states under SLOCC (stochastic local operations and classical communications), demonstrating the existence of SLOCC incomparable pure bipartite states, a new property of entanglement in infinite dimensional systems, with no counterpart in the corresponding finite dimensional systems.
We consider a four-state pure bipartite system consisting of four qubits shared among two parties using the same Schmidt basis, two qubits per party. In some cases, transformation between two known pure states may not be possible using LOCC transformations but may be possible with the addition of a two-qubit catalyst. We provide a necessary and sufficient condition for this to occur.
The problem of the experimental determination of the amount of entanglement of a bipartite pure state is addressed. We show that measuring a single observable does not suffice to determine the entanglement of a given unknown pure state of two particles. Possible minimal local measuring strategies are discussed and a comparison is made on the basis of their best achievable precision.
Our previous work about algebraic-geometric invariants of the mixed states are extended and a stronger separability criterion is given. We also show that the Schmidt number of pure states in bipartite quantum systems, a classical concept, is actually an algebraic-geometric invariant.
We construct a class of algebraic invariants for N-qubit pure states based on bipartite decompositions of the system. We show that they are entanglement monotones, and that they differ from the well know linear entropies of the sub-systems. They therefore capture new information on the non-local properties of multipartite systems.
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…
For two given bipartite-entangled pure states, an expression is obtained for the least upper bound of conversion probabilities using catalysis. The attainability of the upper bound can also be decided if that bound is less than one.
We present a general theoretical framework for both deterministic and probabilistic entanglement transformations of bipartite pure states achieved via local operations and classical communication. This framework unifies and greatly simplifies previous works. A necessary condition for ``pure contraction'' transformations is given. Finally, constructive protocols to achieve both probabilistic and deterministic entanglement transformations are presented.
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…
It has been observed that the reduced density matrices of bipartite qudit pure states possess a Gram matrix structure. This observation has opened a possibility of analysing the entanglement in such systems from the purely geometrical point of view. In particular, a new quantitative measure of an entanglement of the geometrical nature, has been proposed. Using the invented Gram matrix approach, a version of a non-linear purification of mixed states describing the system analysed has been presented.
Based on the complementarity relation between entanglement of a composite system and the purity of a subsystem, we propose a simple method to measure the amount of entanglement. The method can be applied to a bipartite system in a pure state of any arbitrary dimension. It requires only single qudit rotations and straightforward probability measurements performed on one of the subsystems, and can thus be easily implemented experimentally using linear optical devices.
It is shown that the order property of pure bipartite states under SLOCC (stochastic local operations and classical communications) changes radically when dimensionality shifts from finite to infinite. In contrast to finite dimensional systems where there is no pure incomparable state, the existence of infinitely many mutually SLOCC incomparable states is shown for infinite dimensional systems even under the bounded energy and finite information exchange condition. These results show that the effect of the infinite dimensionality of Hilbert space, the ``infinite workspace'' property, remains e…
Based on a proposed coherence measure, we show that the local coherence of a bipartite quantum pure state (coherence of its reduced density matrix) is exactly the same as the minimal average co- herence with all potential pure-state realizations under consideration. In particular, it is shown that bipartite concurrence of pure states just captures the maximal difference between local coherence and the average coherence of one subsystem induced by local operations on the other subsystem with the assistance of classical communications, which provides an alternative operational meaning for bipart…
It is well known that the Schmidt decomposition exists for all pure states of a two-party quantum system. We demonstrate that there are two ways to obtain an analogous decomposition for arbitrary rank-1 operators acting on states of a bipartite finite-dimensional Hilbert space. These methods amount to joint Schmidt-type decompositions of two pure states where the two sets of coefficients and local bases depend on the properties of either state, however, at the expense of the local bases not all being orthonormal and in one case the complex-valuedness of the coefficients. With these results we …
Consider a qubit-qutrit ($2 \times 3$) composite state space. Let $C(\{1}{2}I_2, \{1}{3}I_3)$ be a convex set of all possible states of composite system whose marginals are given by $\{1}{2}I_2$ and $\{1}{3}I_3$ in two and three dimensional spaces respectively. We prove that there exists no pure state in $C(\{1}{2}I_2, \{1}{3}I_3)$. Further we generalize this result to an arbitrary $m \times n$ bipartite systems. We prove that for $m < n$, no pure state exists in the convex set $C(ρ_A,ρ_B)$, for an arbitrary $ρ_A$ and rank of $ρ_B >m$.
In the present article, based on the formalism introduced in [Loubenets, J. Math. Phys. 53, 022201 (2012)], we derive for a pure bipartite quantum state a new upper bound on its maximal violation of general Bell inequalities. This new bound indicates that, for an infinite dimensional pure bipartite state with a finite sum of its Schmidt coefficients, violation of any general Bell inequality is bounded from above by the value independent on a number of settings and a type of outcomes, continuous or discrete, specific to this Bell inequality. As an example, we apply our new general results to sp…
The efficient and reliable verification of quantum states plays a crucial role in various quantum information processing tasks. We consider the task of verifying entangled states using one-way and two-way classical communication and completely characterize the optimal strategies via convex optimization. We solve these optimization problems using both analytical and numerical methods, and the optimal strategies can be constructed for any bipartite pure state. Compared with the nonadaptive approach, our adaptive strategies significantly improve the efficiency of quantum state verification. Moreo…
We propose a entanglement measure for pure $M \otimes N$ bipartite quantum states. We obtain the measure by generalizing the equivalent measure for a $2 \otimes 2$ system, via a $2 \otimes 3$ system, to the general bipartite case. The measure emphasizes the role Bell states have, both for forming the measure, and for experimentally measuring the entanglement. The form of the measure is similar to generalized concurrence. In the case of $2 \otimes 3$ systems, we prove that our measure, that is directly measurable, equals the concurrence. It is also shown that in order to measure the entanglemen…
Alice and Bob are given an unknown initial state chosen from a set of pure quantum states. Their task is to transform the initial state to a corresponding final pure state using local operations only. We prove necessary and sufficient conditions on the existence of such a transformation. We also provide efficient algorithms that can quickly rule out the possibility of transforming a set of initial states to a set of final states.
The concept of entanglement splitting is introduced by asking whether it is possible for a party possessing half of a pure bipartite quantum state to transfer some of his entanglement with the other party to a third party. We describe the unitary local transformation for symmetric and isotropic splitting of a singlet into two branches that leads to the highest entanglement of the output. The capacity of the resulting quantum channels is discussed. Using the same transformation for less than maximally entangled pure states, the entanglement of the resulting states is found. We discuss whether t…
The idea of self-testing is to render guarantees concerning the inner workings of a device based on the measurement statistics. It is one of the most formidable quantum certification and benchmarking schemes. Recently it was shown by Coladangelo et. al. (Nat Commun 8, 15485 (2017)) that all pure bipartite entangled states can be self tested in the device independent scenario by employing subspace methods introduced by Yang et. al. (Phys. Rev. A 87, 050102(R)). Here, we have adapted their method to show that any bipartite pure entangled state can be certified in the semi-device independent scen…
We derive lower limits on the inefficiency and classical communication costs of dilution between two-term bipartite pure states that are partially entangled. We first calculate explicit relations between the allowable error and classical communication costs of entanglement dilution using the protocol of Lo-Popescu and then consider a two-stage dilution from singlets with this protocol followed by some unknown protocol for conversion between partially entangled states. Applying the lower bounds on classical communication and inefficiency of Harrow-Lo and Hayden-Winter to this two-stage protocol…
We investigate the differential geometry of bipartite quantum states. In particular the manifold structures of pure bipartite states are studied in detail. The manifolds with respect to all normalized pure states of arbitrarily given Schmidt ranks or Schmidt coefficients are explicitly presented. The dimensions of the related manifolds are calculated.
Device-independent self-testing allows to uniquely characterize the quantum state shared by untrusted parties (up to local isometries) by simply inspecting their correlations, and requiring only minimal assumptions, namely a no-signaling constraint on the untrusted parties and the validity of quantum mechanics. The device-independent approach exploits the fact that certain non-local correlations can be uniquely achieved by measurements on a particular quantum state. We can think of these correlations as a "classical fingerprint" of the self-tested quantum state. In this work, we answer affirma…
In this paper, we treat a local discrimination problem in the framework of asymmetric hypothesis testing. We choose a known bipartite pure state $\ketΨ$ as an alternative hypothesis, and the completely mixed state as a null hypothesis. As a result, we analytically derive an optimal type 2 error and an optimal POVM for one-way LOCC POVM and Separable POVM. For two-way LOCC POVM, we study a family of simple three-step LOCC protocols, and show that the best protocol in this family has strictly better performance than any one-way LOCC protocol in all the cases where there may exist difference betw…
We calculate analytic expressions for the distribution of bipartite entanglement for pure random quantum states. All moments of the purity distribution are derived and an asymptotic expansion for the purity distribution itself is deduced. An approximate expression for moments and distribution of Meyer-Wallach entanglement for random pure states is then obtained.
We prove that the most general W class of N-qubit states are uniquely determined among arbitrary states (pure or mixed) by just their bipartite reduced density matrices. Moreover, if we consider only pure states, then (N-1) of them are shown to be sufficient.
We introduce the general catalysts for pure entanglement transformations under local operations and classical communications in such a way that we disregard the profit and loss of entanglement of the catalysts per se. As such, the possibilities of pure entanglement transformations are greatly expanded. Remarkably, we find an interesting phenomenon that, in some situations, incomparable pairs ${| ψ> ,| ϕ> \} $ and ${| χ> ,| χ^{\prime}> \} $ can assist each other mutually so as to realize the transformation $| ψ> | χ> \to| ϕ> | χ^{\prime}>$. We also design an efficient algorithm to detect whethe…
We propose practical and efficient protocols for verifying bipartite pure states for any finite dimension, which can also be applied to fidelity estimation. Our protocols are based on adaptive local projective measurements with either one-way or two-way communications, which are very easy to implement in practice. They can extract the key information much more efficiently than known protocols based on tomography or direct fidelity estimation, and their efficiencies are comparable to the best protocols based on entangling measurements. These protocols highlight the significance of mutually unbi…
We address perfect discrimination of two separable states. When available states are restricted to separable states, we can theoretically consider a larger class of measurements than the class of measurements allowed in quantum theory. The framework composed of the class of separable states and the above extended class of measurements is a typical example of general probabilistic theories. In this framework, we give a necessary and sufficient condition to discriminate two separable pure states perfectly. In particular, we derive measurements explicitly to discriminate two separable pure states…
We find a single parameter family of genuinely entangled three qubit pure states, called the maximally Bell inequality violating states (MBV), which exhibit maximum Bell inequality violation by the reduced bipartite system for a fixed amount of genuine tripartite entanglement quantified by the so called tangle measure. This in turn implies that there holds a complementary relation between the Bell inequality violation by the reduced bipartite systems and the tangle present in the three qubit states, not necessarily pure. The MBV states also exhibit maximum Bell inequality violation by the redu…
We explore the relation between the rank of a bipartite density matrix and the existence of bound entanglement. We show a relation between the rank, marginal ranks, and distillability of a mixed state and use this to prove that any rank n bound entangled state must have support on no more than an n \times n Hilbert space. A direct consequence of this result is that there are no bipartite bound entangled states of rank two. We also show that a separability condition in terms of a quantum entropy inequality is associated with the above results. We explore the idea of how many pure states are nee…
We find a minimal set of necessary and sufficient conditions for the existence of a local procedure that converts a finite pure state into one of a set of possible final states. This result provides a powerful method for obtaining optimal local entanglement manipulation protocols for pure initial states. As an example, we determine analytically the optimal distillable entanglement for arbitrary finite pure states. We also construct an explicit protocol achieving this bound.
We consider a bipartite mixed state of the form, $ρ=\sum_{α, β=1}^{l}a_{αβ} | ψ_α> < ψ_ β}| $, where $| ψ_α>$ are normalized bipartite state vectors, and matrix $(a_{αβ})$ is positive semidefinite. We provide a necessary and sufficient condition for the state $ρ$ taking the form of maximally correlated states by a local unitary transformation. More precisely, we give a criterion for simultaneous Schmidt decomposability of $| ψ_α>$ for $α=1,2,..., l$. Using this criterion, we can judge completely whether or not the state $ρ$ is equivalent to the maximally correlated state, in which the distilla…
We investigate the correlations of initially separable probability distributions in a globally pure bipartite system with two degrees of freedom for classical and quantum systems. A classical version of the quantum linear mutual information is introduced and the two quantities are compared for a system of oscillators coupled with both linear and non-linear interactions. The classical correlations help to understand how much of the quantum loss of purity are due to intrinsic quantum effects and how much is related to the probabilistic character of the initial states, a characteristic shared by …
We consider the problem of deciding if a given three-party entangled pure state can be converted, with a non-zero success probability, into a given two-party pure state through local quantum operations and classical communication. We show that this question is equivalent to the well-known computational problem of deciding if a multivariate polynomial is identically zero. Efficient randomized algorithms developed to study the latter can thus be applied to the question of tripartite to bipartite entanglement transformations.
We investigate the properties and relations of two classes of operational bipartite and multipartite entanglement measures, the so-called source and the accessible entanglement. The former measures how easy it is to generate a given state via local operations and classical communication (LOCC) from some other state, whereas the latter measures the potentiality of a state to be convertible to other states via LOCC. Main emphasis is put on the bipartite pure states, single copy regime. We investigate which parameter regime is physically available, i.e for which values of these measures does ther…
In this paper we explore the non-monotonic nature of entanglement of formation with respect to concurrence for pure bipartite states. For pure bipartite system, one of the basic physical reason of this non-monotonicity character is due to the existence of incomparable states, i.e., the pure bipartite states which are not convertible to each other by LOCC with certainty.
We show that the dynamic resource theory of quantum entanglement can be formulated using the superchannel theory. In this formulation, we identify the separable channels and the class of free superchannels that preserve channel separability as free resources, and choose the swap channels as dynamic entanglement golden units. Our first result is that the one-shot dynamic entanglement cost of a bipartite quantum channel under the free superchannels is bounded by the standard log-robustness of channels. The one-shot distillable dynamic entanglement of a bipartite quantum channel under the free su…
Schroedinger's disentanglement [E. Schroedinger, Proc. Cambridge Phil. Soc. 31, 555 (1935)], i. e., remote state decomposition, as a physical way to study entanglement, is carried one step further with respect to previous work in investigating the qualitative side of entanglement in any bipartite state vector. Remote measurement (or, equivalently, remote orthogonal state decomposition) from previous work is generalized to remote linearly-independent complete state decomposition both in the non-selective and the selective versions. The results are displayed in terms of commutative square diagra…
It is well known that random bipartite pure states are typically maximally entangled within an arbitrarily small error. Showing that the marginals of random bipartite pure states are typically extremely close to the maximally mixed state, is a way to prove the above. However, a more direct way to prove the above is to estimate the distance of random bipartite pure states from the set of maximally entangled states. Here, we find the average distance between a random bipartite pure state and the set of maximally entanglement states as quantified by three different quantifiers of the distance and…
We propose an explicit protocol for the deterministic transformations of bipartite pure states in any dimension using deterministic transformations in lower dimensions. As an example, explicit solutions for the deterministic transformations of $3\otimes 3$ pure states by a single measurement are obtained, and an explicit protocol for the deterministic transformations of $n\otimes n$ pure states by three-outcome measurements is presented.
We derive a sufficient condition for a set of pure states, each entangled in two remote $N$-dimensional systems, to be transformable to $k$-dimensional-subspace equivalent entangled states ($k\leq N$) by same local operations and classical communication. If $k=N$, the condition is also necessary. This condition reveals the function of the relative marginal density operators of the entangled states in the entanglement manipulation without sufficient information of the initial states.
In this paper, we treat an asymptotic hypothesis testing (or state discrimination with asymmetric treatment of errors) between an arbitrary fixed bipartite pure state and the completely mixed state by one-way LOCC, two-way LOCC, and separable POVMs. As a result, we derive single-letterized formulas for the Stein's lemma type of optimal error exponents under one-way LOCC, two-way LOCC and separable POVMs, the Chernoff bounds under one-way LOCC POVMs and separable POVMs, and the Hoeffding bounds under one-way LOCC POVMs in the whole region of a parameter and under separable POVMs on a restricted…
Certain quantum information tasks require entanglement of assistance, namely a reduction of a tripartite entangled state to a bipartite entangled state via local measurements. We establish that 'concurrence of assistance' (CoA) identifies capabilities and limitations to producing pure bipartite entangled states from pure tripartite entangled states and prove that CoA is an entanglement monotone for $(2\times2\times n)$-dimensional pure states. Moreover, if the CoA for the pure tripartite state is at least as large as the concurrence of the desired pure bipartite state, then the former may be t…
One-qubit pure states, living on the surface of Bloch sphere, can be mapped onto the usual complex plane by using stereographic projection. In this paper, after reviewing the entanglement of two-qubit pure state, it is shown that the \emph{quaternionic} stereographic projection is related to concurrence measure. This is due to the fact that every two-qubit state, in ordinary complex field, corresponds to the one-qubit state in quaternionic skew field, called quaterbit. Like the one-qubit states in complex field, the stereographic projection maps every quaterbit onto a quaternion number whose c…
