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

Carlen-Frank-Lieb conjecture and monotonicity of $\alpha-z$ R\'enyi relative entropy

Haonan Zhang

Published Nov 3, 2018• 1 citation
OpenAlex

Abstract

In this paper we study the joint convexity/concavity of the trace functions \[ \Psi_{p,q,s}(A,B)=\text{Tr}(B^{\frac{q}{2}}K^*A^{p}KB^{\frac{q}{2}})^s,~~p,q,s\in \mathbb{R}, \] where $A$ and $B$ are positive definite matrices and $K$ is any fixed invertible matrix. We will give full range of $(p,q,s)\in\mathbb{R}^3$ for $\Psi_{p,q,s}$ to be jointly convex/concave for all $K$. As a consequence, we confirm a conjecture of Carlen, Frank and Lieb. In particular, we confirm a weaker conjecture of Audenaert and Datta and obtain the full range of $(\alpha,z)$ for $\alpha$-$z$ Renyi relative entropies to be monotone under completely positive trace preserving maps. We also give simpler proofs of many known results, including the concavity of $\Psi_{p,0,1/p}$ for $0<p<1$ which was first proved by Epstein using complex analysis. The key is to reduce the problem to the joint convexity/concavity of the trace functions \[ \Psi_{p,1-p,1}(A,B)=\text{Tr} K^*A^{p}KB^{1-p},~~-1\le p\le 1, \] using a variational method.

Related papers

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

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

From joint convexity of quantum relative entropy to a concavity theorem of Lieb

Joel Tropp

This paper provides a succinct proof of a 1973 theorem of Lieb that establishes the concavity of a certain trace function. The development relies on a deep result from quantum information theory, the joint convexity of quantum relative entropy, as well as a recent argument due to Carlen and Lieb.

arXiv:1101.1070•Proceedings of the American Mathematical Society•Aug 4, 2011•26 citations

FROM JOINT CONVEXITY OF QUANTUM RELATIVE ENTROPY TO A CONCAVITY THEOREM OF LIEB

Joel A. Tropp, Communicated Marius Junge

Abstract. This paper provides a succinct proof of a 1973 theorem of Lieb that establishes the concavity of a certain trace function. The development relies on a deep result from quantum information theory, the joint convexity of quantum relative entropy, as well as a recent argument due to Carlen and Lieb. 1.

•Sep 23, 2013•35 citations

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

A new proof for monotonicity of sandwiched Renyi relative entropy

wang you le, Luo Maokang, DENG Ke

Itis well known that in quantum information quantum relative is monotonically decreasing under the completely positive and trace-preserving maps. For a new proposed sandwiched R\'enyi quantum relative, a map that is linear trace-preserving and whose Hilber-Schmidt adjoint map satisfies Schwarz inequality, monotonicity still holds. We give a new proof of monotonicity of sandwiched R\'enyi relative entropy for $\alpha\in[\frac{1}{2},1)$. The proof is based on complex interplotation techniques, which already has been used to prove monotonicity under trace-preserving and positive map for $\alpha\in(1,\infty)$.

•Jan 1, 2018•0 citations
Carlen-Frank-Lieb conjecture and monotonicity of α−z\alpha-zα−z R\'enyi relative entropy
In this paper we study the joint convexity/concavity of the trace functions [ \Psi_{p,q,s}(A,B)=\text{Tr}(B^{\frac{q}{2}}K^*A^{p}KB^{\frac{q}{2}})^s,p,q,s\in \mathbb{R}, ] where AAA and BBB are positive definite matrices and KKK is any fixed invertible matrix. We will give full range of (p,q,s)∈R3(p,q,s)\in\mathbb{R}^3(p,q,s)∈R3 for Ψp,q,s\Psi_{p,q,s}Ψp,q,s​ to be jointly convex/concave for all KKK. As a consequence, we confirm a conjecture of Carlen, Frank and Lieb. In particular, we confirm a weaker conjecture of Audenaert and Datta and obtain the full range of (α,z)(\alpha,z)(α,z) for α\alphaα-zzz Renyi relative entropies to be monotone under completely positive trace preserving maps. We also give simpler proofs of many known results, including the concavity of Ψp,0,1/p\Psi_{p,0,1/p}Ψp,0,1/p​ for 0<p<10<p<10<p<1 which was first proved by Epstein using complex analysis. The key is to reduce the problem to the joint convexity/concavity of the trace functions [ \Psi_{p,1-p,1}(A,B)=\text{Tr} K^*A^{p}KB^{1-p},-1\le p\le 1, ] using a variational method.
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.
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.
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.
Itis well known that in quantum information quantum relative is monotonically decreasing under the completely positive and trace-preserving maps. For a new proposed sandwiched R\'enyi quantum relative, a map that is linear trace-preserving and whose Hilber-Schmidt adjoint map satisfies Schwarz inequality, monotonicity still holds. We give a new proof of monotonicity of sandwiched R\'enyi relative entropy for α∈[12,1)\alpha\in[\frac{1}{2},1)α∈[21​,1). The proof is based on complex interplotation techniques, which already has been used to prove monotonicity under trace-preserving and positive map for α∈(1,∞)\alpha\in(1,\infty)α∈(1,∞).