2
$\begingroup$

Let $A$ be a symmetric positive semidefinite matrix. Let $W$ be a diagonal matrix with the entries $w_i \in (0,1)$.

I think $$A - WAW$$ should be positive semidefinite, but I don't know how to prove it or how to find a counterexample. I think it makes sense to think about $WAW$ as a rescaling of $A$, and since all the coefficients are less than $1$, it should be less than $A$ in the appropriate sense. How would I prove this?

  • 4
    How about $A=\begin{bmatrix}1&1\\1&1\end{bmatrix}$ and $W=\begin{bmatrix}1&0\\0&0\end{bmatrix}$?2012-05-10
  • 1
    Maybe you guys might fancy a criterion in the $2\times2$ case? Given positive definite $\mathbf A=\begin{pmatrix}a&b\\b&c\end{pmatrix}$ and $\mathbf W=\mathrm{diag}(p,q)$, if $$\frac{b^2}{c}\leq a<\frac{b^2(pq-1)^2}{c(p^2-1)(q^2-1)}$$ then $\mathbf A-\mathbf W\mathbf A\mathbf W$ is **not** positive definite.2012-05-10
  • 0
    Thanks guys, that clears my question up! If you submit an answer, I'll accept it.2012-05-10
  • 0
    Would the criterion (to not be $>0$) be just $ab \leq bc \frac{(1-pq)^2}{(1-p^2)(1-q^2)}$?2012-05-10
  • 0
    More generally, for any symmetric, positive semidefinite but not positive definite $A$ whose diagonal elements are all positive, there is some diagonal $W$ with diagonal entries in $(0,1)$ such that $A - W A W$ is not positive definite.2012-05-10
  • 0
    Oops -- in my first comment I misread the question as saying $w_i \in \{0,1\}$. Well, continuity does the job in any case.2012-05-10
  • 0
    Shouldn't be W transpose times A time W in the author's statement?2012-05-10
  • 0
    @Michael: $W$ is *diagonal*...2012-05-11
  • 0
    The matrix A in Rahul's comment looks different than what I saw before. It was not symmetric. @J.M. You did a lot of editing of John Salvatier's question. It looks like a different question.2012-05-13
  • 0
    @Michael: [did I?](http://math.stackexchange.com/posts/143567/revisions)2012-05-13
  • 0
    Yes if my memory is correct he said positive definite and not positive semi definite and did not require that it be symmetric.2012-05-13
  • 0
    The question has not been edited substantially.2012-05-13

1 Answers 1

3

Choose $A = \begin{bmatrix} 200 & 100 \\ 100 & 100 \end{bmatrix}$, $W = \frac{1}{10}\begin{bmatrix} 1 & 0 \\ 0 & 9 \end{bmatrix}$, then $$A-WAW = \begin{bmatrix} 198 & 91 \\ 91 & 19 \end{bmatrix},$$ which is not $\geq 0$ (since $198\cdot19-91^2 < 0$).