Estoy tratando de mostrar que Tr$\left(\sqrt{(\mathbf{PXP}^\top)}\right) \le \text{c Tr}\left(\mathbf{P}\sqrt{\mathbf{X}}\mathbf{P}^\top \right)$
donde Tr es la traza del operador, $\mathbf{X}$ es simétrica positiva semi-definida la matriz, $\mathbf{P}$ es un no-simétrica de bajo rango de la matriz, y $c$ es una constante positiva. Es esta declaración siempre es cierto y si es así, ¿cómo puede ser demostrado?