{
  "id": "2403.02079",
  "version": "v2",
  "published": "2024-03-04T14:26:22.000Z",
  "updated": "2024-03-07T20:50:47.000Z",
  "title": "The ultimate upper bound on the injectivity radius of the Stiefel manifold",
  "authors": [
    "P. -A. Absil",
    "Simon Mataigne"
  ],
  "comment": "v2: fixed MSC codes; fixed typo in the penultimate sentence of the proof of Theorem 6.1; added section 9 (Concluding remarks)",
  "categories": [
    "math.DG",
    "math.OC"
  ],
  "abstract": "We exhibit conjugate points on the Stiefel manifold endowed with any member of the family of Riemannian metrics introduced by H\\\"uper et al. (2021). This family contains the well-known canonical and Euclidean metrics. An upper bound on the injectivity radius of the Stiefel manifold in the considered metric is then obtained as the minimum between the length of the geodesic along which the points are conjugate and the length of certain geodesic loops. Numerical experiments support the conjecture that the obtained upper bound is in fact equal to the injectivity radius.",
  "revisions": [
    {
      "version": "v2",
      "updated": "2024-03-07T20:50:47.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "injectivity radius",
      "stiefel manifold",
      "ultimate upper bound",
      "riemannian metrics",
      "euclidean metrics"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}