Shortest Geodesic Loops, Sectional Curvature, and Injectivity Radius of the Stiefel Manifold

Technische Samenvatting: Kortste Geodetische Lussen, Sectiecurvatuur en Injectieradius van de Stiefel-variëteit

Probleemstelling
De Stiefel-variëteit, aangeduid als $St(n, p)$, is een fundamentele matrixvariëteit die verschijnt in optimalisatie, numerieke methoden voor differentiaalvergelijkingen en statistiek. Een centraal probleem in de Riemanniaanse meetkunde op deze variëteit is het bepalen van de injectieradius, die een voldoende voorwaarde biedt voor de minimaliteit van geodeten. De injectieradius, $inj(M)$, wordt gedefinieerd als de grootste straal $r$ waarvoor elke geodeet met lengte $\le r$ de unieke kortste curve tussen de eindpunten is.

Voor een volledige Riemanniaanse variëteit wordt de injectieradius bepaald door twee concurrerende factoren: de helft van de lengte van de kortste niet-triviale geodetische lus ($\ell/2$) en de conjugaatradius. Deze laatste wordt van onderaf begrensd door $\pi/\sqrt{K}$, waarbij $K$ een globale bovengrens is op de sectiecurvatuur. Hoewel de injectieradius bekend is voor specifieke metrieken (bijv. de Euclidische metriek en de canonieke metriek), blijft het een open probleem voor de algemene een-parameter familie van metrieken geïntroduceerd door Hüper et al. (2021), geparametriseerd door $\beta > 0$. Specifiek werden de exacte lengte van de kortste geodetische lussen en de scherpe bovengrens op de sectiecurvatuur niet volledig vastgesteld voor alle $\beta$, wat het exacte berekenen van de injectieradius over de gehele parameterruimte verhinderde.

Methodologie
De auteurs pakken dit probleem aan door differentiaalmeetkundige analyse te combineren met matrix-analytische technieken. De methodologie is verdeeld in drie hoofdcomponenten:

1. Analyse van Geodetische Luslengtes ($\ell_\beta$):

   • Geval $\beta \in (0, 2]$: De auteurs maken gebruik van de observatie dat geodeten op de Stiefel-variëteit, wanneer beschouwd als curven in de omringende Euclidische ruimte $\mathbb{R}^{n \times p}$, constante Frenet-curvatures bezitten. Door grenzen af te leiden voor de Euclidische lengte van deze curven en deze te vertalen naar de $\beta$-metriek, stellen zij ondergrenzen vast voor de luslengte.
   • Geval $\beta > 2$: De Frenet-curvature benadering is hier onvoldoende. In plaats daarvan gebruiken de auteurs een matrix-analytisch bewijs. Zij analyseren de structuur van de matrixexponentieel-inverse en de invariantiegroepen van orthogonale matrices. Door de initiële snelheidmatrices te ontbinden in sub-blokken die overeenkomen met specifieke spectrale eigenschappen, reduceren zij het probleem tot het analyseren van geodetische lussen met specifieke blokdiagonaal-structuren, waarmee zij bewijzen dat de lengte niet minder dan $2\pi$ kan zijn.

2. Sectiecurvatuur Grenzen ($K_\beta$):
   De auteurs leiden een expliciete formule af voor de sectiecurvatuur van de Stiefel-variëteit onder de $\beta$-metriek. Zij voeren term-voor-term schattingen uit op de curvatuuruitdrukking met behulp van de normen van de matrixblokken ($A$ en $B$) die de tangentvectoren definiëren. Deze analyse identificeert een gat in de bestaande literatuur voor $\beta \in (2/3, 1/\sqrt{2})$, dat de auteurs dichten door te bewijzen dat de sectiecurvatuur in dit interval begrensd wordt door 1.

3. Synthese via Klingenberg's Stelling:
   Gebruikmakend van de berekende luslengtes $\ell_\beta$ en de curvatuur Grenzen $K_\beta$, passen de auteurs Klingenberg's stelling toe, die stelt dat $inj(St_\beta(n, p)) = \min\{ \ell_\beta/2, \text{conj}_{I_{n \times p}}(St_\beta(n, p)) \}$. Zij combineren dit met de ondergrens op de conjugaatradius ($\pi/\sqrt{K_\beta}$) om de exacte injectieradius of nauwe grenzen te bepalen voor verschillende bereiken van $\beta$.

