Green--Wasserstein Inequality on Compact Surfaces

Deze paper bewijst dat het onmogelijk is om de $\sqrt{\log n}$-factor uit de twee-dimensionale Green-Wasserstein-ongelijkheid op compacte oppervlakken te verwijderen terwijl men de onhergenormaliseerde off-diagonale Green-term behoudt.

De kern

Hier is een uitleg van het onderzoek in eenvoudig Nederlands, met behulp van alledaagse vergelijkingen.

Het Grote Probleem: Het Perfecte Puntjespatroon

Stel je voor dat je een ronde, gladde koek hebt (een wiskundig oppervlak). Je wilt er $n$ puntjes op zetten, zo verspreid dat ze perfect gelijkmatig over de koek liggen. In de wiskunde noemen we dit het vinden van een "optimale verdeling".

Wiskundigen hebben een manier bedacht om te meten hoe goed deze puntjes verdeeld zijn. Ze gebruiken twee dingen:

1. De afstand: Hoe ver moeten de puntjes gemiddeld van elkaar af staan? (Dit is de Wasserstein-afstand).
2. De "Groene" energie: Dit is een ingewikkelde berekening die kijkt naar hoe de puntjes elkaar "voelen" of beïnvloeden, gebaseerd op een wiskundige functie die de Green-functie heet.

De Vraag van Steinerberger

Een wiskundige genaamd Steinerberger had een interessante vraag. Hij wist dat je een formule kon maken om de kwaliteit van de verdeling te voorspellen. Die formule zag er ongeveer zo uit:

Foutmarge = (Een vaste factor) + (Een factor met $\sqrt{\log n}$)

De term met $\sqrt{\log n}$ (de wortel uit de logaritme van het aantal puntjes) is als een "boete" of een extra straal die je moet betalen omdat de wiskunde in 2D (vlakke oppervlakken) wat lastiger is dan in 3D.

Steinerberger vroeg zich af: "Kunnen we die lastige $\sqrt{\log n}$-term gewoon weglaten? Kunnen we zeggen dat de foutmarge simpelweg $1/\sqrt{n}$ is, zonder die extra boete, zolang we de 'Green-term' maar gebruiken?"

Het idee was: als we kijken naar de interactie tussen alle puntjes (de Green-term), misschien hoeven we dan die extra onzekerheid niet meer te betalen.

Het Antwoord: Nee, dat kan niet!

Maja Gwóźdź, de auteur van dit artikel, zegt met een hard geluid: Nee.

Ze bewijst dat het onmogelijk is om die $\sqrt{\log n}$-factor weg te laten als je de formule op deze specifieke manier wilt houden. Op elk compact oppervlak (zoals een bol of een torus) is die extra term noodzakelijk.

Hoe bewijst ze dit? (De Analogie van het Willekeurige Spel)

Om dit te bewijzen, gebruikt ze een slimme truc met een gedachte-experiment:

1. Het Willekeurige Spel: Stel je voor dat je de puntjes niet slim plaatst, maar ze volledig willekeurig over de koek gooit (zoals korrels zout die je over een bord strooit).

2. De Verwachting: Als je dit vaak doet, kun je berekenen wat de gemiddelde kwaliteit van zo'n willekeurige verdeling is.

   • Aan de ene kant weten we uit eerdere onderzoek (van Ambrosio en Glaudo) dat bij willekeurige puntjes de foutmarge altijd groeit met $\sqrt{\log n}$. Het is als een wet van de natuur: willekeurige puntjes op een vlak hebben altijd die extra "ruis".
   • Aan de andere kant, als Steinerberger's hypothese waar was (dat je de $\sqrt{\log n}$ kunt weghalen), dan zou de formule voorspellen dat de foutmarge veel kleiner is, namelijk alleen $1/\sqrt{n}$.

