An arithmetic-geometric mean inequality for products of three matrices

From MaRDI portal
Publication:896834

DOI10.1016/J.LAA.2015.09.013zbMATH Open1328.15032arXiv1411.0333OpenAlexW2098214658MaRDI QIDQ896834FDOQ896834


Authors: Arie Israel, Felix Krahmer, Rachel Ward Edit this on Wikidata


Publication date: 14 December 2015

Published in: Linear Algebra and its Applications (Search for Journal in Brave)

Abstract: Consider the following noncommutative arithmetic-geometric mean inequality: given positive-semidefinite matrices mathbfA1,dots,mathbfAn, the following holds for each integer mleqn: frac{1}{n^m}sum_{j_1, j_2, dots, j_m = 1}^{n} ||| mathbf{A}_{j_1} mathbf{A}_{j_2} dots mathbf{A}_{j_m} ||| geq frac{(n-m)!}{n!} sum_{substack{j_1, j_2, dots, j_m = 1 \ ext{all distinct}}}^{n} ||| mathbf{A}_{j_1} mathbf{A}_{j_2} dots mathbf{A}_{j_m} |||, where |||cdot||| denotes a unitarily invariant norm, including the operator norm and Schatten p-norms as special cases. While this inequality in full generality remains a conjecture, we prove that the inequality holds for products of up to three matrices, mleq3. The proofs for m=1,2 are straightforward; to derive the proof for m=3, we appeal to a variant of the classic Araki-Lieb-Thirring inequality for permutations of matrix products.


Full work available at URL: https://arxiv.org/abs/1411.0333




Recommendations




Cites Work


Cited In (5)





This page was built for publication: An arithmetic-geometric mean inequality for products of three matrices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q896834)