Die Untersuchung metrischer und geometrischer Strukturen, die durch optimale Transportkosten (insbesondere Wasserstein‑Distanzen) auf Räumen von Wahrscheinlichkeitsmaßen induziert werden und Massenverschiebungsprobleme mit Analysis, partiellen Differentialgleichungen und riemannscher‑ähnlicher Geometrie auf Maßräumen verbinden.

Prinzip

Wahrscheinlichkeitsmaße als Punkte in einem Metrikraum darstellen, in dem kostenminimierende Transportpläne Distanzen definieren; Geodäten als Verschiebungsinterpolationen interpretieren und Begriffe wie Gradient‑Fluss und Konvexität (z. B. Displacement‑Konvexität) verwenden, um Transportgeometrie mit Evolutionsgleichungen und Krümmungsbegriffen auf Maßräumen zu verknüpfen.

Demonstration

Auf der reellen Achse oder im euklidischen Raum wird die L^2‑Wasserstein‑Distanz zwischen zwei absolut stetigen Maßen durch eine monotone Transportabbildung realisiert; Geodäten entsprechen Pushforwards entlang linearer Interpolation der Abbildungen, und die Wärmegleichung kann als Gradientfluss der Entropie im Wasserstein‑Raum gesehen werden.

Fehlanwendung

Wasserstein‑Distanzen zu verwenden, ohne absolute Stetigkeit zu prüfen oder Randbedingungen zu beachten, kann zu nicht existierenden optimalen Karten führen; diskrete empirische Maße wie glatte Objekte zu behandeln und stetige Transportformeln anzuwenden, kann Berechnungen und Asymptotik irreführen.

Konsequenz

Die Transportgeometrie liefert ein vereinheitlichendes Formalismus zum Vergleich von Maßen, etabliert funktionale Ungleichheiten, informiert über PDE‑Regularität und Langzeitverhalten durch Konvexität im Transportraum und stellt in Statistik und Machine Learning nützliche Metriken bereit.

Umkehrung

Umkehren, indem man nur die schwach-*‑Topologie auf Maßen oder integrierte Wahrscheinlichkeitsmetriken betrachtet, die die Transportstruktur ignorieren; dadurch geht die geometrische Interpolation und die Verbindung zu transportgetriebenen Gradientflüssen verloren.

Abgrenzung

Ergebnisse hängen von Kostenfunktionen, Regularität der Maße und dem zugrundeliegenden Raum (euklidisch vs. Mannigfaltigkeiten) ab; viele glatte riemannsche Analoga erfordern absolut stetige Maße und Konvexitätsannahmen, die bei singulären oder atomaren Maßen versagen.

Semantische Spannung

Es besteht Spannung zwischen transportbasierten Metriken (Wasserstein), die räumliche Umverteilung erfassen, und anderen Divergenzen (Kullback–Leibler, Totalvariation), die punktweise Diskrepanz messen; jede betont unterschiedliche Aspekte der Ähnlichkeit zwischen Maßen.

Synthese

Die Geometrie des optimalen Transports formuliert den Vergleich von Maßen als geometrisches Problem, in dem Transportkosten Distanzen definieren, und ermöglicht so geometrische Analyse von Maßentwicklungen, Konvexität und PDEs sowie praktische Metriken für Anwendungen.