Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

If $A, B$ and $C$ are $n\times n$ positive semidefinite matrices. How to show that $$\det(A + B) + \det(A + C)\le \det A + \det(A + B + C)?$$

share|improve this question
add comment

2 Answers

up vote 1 down vote accepted

Using the fact that $A$ is symmetric positive definite, we can find $R$ symmetric such that $R^2=A$. Therefore we are reduced to the case $A=I$. We have to show that $$\sum_{J\subset [n]}(\det B^{(J)}+\det C^{(J)})\leq 1+\sum_{J\subset [n]}\det(B+C)^{(J)},$$ where $A^{(J)}$ means the matrix $A$ without the lines and columns of index in $J$. Indeed, we can show that for a matrix $A$, $\det(I+A)$ is a sum of $2^n$ determinants, when columns are from $I$ or $A$. Then for each determinant of this type, expand with respect to the columns which belong to $I$.

This topic show that $\det(M_1+M_2)\geq \det M_1+\det M_2$ where $M_1$ and $M_2$ are two positive define matrices gives the conclusion.

share|improve this answer
    
So I know it is equivalent to $\det(I+B)+\det(I+C)\le I+ \det(I+B+C)$, but I don't understand the remaining part of your argument. –  Fischer Sep 23 '12 at 15:42
    
I have another approach to prove the determinantal inequality. –  Fischer Sep 23 '12 at 15:58
    
I've added the details. –  Davide Giraudo Sep 23 '12 at 18:26
add comment

Positive definite matrices have unique positive definite square roots. Therefore, by pulling out $\det(A+B)$ (as $\left[\det\left((A+B)^{1/2}\right)\right]^2$), we may assume that $A+B=I$ and $\rho(A)<1$. So, the stated inequality reduces to $$1 + \det(A + C)\le \det A + \det(I + C),$$ which is true because \begin{align*} &1 + \det(A+C)\\ =&1 + \prod_{i=1}^n \lambda_i(A+C)\\ \le&1 + \prod_{i=1}^n \left(\lambda_i(A) + \lambda_i(C)\right)\\ =&1 + \det(A) + \det(C) + \sum_{\begin{array}{c}B_1,\ldots,B_n\in\{A,C\}\\ B_1,\ldots,B_n \text{ are not all equal}\end{array}} \prod_{i=1}^n \lambda_i(B_i)\\ \le&1 + \det(A) + \det(C) + \sum_{\begin{array}{c}B_1,\ldots,B_n\in\{I,C\}\\ B_1,\ldots,B_n \text{ are not all equal}\end{array}} \prod_{i=1}^n \lambda_i(B_i)\\ =&\det(A)+\det(I+C). \end{align*}

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.