Everyday Apparatus

Concept

Logarithm Map on Lie Groups

The logarithm map on a Lie group is the operation that takes an element of the group and returns a corresponding element in its associated Lie algebra. In practice one imagines the group as a smooth surface of transformations, while the algebra lives in a flat tangent space at the identity; the logarithm map moves a point from the curved surface down to this linear space, often by applying the matrix logarithm when the group is represented by matrices.

This mapping matters because it lets us treat nearby group elements as vectors that can be added, scaled, and compared using ordinary arithmetic. It provides a natural way to measure differences, average transformations, and perform gradient‑based optimization on spaces that are otherwise curved. As a result, the logarithm map appears in any field that works with rotations or rigid motions—robotics for pose interpolation, computer vision for camera calibration, aerospace engineering for attitude control, and theoretical physics wherever continuous symmetry groups are studied.

1 read touches this

  • All That Machinery Was a Workaround

    “the pairwise invariant w_{ij}=\log(g_i^{-1} g_j) is intrinsic rather than designed… the attention score … uses the algebra norm of the relative pose”