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:2304.04361 · Journal of Mathematical Physics

Equality cases in monotonicity of quasi-entropies, Lieb’s concavity and Ando’s convexity

Fumio Hiai

Published Oct 1, 2023• 0 citations
arXivHTMLPDF

Abstract

We revisit and improve joint concavity/convexity and monotonicity properties of quasi-entropies due to Petz in a new fashion. Then we characterize equality cases in the monotonicity inequalities (the data-processing inequalities) of quasi-entropies in several ways as follows: Let Φ:B(H)→B(K) be a trace-preserving map such that Φ* is a Schwarz map. When f is an operator monotone or operator convex function on [0, ∞), we present several equivalent conditions for the equality SfK(Φ(ρ)‖Φ(σ))=SfΦ*(K)(ρ‖σ) to hold for given positive operators ρ, σ on H and K∈B(K). The conditions include equality cases in the monotonicity versions of Lieb’s concavity and Ando’s convexity theorems. Specializing the map Φ we have equivalent conditions for equality cases in Lieb’s concavity and Ando’s convexity. Similar equality conditions are discussed also for monotone metrics and χ2-divergences. We further consider some types of linear preserver problems for those quantum information quantities.

DOI
10.1063/5.0154271

Related papers

Convexity of quasi-entropy type functions: Lieb’s and Ando’s convexity theorems revisited

Fumio Hiai, Dėnes Petz

Given a positive function f on (0, ∞) and a non-zero real parameter θ, we consider a function I θ f (A, B, X) = Tr X ∗ (f(LAR −1 B)RB) −θ (X) in three matrices A, B> 0 and X. This generalizes the notion of monotone metrics on positive definite matrices, and in the literature θ = ±1 has been typical. We investigate how operator monotony of f is sufficient and/or necessary for joint convexity/concavity of Iθ f (A, B, X). Similar discussions are given for quasi-entropies and quantum skew informations.

•Jan 1, 2013•8 citations

Monotonicity of f-divergences: A review with new results

Fumio Hiai, Milán Mosonyi, Dėnes Petz

Quantum f-divergences are a quantum generalization of the classical notion of f-divergences, and are a special case of Petz' quasi-entropies. Many well known distinguishability measures of quantum states are given by, or derived from, f-divergences; special examples include the quantum relative entropy, the Renyi relative entropies, and the Chernoff and Hoeffding measures. Here we show that the quantum f-divergences are monotonic under the dual of Schwarz maps whenever the defining function is operator convex. This extends and unifies all previously known monotonicity results. We also analyze the case where the monotonicity inequality holds with equality, and extend Petz' reversibility theorem for a large class of f-divergences and other distinguishability measures. We apply our findings to the problem of quantum error correction, and show that if a stochastic map preserves the pairwise distinguishability on a set of states, as measured by a suitable f-divergence, then its action can be reversed on that set by another stochastic map that can be constructed from the original one in a canonical way. We also provide an integral representation for operator convex functions on the positive half-line, which is the main ingredient in extending previously known results on the monotonicity inequality and the case of equality. We also consider some special cases where the convexity of f is sufficient for the monotonicity, and obtain the inverse Holder inequality for operators as an application. The presentation is completely self-contained and requires only standard knowledge of matrix analysis.

•Aug 17, 2010•3 citations

Monotonicity versions of Epstein's Concavity Theorem and related inequalities

Eric A. Carlen, Haonan Zhang

Many trace inequalities can be expressed either as concavity/convexity theorems or as monotonicity theorems. A classic example is the joint convexity of the quantum relative entropy which is equivalent to the Data Processing Inequality. The latter says that quantum operations can never increase the relative entropy. The monotonicity versions often have many advantages, and often have direct physical application, as in the example just mentioned. Moreover, the monotonicity results are often valid for a larger class of maps than, say, quantum operations (which are completely positive). In this paper we prove several new monotonicity results, the first of which is a monotonicity theorem that has as a simple corollary a celebrated concavity theorem of Epstein. Our starting points are the monotonicity versions of the Lieb Concavity and the Lieb Convexity Theorems. We also give two new proofs of these in their general forms using interpolation. We then prove our new monotonicity theorems by several duality arguments.

arXiv:2205.02342•Linear Algebra and its Applications•Sep 7, 2022•7 citations

A UNIFIED TREATMENT OF CONVEXITY OF RELATIVE ENTROPY AND RELATED TRACE FUNCTIONS, WITH CONDITIONS FOR EQUALITY

Anna Jenčová, Mary Beth Ruskai

We consider a generalization of relative entropy derived from the Wigner–Yanase–Dyson entropy and give a simple, self-contained proof that it is convex. Moreover, special cases yield the joint convexity of relative entropy, and for Tr K* ApK B1-pLieb's joint concavity in (A, B) for 0 < p < 1 and Ando's joint convexity for 1 < p ≤ 2. This approach allows us to obtain conditions for equality in these cases, as well as conditions for equality in a number of inequalities which follow from them. These include the monotonicity under partial traces, and some Minkowski type matrix inequalities proved by Carlen and Lieb for [Formula: see text]. In all cases, the equality conditions are independent of p; for extensions to three spaces they are identical to the conditions for equality in the strong subadditivity of relative entropy.

arXiv:0903.2895•Reviews in Mathematical Physics•Oct 1, 2010•61 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

