Block elimination 2026-10-14
Write a linear system as and , with an invertible matrix. Solving the first equation for and substituting in the second givesThus the Schur complement is the coefficient matrix remaining after the variables have been eliminated. When it is an invertible matrix, solve the reduced linear system for and recover . In computation, expressions such as mean solving with each column of , using the same LU decomposition or Cholesky decomposition when applicable.
For the example under block matrix inverse and right-hand side , take and . Since , the reduced equation is . Back substitution givesThe original equations return , and , respectively. The reduction retained the influence of on through the correction .
A short proof outline also explains whether is an invertible matrix: the exact matrix factorizationhas invertible matrices on the outside. Therefore is an invertible matrix precisely when the central block diagonal matrix is one. Reversing the factors gives the block matrix inverse, while taking determinants gives the Schur complement determinant identity.
Block matrix inverse Created 2026-09-24 Updated 2026-10-14
A block matrix inverse expresses the matrix inverse in terms of smaller matrices. Partition a square matrix over a field asIf is an invertible matrix, define its Schur complement . Then is an invertible matrix exactly when is an invertible matrix, andThe order of the matrix products matters. In particular, the lower-right block is , rather than generally : the coupling through and changes the response.[ref]
Convex Optimization by Stephen Boyd and Lieven Vandenberghe. Appendix A.5.5, printed p. 650: inverse of a symmetric block matrix; §C.4.1, printed p. 673: elimination for general blocks
For an original example, takeThe Schur complement is . Substitution gives the concise answerMultiplying in either order gives the identity matrix; the lower-right entry is , whereas . The difference records the feedback through the two eliminated variables.
Often the desired output is a solution of a linear system, rather than every entry of a matrix inverse. Block elimination solves with and then with , recovering the eliminated variables by back substitution. Reusing an LU decomposition of avoids explicitly forming . A favourable block diagonal matrix or tridiagonal matrix block can make this useful; merely partitioning an unstructured dense matrix does not guarantee a faster solve.[ref]
Convex Optimization by Stephen Boyd and Lieven Vandenberghe. §C.4.1, printed pp. 672–675: Algorithm C.4, factor-solve interpretation and dense complexity comparison
Choosing a different block pivot 2026-10-14
An invertible matrix need not have an invertible chosen diagonal block. For example,has singular matrices as both one-by-one diagonal blocks. Neither diagonal-block formula applies in that partition. Interchanging the two rows produces the identity matrix and a usable pivot element. This is why a failed block pivot is not proof that the full matrix is a singular matrix; Pivoted LU decomposition changes the order before eliminating.
Conversely, invertible diagonal blocks do not suffice: has but Schur complement , so it is a singular matrix. Both hypotheses in the block matrix inverse formula have work to do.
If a linear smoother has fitted vector , its residual after fitting without observation isThe identity follows from a block matrix inverse or a rank-one inverse update.
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 205 5 b Solution Created 2026-09-24 Updated 2026-09-25
The leave-one-out residual identity for a linear smoother, obtained from the block matrix inverse or the Sherman–Morrison formula, isHence
Compute once the spectral decomposition in operations and the vector in . For each , setThen computeBoth calculations take operations per tuning parameter, after which the displayed leave-one-out formula costs . All scores therefore require operations.
Schur complement Created 2026-09-24 Updated 2026-10-14
For a block matrix with an invertible matrix, the Schur complement of in is . It is the effective coefficient matrix for the remaining variables after block elimination. The definition requires invertibility of , but not of or . Its size is that of , even when and are rectangular matrices.
In the original example under block matrix inverse, becomes because changing the remaining variable also changes the two variables solved through . This is what makes a Schur complement more informative than simply deleting rows and columns. It retains their mediated effect, and its matrix inverse is the corresponding block of when the block matrix inverse exists.
The same elimination appears when minimizing a quadratic form. The Schur complement as a minimized quadratic form gives a geometric example; the Schur complement determinant identity gives an exact test for an invertible matrix.
Schur complement determinant identity 2026-10-14
When is an invertible matrix, the factorization in block elimination has outer triangular factors with determinant one. Hence , without a symmetry assumption. For the original example under block matrix inverse, this gives . An invertible block therefore reduces the question of whether the full matrix is an invertible matrix to the smaller Schur complement; a singular makes a singular matrix.
