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.

Effects of Improved Floor Function on the Accuracy of Bilinear Interpolation Algorithm

Low Cost Design for Elementary Function Approximation Based on Piecewise Quadratic Interpolation

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

Evaluation of Rounding Functions in Nearest-Neighbor Interpolation

A novel IEEE rounding algorithm for high-speed floating-point multipliers

Efficient Interpolation Scheme for Multilevel Fast Multipole Algorithm

Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version

Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function

Modified Affine Arithmetic is More Accurate Than Centered Interval Arithmetic or Affine Arithmetic

A Fine-Interpolation-based Parametric Interpolation Method with a Novel Real-Time Look-Ahead Algorithm

Area-Efficient Iterative Logarithmic Approximate Multipliers for IEEE 754 and Posit Numbers

Bernstein Polynomial Composition Through Interpolation and Its Applications in Curves and Surfaces

Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations

Implementing Bilinear Interpolation with Quantum Images

GPU-accelerated generation of correctly-rounded elementary functions

Computing machine-efficient polynomial approximations

On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers

Optimization for Software Implementation of Fractional Calculus Numerical Methods in an Embedded System

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

Improved Laguerre Spectral Methods with Less Round-off Errors and Better Stability

Mixed-precision finite element kernels and assembly: Rounding error analysis and hardware acceleration