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 (Q4459871)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2065254
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | 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 |
scientific article; zbMATH DE number 2065254 |
Statements
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 (English)
0 references
18 May 2004
0 references
relative operator entropy
0 references
operator mean
0 references
joint concavity
0 references
0.8284780979156494
0 references
0.820608377456665
0 references
0.7987545132637024
0 references
0.7968533039093018
0 references
0.7962835431098938
0 references
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)].
0 references
