Woodbury matrix identity

From Wikipedia, the free encyclopedia
(Redirected from Matrix inversion lemma)
Jump to navigation Jump to search

In mathematics, specifically linear algebra, the Woodbury matrix identity – named after Max A. Woodbury[1][2] – says that the inverse of a rank-k correction of some matrix can be computed by doing a rank-k correction to the inverse of the original matrix. Alternative names for this formula are the matrix inversion lemma, Sherman–Morrison–Woodbury formula or just Woodbury formula. However, the identity appeared in several papers before the Woodbury report.[3][4]

The Woodbury matrix identity is[5] (A+UCV)1=A1A1U(C1+VA1U)1VA1,

where A, U, C and V are conformable matrices: A is n×n, C is k×k, U is n×k, and V is k×n. This can be derived using blockwise matrix inversion.

While the identity is primarily used on matrices, it holds in a general ring or in an Ab-category.

The Woodbury matrix identity allows cheap computation of inverses and solutions to linear equations. However, little is known about the numerical stability of the formula. There are no published results concerning its error bounds. Anecdotal evidence[6] suggests that it may diverge even for seemingly benign examples (when both the original and modified matrices are well-conditioned).

Discussion

[edit | edit source]

To prove this result, we will start by proving a simpler one. Replacing A and C with the identity matrix I, we obtain another identity which is a bit simpler: (I+UV)1=IU(I+VU)1V. To recover the original equation from this reduced identity, replace U by A1U and V by CV.

This identity itself can be viewed as the combination of two simpler identities. We obtain the first identity from I=(I+P)1(I+P)=(I+P)1+(I+P)1P, thus, (I+P)1=I(I+P)1P, and similarly (I+P)1=IP(I+P)1. The second identity is the so-called push-through identity[7] (I+UV)1U=U(I+VU)1 that we obtain from U(I+VU)=(I+UV)U after multiplying by (I+VU)1 on the right and by (I+UV)1 on the left.

Putting all together, (I+UV)1=IUV(I+UV)1=IU(I+VU)1V. where the first and second equality come from the first and second identity, respectively.

Special cases

[edit | edit source]

When V,U are vectors, the identity reduces to the Sherman–Morrison formula.

In the scalar case, the reduced version is simply 11+uv=1uv1+vu.

Inverse of a sum

[edit | edit source]

If n = k and U = V = In is the identity matrix, then

(A+B)1=A1A1(B1+A1)1A1=A1A1(AB1+I)1.

Continuing with the merging of the terms of the far right-hand side of the above equation results in Hua's identity (A+B)1=A1(A+AB1A)1.

Another useful form of the same identity is (AB)1=A1+A1B(AB)1,

which, unlike those above, is valid even if B is singular, and has a recursive structure that yields (AB)1=k=0(A1B)kA1 if the spectral radius of A1B is less than one. That is, if the above sum converges then it is equal to (AB)1.

This form can be used in perturbative expansions where B is a perturbation of A.

Variations

[edit | edit source]

Binomial inverse theorem

[edit | edit source]

If A, B, U, V are matrices of sizes n×n, k×k, n×k, k×n, respectively, then (A+UBV)1=A1A1UB(B+BVA1UB)1BVA1

provided A and B + BVA−1UB are nonsingular. Nonsingularity of the latter requires that B−1 exist since it equals B(I + VA−1UB) and the rank of the latter cannot exceed the rank of B.[7]

Since B is invertible, the two B terms flanking the parenthetical quantity inverse in the right-hand side can be replaced with (B−1)−1, which results in the original Woodbury identity.

A variation for when B is singular and possibly even non-square:[7] (A+UBV)1=A1A1U(I+BVA1U)1BVA1.

Formulas also exist for certain cases in which A is singular.[8]

Pseudoinverse with positive semidefinite matrices

[edit | edit source]

In general Woodbury's identity is not valid if one or more inverses are replaced by (Moore–Penrose) pseudoinverses. However, if A and C are positive semidefinite, and V=UH (implying that A+UCV is itself positive semidefinite), then the following formula provides a generalization:[9][10] (XXH+YYH)+=(ZZH)++(IYZ+)HX+HEX+(IYZ+),Z=(IXX+)Y,E=IX+Y(IZ+Z)F1(X+Y)H,F=I+(IZ+Z)YH(XXH)+Y(IZ+Z),

where A+UCUH can be written as XXH+YYH because any positive semidefinite matrix is equal to MMH for some M.

Derivations

[edit | edit source]

Direct proof

[edit | edit source]

The formula can be proven by checking that (A+UCV) times its alleged inverse on the right side of the Woodbury identity gives the identity matrix: (A+UCV)[A1A1U(C1+VA1U)1VA1]={IU(C1+VA1U)1VA1}+{UCVA1UCVA1U(C1+VA1U)1VA1}={I+UCVA1}{U(C1+VA1U)1VA1+UCVA1U(C1+VA1U)1VA1}=I+UCVA1(U+UCVA1U)(C1+VA1U)1VA1=I+UCVA1UC(C1+VA1U)(C1+VA1U)1VA1=I+UCVA1UCVA1=I.

Alternative proofs

[edit | edit source]

Applications

[edit | edit source]

This identity is useful in certain numerical computations where A−1 has already been computed and it is desired to compute (A + UCV)−1. With the inverse of A available, it is only necessary to find the inverse of C−1 + VA−1U in order to obtain the result using the right-hand side of the identity. If C has a much smaller dimension than A, this is more efficient than inverting A + UCV directly. A common case is finding the inverse of a low-rank update A + UCV of A (where U only has a few columns and V only a few rows), or finding an approximation of the inverse of the matrix A + B where the matrix B can be approximated by a low-rank matrix UCV, for example using the singular value decomposition.

This is applied, e.g., in the Kalman filter and recursive least squares methods, to replace the parametric solution, requiring inversion of a state vector sized matrix, with a condition equations based solution. In case of the Kalman filter this matrix has the dimensions of the vector of observations, i.e., as small as 1 in case only one new observation is processed at a time. This significantly speeds up the often real time calculations of the filter.

In the case when C is the identity matrix I, the matrix I+VA1U is known in numerical linear algebra and numerical partial differential equations as the capacitance matrix.[4]

See also

[edit | edit source]

Notes

[edit | edit source]
  1. ^ Max A. Woodbury, Inverting modified matrices, Memorandum Rept. 42, Statistical Research Group, Princeton University, Princeton, NJ, 1950, 4pp Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  2. ^ Max A. Woodbury, The Stability of Out-Input Matrices. Chicago, Ill., 1949. 5 pp. Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  3. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  4. ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  5. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  6. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  7. ^ a b c Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  8. ^ Kurt S. Riedel, "A Sherman–Morrison–Woodbury Identity for Rank Augmenting Matrices with Application to Centering", SIAM Journal on Matrix Analysis and Applications, 13 (1992)659-662, Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). preprint Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  9. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  10. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  • Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
[edit | edit source]
  • Some matrix identities
  • Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).