REVIEW 40 cited by
A micro Lie theory for state estimation in robotics
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
A micro Lie theory for state estimation in robotics
read the original abstract
A Lie group is an old mathematical abstract object dating back to the XIX century, when mathematician Sophus Lie laid the foundations of the theory of continuous transformation groups. As it often happens, its usage has spread over diverse areas of science and technology many years later. In robotics, we are recently experiencing an important trend in its usage, at least in the fields of estimation, and particularly in motion estimation for navigation. Yet for a vast majority of roboticians, Lie groups are highly abstract constructions and therefore difficult to understand and to use. This may be due to the fact that most of the literature on Lie theory is written by and for mathematicians and physicists, who might be more used than us to the deep abstractions this theory deals with. In estimation for robotics it is often not necessary to exploit the full capacity of the theory, and therefore an effort of selection of materials is required. In this paper, we will walk through the most basic principles of the Lie theory, with the aim of conveying clear and useful ideas, and leave a significant corpus of the Lie theory behind. Even with this mutilation, the material included here has proven to be extremely useful in modern estimation algorithms for robotics, especially in the fields of SLAM, visual odometry, and the like. Alongside this micro Lie theory, we provide a chapter with a few application examples, and a vast reference of formulas for the major Lie groups used in robotics, including most jacobian matrices and the way to easily manipulate them. We also present a new C++ template-only library implementing all the functionality described here.
Forward citations
Cited by 40 Pith papers
-
CaLiSym: Learning Symplectic Dynamics of Real-World Systems through Structured Canonical Lifts
Exact symplectic learning extends to open robotic systems via an algebraic structured canonical lift, improving OOD autoregressive prediction on pendulum, quadrotor, and quadruped with parameter-efficient SympNets.
-
Motor Angular Speed Preintegration for Multirotor UAV State Estimation
Motor angular speed preintegration yields a new factor for factor-graph UAV odometry that, when fused with LiDAR, improves position accuracy 28% and velocity accuracy 65% over LIO-SAM while lowering measurement lag.
-
Triangle Splatting SLAM
Triangle Splatting SLAM performs online tracking and mapping via differentiable rendering of triangle soups in RGB-D data, converts to connected meshes on-the-fly, and reports better 3D geometry than baselines on Repl...
-
Terminal Matters: Kinodynamic Planning with a Terminal Cost and Learned Uncertainty in Belief State-Cost Space
KiTe augments AO-RRT with terminal costs and belief-space Wasserstein minimization to improve goal-reaching reliability under learned uncertainty while preserving asymptotic optimality.
-
Terminal Matters: Kinodynamic Planning with a Terminal Cost and Learned Uncertainty in Belief State-Cost Space
KiTe augments sampling-based kinodynamic planning with terminal costs in belief space, proving asymptotic optimality preservation and improved goal-reaching probability bounds via Wasserstein minimization, supported b...
-
ReActor: Reinforcement Learning for Physics-Aware Motion Retargeting
ReActor jointly optimizes motion retargeting and RL policy training with an approximate gradient to generate physically consistent robot motions from human references using only sparse body correspondences.
-
Lie Group Formulation of Recursive Dynamics Algorithms of Higher Order for Floating-Base Robots
Lie-group recursive dynamics algorithms are extended to higher-order time derivatives for floating-base robots, with quadratic computational scaling shown versus exponential for automatic differentiation on a 12-DoF a...
-
Factor Graph-Based Shape Estimation for Continuum Robots via Magnus Expansion
A factor graph framework estimates continuum robot shapes using Geometric Variable Strain coefficients constrained by Magnus expansion kinematics, achieving mean position errors below 2 mm in simulation.
-
GaussianFlow SLAM: Monocular Gaussian Splatting SLAM Guided by GaussianFlow
GaussianFlow SLAM aligns projected Gaussian motion with optical flow to regularize monocular 3D Gaussian splatting SLAM, yielding better map quality and pose accuracy than prior methods.
-
Complementarity by Construction: A Lie-Group Approach to Solving Quadratic Programs with Linear Complementarity Constraints
Complementarity constraints are treated as a Lie group under relaxation to enable parameterization that satisfies them by construction in LCQP solvers.
-
Why does Deep Learning Improve Visual SLAM?
Learned 2D data association and uncertainty—not recurrent architectures—drive the performance gains of deep visual SLAM, as shown by integrating them into classical ORB-SLAM3.
-
DIVO: Continuous-time DVL-Inertial-Visual Odometry for Unmanned Underwater Vehicles
Continuous-time GP fusion of asynchronous DVL, stereo and IMU with a learned SuperPoint-LightGlue frontend yields higher accuracy and full trajectory coverage than SOTA underwater odometry systems.
-
Observability and Consistency Analysis for Visual-Inertial Navigation with Anchored Feature Parameterizations
Anchored feature parameterizations in VINS make the unobservable subspace independent of landmark states, improving consistency over global representations in simulations and TUM-VI experiments.
-
EquiDexFlow: Contact-Grounded SE(3)-Equivariant Dexterous Grasp Generative Flows
EquiDexFlow is an SE(3)-equivariant flow-matching model for generating contact-grounded dexterous grasps that enforces surface contact and friction-cone compliance by architectural construction.
-
Hand-centric Human-to-Robot Trajectory Transfer from Video Demonstrations via Open-World Contact Localization
HOWTransfer recovers 3D hand motion from video, localizes contact intervals via hand-object cues, generates multi-modal grasp hypotheses, and edits trajectories to produce diverse robot-executable motions achieving 86...
-
Breaking Time: A Fully Gaussian Framework for Distributed and Continuous-Time SLAM
G-solver combines Gaussian Belief Propagation and Gaussian Process priors into a fully Gaussian distributed solver for continuous-time SLAM that handles heterogeneous asynchronous sensors and multi-camera setups witho...
-
Learning Contact Representation for Leg Odometry
Self-supervised contact detection for legged robot odometry using joint encoders outperforms supervised methods that require force sensors.
-
PixVOD: Pixel-Distributed Direct Visual Odometry and Depth Estimation
A pixel-distributed direct visual odometry and depth estimation method using Gaussian Belief Propagation with keyframe anchoring for on-sensor consensus.
-
Let the Dynamics Flow: Stable Flow Matching Dynamical Systems
SFMDS parametrizes dynamical systems via flow matching with soft penalty or hard architectural constraints to enforce stability while preserving multimodality, extended to Lie groups.
-
The Lie We Tell: Correcting the Euclidean Fallacy in Vision Language Action Policies via Score Matching on Tangent Space
Lie Diffuser Actor corrects Euclidean representation of SE(3) poses in diffusion VLA policies via tangent-space score matching on left-invariant SDEs with exponential retraction, yielding +7.3% task length on CALVIN ABC→D.
-
Operator-norm bounds and a quadratic lower-growth example for the special Euclidean algebra se(3)
Proves ||exp(theta)||_op <= 1 + ||theta||_F on se(3) and constructs J* with L_J*(R; se(3)) >= 0.0505 R^2 for R >= 2, showing intermediate quadratic growth.
-
LAST: Bridging Vision-Language and Action Manifolds via Gromov-Wasserstein Alignment
LAST linearizes action manifolds with Lie-algebraic mapping and discretizes them into approximately isotropic charts to align with VL semantic geometry via Gromov-Wasserstein distance.
-
OCELOT: Odometry and Contact Estimation for Legged Robots
OCELOT fuses a debounced force GMM-FSM and kinematic GLRT into an ESEKF to produce accurate leg odometry from IMU, encoders and force sensors while explicitly detecting and rejecting slippage on diverse terrains.
-
FUSE: A Framework for Unified State Estimation in Vehicular and Robotic SLAM Systems
FUSE organizes SLAM state estimation around four core interfaces to decouple design choices, demonstrated via a LiDAR-IMU instantiation that achieves 1.626 m trajectory error (7.9% better than Faster-LIO) on a 418 m s...
-
FUSE: A Framework for Unified State Estimation in Vehicular and Robotic SLAM Systems
FUSE decouples SLAM state-estimation components via a standard interface and demonstrates the approach with a LiDAR-IMU instantiation that achieves 1.626 m error and 7.9% improvement over Faster-LIO on a 418 m corridor loop.
-
FUSE: A Framework for Unified State Estimation in Vehicular and Robotic SLAM Systems
FUSE introduces a unified interface for state estimation in SLAM that separates key design choices, with a LiDAR-IMU example showing 1.626m error on a 418m sequence, 7.9% better than Faster-LIO.
-
Exact Higher-Order Derivatives for SE(3) via Analytical/AD Methods
Hybrid analytical/AD method for SE(3) NLLs delivers exact Hessians 5x faster than finite-differencing while matching nested AD to machine precision, plus a fix for origin NaNs in the scalar basis.
-
State and Trajectory Estimation of Tensegrity Robots via Factor Graphs and Chebyshev Polynomials
Factor graphs and Chebyshev polynomials enable robust continuous-time state and trajectory estimation for tensegrity robots by fusing RGB-D camera and cable sensor data.
-
SCC-Loc: A Unified Semantic Cascade Consensus Framework for UAV Thermal Geo-Localization
SCC-Loc achieves 9.37 m mean localization error for UAV thermal images against satellite references, a 7.6-fold gain inside the 5 m threshold over prior methods, using a shared DINOv2 backbone plus three new semantic-...
-
A Robust Approach for LiDAR-Inertial Odometry Without Sensor-Specific Modeling
A sensor-agnostic LiDAR-inertial odometry method using simplified IMU integration and novel regularization on scan-to-map registration that maintains consistent performance across diverse sensors and platforms.
-
Bundle Adjustment in the Eager Mode
Introduces an eager-mode PyTorch BA library with GPU-accelerated sparse ops claiming 18.5-23x speedups over GTSAM, g2o, and Ceres.
-
D-CLIPSE: Distributed Consensus-based Localization with Passive Listening on Shared State Exchange
D-CLIPSE reaches near-centralized multi-robot localization accuracy and consistency by consensus on shared states only, plus passive listening of preintegrated odometry exchanges.
-
Improved Representation of Matrix Lie Group Operations through Tensor Notation
Introduces tensor notation with Einstein summation to clarify matrix Lie group derivatives and operations in gradient-based estimation frameworks.
-
Temporally Consistent Object 6D Pose Estimation for Robot Control
A factor graph that fuses motion models with uncertainty-aware pose measurements improves temporal consistency and benchmark scores for vision-based robot control.
-
Iterated Invariant EKF for Quadruped Robot Odometry
An IterIEKF algorithm for quadruped odometry, relying on proprioceptive kinematic constraints, outperforms vanilla IEKF and SO(3) Kalman filters in accuracy and consistency on simulations and real datasets.
-
BIEVR-LIO: Robust LiDAR-Inertial Odometry through Bump-Image-Enhanced Voxel Maps
BIEVR-LIO improves robustness of LiDAR-inertial odometry by representing maps as voxel-wise oriented height images and sampling points only from geometrically informative regions.
-
Adapting Neural Robot Dynamics on the Fly for Predictive Control
A hybrid offline-online approach adapts neural robot dynamics models via low-rank second-order updates to enable robust predictive tracking control on quadrotors in novel conditions.
-
Iterated Invariant EKF for 3D Landmark-Aided Inertial Navigation
IterIEKF is formulated for landmark-based inertial 3D localization for the first time and shown in simulations to outperform SO(3)-EKF, iterated SO(3)-EKF, and IEKF on accuracy and consistency.
-
Landscape-Awareness for Geometric View Diffusion Model
A score-based method is introduced to guide optimization in geometric view diffusion models toward correct viewpoints, improving convergence and sample efficiency over naive multistart strategies.
-
Joint Magnetometer-IMU Calibration via Maximum A Posteriori Estimation
A MAP-based joint calibration method for magnetometer-IMU pairs achieves 20-30% lower RMSE in parameters than two state-of-the-art methods, calibrates 30 pairs in under two minutes, and supports comparable navigation ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.