2025-11-20T21:37:15.957556

Benamou-Brenier and Kantorovich on sub-Riemannian manifolds with no abnormal geodesics

Citti, Galeotti, Pinamonti

We prove that the Benamou-Brenier formulation of the Optimal Transport problem and the Kantorovich formulation are equivalent on a sub-Riemannian connected and complete manifold $M$ without boundary and with no non-trivial abnormal geodesics, when the problems are considered between two measures with finite $2$-momentum. Furthermore, we prove the existence of a minimizer for the Benamou-Brenier formulation and link it to the optimal transport plan.

academic

Benamou-Brenier und Kantorovich auf sub-Riemannschen Mannigfaltigkeiten ohne abnormale Geodäten

Grundinformationen

Paper-ID: 2507.20959
Titel: Benamou-Brenier and Kantorovich on sub-Riemannian manifolds with no abnormal geodesics
Autoren: Giovanna Citti, Mattia Galeotti, Andrea Pinamonti
Klassifikation: math.OC (Optimierung und Steuerung)
Veröffentlichungsdatum: 15. Oktober 2025 (arXiv v2)
Paper-Link: https://arxiv.org/abs/2507.20959

Zusammenfassung

In diesem Artikel wird bewiesen, dass auf zusammenhängenden, vollständigen, randlosen sub-Riemannschen Mannigfaltigkeiten $M$ ohne nichttriviale abnormale Geodäten die Benamou-Brenier-Dynamikformel und die Kantorovich-Statikformel für das optimale Transportproblem äquivalent sind, wobei der Transport zwischen zwei Maßen mit endlichem zweiten Moment betrachtet wird. Darüber hinaus wird die Existenz von Minimierern der Benamou-Brenier-Formel bewiesen und diese mit optimalen Transportplänen verbunden.

Forschungshintergrund und Motivation

Problemhintergrund

Entwicklung der Theorie des optimalen Transports: Das optimale Transportproblem wurde ursprünglich von Monge am Ende des 18. Jahrhunderts formuliert, später präsentierte Kantorovich eine für die Analyse besser geeignete Relaxation. Auf euklidischen Bereichen und Riemannschen Mannigfaltigkeiten wurde die Äquivalenz der Kantorovich-Formel und der Benamou-Brenier-Dynamikformel bereits etabliert.
Herausforderungen der sub-Riemannschen Geometrie: Sub-Riemannsche Mannigfaltigkeiten besitzen eine vollständig nichtintegrable Verteilung $HM \subset TM$ und eine positiv definite quadratische Form $g_{SR}$ , deren geometrische Struktur komplexer ist als im Riemannschen Fall. Insbesondere existieren im sub-Riemannschen Rahmen zwei Klassen von Geodäten: normale und abnormale Geodäten.
Auswirkungen abnormaler Geodäten: Die Existenz abnormaler Geodäten führt dazu, dass die sub-Riemannsche Distanz ihre lokale Konvexität verliert, was das Haupthindernis für die Existenz optimaler Abbildungen darstellt.

Forschungsmotivation

Erweiterung der klassischen Theorie des optimalen Transports auf den sub-Riemannschen Geometrierahmen
Lösung des offenen Problems der Äquivalenz von Benamou-Brenier und Kantorovich-Formeln auf sub-Riemannschen Mannigfaltigkeiten
Bereitstellung einer theoretischen Grundlage für optimalen Transport in der sub-Riemannschen Geometrie

Kernbeiträge

Äquivalenzsatz: Beweis, dass auf vollständigen zusammenhängenden sub-Riemannschen Mannigfaltigkeiten ohne abnormale Geodäten die Infima der Kantorovich-, Benamou-Brenier- und relaxierten Benamou-Brenier-Formeln endlich, erreichbar und gleich sind.
Relaxierte Theorierahmen: Etablierung eines relaxierten Benamou-Brenier-Problems basierend auf Young-Maßen, das die traditionelle Vektorfeldintegration durch ein Integral von Wahrscheinlichkeitsmaßen auf $[0,1] \times HM$ ersetzt.
Meßbare Auswahlsatz: Konstruktion einer meßbaren Abbildung $S: M \times M \to \text{Geod}(M)$ , die für jedes Punktpaar eine verbindende Geodäte auswählt – ein technischer Schlüsseldurchbruch.
Superpositionsprinzip: Etablierung des Young-Superpositionsprinzips im sub-Riemannschen Rahmen, das beweist, dass jedes Transportmaß in Wahrscheinlichkeitsmaße auf verallgemeinerten Kurven zerlegt werden kann.
Optimalitätscharakterisierung: Beweis, dass die Träger von Benamou-Brenier-Minimierern auf (verallgemeinerten konstanten Geschwindigkeits-)Geodäten liegen.

Methodische Details

Aufgabendefinition

Betrachten Sie das optimale Transportproblem zwischen zwei Wahrscheinlichkeitsmaßen $\mu_0, \mu_1 \in P_2(M)$ mit endlichem zweiten Moment auf einer sub-Riemannschen Mannigfaltigkeit $(M, H, g_{SR})$ .

