A framework for trackable and modular rounding error analysis
Abstract
Robust and meaningful rounding error analysis is becoming increasingly challenging as modern numerical computations involve a rapidly evolving variety of arithmetic formats, precisions, and computational kernels. We propose a trackable and modular framework for rounding error analysis, together with a new notation for bounding accumulated rounding errors. The analysis is trackable in the sense that the origin and propagation of individual error terms remain explicit in the final result, and modular in the sense that local error bounds can be replaced according to the arithmetic, precision, or computational kernel without repeating the structural analysis. We also introduce the notation γn=(1−u)−n−1, which provides an alternative to the classical γnh=nu/(1−nu) notation. A key feature is that our notation does not require the restriction nu<1 and conveniently handles errors arising from division. Using block LU factorization as a representative example, we show that the framework distinguishes the error sources of different algorithmic variants and permits improved kernels, such as compensated summation and accurate matrix multiplication, to be incorporated directly into the resulting error bounds.
Related
- A posteriori error estimates for variational inequalities of the second kind in an abstract framework
- ODAT-SE: A modular and parallel framework for simulation-based inverse problems
- A Deep Latent Variable Framework for Jointly Modeling Missingness, Measurement Error, and Heterogeneity
- Asymptotic Rounding Laws for Optimal Thresholds in Secretary Problems
- AI-Integrated Computational Framework for Pronunciation Error Analysis Through Native–Learner Speech Comparison
BibTeX
@misc{carson2026framework,
title = {{A framework for trackable and modular rounding error analysis}},
author = {Erin Carson and Yuxin Ma and Meiyue Shao},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.35420},
eprint = {2610.35420},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.35420},
}
RIS
TY - UNPB
TI - A framework for trackable and modular rounding error analysis
AU - Erin Carson
AU - Yuxin Ma
AU - Meiyue Shao
PY - 2026
DA - 2026/10/26
PB - arXiv
DO - 10.48550/arxiv.2610.35420
UR - https://arxiv.org/abs/2610.35420
AB - Robust and meaningful rounding error analysis is becoming increasingly challenging as modern numerical computations involve a rapidly evolving variety of arithmetic formats, precisions, and computational kernels. We propose a trackable and modular framework for rounding error analysis, together with a new notation for bounding accumulated rounding errors. The analysis is trackable in the sense that the origin and propagation of individual error terms remain explicit in the final result, and modular in the sense that local error bounds can be replaced according to the arithmetic, precision, or computational kernel without repeating the structural analysis. We also introduce the notation γ_n=(1−u)^−n−1, which provides an alternative to the classical γ_n^h=nu/(1−nu) notation. A key feature is that our notation does not require the restriction nu<1 and conveniently handles errors arising from division. Using block LU factorization as a representative example, we show that the framework distinguishes the error sources of different algorithmic variants and permits improved kernels, such as compensated summation and accurate matrix multiplication, to be incorporated directly into the resulting error bounds.
ER -