Equality conditions for quantum quasi-entropies under monotonicity and joint-convexity

Naresh Kumar Sharma

Just as the classical f-divergences parameterized on convex functions generalize the classical relative entropy, the quantum quasi-entropies generalize the quantum relative entropy parameterized on operator convex functions. Quantum quasi-entropies satisfy a version of the monotonicity property and are jointly convex in their arguments. We provide the equality conditions for these inequalities for a family of operator convex functions that includes the von Neumann entropies as a special case. Quantum quasi-entropies are defined with an arbitrarily chosen matrix and since the inequalities are true for any choice of such matrices, we show that these inequalities can be interpreted as operator inequalities.

National Conference on Communications•Feb 1, 2014•6 citations
We revisit and improve joint concavity/convexity and monotonicity properties of quasi-entropies due to Petz in a new fashion. Then we characterize equality cases in the monotonicity inequalities (the data-processing inequalities) of quasi-entropies in several ways as follows: Let Φ:B(H)→B(K) be a trace-preserving map such that Φ* is a Schwarz map. When f is an operator monotone or operator convex function on [0, ∞), we present several equivalent conditions for the equality SfK(Φ(ρ)‖Φ(σ))=SfΦ*(K)(ρ‖σ) to hold for given positive operators ρ, σ on H and K∈B(K). The conditions include equality cases in the monotonicity versions of Lieb’s concavity and Ando’s convexity theorems. Specializing the map Φ we have equivalent conditions for equality cases in Lieb’s concavity and Ando’s convexity. Similar equality conditions are discussed also for monotone metrics and χ2-divergences. We further consider some types of linear preserver problems for those quantum information quantities.
Given a positive function f on (0, ∞) and a non-zero real parameter θ, we consider a function I θ f (A, B, X) = Tr X ∗ (f(LAR −1 B)RB) −θ (X) in three matrices A, B> 0 and X. This generalizes the notion of monotone metrics on positive definite matrices, and in the literature θ = ±1 has been typical. We investigate how operator monotony of f is sufficient and/or necessary for joint convexity/concavity of Iθ f (A, B, X). Similar discussions are given for quasi-entropies and quantum skew informations.
Quantum f-divergences are a quantum generalization of the classical notion of f-divergences, and are a special case of Petz' quasi-entropies. Many well known distinguishability measures of quantum states are given by, or derived from, f-divergences; special examples include the quantum relative entropy, the Renyi relative entropies, and the Chernoff and Hoeffding measures. Here we show that the quantum f-divergences are monotonic under the dual of Schwarz maps whenever the defining function is operator convex. This extends and unifies all previously known monotonicity results. We also analyze the case where the monotonicity inequality holds with equality, and extend Petz' reversibility theorem for a large class of f-divergences and other distinguishability measures. We apply our findings to the problem of quantum error correction, and show that if a stochastic map preserves the pairwise distinguishability on a set of states, as measured by a suitable f-divergence, then its action can be reversed on that set by another stochastic map that can be constructed from the original one in a canonical way. We also provide an integral representation for operator convex functions on the positive half-line, which is the main ingredient in extending previously known results on the monotonicity inequality and the case of equality. We also consider some special cases where the convexity of f is sufficient for the monotonicity, and obtain the inverse Holder inequality for operators as an application. The presentation is completely self-contained and requires only standard knowledge of matrix analysis.
Many trace inequalities can be expressed either as concavity/convexity theorems or as monotonicity theorems. A classic example is the joint convexity of the quantum relative entropy which is equivalent to the Data Processing Inequality. The latter says that quantum operations can never increase the relative entropy. The monotonicity versions often have many advantages, and often have direct physical application, as in the example just mentioned. Moreover, the monotonicity results are often valid for a larger class of maps than, say, quantum operations (which are completely positive). In this paper we prove several new monotonicity results, the first of which is a monotonicity theorem that has as a simple corollary a celebrated concavity theorem of Epstein. Our starting points are the monotonicity versions of the Lieb Concavity and the Lieb Convexity Theorems. We also give two new proofs of these in their general forms using interpolation. We then prove our new monotonicity theorems by several duality arguments.
We consider a generalization of relative entropy derived from the Wigner–Yanase–Dyson entropy and give a simple, self-contained proof that it is convex. Moreover, special cases yield the joint convexity of relative entropy, and for Tr K* ApK B1-pLieb's joint concavity in (A, B) for 0 < p < 1 and Ando's joint convexity for 1 < p ≤ 2. This approach allows us to obtain conditions for equality in these cases, as well as conditions for equality in a number of inequalities which follow from them. These include the monotonicity under partial traces, and some Minkowski type matrix inequalities proved by Carlen and Lieb for [Formula: see text]. In all cases, the equality conditions are independent of p; for extensions to three spaces they are identical to the conditions for equality in the strong subadditivity of relative entropy.
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.
Just as the classical f-divergences parameterized on convex functions generalize the classical relative entropy, the quantum quasi-entropies generalize the quantum relative entropy parameterized on operator convex functions. Quantum quasi-entropies satisfy a version of the monotonicity property and are jointly convex in their arguments. We provide the equality conditions for these inequalities for a family of operator convex functions that includes the von Neumann entropies as a special case. Quantum quasi-entropies are defined with an arbitrarily chosen matrix and since the inequalities are true for any choice of such matrices, we show that these inequalities can be interpreted as operator inequalities.