Some results on sparse matrices

Abstract

A comparison in the context of sparse matrices is made between the Product Form of the Inverse PFI (a form of Gauss-Jordan elimination) and the Elimination Form of the Inverse EFI (a form of Gaussian elimination). The precise relation of the elements of these two forms of the inverse is given in terms of the nontrivial elements of the three matrices L L , U U , U − 1 {U^{ - 1}} associated with the triangular factorization of the coefficient matrix A A ; i.e., A = L ⋅ U A = L \cdot U , where L L is lower triangular and U U is unit upper triangular. It is shown that the zerononzero structure of the PFI always has more nonzeros than the EFI. It is proved that Gaussian elimination is a minimal algorithm with respect to preserving sparseness if the diagonal elements of the matrix A A are nonzero. However, Gaussian elimination is not necessarily minimal if A A has some zero diagonal elements. The same statements hold for the PFI as well. A probabilistic study of fill-in and computing times for the PFI and EFI sparse matrix algorithms is presented. This study suggests quantitatively how rapidly sparse matrices fill up for increasing densities, and emphasizes the necessity for reordering to minimize fill-in.