Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2509.11221 · Entropy

On the Monotonicity of Relative Entropy: A Comparative Study of Petz’s and Uhlmann’s Approaches

Santiago Matheus, Francesco Bottacin, Edoardo Provenzi

Published Sep 14, 2025• 0 citations
arXivHTMLPDF

Abstract

We revisit the monotonicity of relative entropy under the action of quantum channels, a foundational result in quantum information theory. Among the several available proofs, we focus on those by Petz and Uhlmann, which we reformulate within a unified, finite-dimensional operator-theoretic framework. In the first part, we examine Petz's strategy, identify a subtle flaw in his original use of Jensen's contractive operator inequality, and point out how it was corrected to restore the validity of his line of reasoning. In the second part, we develop Uhlmann's approach, which is based on interpolations of positive sesquilinear forms and applies automatically to non-invertible density operators. By comparing these two approaches, we highlight their complementary strengths: Petz's method is more direct and clear; Uhlmann's method is more abstract and general. Our treatment aims to clarify the mathematical structure underlying the monotonicity of relative entropy and to make these proofs more accessible to a broader audience interested in both the foundations and applications of quantum information theory.

DOI
10.3390/e27090954

Related papers

Strengthened monotonicity of relative entropy via pinched Petz recovery map

David Sutter, Marco Tomamichel, Aram W. Harrow

The quantum relative entropy between two states satisfies a monotonicity property, meaning that applying the same quantum channel to both states can never increase their relative entropy. It is known that this inequality is only tight when there is a “recovery map” that exactly reverses the effects of the quantum channel on both states. In this paper we strengthen this inequality by showing that the difference of relative entropies is bounded below by the measured relative entropy between the first state and a recovered state from its processed version. The recovery map is a convex combination of rotated Petz recovery maps and perfectly reverses the quantum channel on the second state. As a special case we reproduce recent lower bounds on the conditional mutual information such as the one proved in [Fawzi and Renner, Commun. Math. Phys., 2015]. Our proof only relies on elementary properties of pinching maps and the operator logarithm.

IEEE International Symposium on Information Theory (ISIT)•Jul 1, 2016•6 citations

Strengthened Monotonicity of Relative Entropy via Pinched Petz Recovery Map

David Sutter, Marco Tomamichel, Aram W. Harrow

The quantum relative entropy between two states satisfies a monotonicity property meaning that applying the same quantum channel to both states can never increase their relative entropy. It is known that this inequality is only tight when there is a recovery map that exactly reverses the effects of the quantum channel on both states. In this paper, we strengthen this inequality by showing that the difference of relative entropies is bounded below by the measured relative entropy between the first state and a recovered state from its processed version. The recovery map is a convex combination of rotated Petz recovery maps and perfectly reverses the quantum channel on the second state. As a special case, we reproduce recent lower bounds on the conditional mutual information, such as the one proved by Fawzi and Renner. Our proof only relies on the elementary properties of pinching maps and the operator logarithm.

arXiv:1507.00303•IEEE Transactions on Information Theory•Mar 23, 2016•74 citations

Monotonicity of quantum relative entropy and recoverability

Mario Berta, Marius Lemm, Mark M. Wilde

The relative entropy is a principal measure of distinguishability in quantum information theory, with its most important property being that it is non-increasing with respect to noisy quantum operations. Here, we establish a remainder term for this inequality that quantifies how well one can recover from a loss of information by employing a rotated Petz recovery map. The main approach for proving this refinement is to combine the methods of [Fawzi and Renner, arXiv:1410.0664] with the notion of a relative typical subspace from [Bjelakovic and Siegmund-Schultze, arXiv:quant-ph/0307170]. Our paper constitutes partial progress towards a remainder term which features just the Petz recovery map (not a rotated Petz map), a conjecture which would have many consequences in quantum information theory. A well known result states that the monotonicity of relative entropy with respect to quantum operations is equivalent to each of the following inequalities: strong subadditivity of entropy, concavity of conditional entropy, joint convexity of relative entropy, and monotonicity of relative entropy with respect to partial trace. We show that this equivalence holds true for refinements of all these inequalities in terms of the Petz recovery map. So either all of these refinements are true or all are false.

