An Interval Arithmetic for Robust Error Estimation

07/12/2021
by   Oliver Flatt, et al.
0

Interval arithmetic is a simple way to compute a mathematical expression to an arbitrary accuracy, widely used for verifying floating-point computations. Yet this simplicity belies challenges. Some inputs violate preconditions or cause domain errors. Others cause the algorithm to enter an infinite loop and fail to compute a ground truth. Plus, finding valid inputs is itself a challenge when invalid and unsamplable points make up the vast majority of the input space. These issues can make interval arithmetic brittle and temperamental. This paper introduces three extensions to interval arithmetic to address these challenges. Error intervals express rich notions of input validity and indicate whether all or some points in an interval violate implicit or explicit preconditions. Movability flags detect futile recomputations and prevent timeouts by indicating whether a higher-precision recomputation will yield a more accurate result. Andinput search restricts sampling to valid, samplable points, so they are easier to find. We compare these extensions to the state-of-the-art technical computing software Mathematica, and demonstrate that our extensions are able to resolve 60.3 fewer completely indeterminate results, and avoid 64 cases of fatal error.

READ FULL TEXT
research
11/09/2016

Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic

Arb is a C library for arbitrary-precision interval arithmetic using the...
research
10/12/2021

A Cross-Platform Benchmark for Interval Computation Libraries

Interval computation is widely used to certify computations that use flo...
research
12/02/2019

A Probabilistic Approach to Floating Point Arithmetic

Finite-precision floating point arithmetic unavoidably introduces roundi...
research
12/09/2021

The Fundamental Limits of Interval Arithmetic for Neural Networks

Interval analysis (or interval bound propagation, IBP) is a popular tech...
research
05/09/2017

Computing the Lambert W function in arbitrary-precision complex interval arithmetic

We describe an algorithm to evaluate all the complex branches of the Lam...
research
12/26/2018

Image Encryption Algorithm Using Natural Interval Extensions

It is known that chaotic systems have widely been used in cryptography. ...
research
03/26/2020

Benchmarking Software Model Checkers on Automotive Code

This paper reports on our experiences with verifying automotive C code b...

Please sign up or login with your details

Forgot password? Click here to reset