---
title: Relative Entropy of Discord
url: https://www.emergentmind.com/topics/relative-entropy-of-discord
type: topic
---

# Relative Entropy of Discord

The relative entropy of discord is a quantifier of quantum correlations in composite quantum systems, defined via the distance (quantified by quantum relative entropy) to the nearest "classical" or "classical-quantum" state under local measurements. This measure extends the concept of quantum discord by providing a geometric interpretation within the quantum information theory landscape and enjoys broad operational and axiomatic justification. Its formulations, properties, and physical significance have been rigorously developed, especially in the context of entanglement distribution and resource theories.

## 1. Formal Definition and Mathematical Structure

Given a density matrix $\rho_{XY}$ on a bipartite Hilbert space $\mathcal{H}_X \otimes \mathcal{H}_Y$, the (Umegaki) quantum relative entropy between states $\sigma$ and $\tau$ is defined as
$$
S(\sigma\|\tau) = \mathrm{Tr}[\sigma \log \sigma] - \mathrm{Tr}[\sigma \log \tau].
$$
The relative entropy of discord $D_{X|Y}(\rho_{XY})$ is defined by minimizing the relative entropy between $\rho_{XY}$ and the set of "quantum-classical" (QC) states:
$$
D_{X|Y}(\rho_{XY}) = \min_{\chi_{X|Y}} S(\rho_{XY}\|\chi_{X|Y}),
$$
where $\chi_{X|Y} = \sum_j p_j \chi^j_X \otimes |j\rangle\langle j|_Y$ with $\{|j\rangle_Y\}$ an orthonormal basis of $Y$ and $\chi^j_X$ density operators on $X$.

Operationally, this minimization admits the equivalent form:
$$
D_{X|Y}(\rho_{XY}) = \min_{\Pi_Y} [S(\Pi_Y(\rho_{XY})) - S(\rho_{XY})],
$$
where $\Pi_Y$ denotes a complete projective measurement (dephasing) on $Y$. Thus, $D_{X|Y}$ quantifies the least entropy increase—i.e., informational loss—caused by dephasing $Y$ in an optimally chosen basis. For symmetric discord, one can define minimization over both subsystems, and in multipartite settings global generalizations follow directly [1105.2548].

## 2. Core Properties and Operational Interpretation

The relative entropy of discord exhibits the following properties:

- **Nonnegativity and Faithfulness:** $D_{X|Y}(\rho_{XY}) \geq 0$ for all $\rho_{XY}$, attaining zero if and only if $\rho_{XY}$ is quantum-classical on $Y$.
- **Invariance under Local Unitaries:** $D_{X|Y}(U_X\otimes V_Y\, \rho_{XY}\, U_X^\dagger\otimes V_Y^\dagger) = D_{X|Y}(\rho_{XY})$.
- **Monotonicity:** $D_{X|Y}(\rho_{XY}) \geq D_{X|Y}((\Lambda_X\otimes \mathrm{id}_Y)(\rho_{XY}))$ for any completely positive trace-preserving (CPTP) map $\Lambda_X$ on $X$.
- **Relationship to Mutual Information and Entanglement:** For all $\rho_{XY}$,
  $$
  I_{X:Y}(\rho) \geq D_{X|Y}(\rho) \geq E_{X:Y}(\rho),
  $$
  where $I_{X:Y}$ is the quantum mutual information and $E_{X:Y}$ is the relative entropy of entanglement [1203.1268].

Operational interpretations include the connection to the extractable work in thermodynamic settings (difference between quantum and classical demons), and the resource-theoretic characterization of "quantumness" as the nonclassical advantage in information processing [1207.3337].

## 3. Zero-Discord States and Structure Theorems

Zero relative entropy of discord identifies the set of quantum-classical states. For one-sided discord vanishing ($D_{X|Y}=0$), there exists a projective measurement on $Y$ such that $\rho_{XY}$ can be reconstructed from the post-measurement state. More generally, symmetric zero-discord states are diagonal in some product basis, and this structure can be derived using Petz's monotonicity theorem and recovery maps [1206.4109].

The formulation yields:
- For one-sided zero-discord: $\rho_{XY} = \sum_j p_j \rho^j_X \otimes |j\rangle\langle j|_Y$.
- For symmetric zero-discord: diagonal in a product basis across all parties.
These structures generalize via commutation conditions, yielding "lazy" states and other nontrivial classes.

One-sided relative-entropy discord is exactly the conditional mutual information in a suitable dilation, connecting the measure to the strong subadditivity equality structure and state redistribution protocols [1206.4109].

## 4. Multipartite and Symmetric Generalizations

