Improved error bounds for inner products in floating-point arithmetic - Inria - Institut national de recherche en sciences et technologies du numérique
Journal Articles SIAM Journal on Matrix Analysis and Applications Year : 2013

Improved error bounds for inner products in floating-point arithmetic

Abstract

Given two floating-point vectors $x,y$ of dimension $n$ and assuming rounding to nearest, we show that if no underflow or overflow occurs, any evaluation order for inner product returns a floating-point number $\hat r$ such that $|{\hat r}-x^Ty| \le nu|x|^T|y|$ with $u$ the unit roundoff. This result, which holds for any radix and with no restriction on $n$, can be seen as a generalization of a similar bound given in~\cite{Rump12} for recursive summation in radix $2$, namely $|{\hat r}- x^Te| \le (n-1)u|x|^Te$ with $e=[1,1,\ldots,1]^T$. As a direct consequence, the error bound for the floating-point approximation $\hat C$ of classical matrix multiplication with inner dimension $n$ simplifies to $|\hat{C}-AB|\le nu|A||B|$.
Fichier principal
Vignette du fichier
JeannerodRump2013.pdf (141.86 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00840926 , version 1 (03-07-2013)

Identifiers

Cite

Claude-Pierre Jeannerod, Siegfried M. Rump. Improved error bounds for inner products in floating-point arithmetic. SIAM Journal on Matrix Analysis and Applications, 2013, 34 (2), pp.338-344. ⟨10.1137/120894488⟩. ⟨hal-00840926⟩
186 View
1138 Download

Altmetric

Share

More