# Is the following inequality involving matrix exponential true?

Let $X$ and $L$ be real positive definite matrices.

$$\operatorname{Trace}(X^{-1}(X - e^{\log(X) - L})^2) \leq \operatorname{Trace}(XL^2)$$

where the exponential and the log are matrix exponential and log (defined as applying those functions to the eigenvalues)

I think I have for sanity check checked basic cases like when these are 1x1 or which basically implies the inequality for the case when X and L are diagonal which in turn implies it for the case when X and L commute.

I would love to have a simple proof if it is true. Even if this is true under some mild conditions on L (like spectral norm $\le$ constant) that is fine too.

Thanks

• It's false for $X=I_n,L=aI_n$ where $a<0$.
– user91684
Sep 10, 2015 at 14:45
• I am not sure about your example per say but there might be a slight error in an argument I had. Thanks anyways. Sep 10, 2015 at 16:46
• I think the statement might hold for PSD matrices L. I have modified the statement accordingly. Sep 10, 2015 at 16:58
• You don't need eigenvalues to define exponential and logarithm of a matrix; you can use power series: $$\exp X = \sum_{n=0}^\infty \frac{X^n}{n!}.$$ Sep 10, 2015 at 17:15
• @MichaelHardy in what applications is the power series of a matrix more important to use instead of the eigenvalues of a matrix? aren't eigenvalues more analytically important than power series? Dec 23, 2020 at 12:51