On Ando's inequalities for convex and concave functions

Koenraad M.R. Audenaert and Jaspal Singh Aujla

Koenraad M. R. Audenaert update to 2007-05-23

https://arxiv.org/abs/0704.0099
For positive semidefinite matrices $A$ and $B$, Ando and Zhan proved theinequalities $||| f(A)+f(B) ||| \ge ||| f(A+B) |||$ and $||| g(A)+g(B) ||| \le||| g(A+B) |||$, for any unitarily invariant norm, and for any non-negativeoperator monotone $f$ on $[0,\infty)$ with inverse function $g$. Theseinequalities have very recently been generalised to non-negative concavefunctions $f$ and non-negative convex functions $g$, by Bourin and Uchiyama,and Kosem, respectively. In this paper we consider the related question whether the inequalities $|||f(A)-f(B) ||| \le ||| f(|A-B|) |||$, and $||| g(A)-g(B) ||| \ge ||| g(|A-B|)|||$, obtained by Ando, for operator monotone $f$ with inverse $g$, also have asimilar generalisation to non-negative concave $f$ and convex $g$. We answerexactly this question, in the negative for general matrices, and affirmativelyin the special case when $A\ge ||B||$. In the course of this work, we introduce the novel notion of $Y$-dominatedmajorisation between the spectra of two Hermitian matrices, where $Y$ is itselfa Hermitian matrix, and prove a certain property of this relation that allowsto strengthen the results of Bourin-Uchiyama and Kosem, mentioned above.

journal: None

category: math.FA

关于凸函数和凹函数的安藤不等式

Koenraad M.R. Audenaert and Jaspal Singh Aujla

Koenraad M. R. Audenaert update to 2007-05-23

https://arxiv.org/abs/0704.0099
对于正半定矩阵 $A$ 和 $B$,Ando 和 Zhan 证明了不等式 $||| f(A)+f(B) ||| \ge ||| f(A+B) |||$ 和 $||| g(A)+g(B) ||| \le||| g(A+B) |||$,对于任何酉不变范数,以及对于 $[0,\infty)$ 上的任何非负算子单调 $f$,具有反函数 $g$。最近,Bourin 和 Uchiyama 以及 Kosem 分别将这些不等式推广到非负凹函数 $f$ 和非负凸函数 $g$。在本文中,我们考虑相关问题是否不等式 $|||f(A)-f(B) ||| \le ||| f(|A-B|) |||$ 和 $||| g(A)-g(B) ||| \ge |||由Ando获得的g(|A-B|)|||$,对于单调$f$与逆$g$的算子,对非负凹$f$和凸$g$也有类似的泛化。我们完全回答这个问题,对于一般矩阵是否定的,并且在 $A\ge ||B||$ 的特殊情况下是肯定的。在这项工作的过程中,我们在两个 Hermitian 矩阵的谱之间引入了 $Y$-dominatedmajorisation 的新概念,其中 $Y$ 本身就是一个 Hermitian 矩阵,并证明了这种关系的某些性质,可以加强 Bourin 的结果- Uchiyama 和 Kosem,如上所述。

期刊参考: None

category: math.FA