Optimization Algorithms on Matrix Manifolds

We adopt the metric quotient-manifold framework of Absil, Mahony, and Sepulchre as the geometric backbone for the principal bundle in riva2026random: their Riemannian connection on R*^{n x d}/O(d) supplies the horizontal projection underlying our connection 1-form and horizontal-lift formula.