Simple proof of jointly concavity of the relative operator entropy S(A|B) = A^1/2 log (A^-1/2 BA^-1/2) A^1/2

DOI10.7153/MIA-06-64MaRDI QIDQ4459871zbMATH OpenOpenAlexFDO

Authors Takayuki Furuta, Mariko Giga, Masahiro Yanagida

Publication date 18 May 2004

Published in Mathematical Inequalities & Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.7153/mia-06-64

zbMATH Keywords

joint concavityoperator meanrelative operator entropy

Mathematics Subject Classification ID

Linear operator inequalities (47A63) Operator means involving linear operators, shorted linear operators, etc. (47A64)

Review text

For positive bounded linear operators \(A\) and \(B\) on a complex Hilbert space, the relative operator entropy was defined as \[ S(A| B)= A^{\frac{1}{2}}\log (A^{\frac{-1}{2}}BA^{\frac{-1}{2}}) A^{\frac{1}{2}}. \] In this paper, the authors give a simple proof of jointly concavity of \(S(A| B)\). The jointly concavity of operator mean and \((T^{\frac{1}{n}}-I)n \to \log T\) as \(n \to + \infty \) play crucial roles in this proof. Moreover, this proof is along the lines of the one in [\textit{T. Furuta}, Math. Inequal. Appl. 3, 305--306 (2000; Zbl 0955.47013)].

Recommendations

• Yet another proof of the joint convexity of relative entropy
• Some inequalities for relative operator entropy
• LIEB'S SIMPLE PROOF OF CONCAVITY OF (A, B) ↦ Tr A^p K^† B^1-p K AND REMARKS ON RELATED INEQUALITIES
• Refinements and reverses for the relative operator entropy $S (A | B)$ when $B \ge A$
• An operator inequality associated with the operator concavity of operator entropy A log A^-1

Cited in

(2)

• Yet another proof of the joint convexity of relative entropy
• scientific article; zbMATH DE number 4153256 (Why is no real title available?)

This page was built for publication: Simple proof of jointly concavity of the relative operator entropy S(A|B) = A^1/2 log (A^-1/2 BA^-1/2) A^1/2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4459871)