Belangrijkste Bijdragen en Resultaten

• Exacte Lengte van de Kortste Geodetische Lussen: Het artikel bewijst dat voor alle $\beta > 0$, de lengte $\ell_\beta$ van de kortste niet-triviale geodetische lus op $St_\beta(n, p)$ (voor $2 \le p \le n-1$) gegeven wordt door:
  $$\ell_\beta = \min\{ \sqrt{2\beta}, 1 \} 2\pi$$
  Dit resultaat verenigt en breidt eerdere bevindingen voor de canonieke metriek ($\beta=1/2$) en de Euclidische metriek ($\beta=1$), waar de lengte bekend was als $2\pi$. Voor $\beta > 2$ is aangetoond dat de lengte exact $2\pi$ is.

• Scherpe Sectiecurvatuur Grenzen: De auteurs bieden een scherpe bovengrens $K_\beta$ op de sectiecurvatuur voor het bereik $\beta \in (2/3, 1/\sqrt{2})$, waarmee zij een gat in de bestaande literatuur vullen. De grens is:
  $$K_\beta = \begin{cases} \frac{1}{4\beta} & 0 < \beta \le \frac{1}{6}(4-\sqrt{10}) \\ \frac{4-3\beta}{2} & \frac{1}{6}(4-\sqrt{10}) < \beta \le \frac{2}{3} \\ 1 & \frac{2}{3} \le \beta \le 1 \end{cases}$$
  (Opmerking: Het artikel merkt op dat voor $\beta > 1$, de curvatuur grens 1 is, consistent met het Euclidische geval).

• Bepaling van de Injectieradius:

  • Voor $\beta \in (0, 1/3] \cup [2/3, 1]$ bepalen de auteurs de exacte waarde van de injectieradius:
    • Voor $\beta \in (0, 1/3]$: $inj = \sqrt{2\beta}\pi$.
    • Voor $\beta \in [2/3, 1]$: $inj = \pi$.
  • Voor $\beta \in (1/3, 2/3)$ is de exacte waarde niet bepaald vanwege het gebrek aan een expliciete uitdrukking voor de conjugaatradius. Echter, het artikel biedt nauwe boven- en ondergrenzen, waarbij wordt aangetoond dat de waarde maximaal 3% afwijkt van de geconstateerde waarde in [33].
  • Voor $\beta > 1$ is de injectieradius begrensd door $\pi$.

• Speciale Gevallen:

  • Voor $p=1$ (eenheidssfeer), $inj = \pi$.
  • Voor $p=n$ (orthogonale groep $O(n)$), is de conjugaatradius expliciet berekend als $\sqrt{8\beta}\pi$ voor $n=3$ en $\sqrt{4\beta}\pi$ voor $n>3$, wat leidt tot een injectieradius van $\sqrt{2\beta}\pi$.

Betekenis
Het artikel beweert het probleem van het bepalen van de injectieradius voor de Stiefel-variëteit onder een breed scala aan $\beta$-metrieken op te lossen, een cruciale parameter voor optimalisatie-algoritmen op variëteiten. Door de exacte lengte van de kortste geodetische lussen voor alle $\beta$ vast te stellen en de kloof in de sectiecurvatuur grenzen te sluiten, leveren de auteurs de noodzakelijke geometrische gegevens om Klingenberg's stelling toe te passen.

Het werk is bescheiden wat betreft het interval $\beta \in (1/3, 2/3), waarbij wordt erkend dat de exacte injectieradius in dit bereik een conjectuur blijft, ondersteund door numerieke experimenten in eerdere literatuur. Echter, het artikel versterkt de conjectuur voor de canonieke metriek ($\beta=1/2$) door expliciete uitdrukkingen voor Jacobi-velden te bieden, waarmee wordt bevestigd dat de geïdentificeerde conjugaatpunten inderdaad de eerste conjugaatpunten zijn. De resultaten bieden een rigoureuze basis voor het waarborgen van de minimaliteit van geodeten in variëteitsgebaseerde optimalisatie en data-fitting toepassingen.