Von Neumann's trace inequality
In mathematics, von Neumann's trace inequality, named after its originator John von Neumann, states that for any n × n complex matrices A, B with singular values and
respectively,[1]
The equality is achieved when and
are simultaneously unitarily diagonalizable.
(See Trace (linear algebra).)
References
- Mirsky, L. (1975), "A trace inequality of John von Neumann", Monatsh. Math. 79 (4): 303–306, doi:10.1007/BF01647331, MR 0371930