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.

I want to know how to prove the fact that the coefficient of $x^k$ in $\det(xI+A)$ is the sum of all $(n-k)\times (n-k)$ submatrices of $A$, an $n \times n$ matrix.

share|improve this question
    
A is n by n matrix –  user67458 Mar 20 '13 at 17:21
1  
This is going to be very very difficult, because it is not true. Consider what you get for $k=n-1$. –  Mariano Suárez-Alvarez Mar 20 '13 at 17:24
1  
Please note the $\LaTeX$ formatting on your question. Also, you can edit your question, no need to add conditions in the comments. –  Andreas Caranti Mar 20 '13 at 17:25
1  
Is that a fact? The sum of all $(n-k)\times(n-k)$ submatrices of $A$ is an $(n-k)\times(n-k)$ matrix, whereas the coefficient of $x^k$ in $\det(xI+A)$ is a scalar. They aren't even the same kind of thing unless $n-k=1$. –  Henning Makholm Mar 20 '13 at 17:26
1  
@user67458, that still does not work. You should do by hand the case $n=2$ at least! –  Mariano Suárez-Alvarez Mar 20 '13 at 17:30

1 Answer 1

This is true, except you only want to consider the determinants of the principal submatrices: i.e. the $[A_{i,j}]_{i,j \in I}$ for some set $I$ (the same one for $i$'s and $j$'s).

However you approach the issue, I think it leads to some mundane/vague transformations. You can, for instance, write out the formula for $\det(xI + A)$ as a sum over permutations, and open the brackets of the terms like $(x+A_{i,i})$. Now, to get $x^k$, you need to choose precisely $k$ occurrences of $x$: this means, you have to fix $k$ indices $i_1,i_2,\dots,i_k$, and the corresponding permutation $\pi$ has to map $i_l$ to $i_l$ (for $l=1,2,\dots,k$). On the remaining indices, you need not to get any $x$'s, which means you can essentially forget the $x$'s were there in the first place, and just consider the entries of $A$. If you sum over all possible ways in which you get $x^k$ out of the indices $i_1,i_2,\dots,i_k$, you recover the formula for the determinant of the matrix $[A_{i,j}]_{i,j \in I}$ where $I = \{1,2,\dots,n\} \setminus \{i_1,i_2,\dots,i_k\}$. Sum over all choices of $i_1,i_2,\dots,i_k$ to get your claim.

By the way, I do realise it is terribly vague, but I believe it can be made to work. I would welcome a nicer reasoning.

share|improve this answer

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.