3. Het Conflict:

   • De echte natuur (willekeurige puntjes) zegt: "De fout is groot ($\sim \frac{\sqrt{\log n}}{n}$)."
   • De hypothese zegt: "De fout is klein ($\sim \frac{1}{n}$)."

   Als je deze twee tegen elkaar houdt, krijg je een wiskundige tegenstrijdigheid. De formule zou moeten zeggen dat de fout kleiner is dan hij in werkelijkheid is. Dat kan niet. De wiskunde "schreeuwt" dat de $\sqrt{\log n}$-term erbij moet blijven, anders klopt de vergelijking niet meer.

De Conclusie in Gewone Taal

Je kunt de $\sqrt{\log n}$-factor niet zomaar weglaten. Het is als proberen te zeggen dat je een auto met 100 km/u kunt laten rijden zonder benzine, zolang je maar een heel goed motorblok hebt. Het onderzoek toont aan dat, zelfs met de beste "motor" (de Green-term), je in 2D altijd die extra "brandstof" (de $\sqrt{\log n}$-factor) nodig hebt om de wiskunde correct te laten werken.

Kortom: De wiskundige wetten van 2D-oppervlakken zijn zo, dat je die extra onzekerheid niet kunt wegwerken. Het is een fundamentele eigenschap van de ruimte waarin we leven.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Green–Wasserstein Inequality on Compact Surfaces" van Maja Gwóźdz, geschreven in het Nederlands.

Titel: Green–Wasserstein Ongelijkheid op Compacte Oppervlakken

Auteur: Maja Gwóźdz (Universiteit van Zürich & ETH Zürich)
Kernvraag: Kan de $\sqrt{\log n}$-factor in de tweedimensionale Green–Wasserstein-ongelijkheid worden verwijderd terwijl de niet-gerenormaliseerde off-diagonal Green-term behouden blijft?

---

1. Probleemstelling en Context

Het artikel onderzoekt de relatie tussen de kwadratische Wasserstein-afstand ($W_2$) en de Green-energie voor een verzameling van $n$ punten op een compact, verbonden, tweedimensionaal Riemann-oppervlak $(M, g)$ zonder rand.

• Achtergrond: Steinerberger [5, 6] heeft aangetoond dat voor dimensie $d \geq 3$ de volgende ongelijkheid geldt:
  $$W_2(\mu_n, dx) \lesssim_M n^{-1/d} + \frac{1}{n} \left| \sum_{i \neq j} G(x_i, x_j) \right|^{1/2}$$
  Voor dimensie $d=2$ bevat de schatting echter een extra factor $\sqrt{\log n}$ in de restterm:
  $$W_2(\mu_n, dx) \lesssim_M \sqrt{\frac{\log n}{n}} + \frac{1}{n} \left| \sum_{i \neq j} G(x_i, x_j) \right|^{1/2}$$
  Hierbij is $\mu_n$ de empirische maat van de punten $x_1, \dots, x_n$, $dx$ de genormaliseerde volume-maat, en $G$ de gemiddeld-nul Green-functie van de Laplace-Beltrami-operator.

• Het Vraagstuk (Probleem 1): Steinerberger stelde de vraag of de factor $\sqrt{\log n}$ in de $d=2$-ongelijkheid kan worden vervangen door $1/\sqrt{n}$, terwijl de term met de Green-energie (de som over$i \neq j$) ongewijzigd blijft. Met andere woorden: bestaat er een constante$C_M$zodat voor alle$n$ en alle puntverzamelingen geldt:
  $$W_2(\mu_n, dx) \leq 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. Methodologie

De auteur beantwoordt deze vraag negatief door een bewijs uit het ongerijmde (contradictie) te gebruiken. De methode combineert twee krachtige wiskundige instrumenten:

