The following question kept me wondering for some time:

Given the symmetric matrices $A,B,C\in\mathbb{R}^{n×n}$ where $A$ and $C$ are positive definite (hence invertible), and $B$ is positive semidefinite (hence not necessarily invertible) with $\text{trace}(B)\neq0$, prove that

$\text{trace}\big\{C^{-1/2}BC^{−1/2}(A^{−1}+C^{−1/2}BC^{−1/2})^{−1}\big(A+\frac{n}{\text{trace}(B)}C\big)^{-1}\big\}\geq \text{trace}\big\{\big(A+\frac{n}{\text{trace}(B)}C\big)^{−2}A\big\}$

If it would help, one can also consider the simpler version with $C=I$: prove that

$\text{trace}\big\{B(A^{−1}+B)^{−1}\big(A+\frac{n}{\text{trace}(B)}I\big)^{-1}\big\}\geq \text{trace}\big\{\big(A+\frac{n}{\text{trace}(B)}I\big)^{−2}A\big\}$.

Please note that the matrix inversion lemma is not applicable at first to $C^{-1/2}BC^{−1/2}(A^{−1}+C^{−1/2}BC^{−1/2})^{−1}$ since $B$ is positive semidefinite. Although I'm not sure, it seems like $\text{trace}(B)=\text{trace}{(\text{trace}(B)/n)I}$ should be utilized first in some way to arrive at some inequality to which the matrix inversion lemma can later be applied. I would highly appreciate if anyone can provide some help or suggestions on this.

Based on the suggestion of user2097, an invertible (positive definite) $B$ modifies the inequality to

$\text{trace}\big\{(A+C^{1/2}B^{-1}C^{1/2})^{−1}\big(A+\frac{n}{\text{trace}(B)}C\big)^{-1}A\big\}\geq \text{trace}\big\{\big(A+\frac{n}{\text{trace}(B)}C\big)^{−2}A\big\}$

which looks easier, but I was still unable to prove it.

positive definite, without a loss of generality. In fact, if we set $B(\varepsilon)=B+\varepsilon I$ with small $\varepsilon>0$, then both sides of the inequality become continous functions of $\varepsilon$ at point $\varepsilon=0$ (unless $\operatorname{trace}(B)=0$ which is equivalent to $B=0$). In other words, it is sufficient to prove the inequality with $B(\varepsilon)$ instead of $B$, that is, in the case when $B$ is invertible. $\endgroup$ – user56203 Aug 8 '14 at 12:09