matrix determinant lemma

In mathematics, in particular linear algebra, the matrix determinant lemma computes the determinant of the sum of an invertible matrix A and the dyadic product, uv^T, of a column vector u and a row vector v^T.

Statement

Suppose A is an invertible square matrix and u, v are column vectors. Then the matrix determinant lemma states that
:$\det\left(\mathbf + \mathbf^\textsf\right) = \left(1 + \mathbf^\textsf\mathbf^\mathbf\right)\,\det\left(\mathbf\right)\,.$

Here, uv^T is the outer product of two vectors u and v.

The theorem can also be stated in terms of the adjugate matrix of A:
:$\det\left(\mathbf + \mathbf^\textsf\right) = \det\left(\mathbf\right) + \mathbf^\textsf\mathrm\left(\mathbf\right)\mathbf\,,$

in which case it applies whether or not the square matrix A is invertible.

Proof

First the proof of the special case A = I follows from the equality:

:$\begin \mathbf & 0 \\ \mathbf^\textsf & 1 \end \begin \mathbf + \mathbf^\textsf & \mathbf \\ 0 & 1 \end \begin \mathbf & 0 \\ -\mathbf^\textsf & 1 \end = \begin \mathbf & \mathbf \\ 0 & 1 + \mathbf^\textsf\mathbf \end.$

The determinant of the left hand side is the product of the determinants of the three matrices. Since the first and third matrix are triangular matrices with unit diagonal, their determinants are just 1. The determinant of the middle matrix is our desired value. The determinant of the right hand side is simply (1 + v^Tu). So we have the result:

:$\det\left(\mathbf + \mathbf^\textsf\right) = \left(1 + \mathbf^\textsf\mathbf\right).$

Then the general case can be found as:
:$\begin \det\left(\mathbf + \mathbf^\textsf\right) &= \det\left(\mathbf\right) \det\left(\mathbf + \left(\mathbf^\mathbf\right)\mathbf^\textsf\right)\\ &= \det\left(\mathbf\right) \left(1 + \mathbf^\textsf \left(\mathbf^\mathbf\right)\right). \end$

Application

If the determinant and inverse of A are already known, the formula provides a numerically cheap way to compute the determinant of A corrected by the matrix uv^T. The computation is relatively cheap because the determinant of A + uv^T does not have to be computed from scratch (which in general is expensive). Using unit vectors for u and/or v, individual columns, rows or elements of A may be manipulated and a correspondingly updated determinant computed relatively cheaply in this way.

When the matrix determinant lemma is used in conjunction with the Sherman–Morrison formula, both the inverse and determinant may be conveniently updated together.

Generalization

Suppose A is an invertible ''n''-by-''n'' matrix and U, V are ''n''-by-''m'' matrices. Then
:$\det\left(\mathbf + \mathbf^\textsf\right) = \det\left(\mathbf + \mathbf^\textsf\mathbf^\mathbf\right)\det(\mathbf).$

In the special case $\mathbf=\mathbf$ this is the Weinstein–Aronszajn identity.

Given additionally an invertible ''m''-by-''m'' matrix W, the relationship can also be expressed as
:$\det\left(\mathbf + \mathbf^\textsf\right) = \det\left(\mathbf^ + \mathbf^\textsf\mathbf^\mathbf\right)\det\left(\mathbf\right)\det\left(\mathbf\right).$

See also

* The Sherman–Morrison formula, which shows how to update the inverse, A⁻¹, to obtain (A + uv^T)⁻¹.
* The Woodbury formula, which shows how to update the inverse, A⁻¹, to obtain (A + UCV^T)⁻¹.
* The binomial inverse theorem for (A + UCV^T)⁻¹.

References

{{Reflist

Lemmas in linear algebra
Matrix theory