Error Functions and Martingales in Stochastic Rounding - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2024

Error Functions and Martingales in Stochastic Rounding

Résumé

The quality of numerical computations can be measured through their forward error, for which finding good error bounds is challenging in general. For several algorithms and using stochastic rounding (SR), probabilistic analysis has been shown to be an effective alternative for obtaining tight error bounds. This analysis considers the distribution of errors and evaluates the algorithm's performance on average. Using martingales and the Azuma-Hoeffding inequality, it provides error bounds that are valid with a certain probability and in $\mathcal{O}(\sqrt{n}u)$ instead of deterministic worst-case bounds in $\mathcal{O}(nu)$, where $n$ is the number of operations and $u$ is the unit roundoff. In this paper, we present a general method that automatically constructs a martingale for any computation scheme with multi-linear errors based on additions, subtractions, and multiplications. We apply this generalization to algorithms previously studied with SR, such as pairwise summation and the Horner algorithm, and prove equivalent results. We also analyze a previously unstudied algorithm, Karatsuba polynomial multiplication, which illustrates that the method can handle reused intermediate computations.
Fichier principal
Vignette du fichier
main.pdf (455.24 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04787542 , version 1 (17-11-2024)
hal-04787542 , version 2 (18-11-2024)

Identifiants

  • HAL Id : hal-04787542 , version 1

Citer

Pablo de Oliveira Castro, El-Mehdi El Arar, Eric Petit, Devan Sohier. Error Functions and Martingales in Stochastic Rounding. 2024. ⟨hal-04787542v1⟩
57 Consultations
6 Téléchargements

Partager

More