Quantifying entanglement in composite systems is a fundamental challenge, yet exact results are available in only a few special cases. This is because hard optimization problems are routinely involved, such as finding the convex decomposition of a mixed state with the minimal average pure-state entanglement, the so-called convex roof. We show that under certain conditions such a problem becomes trivial. Precisely, we prove by a geometric argument that polynomial entanglement measures of degree 2 are independent of the choice of pure-state decomposition of a mixed state, when the latter has only one pure unentangled state in its range. This allows for the analytical evaluation of convex roof extended entanglement measures in classes of rank-2 states obeying such a condition. We give explicit examples for the square root of the three-tangle in three-qubit states, and we show that several representative classes of four-qubit pure states have marginals that enjoy this property.
New measures of multipartite entanglement are constructed based on two definitions of multipartite information and different methods of optimizing over extensions of the states. One is a generalization of the squashed entanglement where one takes the mutual information of parties conditioned on the state's extension and takes the infimum over such extensions. Additivity of the multipartite squashed entanglement is proved for both versions of the multipartite information which turn out to be related. The second one is based on taking classical extensions. This scheme is generalized, which enables to construct measures of entanglement based on the mixed convex roof of a quantity, which in contrast to the standard convex roof method involves optimization over all decompositions of a density matrix rather than just the decompositions into pure states. As one of the possible applications of these results we prove that any multipartite monotone is an upper bound on the amount of multipartite distillable key. The findings are finally related to analogous results in classical key agreement.
New measures of multipartite entanglement are constructed based on two definitions of multipartite information and different methods of optimizing over extensions of the states. One is a generalization of the squashed entanglement where one takes the mutual information of parties conditioned on the state's extension and takes the infimum over such extensions. Additivity of the multipartite squashed entanglement is proved for both versions of the multipartite information which turn out to be related. The second one is based on taking classical extensions. This scheme is generalized, which enables to construct measures of entanglement based on the mixed convex roof of a quantity, which in contrast to the standard convex roof method involves optimization over all decompositions of a density matrix rather than just the decompositions into pure states. As one of the possible applications of these results we prove that any multipartite monotone is an upper bound on the amount of multipartite distillable key. The findings are finally related to analogous results in classical key agreement.
We show a powerful method to compute entanglement measures based on convex roof constructions. In particular, our method is applicable to measures that, for pure states, can be written as low order polynomials of operator expectation values. We show how to compute the linear entropy of entanglement, the linear entanglement of assistance, and a bound on the dimension of the entanglement for bipartite systems. We discuss how to obtain the convex roof of the three-tangle for three-qubit states. We also show how to calculate the linear entropy of entanglement and the quantum Fisher information based on partial information or device independent information. We demonstrate the usefulness of our method by concrete examples.
An algorithm is proposed that serves to handle full-rank density matrices when coming from a lower-rank method to compute the convex roof. This is in order to calculate an upper bound for any polynomial SL-invariant multipartite entanglement measure
E. This study exemplifies how this algorithm works based on a method for calculating convex roofs of rank-2 density matrices. It iteratively considers the decompositions of the density matrix into two states each, exploiting the knowledge for the rank-2 case. The algorithm is therefore quasiexact as far as the rank-2 case is concerned, and it also hints where it should include more states in the decomposition of the density matrix. Focusing on the measure of three-way entanglement of qubits (called three-tangle), I show the results the algorithm gives for two states, one of which is the Greenberger-Horne-Zeilinger--Werner (GHZ-
W) state, for which the exact convex roof is known. It overestimates the three-tangle in the state, thereby giving insight into the optimal decomposition the GHZ-
W state has. As a proof of principle, I have run the algorithm for the three-tangle on the transverse quantum Ising model. I give qualitative and quantitative arguments why the convex roof should be close to the upper bound found here.
Many entanglement measures are first defined for pure states of a bipartite Hilbert space, and then extended to mixed states via the convex roof extension. In this article we alter the convex roof extension of an entanglement measure, to produce a sequence of extensions that we call
f-
d extensions, for
d∈N, where
f:[0,1]→[0,∞) is a fixed continuous function which vanishes only at zero. We prove that for any such function
f, and any continuous, faithful, non-negative function, (such as an entanglement measure),
μ on the set of pure states of a finite dimensional bipartite Hilbert space, the collection of
f-
d extensions of
μ detects entanglement, i.e. a mixed state
ρ on a finite dimensional bipartite Hilbert space is separable, if and only if there exists
d∈N such that the
f-
d extension of
μ applied to
ρ is equal to zero. We introduce a quantum variational algorithm which aims to approximate the
f-
d extensions of entanglement measures defined on pure states. However, the algorithm does have its drawbacks. We show that this algorithm exhibits barren plateaus when used to approximate the family of
f-
d extensions of the Tsallis entanglement entropy for a certain function
f and unitary ansatz
U(θ) of sufficient depth. In practice, if additional information about the state is known, then one needs to avoid using the suggested ansatz for long depth of circuits.