Abstract:Advancements in computer hardware have made it possible to utilize low- and mixed-precision arithmetic for enhanced computational efficiency. In practical predictive modeling, however, it is vital to quantify uncertainty due to rounding along other sources like measurement, sampling, and numerical discretization. Traditional deterministic rounding uncertainty analysis (DBEA) assumes that the rounding errors equal the unit roundoff $u$. However, despite providing strong guarantees, DBEA severely overestimates rounding uncertainty. This work presents a novel probabilistic rounding uncertainty analysis called VIBEA. By treating rounding errors as i.i.d. random variables and leveraging concentration inequalities, VIBEA provides high-confidence estimates for rounding uncertainty using higher-order rounding error statistics. The presented framework is valid for all problem sizes $n$, unlike DBEA, which necessitates $nu<1$. Further, it can account for the potential cancellation of rounding errors, resulting in rounding uncertainty estimates that grow slowly with $n$. We show that for $n>n_c(u)$, VIBEA produces tighter estimates for rounding uncertainty than DBEA. We also show that VIBEA improves existing probabilistic rounding uncertainty analysis techniques for $n\ge3$ by using higher-order rounding error statistics. We conduct numerical experiments on random vector dot products, a linear system solution, and a stochastic boundary value problem. We show that quantifying rounding uncertainty along with traditional sources (numerical discretization, sampling, parameters) enables a more efficient allocation of computational resources, thereby balancing computational efficiency with predictive accuracy. This study is a step towards a comprehensive mixed-precision approach that improves model reliability and enables budgeting of computational resources in predictive modeling and decision-making.

Stochastic Rounding 2.0, with a View towards Complexity Analysis

Probabilistic error analysis of limited-precision stochastic rounding

Error Analysis of Sum-Product Algorithms under Stochastic Rounding

A Probabilistic Approach to Floating-Point Arithmetic

Bounds on non-linear errors for variance computation with stochastic rounding

Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations

Effects of round-to-nearest and stochastic rounding in the numerical solution of the heat equation in low precision

Stochastic Rounding Implicitly Regularizes Tall-and-Thin Matrices

Randomized Rounding Approaches to Online Allocation, Sequencing, and Matching

Variance-informed Rounding Uncertainty Analysis for Floating-point Statistical Models

On the influence of stochastic roundoff errors and their bias on the convergence of the gradient descent method with low-precision floating-point computation

Randomized Rounding for Routing and Covering Problems: Experiments and Improvements

Probabilistic Robustness Analysis—Risks, Complexity, and Algorithms

Estimating Counts Through an Average Rounded to the Nearest Non-negative Integer and its Theoretical & Practical Effects

A Randomized Rounding Algorithm for Sparse PCA

Probabilistic Rounding Error Analysis of Modified Gram–Schmidt

What You Will Gain By Rounding: Theory and Algorithms for Rounding Rank

Formalization of a Stochastic Approximation Theorem

Rational Arithmetic with a Round-Off

Inexactness and Correction of Floating-Point Reciprocal, Division and Square Root

Stochastic Probabilistic Programs