HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

On relative errors of floating-point operations: optimal bounds and applications

Abstract : Rounding error analyses of numerical algorithms are most often carried out via repeated applications of the so-called standard models of floating-point arithmetic. Given a round-to-nearest function fl and barring underflow and overflow, such models bound the relative errors E 1 (t) = |t − fl(t)|/|t| and E 2 (t) = |t − fl(t)|/|fl(t)| by the unit roundoff u. This paper investigates the possibility and the usefulness of refining these bounds, both in the case of an arbitrary real t and in the case where t is the exact result of an arithmetic operation on some floating-point numbers. We show that E 1 (t) and E 2 (t) are optimally bounded by u/(1 + u) and u, respectively, when t is real or, under mild assumptions on the base and the precision, when t = x ± y or t = xy with x, y two floating-point numbers. We prove that while this remains true for division in base β > 2, smaller, attainable bounds can be derived for both division in base β = 2 and square root. This set of optimal bounds is then applied to the rounding error analysis of various numerical algorithms: in all cases, we obtain significantly shorter proofs of the best-known error bounds for such algorithms, and/or improvements on these bounds themselves.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

Contributor : Claude-Pierre Jeannerod Connect in order to contact the contributor
Submitted on : Thursday, November 3, 2016 - 9:37:58 AM
Last modification on : Monday, May 16, 2022 - 4:58:02 PM
Long-term archiving on: : Saturday, February 4, 2017 - 12:44:11 PM


Files produced by the author(s)




Claude-Pierre Jeannerod, Siegfried M. Rump. On relative errors of floating-point operations: optimal bounds and applications. Mathematics of Computation, American Mathematical Society, 2018, 87, pp.803-819. ⟨10.1090/mcom/3234⟩. ⟨hal-00934443v4⟩



Record views


Files downloads