Skip to content

Quantum Relative Entropy

The asymmetric quantum divergence Tr[ρ(logρ−logσ)], finite under support inclusion and monotone under quantum channels, comparing an ordered pair of density operators.

Version
v1 · 2026-09-28 · History
Domain-specific #
11617
Domain group
Formal Sciences
Origin domain
Information Theory
Subdomain
Quantum Information Theory → Information Theory
Aliases
Umegaki Relative Entropy, Quantum Kullback Leibler Divergence

Core Idea

Quantum relative entropy compares a state ρ with a reference state σ through the trace of ρ times the difference of their operator logarithms. It reduces to classical Kullback–Leibler divergence when the states commute in a common eigenbasis.

The argument order and support convention are essential: if ρ occupies a direction to which σ assigns zero support, the value is infinite. It is not a metric, but its nonnegativity and data-processing behavior make it central to quantum information, statistics, and thermodynamics.

Structural Signature

Sig role-phrases:

  • Reference state ρ — Weights the expectation and represents the state being assessed. It is first argument. Counterfactual: Swapping arguments generally changes the value.
  • Comparison state σ — Supplies the logarithmic reference model. It is second argument. Counterfactual: Zeros in σ on ρ-supported directions force infinity.
  • Operator logarithms — Convert spectral weights into the entropy difference. It is transformation. Counterfactual: Entrywise logarithms in an arbitrary basis are incorrect.
  • Trace pairing — Aggregates the operator difference with ρ. It is scalarization. Counterfactual: Without the ρ-weighted trace the functional is not Umegaki entropy.
  • Support condition — Determines whether the value is finite or extended infinite. It is domain boundary. Counterfactual: A tiny unsupported component can change finiteness discontinuously.
  • Quantum channel — Provides the coarse-graining under which distinguishability cannot increase. It is monotonicity frame. Counterfactual: Arbitrary nonlinear maps need not satisfy data processing.

What It Is Not

  • It is not the von Neumann entropy of one state.
  • It is not symmetric and not a distance metric.
  • Infinite value does not imply orthogonal states.
  • Eigenvalues cannot be paired arbitrarily for noncommuting states.
  • Closest near-miss. For commuting ρ and σ, simultaneous diagonalization reduces quantum relative entropy to classical KL; noncommuting states retain operator ordering and cannot be reduced to arbitrary eigenvalue pairing.

Scope of Application

  • Quantum information. Bounds discrimination and coding tasks.
  • Quantum statistics. Compares states and hypotheses.
  • Operator algebras. Studies monotone divergences.
  • Quantum thermodynamics. Expresses free-energy and irreversibility relations.

Clarity

Specify ordered arguments, normalization, Hilbert-space setting, log base, spectral functional calculus, support relation, finite/infinite convention, and the channel or optimization under discussion.

Manages Complexity

One extended-real functional combines spectral calculus, support geometry, asymmetry, and information monotonicity while retaining the classical divergence in commuting cases.

Abstract Reasoning

  1. Validate the two density operators.
  2. Check support inclusion.
  3. Compute operator logarithms spectrally.
  4. Take the ρ-weighted trace difference.
  5. Interpret the ordered value through a justified information-theoretic inequality.

Knowledge Transfer

Classical relative-entropy intuition transfers exactly only for commuting states; in general, operator order, support, allowable measurements, and quantum-channel monotonicity must be preserved.

Examples

Canonical

If ρ and σ commute with eigenvalues p_i and q_i in one basis and every p_i>0 has q_i>0, D(ρ||σ)=Σp_i log(p_i/q_i).

Mapped back: rho → p_i; sigma → q_i; logs → spectral; trace → sum; support → contained.

Applied / In Practice

Two states can be close in trace norm yet D(ρ||σ)=∞ if ρ has any positive support in the kernel of σ; infinity does not mean orthogonality.

Mapped back: norm distance → small; support inclusion → fails; relative entropy → infinite.

Structural Tensions

T1 — Operational Distinguishability versus Nonmetric Form. The functional controls information tasks while remaining asymmetric and lacking a triangle inequality.

Diagnostic: Is an argument using divergence properties or metric geometry?

T2 — Small Perturbation versus Support Singularity. An arbitrarily small component outside σ's support can make the value infinite.

Diagnostic: Has support inclusion been checked before numerical interpretation?

Structural–Framed Character

Quantum Relative Entropy is structural as an ordered operator divergence and quantum-framed by density operators and channels.

Structural Core vs. Domain Accent

The core is two ordered normalized states, logarithmic comparison, trace aggregation, and support boundary. Quantum theory supplies noncommutativity, density operators, channels, and operational meanings.

This entry is a kind of Comparison.

  • Approved root. No reviewed parent entails this operator divergence.

  • Related — von Neumann entropy, trace distance, fidelity, and data-processing inequality. They provide component, alternative comparisons, and key law.

Relationships to Other Abstractions

Local relationship map for Quantum Relative EntropyParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.QuantumRelative EntropyDOMAINPrime abstraction: Comparison — is a kind ofComparisonPRIME

Current abstraction Quantum Relative Entropy Domain-specific

Parents (1) — more general patterns this builds on

  • Quantum Relative Entropy is a kind of Comparison Prime

    Quantum Relative Entropy is a strict kind of Comparison: it places an ordered pair of density operators in a shared operator frame and assigns their asymmetric divergence.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Quantum Relative Entropy sits in a moderately populated region (43rd percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Quantum States & Computational Models (12 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With

  • Von Neumann entropy. Tell: Is a one-state uncertainty functional.
  • Trace distance. Tell: Is symmetric and metric-like.
  • Quantum fidelity. Tell: Is a bounded overlap measure.
  • Classical KL divergence. Tell: Matches only in an appropriate commuting representation.

References

  • Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Quantum_relative_entropy (revision 1363370852).
  • Preserved source candidate: http://www.cambridge.org/gb/academic/subjects/physics/quantum-physics-quantum-information-and-quantum-computation/quantum-computation-and-quantum-information-10th-anniversary-edition?format=PB&isbn=9781107002173#PkOdhEVJmYvWi4Bd.97
  • Preserved source candidate: https://link.springer.com/book/10.1007/978-3-319-21891-5

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.