[Paper Review] Entanglement of Distillation and Conditional Mutual Information

Robert R. Tucci|ArXiv.org|Feb 25, 2002

Quantum Information and CryptographyComputer Science10 references79 citations

TL;DR

This paper expresses the Entanglement of Distillation (ED) in terms of Conditional Mutual Information (CMI), extending a prior formulation of Entanglement of Formation using CMI. By leveraging quantum CMI and data processing inequalities, the authors derive a variational expression for ED as the minimum quantum CMI over all possible classical-quantum correlations, establishing a direct operational link between distillable entanglement and information-theoretic measures.

ABSTRACT

In previous papers, we expressed the Entanglement of Formation in terms of Conditional Mutual Information (CMI). In this brief paper, we express the Entanglement of Distillation in terms of CMI.

Motivation & Objective

• To extend the information-theoretic characterization of entanglement by expressing Entanglement of Distillation (ED) in terms of Conditional Mutual Information (CMI), following prior work on Entanglement of Formation.
• To establish a quantum information-theoretic framework where ED is defined as a minimization over classical-quantum correlations conditioned on a common ancestor.
• To demonstrate that CMI serves as a suitable measure for quantifying distillable entanglement due to its ability to distinguish quantum from classical correlations.
• To provide a variational formulation of ED using CMI, grounded in quantum data processing inequalities and density matrix formalism.

Proposed method

• The paper defines ED as the maximum over local unitaries U and V of the minimum quantum CMI S(a:b|λ,Γ) over all density matrices with a fixed marginal ρa,b|Γ.
• It uses the quantum CMI formula S(a:b|λ) = S(ρλ) - S(ρa,λ) - S(ρb,λ) + S(ρa,b,λ), derived from von Neumann entropies.
• The derivation relies on a quantum Bayesian network structure with a latent variable λ representing a common cause, modeling the EPR-type entangled state preparation.
• A data processing inequality is applied to show that the CMI between outcomes a and b, conditioned on λ, cannot increase under local operations, ensuring the minimization is well-defined.
• The framework uses unitary transformations U and V to model local operations on subsystems A, A′, B, B′, and constructs a joint state via controlled unitaries.
• The final expression for ED is derived as a max-min optimization over unitaries and density matrices, with the constraint that the marginal ρa,b|Γ remains fixed.

Experimental results

Research questions

• RQ1 Can the Entanglement of Distillation be expressed in terms of Conditional Mutual Information (CMI), similar to how Entanglement of Formation was previously expressed?
• RQ2 How does the CMI between measurement outcomes a and b, conditioned on a common cause λ, relate to the distillable entanglement in a quantum state?
• RQ3 What role do data processing inequalities play in bounding the CMI and ensuring the minimization in the ED definition is physically meaningful?
• RQ4 Is the CMI formulation of ED invariant under local operations and classical communication (LOCC), and how is this enforced in the variational expression?
• RQ5 Can the distillation process be operationally characterized as minimizing the CMI between outcomes given a latent classical variable λ?

Key findings

• The Entanglement of Distillation (ED) is expressed as ED(ρX,ρX′) = maxU,V minρa,b,λ|Γ∈K S(a:b|λ,Γ), where the minimization is over all density matrices with a fixed marginal ρa,b|Γ.
• The CMI S(a:b|λ,Γ) is used as the operational measure of entanglement, with the minimum value over all possible classical-quantum extensions representing the distillable entanglement.
• The data processing inequality ensures that the CMI between outcomes a and b, conditioned on λ, cannot increase under local operations, validating the minimization procedure.
• The framework shows that CMI vanishes in classical scenarios but remains non-zero in quantum ones, confirming its suitability for capturing exclusively quantum correlations.
• The derivation establishes that ED is bounded from above by the quantum mutual information and from below by the CMI, providing a tight operational characterization.
• The result generalizes the classical CMI-based formulation of EF to the distillation scenario, completing a duality between formation and distillation in terms of information-theoretic measures.