A note on the matrix arithmetic-geometric mean inequality
Keyword(s):
This note proves the following inequality: If $n=3k$ for some positive integer $k$, then for any $n$ positive definite matrices $\bA_1,\bA_2,\dots,\bA_n$, the following inequality holds: \begin{equation*}\label{eq:main} \frac{1}{n^3} \, \Big\|\sum_{j_1,j_2,j_3=1}^{n}\bA_{j_1}\bA_{j_2}\bA_{j_3}\Big\| \,\geq\, \frac{(n-3)!}{n!} \, \Big\|\sum_{\substack{j_1,j_2,j_3=1,\\\text{$j_1$, $j_2$, $j_3$ all distinct}}}^{n}\bA_{j_1}\bA_{j_2}\bA_{j_3}\Big\|, \end{equation*} where $\|\cdot\|$ represents the operator norm. This inequality is a special case of a recent conjecture proposed by Recht and R\'{e} (2012).
2022 ◽
2009 ◽
Vol 367
(1906)
◽
pp. 4407-4426
2013 ◽
Vol 438
(4)
◽
pp. 1564-1569
◽
2017 ◽
Vol 533
◽
pp. 118-131
◽
Keyword(s):
2015 ◽
Vol 5
(1)
◽
pp. 1-12
◽