Solving Block Low-Rank Linear Systems by LU Factorization is Numerically Stable - Archive ouverte HAL
Article Dans Une Revue IMA Journal of Numerical Analysis Année : 2021

Solving Block Low-Rank Linear Systems by LU Factorization is Numerically Stable

Résumé

Block low-rank (BLR) matrices possess a blockwise low-rank property that can be exploited to reduce the complexity of numerical linear algebra algorithms. The impact of these low-rank approximations on the numerical stability of the algorithms in floating-point arithmetic has not previously been analyzed. We present rounding error analysis for the solution of a linear system by LU factorization of BLR matrices. Assuming that a stable pivoting scheme is used, we prove backward stability: the relative backward error is bounded by a modest constant times ε, where the low-rank threshold ε is the parameter controlling the accuracy of the blockwise low-rank approximations. In addition to this key result, our analysis offers three new insights into the numerical behavior of BLR algorithms. First, we compare the use of a global or local low-rank threshold and find that a global one should be preferred. Second, we show that performing intermediate recompressions during the factorization can significantly reduce its cost without compromising numerical stability. Third, we consider different BLR factorization variants and determine the update-compress-factor (UCF) variant to be the best. Tests on a wide range of matrices from various real-life applications show that the predictions from the analysis are realized in practice.
Fichier principal
Vignette du fichier
paper.pdf (793.71 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02496325 , version 1 (02-03-2020)
hal-02496325 , version 2 (07-09-2020)
hal-02496325 , version 3 (07-06-2021)

Identifiants

Citer

Nicholas J Higham, Théo Mary. Solving Block Low-Rank Linear Systems by LU Factorization is Numerically Stable. IMA Journal of Numerical Analysis, 2021, ⟨10.1093/imanum/drab020⟩. ⟨hal-02496325v3⟩
250 Consultations
481 Téléchargements

Altmetric

Partager

More