1. Tweedemoment-schatting voor willekeurige steekproeven:

   • Er wordt gekeken naar een configuratie van $n$ onafhankelijke, identiek verdeelde (i.i.d.) willekeurige variabelen $X_i$ met verdeling $dx$.
   • De auteur analyseert de verwachtingswaarde van de kwadratische Green-energie $S_n = \sum_{i \neq j} G(X_i, X_j)$.
   • Lemma 1: Er wordt bewezen dat de Green-functie $G$ in $L^2(M \times M)$ ligt, ondanks de logaritmische singulariteit op de diagonaal. Dit garandeert dat de variantie $\sigma^2 = \mathbb{E}[G(X_1, X_2)^2]$ eindig is.
   • Lemma 2 & 3: Er wordt aangetoond dat $\mathbb{E}[S_n] = 0$ (vanwege de genormaliseerde eigenschap van $G$) en dat de tweede moment $\mathbb{E}[S_n^2]$ schaalt als $O(n^2)$. Specifiek geldt $\mathbb{E}|S_n| \leq \sqrt{2}\sigma n$.

2. Asymptotiek van semi-discrete matching:

   • Er wordt gebruikgemaakt van recente resultaten van Ambrosio en Glaudo [1] over de asymptotische gedrag van de $W_2$-afstand voor semi-discrete matchingproblemen op compacte oppervlakken.
   • Hun resultaat geeft een scherpe tweezijdige schatting voor de verwachte kwadratische afstand:
     $$\mathbb{E}[W_2(\mu_n, dx)^2] \approx \frac{\text{vol}(M)}{4\pi} \frac{\log n}{n}$$
     De dominante term is van orde $\frac{\log n}{n}$.

3. Belangrijkste Resultaten

Het hoofdbewijs (Theorema 1) leidt tot een contradictie:

• Aanname: Stel dat de ongelijkheid zonder de $\sqrt{\log n}$-factor waar is (dus met een restterm van $O(1/\sqrt{n})$).
• Afleiding: Als men deze aanname toepast op de willekeurige configuratie en de verwachting neemt, volgt uit de lineaire schaal van de Green-term en de $O(1/\sqrt{n})$-restterm dat:
  $$\mathbb{E}[W_2(\mu_n, dx)^2] \leq \frac{C^*}{n}$$
  voor een constante $C^*$ die onafhankelijk is van $n$.
• Contradictie: De asymptotiek van Ambrosio-Glaudo (formule 9 in het artikel) stelt echter dat:
  $$\mathbb{E}[W_2(\mu_n, dx)^2] \geq \frac{\text{vol}(M)}{8\pi} \frac{\log n}{n}$$
  voor grote $n$.
• Conclusie: De ongelijkheid $\frac{\log n}{n} \leq \frac{C}{n}$ kan niet waar zijn voor alle grote $n$, omdat $\log n$ onbegrensd groeit. De aanname moet dus onwaar zijn.

Hoofdconclusie: Er bestaat geen universele ongelijkheid van de vorm in Probleem 1 die geldt voor alle puntverzamelingen op een compact oppervlak. De factor $\sqrt{\log n}$ is noodzakelijk als men de niet-gerenormaliseerde off-diagonal Green-term behoudt.

4. Significatie en Nuancering

• Fundamentele Beperking: Het artikel toont aan dat de $\sqrt{\log n}$-factor in de tweedimensionale Green–Wasserstein-ongelijkheid geen artefact is van de bewijstechniek, maar een fundamentele eigenschap van de geometrie en de singulariteit van de Green-functie in twee dimensies.
• Renormalisatie: De auteur benadrukt (Opmerking 4) dat dit resultaat niet uitsluit dat $n^{-1/2}$-snelheden mogelijk zijn voor specifieke deterministische puntverzamelingen, noch dat er schattingen bestaan met een gereormaliseerde Green-energie (waarbij de singulariteit op de diagonaal expliciet wordt afgetrokken). Het resultaat geldt specifiek voor de vorm met de "unrenormalized" som $\sum_{i \neq j} G(x_i, x_j)$.
• Technische Bijdrage: De paper verbindt succesvol de theorie van willekeurige processen (U-statistieken, tweede momenten) met de recente ontwikkelingen in optimal transport en asymptotische analyse op Riemann-oppervlakken.

Samenvattend weerlegt dit artikel een specifieke veronderstelling over de optimaliteit van de Green–Wasserstein-ongelijkheid in twee dimensies en bevestigt de onontkoombaarheid van de logaritmische correctiefactor in de huidige formulering.