English

On matrix inequalities between the power means: counterexamples

Functional Analysis 2013-04-05 v2

Abstract

We prove that the known sufficient conditions on the real parameters (p,q)(p,q) for which the matrix power mean inequality ((Ap+Bp)/2)1/p((Aq+Bq)/2)1/q((A^p+B^p)/2)^{1/p}\le((A^q+B^q)/2)^{1/q} holds for every pair of matrices A,B>0A,B>0 are indeed best possible. The proof proceeds by constructing 2×22\times2 counterexamples. The best possible conditions on (p,q)(p,q) for which Φ(Ap)1/pΦ(Aq)1/q\Phi(A^p)^{1/p}\le\Phi(A^q)^{1/q} holds for every unital positive linear map Φ\Phi and A>0A>0 are also clarified.

Keywords

Cite

@article{arxiv.1302.7040,
  title  = {On matrix inequalities between the power means: counterexamples},
  author = {Koenraad M. R. Audenaert and Fumio Hiai},
  journal= {arXiv preprint arXiv:1302.7040},
  year   = {2013}
}

Comments

18 pages, Theorems 2.4 and 2.5 added

R2 v1 2026-06-21T23:34:04.260Z