Expressing the determinant of a sum of two matrices?Is there an operation on matrices such that the...

Logistic regression BIC: what's the right N?

Is there a way to make cleveref distinguish two environments with the same counter?

What would be the most expensive material to an intergalactic society?

What is this tube in a jet engine's air intake?

Finding the minimum value of a function without using Calculus

Are small insurances worth it?

Use Mercury as quenching liquid for swords?

Too soon for a plot twist?

PTIJ: Who was the sixth set of priestly clothes for?

"If + would" conditional in present perfect tense

Why do phishing e-mails use faked e-mail addresses instead of the real one?

How exactly does an Ethernet collision happen in the cable, since nodes use different circuits for Tx and Rx?

Is there stress on two letters on the word стоят

What is the purpose of a disclaimer like "this is not legal advice"?

Under what conditions can the right to remain silent be revoked in the USA?

How to write a chaotic neutral protagonist and prevent my readers from thinking they are evil?

Is divide-by-zero a security vulnerability?

Strange opamp's output impedance in spice

How to make sure I'm assertive enough in contact with subordinates?

Is it appropriate to ask a former professor to order a book for me through an inter-library loan?

Difference between `nmap local-IP-address` and `nmap localhost`

How can I portion out frozen cookie dough?

Does the US political system, in principle, allow for a no-party system?

What should I do when a paper is published similar to my PhD thesis without citation?



Expressing the determinant of a sum of two matrices?


Is there an operation on matrices such that the determinant yields a homomorphism with the additive group of the reals?The Determinant of a Sum of MatricesProve: $v$ is an eigenvector of $A$ with eigenvalue $lambda$ $implies$ $v$ is an eigenvector of $A^{-1}$ with an eigenvalue of $frac{1}{lambda}$determinant of sum of matricesReal matrices whose squares sum up to $O_2$Determinant of unspecified matricesDeterminant of multiplication of two nonsquare matricesFactorization of 2x2 rational matricesDeterminant of the sum of two matrices with positive determinantMatrices with invariant determinantDeterminant of the sum of rank-$1$ matricesDeterminant of sum of squares of two matrices.determinant of sum of matricesFormula for determinant of sum of matricesdeterminant of the sum of two matrices det(A+B)













19












$begingroup$


Can



$$det(A + B)$$



be expressed in terms of



$$det(A), det(B), n$$



where $A,B$ are $ntimes n$ matrices?



#



I made the edit to allow $n$ to be factored in.










share|cite|improve this question











$endgroup$








  • 4




    $begingroup$
    Not in general. Even if $A,B$ are $n times n$ identity matrices, $det(A+B) = 2^n$ while $det(A) = det(B) = 1$, so the connection will depend on $n$ as well...
    $endgroup$
    – gt6989b
    Feb 12 '14 at 16:11










  • $begingroup$
    There are special cases, like en.wikipedia.org/wiki/Matrix_determinant_lemma
    $endgroup$
    – A Blumenthal
    Feb 12 '14 at 16:13






  • 3




    $begingroup$
    Also, in light of math.stackexchange.com/questions/298454/… , I think such a formula will always depend on more than just $det A, det B$
    $endgroup$
    – A Blumenthal
    Feb 12 '14 at 16:14










  • $begingroup$
    @ABlumenthal I'm having a hard time comprehending your link although it seems to answer my question. Can you explain it to me?
    $endgroup$
    – frogeyedpeas
    Feb 14 '14 at 5:54










  • $begingroup$
    I hope I am not making any mistake but what the link says for this case is that determinant of sum, is sum of determinants of $2^n$ matrices which are constructed by choosing for each column i either ith column of A or ith column of B (all possible choices are $2^n$ if you think about it).
    $endgroup$
    – kon psych
    Apr 12 '16 at 7:26


















19












$begingroup$


Can



$$det(A + B)$$



be expressed in terms of



$$det(A), det(B), n$$



where $A,B$ are $ntimes n$ matrices?



#



I made the edit to allow $n$ to be factored in.










share|cite|improve this question











$endgroup$








  • 4




    $begingroup$
    Not in general. Even if $A,B$ are $n times n$ identity matrices, $det(A+B) = 2^n$ while $det(A) = det(B) = 1$, so the connection will depend on $n$ as well...
    $endgroup$
    – gt6989b
    Feb 12 '14 at 16:11










  • $begingroup$
    There are special cases, like en.wikipedia.org/wiki/Matrix_determinant_lemma
    $endgroup$
    – A Blumenthal
    Feb 12 '14 at 16:13






  • 3




    $begingroup$
    Also, in light of math.stackexchange.com/questions/298454/… , I think such a formula will always depend on more than just $det A, det B$
    $endgroup$
    – A Blumenthal
    Feb 12 '14 at 16:14










  • $begingroup$
    @ABlumenthal I'm having a hard time comprehending your link although it seems to answer my question. Can you explain it to me?
    $endgroup$
    – frogeyedpeas
    Feb 14 '14 at 5:54










  • $begingroup$
    I hope I am not making any mistake but what the link says for this case is that determinant of sum, is sum of determinants of $2^n$ matrices which are constructed by choosing for each column i either ith column of A or ith column of B (all possible choices are $2^n$ if you think about it).
    $endgroup$
    – kon psych
    Apr 12 '16 at 7:26
















