Computing the exact rate at which entanglement can be distilled from noisy quantum states is one of the longest-standing questions in quantum information. We give an exact solution for entanglement distillation under the set of dually non-entangling (DNE) operations—a relaxation of the typically considered local operations and classical communication, comprising all channels which preserve the sets of separable states and measurements. We show that the DNE distillable entanglement coincides with a modified version of the regularised relative entropy of entanglement in which the arguments are measured with a separable measurement. Ours is only the second known regularised formula for the distillable entanglement under any class of free operations in entanglement theory, after that given by Devetak and Winter for (one-way) local operations and classical communication. An immediate consequence of our finding is that, under DNE, entanglement can be distilled from any entangled state. As our second main result, we construct a general upper bound on the DNE distillable entanglement, using which we prove that the separably measured relative entropy of entanglement can be strictly smaller than the regularisation of the standard relative entropy of entanglement, solving an open problem posed by Li and Winter. Finally, we study also the reverse task of entanglement dilution and show that the restriction to DNE operations does not change the entanglement cost when compared with the larger class of non-entangling operations. This implies a strong form of irreversiblility of entanglement theory under DNE operations: even when asymptotically vanishing amounts of entanglement may be generated, entangled states cannot be converted reversibly. Computing how much entanglement can be extracted from imperfect quantum states is a long-standing problem in quantum resource theory. Here, Lami and Regula move away from the usual case in which the operations considered free to implement are local operations and classical communication, and find instead a solution for the case of dually non-entangling operations.
Computing the exact rate at which entanglement can be distilled from noisy quantum states is one of the longest-standing questions in quantum information. We give an exact solution for entanglement distillation under the set of dually non-entangling (DNE) operations—a relaxation of the typically considered local operations and classical communication, comprising all channels which preserve the sets of separable states and measurements. We show that the DNE distillable entanglement coincides with a modified version of the regularised relative entropy of entanglement in which the arguments are measured with a separable measurement. Ours is only the second known regularised formula for the distillable entanglement under any class of free operations in entanglement theory, after that given by Devetak and Winter for (one-way) local operations and classical communication. An immediate consequence of our finding is that, under DNE, entanglement can be distilled from any entangled state. As our second main result, we construct a general upper bound on the DNE distillable entanglement, using which we prove that the separably measured relative entropy of entanglement can be strictly smaller than the regularisation of the standard relative entropy of entanglement, solving an open problem posed by Li and Winter. Finally, we study also the reverse task of entanglement dilution and show that the restriction to DNE operations does not change the entanglement cost when compared with the larger class of non-entangling operations. This implies a strong form of irreversiblility of entanglement theory under DNE operations: even when asymptotically vanishing amounts of entanglement may be generated, entangled states cannot be converted reversibly. Computing how much entanglement can be extracted from imperfect quantum states is a long-standing problem in quantum resource theory. Here, Lami and Regula move away from the usual case in which the operations considered free to implement are local operations and classical communication, and find instead a solution for the case of dually non-entangling operations.
The manipulation of quantum entanglement is fundamentally irreversible: some mixed entangled states require pure entanglement for their preparation, although no pure entanglement can be recovered from them by local operations and classical communication. This irreversibility is known to persist even under the maximal class of operations that do not generate entanglement, revealing a fundamental distinction between entanglement theory and thermodynamics. We construct cases for which any attempt to restore reversibility necessarily incurs an error that increases exponentially with the number of copies. Technically, we demonstrate a strict separation between the exponential strong-converse distillable entanglement and the exponential strong-converse entanglement cost. Our result resolves a conjecture posed by Lami and Regula (Nat. Phys. 19, 184-189 (2023)) and strengthens it by showing that the irreversibility of entanglement persists even at the level of polynomially (in the number of copies) growing error. We further derive a semidefinite-programming lower bound on the exponential strong-converse cost under non-entangling operations. Finally, for the class of completely PPT-preserving operations, we construct analytically solvable families of antisymmetric states exhibiting the exponential strong-converse irreversibility. Remarkably, to our knowledge, no analogous separation between exponential strong converse cost and the analogous distillable entanglement is currently known even under the more restrictive class of LOCC operations.
We study entanglement distillation under operations that remain completely positive under partial-transpose conjugation, a.k.a. PPT channels, in the standard quantum Shannon theory regime of asymptotically vanishing but non-zero error. Our main results are: (a) a regularised formula for the PPT distillable entanglement in terms of a measured-relative-entropy-like quantity; and (b) two different single-letter converses, one based on operator quadratic forms and the other on Hirschman's strengthening of the Hadamard three-line theorem. As an immediate application of (b), we show that the PPT distillable entanglement can be strictly smaller than the regularised Rains bound, thereby resolving an open problem in the theory of entanglement manipulation [Regula et al., NJP 21:103017, 2019]. A gap appears already for 3×3 Werner states: at antisymmetric weight 25/26, a certified upper bound of 0.62107 ebits lies below the (regularised) Rains bound, which equals 2625log25−log23≈0.64766 ebits. On a different note, (a) implies a faithful lower bound on the PPT distillable entanglement in terms of the entanglement negativity, which provides a quantitative counterpart to the qualitatively known fact that any NPT state is PPT distillable [Eggeling et al., PRL 87:257902, 2001].
We prove continuity of distillable entanglement, the optimal asymptotic rate at which copies of a bipartite state can be converted into maximally entangled pairs by local operations and classical communication (LOCC) with vanishing error. We establish an explicit asymptotic continuity bound that holds for arbitrary bipartite states and depends logarithmically on the system dimension. This bound has the same structure as known continuity bounds for conditional entropy, entanglement cost, and relative entropy of entanglement. Our proof constructs an explicit LOCC protocol that converts either of two arbitrary bipartite states into the other at an ebit cost that vanishes as their trace distance tends to zero.
The mysterious nature of entanglement, one of the most prominent exquisitely quantum phenomena, is reflected in its intricate operational structure, with a hierarchy of classes of free operations that enable its manipulation at different levels of effectiveness. Here we use the class of 'flower states', parametrised by their (even) local dimension 2k, to shine light on some aspects of this varied landscape. We compute all the main entanglement measures for flower states, uncovering a large gap between all forms of distillable entanglement, equal to 1 ebit independently of the local dimension, and the entanglement cost under local operations and classical communication (LOCC), known to be equal to log(2k). Even under the strictly more powerful class of non-entangling (NE) operations, we show that their cost is still equal to log(1+k), only about an ebit less than for LOCCs. This result, which we prove by calculating the recently introduced tempered entanglement negativity for these states, demonstrates the largest known 'irreversibility gap', i.e. the difference between distillable entanglement and entanglement cost, under NE operations, equal to Θ(21logd), with d being the local dimension. A notable consequence is that the celebrated squashed entanglement is not a monotone under NE operations. Finally, we compute the exact cost under LOCC operations for flower states; this is given by the Schmidt number, which turns out to be additive over multiple copies and equal to minr∣klog(r+rk); for prime k this reduces to log(k+1), about twice the standard LOCC cost. These last results leverage the uncertainty relations over cyclic groups proved by Tao and Meshulam.
Despite the central importance of quantum entanglement in quantum technologies, understanding the optimal ways to exploit it is still beyond our reach, and even measuring entanglement in an operationally meaningful way is prohibitively difficult. Here we study two fundamental tasks in the processing of entanglement: entanglement testing, which is a quantum state discrimination problem concerned with detecting entanglement in the many-copy regime, and entanglement distillation, which is concerned with purifying entanglement from noisy entangled states. We introduce a way of benchmarking the performance of distillation that focuses on the best achievable error rather than its yield in the asymptotic limit. When the underlying set of operations used for entanglement distillation is the axiomatic class of non-entangling operations, we show that the two figures of merit for entanglement testing and distillation coincide. We solve both problems by proving a generalized quantum Sanov's theorem, which enables the exact evaluation of the asymptotic error rates of composite quantum hypothesis testing. We show in particular that the asymptotic figure of merit is given by the reverse relative entropy of entanglement, a single-letter quantity that can be evaluated using only a single copy of a quantum state-a distinct feature among measures of entanglement that quantify the optimal performance of information-theoretic tasks.
Historically, entanglement and coherence distillation focused on the distillable rate under full knowledge of the initial state. In this paper, we develop a unified finite-blocklength and asymptotic theory for universal distillation from convex compact sequences of possible states stable under tensor products. We first resolve an open question by showing that two regularized variants of the generalized quantum Hoeffding divergence need not coincide, and establish fundamental properties of the Hoeffding divergence and anti-divergence. For universal entanglement distillation, we connect finite-blocklength performance under non-entangling, PPT-preserving, and dually free operations to composite correlated hypothesis testing, yielding reliability functions for non-entangling and PPT-preserving operations characterized by regularized quantum Hoeffding divergences and strong converse bounds via the anti-divergence. We recover the entanglement concentration error exponent, zero-rate exponents under a continuity condition, and distillable entanglements, and characterize the dually free cases by regularized relative entropies under restricted measurements. Additionally, five concrete noise models justify the black-box assumptions for both resources. For coherence distillation under maximally incoherent and dephasing-covariant incoherent operations, we extend the one-shot semidefinite program characterization to universal inputs; relating a relaxed optimization to hypothesis testing yields the high-rate reliability function. A coherent-seed approach extends the single-state formula to the entire direct regime when the zero-error rate is positive. Finally, we completely characterize the states with positive zero-error coherence distillation rate, show that the rate equals the order-zero Petz Rényi relative entropy of coherence, and derive dimension-independent one-shot bounds ......