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
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.