Green--Wasserstein Inequality on Compact Surfaces

Die Arbeit widerlegt die Vermutung von Steinerberger, dass der Faktor $\sqrt{\log n}$ in der zweidimensionalen Green-Wasserstein-Ungleichung auf kompakten Flächen entfernt werden kann, indem sie zeigt, dass eine solche Ungleichung mit einem $O(n^{-1/2})$-Restterm für alle Punktfolgen unmöglich ist.

Das Wesentliche

Stellen Sie sich vor, Sie haben eine kleine, runde Insel (das ist unsere mathematische Fläche, ein „kompaktes, zusammenhängendes zweidimensionales Riemannsche Mannigfaltigkeit"). Auf dieser Insel wollen Sie $n$ Punkte verteilen – sagen wir, Sie werfen $n$ Murmeln auf den Boden.

Das Ziel ist es, diese Murmeln so zu verteilen, dass sie die Insel perfekt „abdecken", also gleichmäßig wie ein feiner Sandstreifen liegen. In der Mathematik nennt man das, wie gut eine Anordnung von Punkten die wahre Verteilung (die Insel selbst) nachahmt, den Wasserstein-Abstand. Je kleiner dieser Abstand, desto besser ist die Verteilung.

Das große Rätsel: Der „Grüne" Energie-Check

Ein Mathematiker namens Steinerberger hatte eine clevere Idee: Man könnte die Qualität der Murmel-Verteilung überprüfen, indem man schaut, wie sehr sich die Murmeln gegenseitig „stören".

Stellen Sie sich vor, jede Murmel hat eine unsichtbare Kraft, die von einem „Grünen Feld" (der Greenschen Funktion) ausgeht. Wenn zwei Murmeln zu nah beieinander liegen, wird dieses Feld sehr stark (fast unendlich), weil sie sich „stören". Wenn sie weit auseinander liegen, ist die Störung gering.

Die Formel von Steinerberger sagte im Grunde:

„Der Fehler bei der Verteilung (Wasserstein-Abstand) ist ungefähr so groß wie die Wurzel aus der Summe aller Störungen zwischen den Murmeln, plus ein kleiner Rest."

Bei Flächen mit 3 oder mehr Dimensionen passte das perfekt. Aber bei einer 2-dimensionalen Fläche (wie einem Blatt Papier oder einer Kugel) gab es ein Problem: Um die Formel zu retten, musste man einen zusätzlichen Faktor hinzufügen: $\sqrt{\log n}$ (die Wurzel aus dem Logarithmus der Anzahl der Murmeln).

Das ist wie ein Sicherheitsnetz. Je mehr Murmeln Sie haben, desto größer wird dieses Netz. Steinerberger fragte sich nun:

„Können wir dieses Sicherheitsnetz ($\sqrt{\log n}$) eigentlich weglassen? Reicht es nicht, einfach nur die Störungen zu messen und durch $\sqrt{n}$ zu teilen?"

Die Antwort: Nein, das geht nicht!

Maja Gwóźdź (die Autorin dieses Papers) sagt mit einem klaren „Nein".

Sie beweist, dass man dieses Sicherheitsnetz nicht entfernen kann, wenn man die „unrenormierte" Störungsformel (die rohe Summe aller Störungen) beibehalten will.

Wie hat sie das bewiesen? Mit einem Gedankenexperiment:

1. Das Zufallsspiel: Stellen Sie sich vor, Sie werfen die Murmeln völlig zufällig auf die Insel (wie Regentropfen).
2. Die Rechnung: Wenn man annimmt, dass man das $\sqrt{\log n}$-Netz weglassen kann, dann müsste die durchschnittliche „Fehlergröße" bei zufälligen Würfen sehr klein sein (etwa proportional zu $1/n$).
3. Die Realität: Andere Mathematiker (Ambrosio und Glaudo) haben bereits bewiesen, dass bei zufälligen Würfen auf einer 2D-Insel der Fehler nicht so klein wird. Er ist tatsächlich größer, nämlich proportional zu $\frac{\log n}{n}$.

Die Analogie:
Stellen Sie sich vor, Sie versuchen, einen riesigen Teppich zu verlegen.

• Die Steinerberger-Formel ohne $\sqrt{\log n}$ sagt: „Wenn du die Falten (Störungen) zählst, ist der Restfehler winzig."
• Die Wirklichkeit sagt: „Nein, bei einer 2D-Fläche gibt es immer eine gewisse Menge an unvermeidbaren Falten, die mit der Anzahl der Murmeln logarithmisch wächst."

Wenn man das $\sqrt{\log n}$ weglässt, ist die Formel wie ein Versprechen, das man nicht halten kann. Sie würde behaupten, dass man mit weniger Aufwand (weniger Murmeln oder weniger Berechnung) ein perfektes Ergebnis erzielt, als physikalisch möglich ist.

Warum ist das wichtig?

Das Paper zeigt eine fundamentale Grenze auf:

• In höheren Dimensionen (3D, 4D...) ist das „Grüne Feld" so schwach, dass man die Störungen einfach summieren kann.
• In 2D ist das Feld aber so stark (wegen der Logarithmus-Singularität, ähnlich wie bei einem unendlichen Schrei, wenn man zu nah an die Quelle geht), dass man einen speziellen Korrekturfaktor ($\sqrt{\log n}$) braucht, damit die Mathematik aufgeht.

Fazit in einem Satz:
Man kann die komplizierte „Sicherheitsvorkehrung" ($\sqrt{\log n}$) in der Formel für 2D-Flächen nicht einfach streichen, ohne die gesamte Gleichung zu zerstören; die Natur der Fläche zwingt uns, diesen kleinen, aber wichtigen Faktor zu behalten.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papiers von Maja Gwóźdź auf Deutsch.

Titel

Green–Wasserstein-Ungleichung auf kompakten Flächen

1. Problemstellung

Das Papier adressiert eine offene Frage von Steinerberger (Problem 53 in [6]) im Kontext der optimalen Transporttheorie auf kompakten, zusammenhängenden zweidimensionalen Riemannschen Mannigfaltigkeiten $(M, g)$ ohne Rand.

• Hintergrund: Für Dimensionen $d \ge 3$ gilt eine bekannte Green–Wasserstein-Ungleichung, die den quadratischen Wasserstein-Abstand $W_2$ zwischen einer empirischen Maßverteilung $\mu_n$ (basierend auf $n$ Punkten) und dem Volumenmaß $dx$ durch einen Term der Ordnung $n^{-1/d}$ und einen Term, der die "Green-Energie" (eine Summe über die Green-Funktion $G$) enthält, nach oben abschätzt.
• Der Fall $d=2$: In der Dimension 2 enthält die entsprechende Ungleichung einen zusätzlichen Restterm der Ordnung $\sqrt{\frac{\log n}{n}}$.
• Die zentrale Frage: Kann dieser Faktor $\sqrt{\log n}$ entfernt werden, wenn man den unrenormierten, off-diagonalen Green-Term $\frac{1}{n} \sum_{i \neq j} G(x_i, x_j)$ beibehält?
  • Formal: Existiert eine Konstante $C_M > 0$, sodass für alle $n$ und alle Punktmengen $x_1, \dots, x_n \in M$ gilt:
    $$W_2(\mu_n, dx) \le C_M \left( \frac{1}{\sqrt{n}} + \frac{1}{n} \left| \sum_{i \neq j} G(x_i, x_j) \right|^{1/2} \right)?$$

2. Methodik

Der Beweis führt einen Widerspruch an und kombiniert zwei Hauptkomponenten:

1. Analyse der Green-Funktion und Momente:

   • Es wird die symmetrische, mittelwert-null Green-Funktion $G$ des Laplace-Beltrami-Operators definiert.
   • Lemma 1: Es wird gezeigt, dass $G \in L^2(M \times M)$ ist, trotz der logarithmischen Singularität auf der Diagonalen. Dies ermöglicht die Definition der Varianz $\sigma^2 = \int \int G(x,y)^2 dx dy < \infty$.
   • Lemma 2 & 3 (Stochastische Analyse): Betrachtet werden i.i.d. Zufallsvariablen $X_i$ mit Verteilung $dx$. Die "Green-Energie" wird als Zufallsvariable $S_n = \sum_{i \neq j} G(X_i, X_j)$ definiert.
     • Es wird gezeigt, dass der Erwartungswert $\mathbb{E}[S_n] = 0$ ist (aufgrund der Mittelwert-null-Eigenschaft von $G$).
     • Es wird die zweite Momentenabschätzung hergeleitet: $\mathbb{E}[S_n^2] = 2n(n-1)\sigma^2 \approx O(n^2)$. Daraus folgt $\mathbb{E}|S_n| \le O(n)$.

2. Asymptotik des optimalen Transports (Ambrosio–Glaudo):

   • Der Beweis nutzt ein tiefes Ergebnis von Ambrosio und Glaudo [1] über die asymptotische Entwicklung des quadratischen Wasserstein-Abstands für semi-diskrete Matching-Probleme auf kompakten Flächen.
   • Dieses Ergebnis liefert eine untere Schranke für den Erwartungswert des quadrierten Abstands:
     $$\mathbb{E}[W_2(\mu_n, dx)^2] \sim \frac{\text{vol}(M)}{4\pi} \frac{\log n}{n}.$$

3. Hauptergebnis (Theorem 1)

Das Hauptresultat ist eine negative Antwort auf die gestellte Frage.

• Aussage: Es existiert keine Konstante $C_M > 0$, sodass die oben genannte Ungleichung (ohne den $\sqrt{\log n}$-Faktor) für alle $n$ und alle Punktkonfigurationen gilt.
• Beweisführung durch Widerspruch:
  1. Man nimmt an, die Ungleichung ohne $\sqrt{\log n}$ gelte.
  2. Wendet man diese auf eine zufällige Konfiguration an und quadriert die Ungleichung, erhält man eine obere Schranke für $\mathbb{E}[W_2^2]$ der Ordnung $O(1/n)$ (da der Green-Term im Erwartungswert nur $O(1/n)$ beiträgt, wie aus Lemma 3 folgt).
  3. Die Asymptotik von Ambrosio–Glaudo liefert jedoch eine untere Schranke der Ordnung $\Omega(\frac{\log n}{n})$.
  4. Der Vergleich $O(1/n) \ge \Omega(\frac{\log n}{n})$ führt zu einem Widerspruch für große $n$, da $\log n$ unbeschränkt wächst.

4. Technische Details und Schlüsselschritte

• Singularitätenbehandlung: Ein wichtiger technischer Schritt ist der Nachweis, dass $G$ quadratintegrierbar ist, obwohl es eine logarithmische Singularität hat. Dies wird durch die Aufteilung des Integrals in eine Nähe zur Diagonalen (wo die Abschätzung $|G| \lesssim |\log d(x,y)|$ gilt) und den Rest der Mannigfaltigkeit erreicht.
• Entartete U-Statistik: Die Summe $S_n$ verhält sich wie eine entartete U-Statistik (degenerate U-statistic), da der Kern $G$ den Mittelwert 0 hat. Dies führt dazu, dass die linearen Terme in der Hoeffding-Zerlegung verschwinden und die Varianz dominiert wird.
• Skalierung: Die Argumentation berücksichtigt sorgfältig die Skalierung des Volumens und der Metrik, um die Ergebnisse von Ambrosio–Glaudo auf die normierte Maß $dx$ anzuwenden.

5. Bedeutung und Implikationen

• Optimalität des Restterms: Das Ergebnis bestätigt, dass der Faktor $\sqrt{\log n}$ in der zweidimensionalen Green–Wasserstein-Ungleichung unvermeidbar ist, solange man den unrenormierten Green-Term verwendet. Er ist keine technische Unzulänglichkeit der aktuellen Beweismethoden, sondern eine inhärente Eigenschaft der Geometrie und der Statistik in Dimension 2.
• Unterscheidung zwischen deterministischen und stochastischen Fällen: Die Bemerkung 4 (Remark 4) klärt auf, dass dies nicht ausschließt, dass für bestimmte deterministische Punktmengen (z.B. Gitterpunkte) bessere Raten wie $O(n^{-1/2})$ gelten könnten. Es widerlegt nur die Existenz einer universellen Ungleichung dieser Form für alle Punktmengen.
• Renormierung: Es wird angedeutet, dass eine Renormierung des Green-Terms (z.B. durch Subtraktion des Erwartungswerts oder anderer Korrekturterme) notwendig wäre, um eine Ungleichung ohne den $\sqrt{\log n}$-Faktor zu erhalten.

Fazit: Das Papier liefert einen rigorosen Beweis dafür, dass die logarithmische Korrektur in der zweidimensionalen Green–Wasserstein-Ungleichung essenziell ist und nicht durch eine rein deterministische Abschätzung des unrenormierten Green-Energie-Terms eliminiert werden kann.