We derive a family of entanglement monotones, one member of which turns out to be the negativity. Two others are shown to be lower bounds on the I-concurrence, and on the I-tangle, respectively [P. Rungta and C. M. Caves, to appear in Phys. Rev. A]. We compare these bounds with the I-concurrence and I-tangle on the isotropic states, and on rank-two density operators resulting from a Tavis-Cummings interaction. Our results provide a global structure relating several different entanglement measures. Additionally, they possess analytic forms which are easily evaluated in the most general cases.
We construct entanglement monotones for multi-qubit states based on Plücker coordinate equations of Grassmann variety, which are central notion in geometric invariant theory. As an illustrative example, we in details investigate entanglement monotones of a three-qubit state.
In this work we consider the permutational properties of multipartite entanglement monotones. Based on the fact that genuine multipartite entanglement is a property of the entire multi-qubit system, we argue that ideal definitions for its characterizing quantities must be permutation-invariant. Using this criterion, we examine the three 4-qubit entanglement monotones introduced by Osterloh and Siewert [Phys. Rev. A. 72, 012337]. By expressing them in terms of quantities whose permutational properties can be easily derived, we find that one of these monotones is not permutation-invariant. We pr…
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.
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 generalize the strategy presented in Refs. [1, 2], and propose general conditions for a measure of total correlations to be an entanglement monotone using its pure (and mixed) convex-roof extension. In so doing, we derive crucial theorems and propose a concrete candidate for a total correlations measure which is a fully additive entanglement monotone.
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 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.
We discuss the monotonicity under local operations and classical communication (LOCC) of systematically constructed quantities aiming at quantification of entanglement properties of multipartite quantum systems. The so-called generalized multipartite concurrences can qualify as legitimate entanglement measures if they are monotonous under LOCC. In the paper we give a necessary and sufficient criterion for their monotonicity.
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…
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…
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 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…
Characterization and quantification of multipartite entanglement is one of the challenges in state-of-the-art experiments in quantum information processing. According to theory, this is achieved via entanglement monotones, that is, functions that do not increase under stochastic local operations and classical communication (SLOCC). Typically such monotones include the wave function and its time-reversal (antilinear-operator formalism) or they are based on not completely positive maps (e.g., partial transpose). Therefore, they are not directly accessible to experimental observations. We show ho…
In this paper, we present a new approach to study genuine tripartite entanglement existing in $(2\times 2\times n)-$dimensional quantum pure states. By utilizing the approach, we introduce a particular quantity to measure genuine tripartite entanglement. The quantity is shown to be an entanglement monotone in 2-dimensional subsystems (semi-monotone) and reaches zero for separable states and $(2\times 2\times 2)-$dimensional $W$ states, hence is a good criterion to characterize genuine tripartite entanglement. Furthermore, the formulation for pure states can be conveniently extended to the case…
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…
Distinguishability and predictability are part of complementarity relations which apply to two different kinds of interference experiments, with and without a path-detector, respectively. In [Opt. Comm. 179, 337 (2000)], Englert and Bergou pointed out the possible connection between distinguishability, predictability, and entanglement. They even conjectured that an entanglement measure was hidden between the measures of distinguishability and predictability. Here, we push forward this conjecture. We start defining a new entropic distinguishability measure and suggesting an entanglement measure…
Much of the theory of entanglement concerns the transformations that are possible to a state under local operations with classical communication (LOCC); however, this set of operations is complicated and difficult to describe mathematically. An idea which has proven very useful is that of the {\it entanglement monotone}: a function of the state which is invariant under local unitary transformations and always decreases (or increases) on average after any local operation. In this paper we look on LOCC as the set of operations generated by {\it infinitesimal local operations}, operations which c…
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…
Quantifying entanglement is one of the most important tasks in the entanglement theory. In this paper, we establish entanglement monotones in terms of an operational approach, which is closely connected with the state conversion from pure states to the objective state by the local operations and classical communications (LOCC). It is shown that any good entanglement quantifier defined on pure states can induce an entanglement monotone for all density matrices. We especially show that our entanglement monotone is the maximal one among all that have the same form for pure states. In some particu…
Experimental detection of entanglement in superconducting qubits has been mostly limited, for more than two qubits, to witness-based and related approaches that can certify the presence of some entanglement, but not rigorously quantify how much. Here we measure the entanglement of three- and four-qubit GHZ and linear cluster states prepared on the 16-qubit IBM Rueschlikon (ibmqx5) chip, by estimating their entanglement monotones. GHZ and cluster states not only have wide application in quantum computing, but also have the convenient property of having similar state preparation circuits and fid…
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 …
Bohr's complementarity and Schrödinger's entanglement are two prominent physical characters of quantum systems. In this letter, we formally connect them. It is known that complementarity relations for wave-particle duality are saturated only for pure, single-quanton, quantum states. For mixed states, the wave-particle quantifiers never saturate a complementarity relation and can even reach zero for a maximally mixed state. To fully characterize a quanton, it is not enough to consider its wave-particle aspect; we have also to regard its quantum correlations with other systems. Here we prove tha…
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…
Two new relative entropy quantities, called the min- and max-relative entropies, are introduced and their properties are investigated. The well-known min- and max- entropies, introduced by Renner, are obtained from these. We define a new entanglement monotone, which we refer to as the max-relative entropy of entanglement, and which is an upper bound to the relative entropy of entanglement. We also generalize the min- and max-relative entropies to obtain smooth min- and max- relative entropies. These act as parent quantities for the smooth Renyi entropies, and allow us to define the analogues o…
We show that a positive homogeneous function that is invariant under determinant-1 stochastic local operations and classical communication (SLOCC) transformations defines an N-qubit entanglement monotone if and only if the homogeneous degree is not larger than four. In particular this implies that any power larger than one of the well-known N-tangle (N > 2) is not an entanglement monotone anymore. We then describe a common basis and formalism for the N-tangle and other known invariant polynomials of degree four. This allows us to elucidate the relation of the four-qubit invariants defined by L…
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).
A family of N-qubit entanglement monotones invariant under stochastic local operations and classical communication (SLOCC) is defined. This class of entanglement monotones includes the well-known examples of the concurrence, the three-tangle, and some of the four, five and N-qubit SLOCC invariants introduced recently. The construction of these invariants is based on bipartite partitions of the Hilbert space in the form ${\bf C}^{2^N}\simeq{\bf C}^L\otimes{\bf C}^l$ with $L=2^{N-n}\geq l=2^n$. Such partitions can be given a nice geometrical interpretation in terms of Grassmannians Gr(L,l) of l-…
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…
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…
Entanglement monotone is defined as a convex measure of entanglement that does not increase on average under local operations and classical communication (LOCC). Here we call an entanglement monotone a strict entanglement monotone (SEM) if it decreases strictly on average under LOCC. We show that, for any convex roof extended entanglement monotone that on pure states is given by a function of the reduced states, if the function is strictly concave, then it is a SEM. Moreover, we prove that the negativity and the relative entropy of entanglement, which are not defined by the convex roof structu…
We investigate the properties of three entanglement measures that quantify the statistical distinguishability of a given state with the closest disentangled state that has the same reductions as the primary state. In particular, we concentrate on the relative entropy of entanglement with reversed entries. We show that this quantity is an entanglement monotone which is strongly additive, thereby demonstrating that monotonicity under local quantum operations and strong additivity are compatible in principle. In accordance with the presented statistical interpretation which is provided, this enta…
A strong entanglement monotone, which never increases under local operations and classical communications (LOCC), restricts quantum entanglement manipulation more strongly than the usual monotone since the usual one does not increase on average under LOCC. We propose new strong monotones in mixed-state entanglement manipulation under LOCC. These are related to the decomposability and 1-positivity of an operator constructed from a quantum state, and reveal geometrical characteristics of entangled states. These are lower bounded by the negativity or generalized robustness of entanglement.
The class of local operations and classical communication (LOCC) pertains to an important measurement scenario in many quantum communication schemes. While LOCC belongs to the more general class of separable operations (SEP), the exact difference between the two remains a challenging open problem. In this article, we seek to better understand the structure of LOCC and its relationship to SEP by comparing their respective abilities for distilling EPR entanglement from one copy of an $N$-qubit W-class state (i.e. that of the form $\sqrt{x_0}\ket{00...0}+\sqrt{x_1}\ket{10...0}+...+\sqrt{x_n}\ket{…
We discuss why regular observables can not be proper entanglement measures, and how observables in a generalized setting can be used to make an entanglement monotone a directly observable quantity for the case of pure states. For the case of mixed states, these generalized observables can be used to find valid lower bounds on entanglement monotones that can be measured in laboratory experiments in the same fashion as it can also be done for pure states.
Restrictions on quantum operations give rise to resource theories. Total lack of a shared reference frame for transformations associated with a group G between two parties is equivalent to having, in effect, an invariant channel between the parties and a corresponding superselection rule. The resource associated with the absence of the reference frame is known as "frameness" or "asymmetry." We show that any entanglement monotone for pure bipartite states can be adapted as a pure-state frameness monotone for phase-invariant channels [equivalently U(1) superselection rules] and extended to the c…
We introduce the theory of operator monotone functions and employ it to derive a new inequality relating the quantum relative entropy and the quantum conditional entropy. We present applications of this new inequality and in particular we prove a new lower bound on the relative entropy of entanglement and other properties of entanglement measures.
It is proven that the logarithmic negativity does not increase on average under positive partial transpose preserving (PPT) operation including subselection (a set of operations that incorporate local operations and classical communication (LOCC) as a subset) and, in the process, a further proof is provided that the negativity does not increase on average under the same set of operations. Given that the logarithmic negativity is obtained from the negativity applying a concave function and is itself not a convex quantity this result is surprising as convexity is generally considered as describi…
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…
Given a pure state transformation $ψ\mapstoϕ$ restricted to entanglement-assisted local operations with classical communication, we determine a lower bound for the dimension of a catalyst allowing that transformation. Our bound is stated in terms of the generalised concurrence monotones (the usual concurrence of two qubits is one such monotone). We further provide tools for deriving further conditions upon catalysts of pure state transformations.
We study the information content of the reduced density matrix of a region in quantum field theory that cannot be recovered from its subregion density matrices. We reconstruct the density matrix from its subregions using two approaches: scaling maps and recovery maps. The vacuum of a scale-invariant field theory is the fixed point of both transformations. We define the entanglement of scaling and the entanglement of recovery as measures of entanglement that are intrinsic to the continuum limit. Both measures increase monotonically under the renormalization group flow. This provides a unifying …
The geometric measure of entanglement, which expresses the minimum distance to product states, has been generalized to distances to sets that remain invariant under the stochastic reducibility relation. For each such set, an associated entanglement monotone can be defined. The explicit analytical forms of these measures are obtained for bipartite entangled states. Moreover, the three qubit case is discussed and argued that the distance to the W states is a new monotone.
Many problems in quantum information theory can be vied as interconversion between resources. In this talk, we apply this view point to state estimation theory, motivated by the following observations. First, a monotone metric takes value between SLD and RLD Fisher metric. This is quite analogous to the fact that entanglement measures are sandwiched by distillable entanglement and entanglement cost. Second, SLD add RLD are mutually complement via purification of density matrices, but its operational meaning was not clear. To find a link between these observations, we define reverse estimation …
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 consider two properties of the set of quantum states as a convex topological space and some their implications concerning the notions of a convex hull and of a convex roof of a function defined on a subset of quantum states. By using these results we analyze two infinite-dimensional versions (discrete and continuous) of the convex roof construction of entanglement monotones, which is widely used in finite dimensions. It is shown that the discrete version may be 'false' in the sense that the resulting functions may not possess the main property of entanglement monotones while the continuous …
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…
An entanglement monotone, which is invariant under the determinant 1 SLOCC operations and measures the true quadripartite entanglement, is explicitly constructed.
In this paper, we show that the average three-tangle of the reduced tripartite density matrix for some quadripartite pure states can be increased by some potential measurements on the fourth subsystem, which means this type of quadripartite entanglement can be localized. In particular, we prove that the maximal increment with all potential measurements taken into account is a quadripartite entanglement monotone, so it quantifies this localized quadripartite entanglement. By analyzing quadripartite pure states based on the previous classification, we find that this quadripartite entanglement mo…
Quantum measurement is a class of quantum channels that sends quantum states to classical states. We set up resource theories of quantum coherence and quantum entanglement for quantum measurements and find relations between them. For this, we conceive a relative entropy type quantity to account for the quantum resources of quantum measurements. The quantum coherence of a quantum measurement can be converted into the entanglement in a bipartite quantum measurement through coherence-non generating transformations. Conversely, a quantum entanglement monotone of quantum measurements induces a quan…
We describe a connection between entanglement and designs. It involves the conical 2-designs introduced in a previous paper. These are a generalization of projective 2-designs which includes full sets of arbitrary rank mutually unbiased measurements (MUMs) and arbitrary rank symmetric informationally complete measurements (SIMs), as well as the more familiar MUBs and SICs. We show that a POVM is a conical 2-design if and only if there exists what we call a regular entanglement monotone whose restriction to the pure states is a function of the norm of the probability vector. In that case the co…
