[Paper Review] Uniqueness of Entanglement Measure and Thermodynamics

Vlatko Vedral, Elham Kashefi|ArXiv.org|Dec 21, 2001

Quantum Mechanics and Applications3 references3 citations

TL;DR

This paper applies Giles' axiomatic framework of thermodynamics to quantum entanglement, demonstrating that local operations with classical communication (LOCC) and adiabatic processes share the same mathematical structure. It proves a unique entanglement measure for bipartite pure states—equivalent to the von Neumann entropy of entanglement—by extending LOCC to include catalyzers and large numbers of state copies.

ABSTRACT

We apply the axiomatic approach to thermodynamics presented by Giles to derive a unique measure of entanglement for bi-partite pure states. This implies that local manipulations of entanglement in quantum information theory and adiabatic transformations of states in thermodynamics have the same underlying mathematical structure. We discuss possible extensions of our results to mixed and multi-partite states.

Motivation & Objective

• To establish a rigorous, unique measure of entanglement for bipartite pure quantum states using an axiomatic framework.
• To demonstrate that the mathematical structure of thermodynamics—specifically Giles' axioms—applies directly to entanglement manipulation via LOCC.
• To explore the conditions under which such a unique measure can be extended to mixed and multi-partite quantum states.
• To clarify the role of catalyzers and asymptotic state copies in satisfying the axioms necessary for uniqueness.
• To compare this approach with existing axiomatic measures of entanglement and assess its foundational robustness.

Proposed method

• Adapts Giles' axiomatic system for thermodynamics—featuring operations + (state composition) and → (admissible transformation)—to quantum entanglement.
• Reinterprets the → relation as LOCC convertibility, with transformations allowed to include catalytic states and large numbers of copies.
• Defines entanglement measure as the infimum of ratios m/n such that m copies of a maximally entangled state can be converted to n copies of the target state plus an ancillary state.
• Uses the axioms (associativity, commutativity, transitivity, compatibility with addition, and comparability) to derive a unique order on quantum states.
• Applies the formalism to bipartite pure states, showing that the resulting measure matches the von Neumann entropy of entanglement.
• Considers extensions to mixed and multi-partite states, analyzing whether the axioms—especially Axiom 5 (comparability)—remain valid.

Experimental results

Research questions

• RQ1 Can Giles' axiomatic approach to thermodynamics be applied to derive a unique measure of entanglement in quantum information?
• RQ2 What conditions must LOCC operations satisfy to ensure the existence of a unique entanglement measure under this formalism?
• RQ3 How do catalyzers and asymptotic state copies affect the validity of Giles' axioms in entanglement manipulation?
• RQ4 Is the comparability axiom (Axiom 5) valid for multi-partite or mixed entangled states, and what are the implications for uniqueness?
• RQ5 Can the same mathematical structure underlying thermodynamic entropy also underlie entanglement measures in quantum systems?

Key findings

• The axiomatic framework of Giles uniquely determines a single measure of entanglement for bipartite pure states, analogous to how entropy is uniquely determined in thermodynamics.
• The derived entanglement measure is mathematically equivalent to the von Neumann entropy of entanglement, defined via the Schmidt decomposition.
• The inclusion of catalyzers and large numbers of copies is essential to satisfy Giles' Axiom 4 (compatibility with addition), enabling the derivation of uniqueness.
• Axiom 5 (comparability) fails in general for tripartite or mixed states, suggesting that a unique measure may not exist without extending the set of allowed operations.
• If Axiom 5 fails, multiple non-equivalent entanglement measures could exist, implying that no single measure can universally order all entangled states.
• The formalism suggests that thermodynamic and entanglement structures are isomorphic at the abstract level, with LOCC playing the role of adiabatic processes.