Some trace inequalities for exponential and logarithmic functions
Consider a function F(X,Y ) of pairs of positive matrices with values in the positive matrices such that whenever X and Y commute F(X,Y ) = XpYq. Our first main result gives conditions on F such that Tr[X log(F(Z,Y ))] ≤Tr[X(p log X + q log Y )] for all X,Y,Z such that TrZ = TrX. (Note that Z is abs...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
World Scientific Publishing
2019-08-01
|
| Series: | Bulletin of Mathematical Sciences |
| Subjects: | |
| Online Access: | http://www.worldscientific.com/doi/pdf/10.1142/S1664360719500085 |
| Summary: | Consider a function F(X,Y ) of pairs of positive matrices with values in the positive matrices such that whenever X and Y commute F(X,Y ) = XpYq. Our first main result gives conditions on F such that Tr[X log(F(Z,Y ))] ≤Tr[X(p log X + q log Y )] for all X,Y,Z such that TrZ = TrX. (Note that Z is absent from the right side of the inequality.) We give several examples of functions F to which the theorem applies. Our theorem allows us to give simple proofs of the well-known logarithmic inequalities of Hiai and Petz and several new generalizations of them which involve three variables X,Y,Z instead of just X,Y alone. The investigation of these logarithmic inequalities is closely connected with three quantum relative entropy functionals: The standard Umegaki quantum relative entropy D(X∥Y ) = Tr[X(log X − log Y ]), and two others, the Donald relative entropy DD(X∥Y ), and the Belavkin–Stasewski relative entropy DBS(X∥Y ). They are known to satisfy DD(X∥Y ) ≤ D(X∥Y ) ≤ DBS(X∥Y ). We prove that the Donald relative entropy provides the sharp upper bound, independent of Z on Tr[X log(F(Z,Y ))] in a number of cases in which F(Z,Y ) is homogeneous of degree 1 in Z and − 1 in Y. We also investigate the Legendre transforms in X of DD(X∥Y ) and DBS(X∥Y ), and show how our results for these lead to new refinements of the Golden–Thompson inequality. |
|---|---|
| ISSN: | 1664-3607 1664-3615 |