Cramér-Rao Bound for Lie Group Parameter Estimation With Euclidean Observations and Unknown Covariance Matrix

This article addresses the problem of computing a Cramér-Rao bound when the likelihood of Euclidean observations is parameterized by both unknown Lie group (LG) parameters and covariance matrix. To achieve this goal, we leverage the LG structure of the space of positive definite matrices. In this way, we can assemble a global LG parameter that lies on the product of the two groups, on which LG's intrinsic tools can be applied. From this, we derive an inequality on the intrinsic error, which can be seen as the equivalent of the Slepian-Bangs formula on LGs. Subsequently, we obtain a closed-form expression of this formula for Euclidean observations. The proposed bound is computed and implemented on two real-world problems involving observations lying in <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$\mathbb{R}^{p}$</tex-math></inline-formula>, dependent on an unknown LG parameter and an unknown noise covariance matrix: the Wahba's estimation problem on <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$SE(3)$</tex-math></inline-formula>, and the inference of the pose in <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$SE(3)$</tex-math></inline-formula> of a camera from pixel detections.