19












19








19


9



$begingroup$


Can



$$det(A + B)$$



be expressed in terms of



$$det(A), det(B), n$$



where $A,B$ are $ntimes n$ matrices?



#



I made the edit to allow $n$ to be factored in.










share|cite|improve this question











$endgroup$




Can



$$det(A + B)$$



be expressed in terms of



$$det(A), det(B), n$$



where $A,B$ are $ntimes n$ matrices?



#



I made the edit to allow $n$ to be factored in.







linear-algebra matrices multivariable-calculus determinant






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Apr 28 '14 at 19:57









Davide Giraudo

127k17154268




127k17154268










asked Feb 12 '14 at 16:04









frogeyedpeasfrogeyedpeas

7,56572053




7,56572053








  • 4




    $begingroup$
    Not in general. Even if $A,B$ are $n times n$ identity matrices, $det(A+B) = 2^n$ while $det(A) = det(B) = 1$, so the connection will depend on $n$ as well...
    $endgroup$
    – gt6989b
    Feb 12 '14 at 16:11










  • $begingroup$
    There are special cases, like en.wikipedia.org/wiki/Matrix_determinant_lemma
    $endgroup$
    – A Blumenthal
    Feb 12 '14 at 16:13






  • 3




    $begingroup$
    Also, in light of math.stackexchange.com/questions/298454/… , I think such a formula will always depend on more than just $det A, det B$
    $endgroup$
    – A Blumenthal
    Feb 12 '14 at 16:14










  • $begingroup$
    @ABlumenthal I'm having a hard time comprehending your link although it seems to answer my question. Can you explain it to me?
    $endgroup$
    – frogeyedpeas
    Feb 14 '14 at 5:54










  • $begingroup$
    I hope I am not making any mistake but what the link says for this case is that determinant of sum, is sum of determinants of $2^n$ matrices which are constructed by choosing for each column i either ith column of A or ith column of B (all possible choices are $2^n$ if you think about it).
    $endgroup$
    – kon psych
    Apr 12 '16 at 7:26
















  • 4




    $begingroup$
    Not in general. Even if $A,B$ are $n times n$ identity matrices, $det(A+B) = 2^n$ while $det(A) = det(B) = 1$, so the connection will depend on $n$ as well...
    $endgroup$
    – gt6989b
    Feb 12 '14 at 16:11










  • $begingroup$
    There are special cases, like en.wikipedia.org/wiki/Matrix_determinant_lemma
    $endgroup$
    – A Blumenthal
    Feb 12 '14 at 16:13






  • 3




    $begingroup$
    Also, in light of math.stackexchange.com/questions/298454/… , I think such a formula will always depend on more than just $det A, det B$
    $endgroup$
    – A Blumenthal
    Feb 12 '14 at 16:14










  • $begingroup$
    @ABlumenthal I'm having a hard time comprehending your link although it seems to answer my question. Can you explain it to me?
    $endgroup$
    – frogeyedpeas
    Feb 14 '14 at 5:54










  • $begingroup$
    I hope I am not making any mistake but what the link says for this case is that determinant of sum, is sum of determinants of $2^n$ matrices which are constructed by choosing for each column i either ith column of A or ith column of B (all possible choices are $2^n$ if you think about it).
    $endgroup$
    – kon psych
    Apr 12 '16 at 7:26










4




4




$begingroup$
Not in general. Even if $A,B$ are $n times n$ identity matrices, $det(A+B) = 2^n$ while $det(A) = det(B) = 1$, so the connection will depend on $n$ as well...
$endgroup$
– gt6989b
Feb 12 '14 at 16:11




$begingroup$
Not in general. Even if $A,B$ are $n times n$ identity matrices, $det(A+B) = 2^n$ while $det(A) = det(B) = 1$, so the connection will depend on $n$ as well...
$endgroup$
– gt6989b
Feb 12 '14 at 16:11












$begingroup$
There are special cases, like en.wikipedia.org/wiki/Matrix_determinant_lemma
$endgroup$
– A Blumenthal
Feb 12 '14 at 16:13




$begingroup$
There are special cases, like en.wikipedia.org/wiki/Matrix_determinant_lemma
$endgroup$
– A Blumenthal
Feb 12 '14 at 16:13




3




3




$begingroup$
Also, in light of math.stackexchange.com/questions/298454/… , I think such a formula will always depend on more than just $det A, det B$
$endgroup$
– A Blumenthal
Feb 12 '14 at 16:14




$begingroup$
Also, in light of math.stackexchange.com/questions/298454/… , I think such a formula will always depend on more than just $det A, det B$
$endgroup$
– A Blumenthal
Feb 12 '14 at 16:14












$begingroup$
@ABlumenthal I'm having a hard time comprehending your link although it seems to answer my question. Can you explain it to me?
$endgroup$
– frogeyedpeas
Feb 14 '14 at 5:54




$begingroup$
@ABlumenthal I'm having a hard time comprehending your link although it seems to answer my question. Can you explain it to me?
$endgroup$
– frogeyedpeas
Feb 14 '14 at 5:54












$begingroup$
I hope I am not making any mistake but what the link says for this case is that determinant of sum, is sum of determinants of $2^n$ matrices which are constructed by choosing for each column i either ith column of A or ith column of B (all possible choices are $2^n$ if you think about it).
$endgroup$
– kon psych
Apr 12 '16 at 7:26






