LSU factorization
Gennadi Malaschonok
TL;DR
The paper generalizes LU factorization to LSU for matrices over a commutative domain and its quotient field by constructing a sparse factor $S$ from surrounding minors, achieving $A=LSU$ with $L$ lower and $U$ upper triangular. It develops a dichotomous, block-recursive algorithm that also computes auxiliary factors $M$ and $W$ and the transformed $\widehat{S}$, yielding a pseudoinverse when $A$ is singular. The authors prove correctness, derive a matrix-multiplication–level complexity $t(n)\sim \sigma n^{\beta}$ (with $\sigma$ depending on constants and the field size) and illustrate the method with a detailed $4\times4$ example. They argue LSU is particularly advantageous for sparse matrices and for matrices over integers or polynomials where traditional LU can be less effective or inapplicable.
Abstract
The matrix LU factorization algorithm is a fundamental algorithm in linear algebra. We propose a generalization of the LU and LEU algorithms to accommodate the case of a commutative domain and its field of quotients. This algorithm decomposes any matrix A into a product of three matrices A=LSU, where each element of the triangular matrices L and U is a minor of matrix A. The number of non-zero elements in matrix S is equal to rank(A), and each of them is the inverse of the product of a specific pair of matrix A minors. The algorithm's complexity is equivalent to that of matrix multiplication.
