1Dept. of Mathematics and Computer Science, Bar-Ilan University, Ramat Gan 5200, Israel 2A new approach to error analysis is introduced, based on the observation that many numerical procedures can be interpreted as computations of products in a suitable Lie group. The absence of an additive error law for such procedures is intimately related to the nonexistence of bi-invariant metrics on the relevant groups. Introducing the notion of an almost Inn(G) invariant metric (a left invariant, almost Inn(G) invariant metric can be constructed on an arbitrary matrix Lie group), we show how error analysis can nevertheless be done for such procedures. We illustrate for what we call "scalar calculations without writing to memory"; the Horner algorithm for evaluation of a polynomial is such a calculation, and we give explicit error bounds for a floating point implementation of the Horner algorithm, and demonstrate their usefulness numerically. A left invariant, almost Inn(G) invariant metric on a group induces a metric on a homogeneous space of the group with useful properties for error analysis; treating R as a homogeneous space of the group of affine transformations of R we compute a new metric that unifies absolute and relative error.
Journal of Lie Theory, Tome 11 (2001) no. 1, pp. 231-254
Citer cet article
Jeremy Schiff; Steve Shnider. Lie Groups and Error Analysis. Journal of Lie Theory, Tome 11 (2001) no. 1, pp. 231-254. http://geodesic.mathdoc.fr/item/JOLT_2001_11_1_a12/
@article{JOLT_2001_11_1_a12,
author = {Jeremy Schiff and Steve Shnider},
title = {Lie {Groups} and {Error} {Analysis}},
journal = {Journal of Lie Theory},
pages = {231--254},
year = {2001},
volume = {11},
number = {1},
url = {http://geodesic.mathdoc.fr/item/JOLT_2001_11_1_a12/}
}
TY - JOUR
AU - Jeremy Schiff
AU - Steve Shnider
TI - Lie Groups and Error Analysis
JO - Journal of Lie Theory
PY - 2001
SP - 231
EP - 254
VL - 11
IS - 1
UR - http://geodesic.mathdoc.fr/item/JOLT_2001_11_1_a12/
ID - JOLT_2001_11_1_a12
ER -
%0 Journal Article
%A Jeremy Schiff
%A Steve Shnider
%T Lie Groups and Error Analysis
%J Journal of Lie Theory
%D 2001
%P 231-254
%V 11
%N 1
%U http://geodesic.mathdoc.fr/item/JOLT_2001_11_1_a12/
%F JOLT_2001_11_1_a12
A new approach to error analysis is introduced, based on the observation that many numerical procedures can be interpreted as computations of products in a suitable Lie group. The absence of an additive error law for such procedures is intimately related to the nonexistence of bi-invariant metrics on the relevant groups. Introducing the notion of an almost Inn(G) invariant metric (a left invariant, almost Inn(G) invariant metric can be constructed on an arbitrary matrix Lie group), we show how error analysis can nevertheless be done for such procedures. We illustrate for what we call "scalar calculations without writing to memory"; the Horner algorithm for evaluation of a polynomial is such a calculation, and we give explicit error bounds for a floating point implementation of the Horner algorithm, and demonstrate their usefulness numerically. A left invariant, almost Inn(G) invariant metric on a group induces a metric on a homogeneous space of the group with useful properties for error analysis; treating R as a homogeneous space of the group of affine transformations of R we compute a new metric that unifies absolute and relative error.