Abstract:The assumption of real-number arithmetic, which is at the basis of conventional geometric algorithms, has been seriously challenged in recent years, since digital computers do not exhibit such capability. A geometric predicate usually consists of evaluating the sign of some algebraic expression. In most cases, rounded computations yield a reliable result, but sometimes rounded arithmetic introduces errors which may invalidate the algorithms. The rounded arithmetic may produce an incorrect result only if the exact absolute value of the algebraic expression is smaller than some (small) varepsilon, which represents the largest error that may arise in the evaluation of the expression. The threshold varepsilon depends on the structure of the expression and on the adopted computer arithmetic, assuming that the input operands are error-free. A pair (arithmetic engine,threshold) is an "arithmetic filter". In this paper we develop a general technique for assessing the efficacy of an arithmetic filter. The analysis consists of evaluating both the threshold and the probability of failure of the filter. To exemplify the approach, under the assumption that the input points be chosen randomly in a unit ball or unit cube with uniform density, we analyze the two important predicates "which-side" and "insphere". We show that the probability that the absolute values of the corresponding determinants be no larger than some positive value V, with emphasis on small V, is Theta(V) for the which-side predicate, while for the insphere predicate it is Theta(V^(2/3)) in dimension 1, O(sqrt(V)) in dimension 2, and O(sqrt(V) ln(1/V)) in higher dimensions. Constants are small, and are given in the paper.

Roundoff Noise Properties of Lattice Filters Employing Floating-Point Arithmetic

A Schur-form Based Efficient Structure for Finite Precision Implementation of Digital Filters

A recursive adaptive lattice filters for impulsive signals

Optimal Algorithm for FIR Digital Filter with Canonical Signed Digit Coefficients

Achieving the Dirty Paper Channel Capacity with Scalar Lattices and Probabilistic Shaping

Lossy filter with uniform Q-factors by optimization method

On the best lattice quantizers

Performance Analysis of A New Structure for Digital Filter Implementation

Quantization Effect on Phase Response and Its Application to Multiplierless ANC

General lattice wave digital filter with phase compensation scheme

Lattice Approximations to NLS

A high-speed fixed width floating-point multiplier using residue logarithmic number system algorithm

Lms and Frls 2-D Lattice Filters

Fast construction of higher order digital nets for numerical integration in weighted Sobolev spaces

Lattice Form Adaptive Infinite Impulse Response Filtering Algorithm for Active Noise Control.

A Fractional- $N$ PLL With Space–Time Averaging for Quantization Noise Reduction

A Matrix Factorization-Based Structure for Digital Filters

Efficient Weighted Lattice Rules with Applications to Finance

Richardson extrapolation allows truncation of higher order digital nets and sequences

A Probabilistic Analysis of the Power of Arithmetic Filters

A Design Framework for Hardware-Efficient Logarithmic Floating-Point Multipliers