Kantorovich-Formel: $J_{Kan}(\gamma) = \int_{M \times M} d^2(x,y) d\gamma(x,y)$ wobei $\gamma \in \Pi(\mu_0, \mu_1)$ ein zulässiger Transportplan ist.

Benamou-Brenier-Formel: $J_{BB}(\mu_t, v_t) = \int_0^1 \int_M \|v_t(x)\|^2 d\mu_t(x) dt$ mit der Nebenbedingung der Kontinuitätsgleichung: $\dot{\mu}_t + \text{Div}(\mu_t v_t) = 0$ .

Relaxierter Rahmen

Young-Maß-Theorie

Definition des Young-Maß-Raums: $Y(I; X) = \{\eta \in P(I \times X) : \pi^{(t)}_\# \eta = L\}$ wobei $L$ das Lebesgue-Maß ist.

Relaxiertes Benamou-Brenier-Problem

$J^*_{BB}(\eta) = \int_{[0,1] \times HM} \|v\|^2 d\eta(t,v)$ mit der Nebenbedingung der relaxierten Kontinuitätsgleichung: $\int_{I \times HM} \partial_t \phi(t, \pi(v)) + \langle v, \nabla_H \phi(t, \pi(v)) \rangle d\eta(t,v) = 0$

Technische Innovationen

1. Konstruktion meßbarer Auswahlabbildungen

Konstruktion der Abbildung $S: M \times M \to \text{Geod}(M)$ unter Verwendung der Suslin-Mengen-Theorie mit folgenden Schlüsselschritten:

Beweis, dass die Menge extremaler Orbits $E$ eine Suslin-Menge ist
Anwendung des meßbaren Auswahlsatzes zur Sicherung der Existenz von $S$
Behandlung technischer Schwierigkeiten unter der Annahme fehlender abnormaler Geodäten

2. Etablierung der Relaxierungstheorie

Durch die Jensen-Ungleichung wird etabliert: $J_{BB}(\mu^{\eta}_t, v^{\eta}_t) \leq J^*_{BB}(\eta)$ wobei $(\mu^{\eta}_t, v^{\eta}_t)$ das klassische Paar ist, das aus dem Young-Maß $\eta$ abgeleitet wird.

3. Anwendung des Superpositionsprinzips

Für jedes Transportmaß $\eta$ existiert eine Zerlegung $\tilde{\eta} \in P(G_H(I,M))$ mit: $\eta = \int_G \nu d\tilde{\eta}(\nu)$

Experimentelle Einrichtung

Theoretischer Verifikationsrahmen

Dieses Papier ist hauptsächlich eine theoretische Arbeit, die Ergebnisse durch strenge mathematische Beweise und nicht durch numerische Experimente verifiziert. Der Verifikationsrahmen umfasst:

Verifikation von Annahmen:
- Vollständigkeit und Zusammenhang der Mannigfaltigkeit
- Randlosigkeitsbedingung
- Bedingung der Abwesenheit nichttrivialer abnormaler Geodäten
Konstruktive Beweise: Beweis der Existenz verschiedener Abbildungen und Zerlegungen durch explizite Konstruktion

Technische Werkzeuge

Suslin-Mengen-Theorie und meßbarer Auswahlsatz
Young-Maß-Theorie und Variationsrechnung
Hamilton-Theorie in der sub-Riemannschen Geometrie
Maßtheorie und Funktionalanalysis

Hauptergebnisse

Äquivalenzsatz (Satz 1.1)

Hauptkonklusion: Sei $M$ eine zusammenhängende, vollständige, randlose sub-Riemannsche Mannigfaltigkeit ohne nichttriviale abnormale Geodäten, und seien $\mu_0, \mu_1 \in P_2(M)$ , dann: $C_{Kan}(\mu_0, \mu_1) = C_{BB}(\mu_0, \mu_1) = C^*_{BB}(\mu_0, \mu_1)$ und alle Infima sind erreichbar.

Relaxierte Äquivalenz (Satz 3.6)

Beweis der Äquivalenz der klassischen Benamou-Brenier-Formel und ihrer relaxierten Version: $C_{BB}(\mu_0, \mu_1) = C^*_{BB}(\mu_0, \mu_1)$

Optimalitätscharakterisierung (Satz 3.11)

Für einen Benamou-Brenier-Minimierer $(μ_t, v_t)$ liegt seine Young-Zerlegung $\tilde{\eta}$ auf Geodäten.

Technische Lemmata

Lemma 3.7: Die Abbildung $\gamma \mapsto F_\#(L \otimes \gamma)$ bildet Kantorovich-Pläne auf zulässige Young-Transportmaße ab
Lemma 3.8: $J_{Kan}(\gamma) = J^*_{BB}(F_\#(L \otimes \gamma))$

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

Unter angemessenen Annahmen hat das optimale Transportproblem auf sub-Riemannschen Mannigfaltigkeiten ähnlich gute Eigenschaften wie im Riemannschen Fall
Die Relaxierungsmethode bietet ein effektives Werkzeug zur Behandlung der Komplexität der sub-Riemannschen Geometrie
Das Fehlen abnormaler Geodäten ist eine Schlüsselbedingung für die Äquivalenz

Einschränkungen

Abnormale Geodäten-Einschränkung: Die Methode kann nicht direkt auf Mannigfaltigkeiten mit nichttrivialen abnormalen Geodäten erweitert werden
Technische Annahmen: Erfordert Vollständigkeit, Zusammenhang und Randlosigkeit der Mannigfaltigkeit
Konstruktive Abhängigkeit: Schlüsselergebnisse hängen von der Existenz meßbarer Auswahlabbildungen ab

Zukünftige Richtungen

Untersuchung des optimalen Transports im Fall abnormaler Geodäten
Entwicklung allgemeinerer Relaxierungstheorie-Rahmen
Erkundung numerischer Algorithmen und Rechenmethoden
Anwendung auf konkrete sub-Riemannsche Mannigfaltigkeiten (z.B. Carnot-Gruppen)

Tiefgreifende Bewertung

Stärken

1. Theoretische Innovativität

Erste Etablierung der vollständigen Äquivalenz zwischen Kantorovich und Benamou-Brenier-Formeln im sub-Riemannschen Geometrierahmen
Innovative Verwendung der Young-Maß-Theorie zur Behandlung technischer Schwierigkeiten der sub-Riemannschen Geometrie
Geschickte Nutzung der Suslin-Mengen-Theorie zur Lösung des meßbaren Auswahlproblems

2. Technische Strenge

Vollständige und strenge Beweise mit angemessener Behandlung technischer Details
Klares Verständnis der Notwendigkeit der Annahme fehlender abnormaler Geodäten
Solide Unterstützung der Hauptsätze durch technische Ergebnisse im Anhang

3. Theoretische Vollständigkeit

Nicht nur Beweis der Äquivalenz, sondern auch Etablierung der Existenz von Minimierern
Bereitstellung expliziter Verbindungen zwischen optimalen Transportplänen und Dynamikformeln
Theorierahmen mit guter innerer Konsistenz

Schwächen

1. Eingeschränkter Anwendungsbereich

Die Annahme fehlender abnormaler Geodäten ist relativ streng und schließt viele wichtige sub-Riemannsche Mannigfaltigkeiten aus
Die Verallgemeinerung der Methode auf allgemeinere Fälle steht vor grundlegenden technischen Hindernissen

2. Praktische Überlegungen

Als reine theoretische Arbeit fehlen numerische Verifikation und Anwendungsbeispiele
Begrenzte Anleitung für konkrete Berechnungen und Algorithmusimplementierung

3. Technische Komplexität

Beweise beinhalten mehrere tiefe mathematische Disziplinen mit hoher Verständnisschwelle
Schlüsselergebnisse der meßbaren Auswahl hängen von abstrakten mengentheoretischen Techniken ab

Einflussbeurteilung

1. Akademischer Wert

Etablierung einer wichtigen theoretischen Grundlage für die Theorie des optimalen Transports in der sub-Riemannschen Geometrie
Förderung der Entwicklung im Schnittstellenbereich zwischen geometrischer Analyse und optimalem Transport
Bereitstellung wichtiger theoretischer Werkzeuge für nachfolgende Forschung

2. Methodologische Beiträge

Die Anwendung der Young-Maß-Methode in der sub-Riemannschen Geometrie hat Vorbildcharakter
Die Verwendung von Relaxierungstechniken bietet neue Perspektiven zur Behandlung nicht-glatter Geometrie

3. Potenzielle Anwendungen

Theoretische Unterstützung für optimalen Transport auf Mannigfaltigkeiten im maschinellen Lernen
Anwendungsperspektiven in geometrischen Methoden der Bildverarbeitung und Computervision

Anwendungsszenarien

Theoretische Forschung: Geometrische Analyse, Theorie des optimalen Transports, sub-Riemannsche Geometrie
Angewandte Mathematik: Partielle Differentialgleichungen, Variationsrechnung, Maßtheorie
Rechnerische Geometrie: Mannigfaltigkeitslernen, geometrisches tiefes Lernen als theoretische Grundlage

Literaturverzeichnis

Das Papier zitiert wichtige Literatur in diesem Bereich, einschließlich:

Klassisches Lehrbuch von Ambrosio-Gigli zum optimalen Transport
Grundlegende Arbeiten von Bernard zu Young-Maßen und dem Superpositionsprinzip
Pionierforschung von Figalli-Rifford zum optimalen Transport auf sub-Riemannschen Mannigfaltigkeiten
Umfassendes Werk von Agrachev et al. zur sub-Riemannschen Geometrie

Gesamtbewertung: Dies ist ein hochqualitatives theoretisches mathematisches Papier, das wichtige Beiträge im Schnittstellenbereich zwischen sub-Riemannscher Geometrie und optimalem Transport leistet. Obwohl die technischen Annahmen relativ stark sind, bietet es innerhalb seines Anwendungsbereichs vollständige und tiefgreifende theoretische Ergebnisse. Es hat wichtigen Wert für die Förderung der Entwicklung verwandter Theorien.