Global quantum discord (GQD), as formulated in [1105.2548], extends the relative entropy of discord to multipartite systems by minimizing the difference between the relative entropy of the state and the relative entropy after local dephasing on all subsystems:
$$
D_G(\rho_{A_1\cdots A_N}) = \min_{\{\Pi_k\}} [S(\rho \| \Phi(\rho)) - \sum_{j=1}^N S(\rho_{A_j} \| \Phi_j(\rho_{A_j}))]
$$
with $\Phi$ the global dephasing map. GQD is symmetric, nonnegative, and local-unitary invariant. For $N=2$, this reduces to the standard (symmetric) bipartite relative-entropy discord. GQD can signal critical behavior in quantum many-body systems where pairwise or entanglement measures fail, e.g., in infinite-order transitions [1105.2548].

## 5. Entanglement Distribution and Resource Implications

The relative entropy of discord provides tight constraints on entanglement distribution processes. In a tripartite system $A$-$B$-$C$ where $C$ is sent from Alice to Bob, the increase in relative entropy of entanglement is bounded:
$$
|\; E_{A:CB}(\rho) - E_{AC:B}(\rho) \;| \leq D_{AB|C}(\rho)
$$
This bound means that the maximal entanglement that can be distributed is quantified by the discord between $C$ (the carrier) and the other parties. Notably, nonzero discord is necessary for entanglement distribution; if $D_{AB|C}=0$, entanglement cannot increase via LOCC [1203.1268].

This framework exposes cases where unentangled carriers can still facilitate entanglement distribution, with the entanglement gain tightly bounded by the communicated discord. The bound is tight in paradigmatic protocols, including those based on three-qubit separable-carrier and Werner-mixture states.

## 6. Generalizations: Tsallis, Rényi, and Sandwiched Relative Entropies

Moving beyond Umegaki (von Neumann) relative entropy, generalized relative entropy of discord definitions employ alternate divergences, enabling finer control and new operational interpretations:

- **Tsallis and Rényi Discord:** For parameter $\alpha$, the Tsallis relative entropy is $D_\alpha(\rho\|\sigma) = \frac{1}{\alpha-1}(\mathrm{Tr}\,[\rho^\alpha \sigma^{1-\alpha}] - 1)$.
- **Sandwiched Relative Entropy:** For $\alpha \in (\frac12,1)\cup(1,\infty)$, $\widetilde S^R_\alpha(\rho\Vert\sigma)$ and $\widetilde S^T_\alpha(\rho\Vert\sigma)$ provide further one-parameter families of discord measures [1406.5065, 1912.05426].

The standard relative entropy of discord is recovered in the appropriate limit ($\alpha \rightarrow 1$). These generalizations satisfy core properties (nonnegativity, contractivity, local-unitary invariance) for suitable parameter ranges, and for selected state families provide improved sensitivity as order parameters in detecting phase transitions. For instance, the sandwiched-Rényi discord exhibits sharply diverging derivatives at the critical point in the transverse-field Ising chain, outperforming standard discord and entanglement measures in finite-size scaling [1406.5065].

## 7. Applications, Examples, and Special Cases

**Representative Calculations:**
- For symmetric "X"-states (two-qubit and qubit-qutrit), the minimization in the relative-entropy discord simplifies to dephasing in the computational basis. Analytically, $D_{\mathrm{RE}}(\rho_X) = S(\chi) - S(\rho_X)$, with $\chi$ the dephased (classical-classical) state [1308.0901].
- For pure bipartite states, the discord coincides with entanglement entropy; in multipartite settings, it reduces to shared mutual information post optimized local measurements [1105.2548].
- Discord based on correlated coherence also leads to a relative-entropy measure coinciding with the original one-sided quantum discord and satisfies resource monotonicity properties under incoherent operations [1611.00413].

**Physical Relevance:**
The relative entropy of discord thus captures the minimal nonclassical correlation necessary for entanglement distribution, the loss of extractable information due to "classicalization," and defines a hierarchy bridging mutual information and entanglement. Its generalizations further allow for parameter-tunable probes of quantum correlations in complex, many-body, or thermodynamic settings.

**Summary Table: Core Discord Types**

| Name                        | Distance Function           | Class of Reference States    |
|-----------------------------|----------------------------|-----------------------------|
| Relative-entropy discord    | $S(\rho\|\chi)$            | Classical-Quantum (CQ)/CC    |
| Tsallis/Rényi discord       | $D_\alpha(\rho\|\chi)$     | Classical-Quantum (CQ)/CC    |
| Sandwiched-entropy discord  | $\widetilde{S}^\Gamma_\alpha(\rho\|\chi)$ | Classical-Quantum (CQ)/CC |

For all, the minimization is over the set of classical states (product of local orthonormal projectors), with the operational content controlled by the choice of the divergence.

**References**: [1203.1268], [1308.0901], [1206.4109], [1611.00413], [1105.2548], [1406.5065], [1912.05426], [1207.3337].

Source: https://www.emergentmind.com/topics/relative-entropy-of-discord