Where am I wrong in this reasoning?

155 Views Asked by At

We know that $\log \det (X)$ is a concave function if $X$ is a positive definite matrix. Furthermore, we know that $\det (X^{-1})=(\det(X))^{-1}$ which means that $\log \det(X^{-1})$ is a convex function if $X$ is positive definite. However, we know that the inverse of a positive definite matrix is a positive definite matrix and therefore $\log \det(X^{-1})$ should also be a concave function for $X$ being a positive definite matrix. Where am I wrong in this reasoning?

2

There are 2 best solutions below

0
On BEST ANSWER

Your first argument is correct, for as you noted when $X\succ 0$, $$ \log\det(X^{-1})=\log((\det(X))^{-1})=-\log\det(X), $$ which is the negative of a concave function, hence convex.

Your issue with the second argument is you seem to be using the "claim" that if $f:C\to \mathbb{R}$ is concave, where $C$ is a convex set, then for any invertible map $\phi:C\to C$, $f\circ \phi$ is still concave because it has the same domain. But that clearly is not true: consider $f:\mathbb{R}_{>0}\to \mathbb{R}$ given by $f(x)=x$, and $\phi:\mathbb{R}_{>0}\to \mathbb{R}_{>0}$ given by $\phi(x)=1/x$. $f$ is concave on this domain, while of course $(f\circ \phi)(x)=1/x$ is well-defined and convex on the same domain, but your reasoning would suggest that it should be concave as well.

0
On

That “therefore” makes no sense. See what happens with the real numbers greater than $0$: $\log(x)$ is concave and $\log\left( x^{-1}\right)=\bigl(-\log(x)\bigr)$ is convex, not concave.