arXiv:1412.4067•Dec 12, 2014•0 citations

Monotonicity of quantum relative entropy and recoverability

Mario Berta, Marius Lemm, Mark M. Wilde

The relative entropy is a principal measure of distinguishability in quantum information theory, with its most important property being that it is non-increasing with respect to noisy quantum operations. Here, we establish a remainder term for this inequality that quantifies how well one can recover from a loss of information by employing a rotated Petz recovery map. The main approach for proving this refinement is to combine the methods of [Fawzi and Renner, 2014] with the notion of a relative typical subspace from [Bjelakovic and Siegmund-Schultze, 2003]. Our paper constitutes partial progress towards a remainder term which features just the Petz recovery map (not a rotated Petz map), a conjecture which would have many consequences in quantum information theory. A well known result states that the monotonicity of relative entropy with respect to quantum operations is equivalent to each of the following inequalities: strong subadditivity of entropy, concavity of conditional entropy, joint convexity of relative entropy, and monotonicity of relative entropy with respect to partial trace. We show that this equivalence holds true for refinements of all these inequalities in terms of the Petz recovery map. So either all of these refinements are true or all are false.

Quantum Information and Computation•Nov 1, 2015•21 citations

Relative entropy via distribution of observables

George Androulakis, Tiju Cherian John

We obtain formulas for Petz–Rényi and Umegaki relative entropy from the idea of distribution of a positive self-adjoint operator. Classical results on Rényi and Kullback–Leibler divergences are applied to obtain new results and new proofs for some known results about Petz–Rényi and Umegaki relative entropy. Most important among these, is a necessary and sufficient condition for the finiteness of the Petz–Rényi [Formula: see text]-relative entropy. All of the results presented here are valid in both finite and infinite dimensions. In particular, these results are valid for states in Fock spaces and thus are applicable to continuous variable quantum information theory.

arXiv:2203.01964•Infinite Dimensional Analysis Quantum Probability and Related Topics•Aug 12, 2023•5 citations

Recovery and the Data Processing Inequality for Quasi-Entropies

Eric A. Carlen, Anna Vershynina

We prove a number of quantitative stability bounds for the cases of equality in Petz's monotonicity theorem for quasi-relative entropies Sf(p||σ) defined in terms of an operator monotone decreasing functions f and, in particular, the Rényi relative entropies. Included in our results are bounds in terms of the Petz recovery map, but we obtain more general results. The present treatment is entirely elementary and developed in the context of finite dimensional von Neumann algebras, where the results are already non-trivial and of interest in quantum information theory.

