An arithmetic-geometric mean inequality for products of three matrices

From MaRDI portal
Publication:896834




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.









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)