Improved backward error bounds for LU and Cholesky factorizations - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue SIAM Journal on Matrix Analysis and Applications Année : 2014

Improved backward error bounds for LU and Cholesky factorizations

Résumé

Assuming standard floating-point arithmetic (in base $\beta$, precision $p$) and barring underflow and overflow, classical rounding error analysis of the LU or Cholesky factorization of an $n\times n$ matrix $A$ provides backward error bounds of the form $|\Delta A| \le \gamma_n |\hat L| |\hat U|$ or $|\Delta A| \le \gamma_{n+1} |\hat R^T| |\hat R|$. Here, $\hat L$, $\hat U$, and $\hat R$ denote the computed factors, and $\gamma_n$ is the usual fraction $nu/(1-nu) = nu + {\mathcal O}(u^2)$ with $u$ the unit roundoff. Similarly, when solving an $n\times n$ triangular system $Tx = b$ by substitution, the computed solution $\hat x$ satisfies $(T+\Delta T)\hat x = b$ with $|\Delta T| \le \gamma_n |T|$. All these error bounds contain quadratic terms in $u$ and limit $n$ to satisfy either $nu<1$ or $(n+1)u < 1$. We show in this paper that the constants $\gamma_n$ and $\gamma_{n+1}$ can be replaced by $nu$ and $(n+1)u$, respectively, and that the restrictions on $n$ can be removed. To get these new bounds the main ingredient is a general framework for bounding expressions of the form $|\rho-s|$, where $s$ is the exact sum of a floating-point number and $n-1$ real numbers, and where $\rho$ is a real number approximating the computed sum $\hat s$. By instantiating this framework with suitable values of $\rho$, we obtain improved versions of the well-known Lemma~8.4 in Higham's ASNA~\cite[p.~142]{Hig02} (used for analyzing triangular system solving and LU factorization) and of its Cholesky variant~\cite[solution to Problem~10.3]{Hig02}. All our results hold for rounding to nearest with any tie-breaking strategy and no matter what the order of summation.
Fichier principal
Vignette du fichier
RumpJeannerod14.pdf (203.45 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00841361 , version 1 (04-07-2013)
hal-00841361 , version 2 (23-04-2014)

Identifiants

Citer

Siegfried M. Rump, Claude-Pierre Jeannerod. Improved backward error bounds for LU and Cholesky factorizations. SIAM Journal on Matrix Analysis and Applications, 2014, 35 (2), pp.684-698. ⟨10.1137/130927231⟩. ⟨hal-00841361v2⟩
268 Consultations
705 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More