Definition
Small errors introduced by finite-precision arithmetic when representing real numbers and performing arithmetic operations; while individually tiny, they can accumulate, cancel, or interact with algorithms to produce significant deviations from exact results.
Principle
Principle
Finite word length and binary (or base-b) representation impose quantization and truncation; algorithmic operations (subtraction of similar magnitudes, ill-conditioned transforms, repeated accumulation) amplify these tiny discrepancies into observable error.
Demonstration
Demonstration
Summing a long list of alternating-sign floating-point numbers in single precision yields a biased result compared to double precision; iterative linear solves with poorly conditioned matrices show stagnation or drift due to accumulation of rounding in updates and residual computations.
Misapplication
Misapplication
Blaming model failure solely on round-off without examining truncation, modeling error, or algorithmic instability; increasing precision blindly when algorithmic reformulation (e.g., Kahan summation, preconditioning) would be more effective.
Consequence
Consequence
Recognizing round-off error leads to choices like using appropriate precision, stable algorithms, compensated summation, scaling, and conditioning; ignoring it can produce nonphysical oscillations, loss of significance, or incorrect convergence behavior.
Reversal
Reversal
The reversal is exact arithmetic behavior in which finite precision effects are negligible compared to modeling or discretization errors; numerics then behave deterministically with respect to arithmetic representation.
Boundary
Boundary
Applies to floating-point and fixed-point computations across simulations, optimizations, and linear algebra; excluded are modeling errors, discretization truncation error, and machine-level faults (bit flips) which have distinct causes and remedies.
Semantic Tension
Semantic Tension
Often conflated with truncation error: truncation arises from approximating operators or series, round-off arises from finite representation and arithmetic; both interact and must be balanced when choosing precision and algorithms.
Synthesis
Synthesis
Round-off error is the finite-precision arithmetic noise that can grow through unstable operations or long accumulations; mitigating it requires numerically stable algorithms, appropriate precision, and error-aware software practices.