2
$\begingroup$

Am looking for a proof of non-convexity of the quotient of two matrix trace functions as given by $\frac{\operatorname{Tr}X^TAX}{\operatorname{Tr}X^TBX}$, when $TrX^TBX>0$ for two different positive semi-definite matrices , $A$ and $B$ such that $A \neq \alpha B$ for any scalar $\alpha$.

  • 0
    Thanks for making the point. I have made the necessary changes.2012-04-18
  • 0
    In fact not equal up to a constant ($A=\alpha B$ where $\alpha$ is a scalar).2012-04-18
  • 0
    That's right again, taking the inverse into consideration.2012-04-18
  • 0
    You also have a definition issue, because it is perfectly possible that for some $X$ your denominator is zero (for example if $B$ is not invertible and $X$ is the projection onto the kernel of $B$).2012-04-18
  • 0
    Updated and awaiting the proof.2012-04-19
  • 0
    You still have issues with your definition: if $B$ is not invertible, then the denominator will still be zero for many $X$.2012-04-19
  • 0
    Also, it's not clear to me if you are asking about the convexity of the function, or of the set of numbers.2012-04-19

1 Answers 1

1

I'm not exactly sure what you are looking for, but a specific counterexample demonstrates 'non-convexity':

Choose

$$ A = \left( \begin{array}{cc} 1 & 0 \\ 0 & 10 \end{array} \right), B = \left( \begin{array}{cc} 10 & 0 \\ 0 & 1 \end{array} \right), X(t) = \left( \begin{array}{cc} 1 & 0 \\ 0 & t \end{array} \right). $$ Some manipulation yields: $$\phi(t) = \frac{\mathbb{tr}(X^T A X)}{\mathbb{tr}(X^T B X)} = \frac{10 t^2+1}{t^2+10}.$$ The function $\phi$ is not convex (for example, $\phi(5) > \frac{1}{2}(\phi(0)+\phi(10))$.