arXiv:1710.08080•IEEE Transactions on Information Theory•Mar 5, 2018•15 citations
We revisit the monotonicity of relative entropy under the action of quantum channels, a foundational result in quantum information theory. Among the several available proofs, we focus on those by Petz and Uhlmann, which we reformulate within a unified, finite-dimensional operator-theoretic framework. In the first part, we examine Petz's strategy, identify a subtle flaw in his original use of Jensen's contractive operator inequality, and point out how it was corrected to restore the validity of his line of reasoning. In the second part, we develop Uhlmann's approach, which is based on interpolations of positive sesquilinear forms and applies automatically to non-invertible density operators. By comparing these two approaches, we highlight their complementary strengths: Petz's method is more direct and clear; Uhlmann's method is more abstract and general. Our treatment aims to clarify the mathematical structure underlying the monotonicity of relative entropy and to make these proofs more accessible to a broader audience interested in both the foundations and applications of quantum information theory.
The quantum relative entropy between two states satisfies a monotonicity property, meaning that applying the same quantum channel to both states can never increase their relative entropy. It is known that this inequality is only tight when there is a “recovery map” that exactly reverses the effects of the quantum channel on both states. In this paper we strengthen this inequality by showing that the difference of relative entropies is bounded below by the measured relative entropy between the first state and a recovered state from its processed version. The recovery map is a convex combination of rotated Petz recovery maps and perfectly reverses the quantum channel on the second state. As a special case we reproduce recent lower bounds on the conditional mutual information such as the one proved in [Fawzi and Renner, Commun. Math. Phys., 2015]. Our proof only relies on elementary properties of pinching maps and the operator logarithm.
The quantum relative entropy between two states satisfies a monotonicity property meaning that applying the same quantum channel to both states can never increase their relative entropy. It is known that this inequality is only tight when there is a recovery map that exactly reverses the effects of the quantum channel on both states. In this paper, we strengthen this inequality by showing that the difference of relative entropies is bounded below by the measured relative entropy between the first state and a recovered state from its processed version. The recovery map is a convex combination of rotated Petz recovery maps and perfectly reverses the quantum channel on the second state. As a special case, we reproduce recent lower bounds on the conditional mutual information, such as the one proved by Fawzi and Renner. Our proof only relies on the elementary properties of pinching maps and the operator logarithm.
The relative entropy is a principal measure of distinguishability in quantum information theory, with its most important property being that it is non-increasing with respect to noisy quantum operations. Here, we establish a remainder term for this inequality that quantifies how well one can recover from a loss of information by employing a rotated Petz recovery map. The main approach for proving this refinement is to combine the methods of [Fawzi and Renner, arXiv:1410.0664] with the notion of a relative typical subspace from [Bjelakovic and Siegmund-Schultze, arXiv:quant-ph/0307170]. Our paper constitutes partial progress towards a remainder term which features just the Petz recovery map (not a rotated Petz map), a conjecture which would have many consequences in quantum information theory. A well known result states that the monotonicity of relative entropy with respect to quantum operations is equivalent to each of the following inequalities: strong subadditivity of entropy, concavity of conditional entropy, joint convexity of relative entropy, and monotonicity of relative entropy with respect to partial trace. We show that this equivalence holds true for refinements of all these inequalities in terms of the Petz recovery map. So either all of these refinements are true or all are false.
The relative entropy is a principal measure of distinguishability in quantum information theory, with its most important property being that it is non-increasing with respect to noisy quantum operations. Here, we establish a remainder term for this inequality that quantifies how well one can recover from a loss of information by employing a rotated Petz recovery map. The main approach for proving this refinement is to combine the methods of [Fawzi and Renner, 2014] with the notion of a relative typical subspace from [Bjelakovic and Siegmund-Schultze, 2003]. Our paper constitutes partial progress towards a remainder term which features just the Petz recovery map (not a rotated Petz map), a conjecture which would have many consequences in quantum information theory. A well known result states that the monotonicity of relative entropy with respect to quantum operations is equivalent to each of the following inequalities: strong subadditivity of entropy, concavity of conditional entropy, joint convexity of relative entropy, and monotonicity of relative entropy with respect to partial trace. We show that this equivalence holds true for refinements of all these inequalities in terms of the Petz recovery map. So either all of these refinements are true or all are false.
We obtain formulas for Petz–Rényi and Umegaki relative entropy from the idea of distribution of a positive self-adjoint operator. Classical results on Rényi and Kullback–Leibler divergences are applied to obtain new results and new proofs for some known results about Petz–Rényi and Umegaki relative entropy. Most important among these, is a necessary and sufficient condition for the finiteness of the Petz–Rényi [Formula: see text]-relative entropy. All of the results presented here are valid in both finite and infinite dimensions. In particular, these results are valid for states in Fock spaces and thus are applicable to continuous variable quantum information theory.
We prove a number of quantitative stability bounds for the cases of equality in Petz's monotonicity theorem for quasi-relative entropies Sf(p||σ) defined in terms of an operator monotone decreasing functions f and, in particular, the Rényi relative entropies. Included in our results are bounds in terms of the Petz recovery map, but we obtain more general results. The present treatment is entirely elementary and developed in the context of finite dimensional von Neumann algebras, where the results are already non-trivial and of interest in quantum information theory.