$begingroup$
I hope I am not making any mistake but what the link says for this case is that determinant of sum, is sum of determinants of $2^n$ matrices which are constructed by choosing for each column i either ith column of A or ith column of B (all possible choices are $2^n$ if you think about it).
$endgroup$
– kon psych
Apr 12 '16 at 7:26












2 Answers
2






active

oldest

votes


















22












$begingroup$

When $nge2$, the answer is no. To illustrate, consider
$$
A=I_n,quad B_1=pmatrix{1&1\ 0&0}oplus0,quad B_2=pmatrix{1&1\ 1&1}oplus0.
$$
If $det(A+B)=fleft(det(A),det(B),nright)$ for some function $f$, you should get $det(A+B_1)=f(1,0,n)=det(A+B_2)$. But in fact, $det(A+B_1)=2ne3=det(A+B_2)$ over any field.






share|cite|improve this answer











$endgroup$





















    24












    $begingroup$

    When $n=2$, and suppose $A$ has inverse, you can easily show that



    $det(A+B)=det A+det B+det A,cdot mathrm{Tr}(A^{-1}B)$.





    Let me give a general method to find the determinant of the sum of two matrices $A,B$ with $A$ invertible and symmetric (The following result might also apply to the non-symmetric case. I might verify that later...).
    I am a physicist, so I will use the index notation, $A_{ij}$ and $B_{ij}$, with $i,j=1,2,cdots,n$.
    Let $A^{ij}$ donate the inverse of $A_{ij}$ such that $A^{il}A_{lj}=delta^i_j=A_{jl}A^{li}$.
    We can use $A_{ij}$ to lower the indices, and its inverse to raise.
    For example $A^{il}B_{lj}=B^i{}_j$.
    Here and in the following, the Einstein summation rule is assumed.



    Let $epsilon^{i_1cdots i_n}$ be the totally antisymmetric tensor, with $epsilon^{1cdots n}=1$.
    Define a new tensor $tildeepsilon^{i_1cdots i_n}=epsilon^{i_1cdots i_n}/sqrt{|det A|}$.
    We can use $A_{ij}$ to lower the indices of $tildeepsilon^{i_1cdots i_n}$, and define
    $tildeepsilon_{i_1cdots i_n}=A_{i_1j_1}cdots A_{i_nj_n}tildeepsilon^{j_1cdots j_n}$.
    Then there is a useful property:
    $$
    tildeepsilon_{i_1cdots i_kl_{k+1}cdots l_n}tildeepsilon^{j_1cdots j_kl_{k+1}cdots l_n}=(-1)^sl!(n-l)!delta^{[j_1}_{i_1}cdotsdelta^{j_k]}_{i_k},
    $$

    where the square brackets $[]$ imply the antisymmetrization of the indices enclosed by them.
    $s$ is the number of negative elements of $A_{ij}$ after it has been diagonalized.



    So now the determinant of $A+B$ can be obtained in the following way
    $$
    det(A+B)=frac{1}{n!}epsilon^{i_1cdots i_n}epsilon^{j_1cdots j_n}(A+B)_{i_1j_1}cdots(A+B)_{i_nj_n}
    $$

    $$
    =frac{(-1)^sdet A}{n!}tildeepsilon^{i_1cdots i_n}tildeepsilon^{j_1cdots j_n}sum_{k=0}^n C_n^kA_{i_1j_1}cdots A_{i_kj_k}B_{i_{k+1}j_{k+1}}cdots B_{i_nj_n}
    $$

    $$
    =frac{(-1)^sdet A}{n!}sum_{k=0}^nC_n^ktildeepsilon^{i_1cdots i_ki_{k+1}cdots i_n}tildeepsilon^{j_1cdots j_k}{}_{i_{k+1}cdots i_n}B_{i_{k+1}j_{k+1}}cdots B_{i_nj_n}
    $$

    $$
    =frac{(-1)^sdet A}{n!}sum_{k=0}^nC_n^ktildeepsilon^{i_1cdots i_ki_{k+1}cdots i_n}tildeepsilon_{j_1cdots j_ki_{k+1}cdots i_n}B_{i_{k+1}}{}^{j_{k+1}}cdots B_{i_n}{}^{j_n}
    $$

    $$
    =frac{det A}{n!}sum_{k=0}^nC_n^kk!(n-k)!B_{i_{k+1}}{}^{[i_{k+1}}cdots B_{i_n}{}^{i_n]}
    $$

    $$
    =det Asum_{k=0}^nB_{i_{k+1}}{}^{[i_{k+1}}cdots B_{i_n}{}^{i_n]}
    $$

    $$
    =det A+det Asum_{k=1}^{n-1}B_{i_{k+1}}{}^{[i_{k+1}}cdots B_{i_n}{}^{i_n]}+det B.
    $$



    This reproduces the result for $n=2$.
    An interesting result for physicists is when $n=3$,



    begin{split}
    det(A+B)=&det A+det Acdottext{Tr}(A^{-1}B)+frac{det A}{2}{[text{Tr}(A^{-1}B)]^2-text{Tr}(BA^{-1}BA^{-1})}\
    &+frac{1}{6}{[text{Tr}(BA^{-1})]^3-3text{Tr}(BA^{-1})text{Tr}(BA^{-1}BA^{-1})+2text{Tr}(BA^{-1}BA^{-1}BA^{-1})}\
    &+det B.
    end{split}






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      This, in my opinion, is the better answer, as it not only falsifies the question, but also salvages the false statement with an interesting and relevant identity. (+1)
      $endgroup$
      – Frpzzd
      Sep 22 '18 at 22:09








    • 1




      $begingroup$
      Anything for $n=3$?
      $endgroup$
      – Frpzzd
      Sep 22 '18 at 22:17










    • $begingroup$
      @Frpzzd Unfortunately, I did not find any interesting result for $n=3$.
      $endgroup$
      – Drake Marquis
      Oct 8 '18 at 1:24










    • $begingroup$
      @Frpzzd Please check my new answer.
      $endgroup$
      – Drake Marquis
      17 hours ago











    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f673934%2fexpressing-the-determinant-of-a-sum-of-two-matrices%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    22












    $begingroup$

    When $nge2$, the answer is no. To illustrate, consider
    $$
    A=I_n,quad B_1=pmatrix{1&1\ 0&0}oplus0,quad B_2=pmatrix{1&1\ 1&1}oplus0.
    $$
    If $det(A+B)=fleft(det(A),det(B),nright)$ for some function $f$, you should get $det(A+B_1)=f(1,0,n)=det(A+B_2)$. But in fact, $det(A+B_1)=2ne3=det(A+B_2)$ over any field.






    share|cite|improve this answer











    $endgroup$


















      22












      $begingroup$

      When $nge2$, the answer is no. To illustrate, consider
      $$
      A=I_n,quad B_1=pmatrix{1&1\ 0&0}oplus0,quad B_2=pmatrix{1&1\ 1&1}oplus0.
      $$
      If $det(A+B)=fleft(det(A),det(B),nright)$ for some function $f$, you should get $det(A+B_1)=f(1,0,n)=det(A+B_2)$. But in fact, $det(A+B_1)=2ne3=det(A+B_2)$ over any field.






      share|cite|improve this answer











      $endgroup$
















        22












        22








        22





        $begingroup$

        When $nge2$, the answer is no. To illustrate, consider
        $$
        A=I_n,quad B_1=pmatrix{1&1\ 0&0}oplus0,quad B_2=pmatrix{1&1\ 1&1}oplus0.
        $$
        If $det(A+B)=fleft(det(A),det(B),nright)$ for some function $f$, you should get $det(A+B_1)=f(1,0,n)=det(A+B_2)$. But in fact, $det(A+B_1)=2ne3=det(A+B_2)$ over any field.






        share|cite|improve this answer











        $endgroup$



        When $nge2$, the answer is no. To illustrate, consider
        $$
        A=I_n,quad B_1=pmatrix{1&1\ 0&0}oplus0,quad B_2=pmatrix{1&1\ 1&1}oplus0.
        $$
        If $det(A+B)=fleft(det(A),det(B),nright)$ for some function $f$, you should get $det(A+B_1)=f(1,0,n)=det(A+B_2)$. But in fact, $det(A+B_1)=2ne3=det(A+B_2)$ over any field.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Jul 22 '16 at 15:47

























        answered Apr 29 '14 at 7:21









        user1551user1551

        73.5k566129




        73.5k566129























            24












            $begingroup$

            When $n=2$, and suppose $A$ has inverse, you can easily show that



            $det(A+B)=det A+det B+det A,cdot mathrm{Tr}(A^{-1}B)$.





            Let me give a general method to find the determinant of the sum of two matrices $A,B$ with $A$ invertible and symmetric (The following result might also apply to the non-symmetric case. I might verify that later...).
            I am a physicist, so I will use the index notation, $A_{ij}$ and $B_{ij}$, with $i,j=1,2,cdots,n$.
            Let $A^{ij}$ donate the inverse of $A_{ij}$ such that $A^{il}A_{lj}=delta^i_j=A_{jl}A^{li}$.
            We can use $A_{ij}$ to lower the indices, and its inverse to raise.
            For example $A^{il}B_{lj}=B^i{}_j$.
            Here and in the following, the Einstein summation rule is assumed.



            Let $epsilon^{i_1cdots i_n}$ be the totally antisymmetric tensor, with $epsilon^{1cdots n}=1$.
            Define a new tensor $tildeepsilon^{i_1cdots i_n}=epsilon^{i_1cdots i_n}/sqrt{|det A|}$.
            We can use $A_{ij}$ to lower the indices of $tildeepsilon^{i_1cdots i_n}$, and define
            $tildeepsilon_{i_1cdots i_n}=A_{i_1j_1}cdots A_{i_nj_n}tildeepsilon^{j_1cdots j_n}$.
            Then there is a useful property:
            $$
            tildeepsilon_{i_1cdots i_kl_{k+1}cdots l_n}tildeepsilon^{j_1cdots j_kl_{k+1}cdots l_n}=(-1)^sl!(n-l)!delta^{[j_1}_{i_1}cdotsdelta^{j_k]}_{i_k},
            $$

            where the square brackets $[]$ imply the antisymmetrization of the indices enclosed by them.
            $s$ is the number of negative elements of $A_{ij}$ after it has been diagonalized.



            So now the determinant of $A+B$ can be obtained in the following way
            $$
            det(A+B)=frac{1}{n!}epsilon^{i_1cdots i_n}epsilon^{j_1cdots j_n}(A+B)_{i_1j_1}cdots(A+B)_{i_nj_n}
            $$

            $$
            =frac{(-1)^sdet A}{n!}tildeepsilon^{i_1cdots i_n}tildeepsilon^{j_1cdots j_n}sum_{k=0}^n C_n^kA_{i_1j_1}cdots A_{i_kj_k}B_{i_{k+1}j_{k+1}}cdots B_{i_nj_n}
            $$

            $$
            =frac{(-1)^sdet A}{n!}sum_{k=0}^nC_n^ktildeepsilon^{i_1cdots i_ki_{k+1}cdots i_n}tildeepsilon^{j_1cdots j_k}{}_{i_{k+1}cdots i_n}B_{i_{k+1}j_{k+1}}cdots B_{i_nj_n}
            $$

            $$
            =frac{(-1)^sdet A}{n!}sum_{k=0}^nC_n^ktildeepsilon^{i_1cdots i_ki_{k+1}cdots i_n}tildeepsilon_{j_1cdots j_ki_{k+1}cdots i_n}B_{i_{k+1}}{}^{j_{k+1}}cdots B_{i_n}{}^{j_n}
            $$

            $$
            =frac{det A}{n!}sum_{k=0}^nC_n^kk!(n-k)!B_{i_{k+1}}{}^{[i_{k+1}}cdots B_{i_n}{}^{i_n]}
            $$

            $$
            =det Asum_{k=0}^nB_{i_{k+1}}{}^{[i_{k+1}}cdots B_{i_n}{}^{i_n]}
            $$

            $$
            =det A+det Asum_{k=1}^{n-1}B_{i_{k+1}}{}^{[i_{k+1}}cdots B_{i_n}{}^{i_n]}+det B.
            $$



            This reproduces the result for $n=2$.
            An interesting result for physicists is when $n=3$,



            begin{split}
            det(A+B)=&det A+det Acdottext{Tr}(A^{-1}B)+frac{det A}{2}{[text{Tr}(A^{-1}B)]^2-text{Tr}(BA^{-1}BA^{-1})}\
            &+frac{1}{6}{[text{Tr}(BA^{-1})]^3-3text{Tr}(BA^{-1})text{Tr}(BA^{-1}BA^{-1})+2text{Tr}(BA^{-1}BA^{-1}BA^{-1})}\
            &+det B.
            end{split}






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              This, in my opinion, is the better answer, as it not only falsifies the question, but also salvages the false statement with an interesting and relevant identity. (+1)
              $endgroup$
              – Frpzzd
              Sep 22 '18 at 22:09








            • 1




              $begingroup$
              Anything for $n=3$?
              $endgroup$
              – Frpzzd
              Sep 22 '18 at 22:17










            • $begingroup$
              @Frpzzd Unfortunately, I did not find any interesting result for $n=3$.
              $endgroup$
              – Drake Marquis
              Oct 8 '18 at 1:24










            • $begingroup$
              @Frpzzd Please check my new answer.
              $endgroup$
              – Drake Marquis
              17 hours ago
















            24












            $begingroup$

            When $n=2$, and suppose $A$ has inverse, you can easily show that



            $det(A+B)=det A+det B+det A,cdot mathrm{Tr}(A^{-1}B)$.





            Let me give a general method to find the determinant of the sum of two matrices $A,B$ with $A$ invertible and symmetric (The following result might also apply to the non-symmetric case. I might verify that later...).
            I am a physicist, so I will use the index notation, $A_{ij}$ and $B_{ij}$, with $i,j=1,2,cdots,n$.
            Let $A^{ij}$ donate the inverse of $A_{ij}$ such that $A^{il}A_{lj}=delta^i_j=A_{jl}A^{li}$.
            We can use $A_{ij}$ to lower the indices, and its inverse to raise.
            For example $A^{il}B_{lj}=B^i{}_j$.
            Here and in the following, the Einstein summation rule is assumed.



            Let $epsilon^{i_1cdots i_n}$ be the totally antisymmetric tensor, with $epsilon^{1cdots n}=1$.
            Define a new tensor $tildeepsilon^{i_1cdots i_n}=epsilon^{i_1cdots i_n}/sqrt{|det A|}$.
            We can use $A_{ij}$ to lower the indices of $tildeepsilon^{i_1cdots i_n}$, and define
            $tildeepsilon_{i_1cdots i_n}=A_{i_1j_1}cdots A_{i_nj_n}tildeepsilon^{j_1cdots j_n}$.
            Then there is a useful property:
            $$
            tildeepsilon_{i_1cdots i_kl_{k+1}cdots l_n}tildeepsilon^{j_1cdots j_kl_{k+1}cdots l_n}=(-1)^sl!(n-l)!delta^{[j_1}_{i_1}cdotsdelta^{j_k]}_{i_k},
            $$

            where the square brackets $[]$ imply the antisymmetrization of the indices enclosed by them.
            $s$ is the number of negative elements of $A_{ij}$ after it has been diagonalized.



            So now the determinant of $A+B$ can be obtained in the following way
            $$
            det(A+B)=frac{1}{n!}epsilon^{i_1cdots i_n}epsilon^{j_1cdots j_n}(A+B)_{i_1j_1}cdots(A+B)_{i_nj_n}
            $$

            $$
            =frac{(-1)^sdet A}{n!}tildeepsilon^{i_1cdots i_n}tildeepsilon^{j_1cdots j_n}sum_{k=0}^n C_n^kA_{i_1j_1}cdots A_{i_kj_k}B_{i_{k+1}j_{k+1}}cdots B_{i_nj_n}
            $$

            $$
            =frac{(-1)^sdet A}{n!}sum_{k=0}^nC_n^ktildeepsilon^{i_1cdots i_ki_{k+1}cdots i_n}tildeepsilon^{j_1cdots j_k}{}_{i_{k+1}cdots i_n}B_{i_{k+1}j_{k+1}}cdots B_{i_nj_n}
            $$

            $$
            =frac{(-1)^sdet A}{n!}sum_{k=0}^nC_n^ktildeepsilon^{i_1cdots i_ki_{k+1}cdots i_n}tildeepsilon_{j_1cdots j_ki_{k+1}cdots i_n}B_{i_{k+1}}{}^{j_{k+1}}cdots B_{i_n}{}^{j_n}
            $$

            $$
            =frac{det A}{n!}sum_{k=0}^nC_n^kk!(n-k)!B_{i_{k+1}}{}^{[i_{k+1}}cdots B_{i_n}{}^{i_n]}
            $$

            $$
            =det Asum_{k=0}^nB_{i_{k+1}}{}^{[i_{k+1}}cdots B_{i_n}{}^{i_n]}
            $$

            $$
            =det A+det Asum_{k=1}^{n-1}B_{i_{k+1}}{}^{[i_{k+1}}cdots B_{i_n}{}^{i_n]}+det B.
            $$



            This reproduces the result for $n=2$.
            An interesting result for physicists is when $n=3$,



            begin{split}
            det(A+B)=&det A+det Acdottext{Tr}(A^{-1}B)+frac{det A}{2}{[text{Tr}(A^{-1}B)]^2-text{Tr}(BA^{-1}BA^{-1})}\
            &+frac{1}{6}{[text{Tr}(BA^{-1})]^3-3text{Tr}(BA^{-1})text{Tr}(BA^{-1}BA^{-1})+2text{Tr}(BA^{-1}BA^{-1}BA^{-1})}\
            &+det B.
            end{split}






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              This, in my opinion, is the better answer, as it not only falsifies the question, but also salvages the false statement with an interesting and relevant identity. (+1)
              $endgroup$
              – Frpzzd
              Sep 22 '18 at 22:09








            • 1




              $begingroup$
              Anything for $n=3$?
              $endgroup$
              – Frpzzd
              Sep 22 '18 at 22:17










            • $begingroup$
              @Frpzzd Unfortunately, I did not find any interesting result for $n=3$.
              $endgroup$
              – Drake Marquis
              Oct 8 '18 at 1:24










            • $begingroup$
              @Frpzzd Please check my new answer.
              $endgroup$
              – Drake Marquis
              17 hours ago














            24












            24








            24





            $begingroup$

            When $n=2$, and suppose $A$ has inverse, you can easily show that



            $det(A+B)=det A+det B+det A,cdot mathrm{Tr}(A^{-1}B)$.





            Let me give a general method to find the determinant of the sum of two matrices $A,B$ with $A$ invertible and symmetric (The following result might also apply to the non-symmetric case. I might verify that later...).
            I am a physicist, so I will use the index notation, $A_{ij}$ and $B_{ij}$, with $i,j=1,2,cdots,n$.
            Let $A^{ij}$ donate the inverse of $A_{ij}$ such that $A^{il}A_{lj}=delta^i_j=A_{jl}A^{li}$.
            We can use $A_{ij}$ to lower the indices, and its inverse to raise.
            For example $A^{il}B_{lj}=B^i{}_j$.
            Here and in the following, the Einstein summation rule is assumed.



            Let $epsilon^{i_1cdots i_n}$ be the totally antisymmetric tensor, with $epsilon^{1cdots n}=1$.
            Define a new tensor $tildeepsilon^{i_1cdots i_n}=epsilon^{i_1cdots i_n}/sqrt{|det A|}$.
            We can use $A_{ij}$ to lower the indices of $tildeepsilon^{i_1cdots i_n}$, and define
            $tildeepsilon_{i_1cdots i_n}=A_{i_1j_1}cdots A_{i_nj_n}tildeepsilon^{j_1cdots j_n}$.
            Then there is a useful property:
            $$
            tildeepsilon_{i_1cdots i_kl_{k+1}cdots l_n}tildeepsilon^{j_1cdots j_kl_{k+1}cdots l_n}=(-1)^sl!(n-l)!delta^{[j_1}_{i_1}cdotsdelta^{j_k]}_{i_k},
            $$

            where the square brackets $[]$ imply the antisymmetrization of the indices enclosed by them.
            $s$ is the number of negative elements of $A_{ij}$ after it has been diagonalized.



            So now the determinant of $A+B$ can be obtained in the following way
            $$
            det(A+B)=frac{1}{n!}epsilon^{i_1cdots i_n}epsilon^{j_1cdots j_n}(A+B)_{i_1j_1}cdots(A+B)_{i_nj_n}
            $$

            $$
            =frac{(-1)^sdet A}{n!}tildeepsilon^{i_1cdots i_n}tildeepsilon^{j_1cdots j_n}sum_{k=0}^n C_n^kA_{i_1j_1}cdots A_{i_kj_k}B_{i_{k+1}j_{k+1}}cdots B_{i_nj_n}
            $$

            $$
            =frac{(-1)^sdet A}{n!}sum_{k=0}^nC_n^ktildeepsilon^{i_1cdots i_ki_{k+1}cdots i_n}tildeepsilon^{j_1cdots j_k}{}_{i_{k+1}cdots i_n}B_{i_{k+1}j_{k+1}}cdots B_{i_nj_n}
            $$

            $$
            =frac{(-1)^sdet A}{n!}sum_{k=0}^nC_n^ktildeepsilon^{i_1cdots i_ki_{k+1}cdots i_n}tildeepsilon_{j_1cdots j_ki_{k+1}cdots i_n}B_{i_{k+1}}{}^{j_{k+1}}cdots B_{i_n}{}^{j_n}
            $$

            $$
            =frac{det A}{n!}sum_{k=0}^nC_n^kk!(n-k)!B_{i_{k+1}}{}^{[i_{k+1}}cdots B_{i_n}{}^{i_n]}
            $$

            $$
            =det Asum_{k=0}^nB_{i_{k+1}}{}^{[i_{k+1}}cdots B_{i_n}{}^{i_n]}
            $$

            $$
            =det A+det Asum_{k=1}^{n-1}B_{i_{k+1}}{}^{[i_{k+1}}cdots B_{i_n}{}^{i_n]}+det B.
            $$



            This reproduces the result for $n=2$.
            An interesting result for physicists is when $n=3$,



            begin{split}
            det(A+B)=&det A+det Acdottext{Tr}(A^{-1}B)+frac{det A}{2}{[text{Tr}(A^{-1}B)]^2-text{Tr}(BA^{-1}BA^{-1})}\
            &+frac{1}{6}{[text{Tr}(BA^{-1})]^3-3text{Tr}(BA^{-1})text{Tr}(BA^{-1}BA^{-1})+2text{Tr}(BA^{-1}BA^{-1}BA^{-1})}\
            &+det B.
            end{split}






            share|cite|improve this answer











            $endgroup$



            When $n=2$, and suppose $A$ has inverse, you can easily show that



            $det(A+B)=det A+det B+det A,cdot mathrm{Tr}(A^{-1}B)$.





            Let me give a general method to find the determinant of the sum of two matrices $A,B$ with $A$ invertible and symmetric (The following result might also apply to the non-symmetric case. I might verify that later...).
            I am a physicist, so I will use the index notation, $A_{ij}$ and $B_{ij}$, with $i,j=1,2,cdots,n$.
            Let $A^{ij}$ donate the inverse of $A_{ij}$ such that $A^{il}A_{lj}=delta^i_j=A_{jl}A^{li}$.
            We can use $A_{ij}$ to lower the indices, and its inverse to raise.
            For example $A^{il}B_{lj}=B^i{}_j$.
            Here and in the following, the Einstein summation rule is assumed.



            Let $epsilon^{i_1cdots i_n}$ be the totally antisymmetric tensor, with $epsilon^{1cdots n}=1$.
            Define a new tensor $tildeepsilon^{i_1cdots i_n}=epsilon^{i_1cdots i_n}/sqrt{|det A|}$.
            We can use $A_{ij}$ to lower the indices of $tildeepsilon^{i_1cdots i_n}$, and define
            $tildeepsilon_{i_1cdots i_n}=A_{i_1j_1}cdots A_{i_nj_n}tildeepsilon^{j_1cdots j_n}$.
            Then there is a useful property:
            $$
            tildeepsilon_{i_1cdots i_kl_{k+1}cdots l_n}tildeepsilon^{j_1cdots j_kl_{k+1}cdots l_n}=(-1)^sl!(n-l)!delta^{[j_1}_{i_1}cdotsdelta^{j_k]}_{i_k},
            $$

            where the square brackets $[]$ imply the antisymmetrization of the indices enclosed by them.
            $s$ is the number of negative elements of $A_{ij}$ after it has been diagonalized.



            So now the determinant of $A+B$ can be obtained in the following way
            $$
            det(A+B)=frac{1}{n!}epsilon^{i_1cdots i_n}epsilon^{j_1cdots j_n}(A+B)_{i_1j_1}cdots(A+B)_{i_nj_n}
            $$

            $$
            =frac{(-1)^sdet A}{n!}tildeepsilon^{i_1cdots i_n}tildeepsilon^{j_1cdots j_n}sum_{k=0}^n C_n^kA_{i_1j_1}cdots A_{i_kj_k}B_{i_{k+1}j_{k+1}}cdots B_{i_nj_n}
            $$

            $$
            =frac{(-1)^sdet A}{n!}sum_{k=0}^nC_n^ktildeepsilon^{i_1cdots i_ki_{k+1}cdots i_n}tildeepsilon^{j_1cdots j_k}{}_{i_{k+1}cdots i_n}B_{i_{k+1}j_{k+1}}cdots B_{i_nj_n}
            $$

            $$
            =frac{(-1)^sdet A}{n!}sum_{k=0}^nC_n^ktildeepsilon^{i_1cdots i_ki_{k+1}cdots i_n}tildeepsilon_{j_1cdots j_ki_{k+1}cdots i_n}B_{i_{k+1}}{}^{j_{k+1}}cdots B_{i_n}{}^{j_n}
            $$

            $$
            =frac{det A}{n!}sum_{k=0}^nC_n^kk!(n-k)!B_{i_{k+1}}{}^{[i_{k+1}}cdots B_{i_n}{}^{i_n]}
            $$

            $$
            =det Asum_{k=0}^nB_{i_{k+1}}{}^{[i_{k+1}}cdots B_{i_n}{}^{i_n]}
            $$

            $$
            =det A+det Asum_{k=1}^{n-1}B_{i_{k+1}}{}^{[i_{k+1}}cdots B_{i_n}{}^{i_n]}+det B.
            $$



            This reproduces the result for $n=2$.
            An interesting result for physicists is when $n=3$,



            begin{split}
            det(A+B)=&det A+det Acdottext{Tr}(A^{-1}B)+frac{det A}{2}{[text{Tr}(A^{-1}B)]^2-text{Tr}(BA^{-1}BA^{-1})}\
            &+frac{1}{6}{[text{Tr}(BA^{-1})]^3-3text{Tr}(BA^{-1})text{Tr}(BA^{-1}BA^{-1})+2text{Tr}(BA^{-1}BA^{-1}BA^{-1})}\
            &+det B.
            end{split}







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited yesterday

























            answered Sep 22 '16 at 13:32









            Drake MarquisDrake Marquis

            640513




            640513












            • $begingroup$
              This, in my opinion, is the better answer, as it not only falsifies the question, but also salvages the false statement with an interesting and relevant identity. (+1)
              $endgroup$
              – Frpzzd
              Sep 22 '18 at 22:09








            • 1




              $begingroup$
              Anything for $n=3$?
              $endgroup$
              – Frpzzd
              Sep 22 '18 at 22:17










            • $begingroup$
              @Frpzzd Unfortunately, I did not find any interesting result for $n=3$.
              $endgroup$
              – Drake Marquis
              Oct 8 '18 at 1:24










            • $begingroup$
              @Frpzzd Please check my new answer.
              $endgroup$
              – Drake Marquis
              17 hours ago


















            • $begingroup$
              This, in my opinion, is the better answer, as it not only falsifies the question, but also salvages the false statement with an interesting and relevant identity. (+1)
              $endgroup$
              – Frpzzd
              Sep 22 '18 at 22:09








            • 1




              $begingroup$
              Anything for $n=3$?
              $endgroup$
              – Frpzzd
              Sep 22 '18 at 22:17










            • $begingroup$
              @Frpzzd Unfortunately, I did not find any interesting result for $n=3$.
              $endgroup$
              – Drake Marquis
              Oct 8 '18 at 1:24










            • $begingroup$
              @Frpzzd Please check my new answer.
              $endgroup$
              – Drake Marquis
              17 hours ago
















            $begingroup$
            This, in my opinion, is the better answer, as it not only falsifies the question, but also salvages the false statement with an interesting and relevant identity. (+1)
            $endgroup$
            – Frpzzd
            Sep 22 '18 at 22:09






            $begingroup$
            This, in my opinion, is the better answer, as it not only falsifies the question, but also salvages the false statement with an interesting and relevant identity. (+1)
            $endgroup$
            – Frpzzd
            Sep 22 '18 at 22:09






            1




            1




            $begingroup$
            Anything for $n=3$?
            $endgroup$
            – Frpzzd
            Sep 22 '18 at 22:17




            $begingroup$
            Anything for $n=3$?
            $endgroup$
            – Frpzzd
            Sep 22 '18 at 22:17












            $begingroup$
            @Frpzzd Unfortunately, I did not find any interesting result for $n=3$.
            $endgroup$
            – Drake Marquis
            Oct 8 '18 at 1:24




            $begingroup$
            @Frpzzd Unfortunately, I did not find any interesting result for $n=3$.
            $endgroup$
            – Drake Marquis
            Oct 8 '18 at 1:24












            $begingroup$
            @Frpzzd Please check my new answer.
            $endgroup$
            – Drake Marquis
            17 hours ago




            $begingroup$
            @Frpzzd Please check my new answer.
            $endgroup$
            – Drake Marquis
            17 hours ago


















            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f673934%2fexpressing-the-determinant-of-a-sum-of-two-matrices%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Nidaros erkebispedøme

            Birsay

            Where did Arya get these scars? Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar Manara Favourite questions and answers from the 1st quarter of 2019Why did Arya refuse to end it?Has the pronunciation of Arya Stark's name changed?Has Arya forgiven people?Why did Arya Stark lose her vision?Why can Arya still use the faces?Has the Narrow Sea become narrower?Does Arya Stark know how to make poisons outside of the House of Black and White?Why did Nymeria leave Arya?Why did Arya not kill the Lannister soldiers she encountered in the Riverlands?What is the current canonical age of Sansa, Bran and Arya Stark?