The injectivity radius of the compact Stiefel manifold under the Euclidean metric

2024/05/03 by Zimmermann, Ralf, Stoye, Jakob · 2 citations
#15B10 #15B57 #53C30 #53C80 #65F99 #Differential Geometry (math.DG) #FOS: Mathematics #Numerical Analysis (math.NA)

paper · doi:10.48550/arxiv.2405.02268

Abstract

The injectivity radius of a manifold is an important quantity, both from a theoretical point of view and in terms of numerical applications. It is the largest possible radius within which all geodesics are unique and length-minimizing. In consequence, it is the largest possible radius within which calculations in Riemannian normal coordinates are well-defined. A matrix manifold that arises frequently in a wide range of practical applications is the compact Stiefel manifold of orthogonal p-frames in ℝⁿ. We observe that geodesics on this manifold are space curves of constant Frenet curvatures. Using this fact, we prove that the injectivity radius on the Stiefel manifold under the Euclidean metric is π.

Cited by

• Shortest Geodesic Loops, Sectional Curvature, and Injectivity Radius of the Stiefel Manifold
• Gradient descent avoids strict saddles with a simple line-search method too

Related

• On the Injectivity Radius of the Stiefel Manifold: Numerical investigations and an explicit construction of a cut point at short distance
• The ultimate upper bound on the injectivity radius of the Stiefel manifold
• Shortest Geodesic Loops, Sectional Curvature, and Injectivity Radius of the Stiefel Manifold
• The injectivity radius of Lie manifolds
• Bounds on the geodesic distances on the Stiefel manifold for a family of Riemannian metrics