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.
We extend the definition of concurrence into a family of entanglement monotones, which we call concurrence monotones. We discuss their properties and advantages as computational manageable measures of entanglement, and show that for pure bipartite states all measures of entanglement can be written as functions of the concurrence monotones. We then show that the concurrence monotones provide bounds on quantum information tasks. As an example, we discuss their applications to remote entanglement distributions (RED) such as entanglement swapping and remote preparation of bipartite entangled state…
The primary goal in the study of entanglement as a resource theory is to find conditions that determine when one quantum state can or cannot be transformed into another via local operations and classical communication. This is typically done through entanglement monotones or conversion witnesses. Such quantities cannot be computed for arbitrary quantum states in general, but it is useful to consider classes of symmetric states for which closed-form expressions can be found. In this paper, we show how to compute the convex roof of any entanglement monotone for all Werner states. The convex roof…
Entanglement concurrence has been widely used for featuring entanglement in quantum experiments. As an entanglement monotone it is related to specific quantum Tsallis entropy. Our goal in this paper is to propose a new parameterized bipartite entanglement monotone which is named as $q$-concurrence inspired by general Tsallis entropy. We derive an analytical lower bound for the $q$-concurrence of any bipartite quantum entanglement state by employing positive partial transposition criterion and realignment criterion, which shows an interesting relationship to the strong separability criteria. Th…
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.
The entanglement of assistance quantifies the entanglement that can be generated between two parties, Alice and Bob, given assistance from a third party, Charlie, when the three share a tripartite state and where the assistance consists of Charlie initially performing a measurement on his share and communicating the result to Alice and Bob through a one-way classical channel. We argue that if this quantity is to be considered an operational measure of entanglement, then it must be understood to be a tripartite rather than a bipartite measure. We compare it with a distinct tripartite measure th…
We introduce new entanglement monotones which generalize, to the case of many parties, those which give rise to the majorization-based partial ordering of bipartite states' entanglement. We give some examples of restrictions they impose on deterministic and probabilistic conversion between multipartite states via local actions and classical communication. These include restrictions which do not follow from any bipartite considerations. We derive supermultiplicativity relations between each state's monotones and the monotones for collective processing when the parties share several states. We a…
We propose to quantify the entanglement of pure states of $N \times N$ bipartite quantum system by defining its Husimi distribution with respect to $SU(N)\times SU(N)$ coherent states. The Wehrl entropy is minimal if and only if the pure state analyzed is separable. The excess of the Wehrl entropy is shown to be equal to the subentropy of the mixed state obtained by partial trace of the bipartite pure state. This quantity, as well as the generalized (R{é}nyi) subentropies, are proved to be Schur--convex, so they are entanglement monotones and may be used as alternative measures of entanglement…
Higher dimensional quantum systems (qudits) present a potentially more efficient means, compared to qubits, for implementing various information theoretic tasks. One of the ubiquitous resources in such explorations is entanglement. Entanglement Monotones (EMs) are of key importance, particularly for assessing the efficacy of a given entangled state as a resource for information theoretic tasks. Till date, investigations towards determination of EMs have focused on providing their tighter lower bounds. There is yet no general scheme available for direct determination of the EMs. Consequently, a…
Various parameterizations for the orbits under local unitary transformations of three-qubit pure states are analyzed. The interconvertibility, symmetry properties, parameter ranges, calculability and behavior under measurement are looked at. It is shown that the entanglement monotones of any multipartite pure state uniquely determine the orbit of that state under local unitary transformations. It follows that there must be an entanglement monotone for three-qubit pure states which depends on the Kempe invariant defined in [Phys. Rev. A 60, 910 (1999)]. A form for such an entanglement monotone …
We construct a measure of entanglement for general pure multipartite states based on Segre variety. We also construct a class of entanglement monotones based on the Plücker coordinate equations of the Grassmann variety. Moreover, we discuss and compare these measures of entanglement.
In the context of quantifying entanglement we study those functions of a multipartite state which do not increase under the set of local transformations. A mathematical characterization of these monotone magnitudes is presented. They are then related to optimal strategies of conversion of shared states. More detailed results are presented for pure states of bipartite systems. It is show that more than one measure are required simultaneously in order to quantify completely the non-local resources contained in a bipartite pure state, while examining how this fact does not hold in the so-called a…
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.
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.
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.
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.
A genuine tripartite entanglement monotone is presented for $(2\otimes 2\otimes n)$-dimensional tripartite pure states by introducing a new entanglement measure for bipartite pure states. As an application, we consider the genuine tripartite entanglement of the ground state of the exactly solvable isotropic spin-1/2 chain with three-spin interaction. It is shown that the singular behavior of the genuine tripartite entanglement exactly signals a quantum phase transition.
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…
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…
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…
Quantifying quantum coherence is a key task in the resource theory of coherence. Here we establish a good coherence monotone in terms of a state conversion process, which automatically endows the coherence monotone with an operational meaning. We show that any state can be produced from some input pure states via the corresponding incoherent channels. It is especially found that the coherence of a given state can be well characterized by the least coherence of the input pure states, so a coherence monotone is established by only effectively quantifying the input pure states. In particular, we …
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 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 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…
Quantum information theory and quantum computing are theoritical basis of quantum computers. Thanks to entanglement, quantum mechanical systems are provisioned to realize many information processing problems faster than classical counterparts. For example, Shor factorization algorithm, Grover search algorithm, quantum Fourrier transformation, etc. Entanglement, is the theoretical basis providing the expected speedups. It can be view in bipartite or multipartite forms. In order to quantify entanglement, some measures are defined. On the other hand, a general and accepted criterion, which can me…
We derive bounds on the entanglement of formation of states of a 4xN bipartite system using two entanglement monotones constructed from operational separability criteria. The bounds are used simultaneously as constraints on the entanglement of formation. One monotone is the negativity, which is based on the Peres positive-partial-transpose criterion. For the other, we formulate a monotone based on a separability criterion introduced by Breuer (H.-P. Breuer, e-print quant-ph/0605036).
Entanglement monotones, such as the concurrence, are useful tools to characterize quantum correlations in various physical systems. The computation of the concurrence involves, however, difficult optimizations and only for the simplest case of two qubits a closed formula was found by Wootters [Phys. Rev. Lett. 80, 2245 (1998)]. We show how this approach can be generalized, resulting in lower bounds on the concurrence for higher dimensional systems as well as for multipartite systems. We demonstrate that for certain families of states our results constitute the strongest bipartite entanglement …
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 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 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…
This paper demonstrates that how well a state performs as an input to Grover's search algorithm depends critically upon the entanglement present in that state; the more entanglement, the less well the algorithm performs. More precisely, suppose we take a pure state input, and prior to running the algorithm apply local unitary operations to each qubit in order to maximize the probability P_max that the search algorithm succeeds. We prove that, for pure states, P_max is an entanglement monotone, in the sense that P_max can never be decreased by local operations and classical communication.
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…