Uhlmann’s Monotonicity Theorem

• Uhlmann’s Monotonicity Theorem is a core result establishing that quantum relative entropy does not increase under CPTP and unital Schwarz maps.
• It employs a sophisticated interpolation of sesquilinear forms and operator-algebraic techniques to address even non-invertible density operators.
• The theorem underpins the quantum Data Processing Inequality and inspires further advances in quantum divergence studies and recovery map analyses.

Uhlmann’s Monotonicity Theorem establishes that the quantum relative entropy is monotonically non-increasing under completely positive, trace-preserving (CPTP) maps, including the broader class of unital Schwarz maps. This result provides a conceptual and technically robust proof of the quantum Data Processing Inequality for the Umegaki (or quantum) relative entropy, applicable even in cases with non-invertible density operators. The theorem’s significance lies in its highly abstract, operator-algebraic approach using the interpolation of sesquilinear forms, which directly leverages the structure of quantum states and maps without recourse to operator convexity or traditional contractive inequalities (Pérez-Pardo, 2022, Matheus et al., 14 Sep 2025).

1. Operator-Algebraic Setting and Interpolation of Quadratic Forms

Let $A$ be a unital C*-algebra over $\mathbb{C}$ with unit $e$. A state $\omega$ on $A$ is a linear functional $\omega : A \to \mathbb{C}$ adhering to:

• $\omega(a^* a) \geq 0$ for all $a \in A$,
• $\omega(e)=1$,
• $\omega(a^*) = \overline{\omega(a)}$ (reality on self-adjoint elements).

Given two states $\mathbb{C}$0 on $\mathbb{C}$1, two positive Hermitian quadratic forms are defined on $\mathbb{C}$2:

• $\mathbb{C}$3,
• $\mathbb{C}$4.

For any pair $\mathbb{C}$5 of positive Hermitian quadratic forms on a complex vector space $\mathbb{C}$6, the Pusz–Woronowicz interpolation yields a family of quadratic forms. There exists a Hilbert space $\mathbb{C}$7 and commuting positive operators $\mathbb{C}$8 with $\mathbb{C}$9, such that for $e$0: $e$1 where $e$2 denotes the equivalence class of $e$3 in $e$4. This construction is pivotal in Uhlmann’s formulation (Pérez-Pardo, 2022).

Key facts used from the interpolation theory include:

• Monotonicity under form-order: If $e$5 and $e$6, then $e$7 for all $e$8.
• Pull-back dominance: For a linear map $e$9, the interpolation of pull-backs $\omega$0 dominates the pulled-back interpolation.

2. Uhlmann’s Definition of Quantum Relative Entropy

Given states $\omega$1 on a unital C*-algebra $\omega$2 and the interpolating quadratic forms $\omega$3, define: $\omega$4

$\omega$5

The (quantum) relative entropy is then $\omega$6. In the finite-dimensional case $\omega$7 with $\omega$8, $\omega$9, this reduces to

$A$0

(Pérez-Pardo, 2022, Matheus et al., 14 Sep 2025)

3. Statement and Proof of Uhlmann’s Monotonicity Theorem

Let $A$1 be unital C*-algebras, and $A$2 a unital Schwarz map (in particular any CPTP map). For the pull-back states $A$3, the theorem asserts: $A$4

The proof exploits the structure of the quadratic form interpolation:

• By definition,

$A$5

and

$A$6

with $A$7 the unit of $A$8 and $A$9.

• Using the Schwarz property of $\omega : A \to \mathbb{C}$0, monotonicity and pull-back properties of interpolation yield:

$\omega : A \to \mathbb{C}$1

and

$\omega : A \to \mathbb{C}$2

The inequality passes to the limit, establishing the theorem (Pérez-Pardo, 2022).

4. Abstract Operator-Theoretic Formulation and Extensions

Uhlmann’s strategy can be recast in the finite-dimensional setting with density operators $\omega : A \to \mathbb{C}$3 and quantum channel (CPTP map) $\omega : A \to \mathbb{C}$4. The quantum relative entropy is defined as

$\omega : A \to \mathbb{C}$5

and Uhlmann’s Monotonicity is

$\omega : A \to \mathbb{C}$6

The interpolation method uses positive sesquilinear forms $\omega : A \to \mathbb{C}$7 on $\omega : A \to \mathbb{C}$8 and their $\omega : A \to \mathbb{C}$9-interpolant: $\omega(a^* a) \geq 0$0 This yields a log-convex function in $\omega(a^* a) \geq 0$1 and accommodates the singular case naturally, as the definition and chain of inequalities do not require invertibility of $\omega(a^* a) \geq 0$2 or $\omega(a^* a) \geq 0$3. The proof generalizes directly to all (not necessarily invertible) density operators and any positive unital map (Matheus et al., 14 Sep 2025).

5. Conditions for Equality and Illustrative Examples

Equality $\omega(a^* a) \geq 0$4 is attained if and only if all interpolation-induced inequalities are saturated. Specifically,

$\omega(a^* a) \geq 0$5

which holds precisely when $\omega(a^* a) \geq 0$6 is a $\omega(a^* a) \geq 0$7-homomorphism on the support of the relevant forms. In finite dimensions, this restricts equality to reversible channels on the joint support of $\omega(a^* a) \geq 0$8.

A nontrivial example arises when restricting to a unital $\omega(a^* a) \geq 0$9-subalgebra $a \in A$0 via the inclusion map $a \in A$1 (a $a \in A$2-homomorphism, hence CPTP). For any two states $a \in A$3 on $a \in A$4, their extensions $a \in A$5 on $a \in A$6 satisfy

$a \in A$7

i.e., restricting to a smaller algebra cannot increase relative entropy. This encompasses partial trace (marginalization) in quantum systems, emphasizing that tracing out a subsystem strictly decreases the relative entropy between joint states (Pérez-Pardo, 2022).

6. Comparative Perspective: Uhlmann versus Petz

Uhlmann’s proof employs interpolation of sesquilinear forms and does not resort to the operator convexity of $a \in A$8 or Jensen-type contractive inequalities, unlike the method of Petz. The Uhlmann approach is

• Manifestly symmetric in $a \in A$9 and robust to singularities,
• Applicable with only the Cauchy–Schwarz inequality and extremal properties of the geometric mean,
• Invariant under passage to any positive unital map (Schwarz map), not only CPTP.

In contrast, Petz’s proof, while more direct, relies on Jensen’s inequality and explicitly requires the Choi–Kraus representation of quantum channels. Uhlmann’s interpolation technique is thus more abstract, encompassing, and directly reveals the underlying operator-algebraic structure of quantum relative entropy monotonicity (Matheus et al., 14 Sep 2025).

7. Broader Significance and Applications

Uhlmann’s Monotonicity Theorem underpins the quantum Data Processing Inequality and admits generalization beyond completely positive maps, facilitating extensions to other quantum divergences and recovery analyses. The sesquilinear-form calculus underlying the proof has found applications in the study of quantum divergences, transpose-channel recovery, and interpolation theory.

The approach emphasizes the structural properties of quantum information, highlighting the role of quadratic-form geometry rather than specific operator inequalities. It thus provides a versatile and robust framework for theoretical developments in quantum information theory and operator algebras (Pérez-Pardo, 2022, Matheus et al., 14 Sep 2025).