general

Very Strong Irreversibility of Quantum Entanglement

Curator's Take

AI Commentary

This article proves that the loss of usable entanglement when converting mixed states to pure ones is far more severe than previously known—any attempt to recover reversibility incurs an error that blows up exponentially with the number of copies, even under the most permissive non‑entangling operations. By establishing a strict separation between exponential strong‑converse distillable entanglement and exponential strong‑converse entanglement cost, it settles a recent conjecture and sharpens our understanding of the fundamental limits of entanglement manipulation, with direct implications for the efficiency of quantum communication and error‑correction protocols. The result also deepens the analogy between entanglement theory and thermodynamics by showing that irreversibility persists at polynomially small error rates, highlighting a new resource‑theoretic barrier that future algorithm designers must reckon with.

— Mark Eatherly

Summary

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.