Ein mathematischer Rahmen, der die effizienteste Art bestimmt, Masse von einem Wahrscheinlichkeitsmaß auf ein anderes auf einem gegebenen Raum zu bewegen, indem ein vorgegebener Kostenfunktional über Kopplungen oder Abbildungen minimiert wird (Monge‑ und Kantorovich‑Formulierungen).

Prinzip

Transport als Minimierungsproblem formulieren: Minimierung der Gesamtkosten unter der Nebenbedingung der Massenkonservierung – wähle einen Transportplan (gemeinsames Maß) oder eine Transportabbildung, die eine Randverteilung auf die andere schiebt und das Integral des Kostenmaßes c(x,y) minimiert. Die Dualität verbindet das Primalproblem mit Potenzialen, die Optimalität ausdrücken.

Demonstration

Berechne die Earth‑Mover‑Distance (Wasserstein‑1) zwischen zwei diskreten Verteilungen durch Lösung eines linearen Programms, dessen Variablen die zwischen diskreten Stützstellen verschobenen Massen sind; im kontinuierlichen Fall ergibt sich unter geeigneten Regularitätsannahmen eine Monge‑Abbildung, die eine Monge‑Ampère‑Gleichung erfüllt.

Fehlanwendung

Vorauszusetzen, eine Monge‑Abbildung existiere und sei eindeutig, ohne Absolute‑Stetigkeits‑Voraussetzungen der Quelle oder Nicht‑Degeneration des Kostenmaßes zu prüfen, oder die Theorie ungeprüft auf Vorzeichenmaß anzuwenden, was das Minimierungsproblem ill‑posed macht und ‚negative Masse‘ erzeugen kann.

Konsequenz

Bei korrekter Anwendung ergeben sich Existenz (Kantorovich‑Pläne), unter Regularität oft Eindeutigkeit der optimalen Abbildungen, eine Metrikstruktur auf Wahrscheinlichkeitsmaßen (Wasserstein‑Distanzen), Interpretationen als Gradient Flows sowie Verknüpfungen zu PDEs und Geometrie (z. B. Monge‑Ampère, Ricci‑Untergrenzen).

Umkehrung

Anstelle der Kostenminimierung kann man eine Belohnung maximieren oder mit zusätzlichen Nebenbedingungen arbeiten (z. B. Kapazitätsgrenzen oder teilweiser Transport), was die Zulässigkeits‑ und Optimalitätsbedingungen umkehrt und andere duale Variablen und Variationsstrukturen liefert.

Abgrenzung

Gilt für Wahrscheinlichkeitsmaße auf metrischen oder messbaren Räumen mit spezifiziertem Kostenfunktional; schließt die unmittelbare Anwendung auf beliebige Vorzeichenmaße, nicht messbare ‚Massen‘ oder Probleme ohne wohldefinierten Kostenbegriff bzw. Pushforward‑Bedingung ohne Reformulierung aus.

Semantische Spannung

Die Unterscheidung zwischen einem optimalen Transportplan (Kopplung, die Masse aufteilen kann) und einer optimalen Transportabbildung (deterministischer Pushforward) ist entscheidend: Pläne existieren im Allgemeinen, Abbildungen benötigen zusätzliche Struktur und Regularität.

Synthese

Die optimale Transporttheorie verbindet die variationelle Kostenminimierung bei Massenkonservierung, konvexe Dualität mit Transportpotenzialen und geometrisch/PDE‑artige Folgen: sie liefert sowohl eine Metrik zum Vergleich von Verteilungen als auch konkrete Pläne oder Abbildungen für minimalen Transfer.