Let $P\in\Re^{r\times r}$ be a symmetric positive definite matrix; i.e. $P=P^T\succ 0$. Also, let $X\in\Re^{r\times m}$ be a matrix such that $\mathrm{rank}(X)=r$ with $r\leq m$. My question is about the positive definiteness (or positive semi-definiteness) of the following product:
- $X^TPX$
Can we say anything about the positive (semi-)definiteness of this product? As far as I tried with several numerical examples, we should be able to say that it is indeed semidefinite.