We introduce a measure of both quantum as well as classical correlations in a quantum state, the entanglement of purification. We show that the (regularized) entanglement of purification is equal to the entanglement cost of creating a state ρ asymptotically from maximally entangled states, with negligible communication. We prove that the classical mutual information and the quantum mutual information divided by two are lower bounds for the regularized entanglement of purification. We present numerical results of the entanglement of purification for Werner states in H2⊗H2.
We introduce a measure of both quantum as well as classical correlations in a quantum state, the entanglement of purification. We show that the (regularized) entanglement of purification is equal to the entanglement cost of creating a state ρ asymptotically from maximally entangled states, with negligible communication. We prove that the classical mutual information and the quantum mutual information divided by two are lower bounds for the regularized entanglement of purification. We present numerical results of the entanglement of purification for Werner states in H2⊗H2.
We demonstrate the convexity of the difference between the regularized entanglement of purification and the entropy, as a function of the state. This is proved by means of a new asymptotic protocol to prepare a state from pre-shared entanglement and by local operations only. We go on to employ this convexity property in an investigation of the additivity of the (single-copy) entanglement of purification: using numerical results for two-qubit Werner states we find strong evidence that the entanglement of purification is different from its regularization, hence that entanglement of purification is not additive.
A bstract We introduce a new information-theoretic measure of multipartite correlations Δ P , by generalizing the entanglement of purification to multipartite states. We provide proofs of its various properties, focusing on several entropic inequalities, in generic quantum systems. In particular, it turns out that the multipartite entanglement of purification gives an upper bound on multipartite mutual information, which is a generalization of quantum mutual information in the spirit of relative entropy. After that, motivated by a tensor network description of the AdS/CFT correspondence, we conjecture a holographic dual of multipartite entanglement of purification Δ W , as a sum of minimal areas of codimension-2 surfaces which divide the entanglement wedge into multi-pieces. We prove that this geometrical quantity satisfies all properties we proved for the multipartite entanglement of purification. These agreements strongly support the Δ P = Δ W conjecture. We also show that the multipartite entanglement of purification is larger than multipartite squashed entanglement, which is a promising measure of multipartite quantum entanglement. We discuss potential saturation of multipartite squashed entanglement onto multipartite mutual information in holographic CFTs and its applications.
The entanglement of purification EP, introduced by Terhal, Horodecki, Leung, and DiVincenzo in 2002, measures the total correlations of a bipartite state by the entanglement needed to purify it; whether it is additive on tensor powers has been open since its introduction. In 2012 Chen and Winter argued "beyond reasonable doubt", from numerical evidence, that the two-qubit Werner state at singlet fraction f=1/200 is a counterexample, and explicitly left a completely rigorous proof to future work. To our knowledge we give the first rigorous proof: for this state W, EP∞(W)≤0.9663…<97/100<EP(W), hence the entanglement of purification is strictly nonadditive at some finite tensor power. The lower bound is a finite certificate: analytic reductions send the Schmidt spectrum of every purification in the complete complex Stiefel domain to a point satisfying explicit necessary inequalities in a three-dimensional box, and an exact-rational subdivision of that box has 25,383 leaves, each of which either excludes nonphysical points or proves the entropy bound. The upper bound combines an exact symmetric-support endpoint, an explicit feasible isometry, and a convexity theorem for the regularized quantity, closed by two directed rational logarithm certificates. Every computer-assisted certificate reduces to integer comparisons; a dependency-free program verifies all of them from the supplementary artifact.
For bipartite pure and mixed quantum states, in addition to the quantum mutual information, there is another measure of total correlation, namely, the entanglement of purification. We study the monogamy, polygamy, and additivity properties of the entanglement of purification for pure and mixed states. In this paper, we show that, in contrast to the quantum mutual information which is strictly monogamous for any tripartite pure states, the entanglement of purification is polygamous for the same. This shows that there can be genuinely two types of total correlation across any bipartite cross in a pure tripartite state. Furthermore, we find the lower bound and actual values of the entanglement of purification for different classes of tripartite and higher-dimensional bipartite mixed states. Thereafter, we show that if entanglement of purification is not additive on tensor product states, it is actually subadditive. Using these results, we identify some states which are additive on tensor products for entanglement of purification. The implications of these findings on the quantum advantage of dense coding are briefly discussed, whereby we show that for tripartite pure states, it is strictly monogamous and if it is nonadditive, then it is superadditive on tensor product states.
We prove that the von Neumann entanglement of purification is nonadditive. For two-qubit Werner states W(f) with singlet weight 1/64≤f≤1/4, we show that canonical purification is globally optimal: its entanglement, also known as reflected entropy, gives the exact entanglement of purification. In contrast, the regularized entanglement of purification lies strictly below the reflected entropy for 0<f<f∗, where f∗≈0.017. Together, these results establish nonadditivity throughout 1/64≤f<f∗. Our canonical-optimality proof generalizes the proof in [1], which established Rényi nonadditivity for 0≤α<1 using classical two-qubit states. We thus resolve the additivity question at α=1. Remarkably, nonadditivity is again witnessed by separable states and no entanglement in the underlying states is required.
Squashed entanglement and entanglement of purification are quantum mechanical correlation measures and defined as certain minimisations of entropic quantities. In this paper, we present the first non-trivial calculations of both quantities. Our results lead to the conclusion that both measures can drop by an arbitrary amount when only a single qubit of a local system is lost. This property is known as "locking" and has previously been observed for other correlation measures such as accessible information, entanglement cost and logarithmic negativity. In the case of squashed entanglement, the results are obtained using an inequality that can be understood as a quantum channel analogue of well-known entropic uncertainty relations. This inequality may prove a useful tool in quantum information theory. The regularised entanglement of purification is known to equal the entanglement needed to prepare many copies of a quantum state by local operations and a sublinear amount of communication. Here, monogamy of quantum entanglement (i.e., the impossibility of a system being maximally entangled with two others at the same time) leads to an exact calculation for all quantum states that are supported either on the symmetric or on the antisymmetric subspace of a d times d-dimensional system