Sparsity and uniform regularity for regularised optimal transport

Probleemstelling
Dit artikel onderzoekt de eigenschappen van minimisers voor geregulariseerde optimale transportproblemen (ROT), met een specifieke focus op kwadratisch optimaal transport dat wordt geregulariseerd door ofwel sub-kwadratische polynomiale termen of entropische termen. Het primaire doel is om uniforme regulariteitschattingen vast te stellen voor de transport-achtige afbeelding en de bijbehorende potentialen die onafhankelijk zijn van de regularisatieparameter $\varepsilon$.

De auteurs adresseren een gat in de bestaande literatuur waarbij regulariteitsresultaten voor geregulariseerd transport vaak exponentieel afhankelijk zijn van $\varepsilon$ (bijv. in de entropische setting) of beperkt zijn tot specifieke gevallen zoals kwadratische regularisatie ($p=2$). Terwijl entropische regularisatie bekend staat om zijn gladheid, lijdt het aan volledige ondersteuning (full support), wat leidt tot numerieke instabiliteit. Daarentegen biedt sub-kwadratische polynomiale regularisatie ($p \in (1, 2]$) een ijle ondersteuning (sparse support), maar ontbreekt een uitgebreide analytische regulariteitstheorie die uniform is in $\varepsilon$. Het artikel beoogt te bewijzen dat, onder de aanname dat de ongeregulariseerde transportafbeelding bi-$C^{1,\alpha}$-regulier is, de geregulariseerde transport-achtige afbeelding $T_\varepsilon$ en potentialen $f_\varepsilon, g_\varepsilon$ voldoen aan binnenste Lipschitz- en hogere-orde schattingen die begrensd blijven wanneer $\varepsilon \to 0$.

Methodologie
De auteurs hanteren een multi-schaal analysebenadering, waarbij variatiemethoden worden gecombineerd met structurele eigenschappen van de transportplannen:

1. Energie-nabijheid en Quasi-minimaliteit: Het bewijs begint met het vaststellen dat de energie van het geregulariseerde probleem dicht bij de ongeregulariseerde kwadratische transportenergie ligt, met een specifieke convergentiesnelheid die afhangt van $\varepsilon$ en de dimensie $d$. Dit maakt het mogelijk om de geregulariseerde minimisers te behandelen als quasi-minimisers van het kwadratische transportprobleem.
2. Campanato-iteratie (Grote Schalen): Voor schalen groter dan een kritische lengte $R_c$, maken de auteurs gebruik van een Campanato-iteratieschema, aangepast van de variatiemethode voor optimaal transport. Dit propageert regulariteitsinformatie van het ongeregulariseerde probleem naar beneden naar de kritische schaal.
3. Kritische Schaal Analyse: Een cruciaal onderdeel is de afleiding van een kritische schaal $R_c \approx \varepsilon^{\frac{2}{d(p-1)+2}}$. Onder deze schaal domineert de regularisatieterm. De auteurs analyseren de structuur van de transport-achtige afbeelding $T_\varepsilon$ (gedefinieerd als een gewogen gemiddelde van het transportplan) op schalen kleiner dan $R_c$ met behulp van de specifieke eigenschappen van de regularisatiefunctie $h$.
4. Ondersteuningsgrenzen en Monotoniciteit: Een centrale technische bijdrage is de afleiding van scherpe lokale grenzen op de grootte van de ondersteuning (support) van het geregulariseerde transportplan. Dit berust op een algemeen monotoniciteitsprincipe (cyclische monotoniciteit aangepast voor geregulariseerd transport) en lokale $L^\infty$-grenzen. Deze grenzen worden gebruikt om "lange trajecten" in het transportplan te controleren, wat essentieel is voor de regulariteitsschattingen.
5. Affiene Invariantie: De auteurs maken gebruik van affiene coördinatentransformaties om het probleem te normaliseren, waardoor zij lokale schattingen uniform over het domein kunnen toepassen.

Belangrijkste Bijdragen en Resultaten

• Uniforme Regulariteitsschattingen: Het hoofddoel (Theorema 3) stelt dat indien de ongeregulariseerde transportafbeelding $T$ bi-$C^{1,\alpha}$-regulier is, de geregulariseerde transport-achtige afbeelding $T_\varepsilon$ een binnenste Lipschitz-schatting voldoet die onafhankelijk is van $\varepsilon$.
  • Voor strikt sub-kwadratische regularisatie ($p < 2$) wordt getoond dat $T_\varepsilon$ $C^1$ is met uniforme grenzen.
  • Voor entropische regularisatie ($p=1$) worden getoond dat de potentialen $C^2$ zijn met uniforme grenzen.
  • Deze resultaten gelden voor algemene convexe, superlineaire regularisatietermen waarvoor geldt $h'(0)=0$.
• Ondersteunings-ijlheid en Bias-grenzen: Het artikel leidt lokale grenzen af op de ondersteuning van geregulariseerde minimisers (Theorema 6). Het bewijst dat voor $p > 1$, de ondersteuning van het transportplan ijl is, waarbij de afwijking van de ongeregulariseerde transportafbeelding begrensd wordt door een functie van $\varepsilon$. Specifiek is de spreiding van de ondersteuning van de orde $\varepsilon^{\frac{2}{d(p-1)+2}}$.
  • Dit leidt tot een globale bias-grens (Corollary 8) die aantoont dat $|y - T(x)|$ klein is, tenzij $x$ nabij de rand van de ondersteuning ligt.
  • De auteurs merken op dat voor entropische regularisatie ($p=1$), $h'(0) \neq 0$, en de ondersteuning volledig (full support) is, wat consistent is met bekende resultaten.
• Convergentieresultaten: Als gevolg van de uniforme schattingen bewijst het artikel de convergentie van de geregulariseerde transport-achtige afbeelding naar de ongeregulariseerde transportafbeelding in $C^{0,1-}_{loc}$ en de potentialen in $C^{1,1-}_{loc}$ (Corollary 5).
• Verbetering van de Bestaande Literatuur: De auteurs stellen dat hun globale bias-grenzen de best bekende resultaten voor kwadratische regularisatie ($p=2$) verbeteren (specifiek [35]).

Betekenis en Claims
Het artikel claimt dat de schattingen uniform zijn in de regularisatieparameter $\varepsilon$, een eigenschap die over het algemeen niet beschikbaar is in de literatuur voor geregulariseerd optimaal transport, met name voor sub-kwadratische polynomiale regularisatie. De auteurs benadrukken dat hun benadering een verenigd kader biedt voor zowel entropische als polynomiale regularisatie.

De afleiding van scherpe lokale grenzen op de grootte van de ondersteuning wordt gepresenteerd als een resultaat van onafhankelijke interesse, aangezien het globale bias-grenzen impliceert en de overgang tussen het geregulariseerde en ongeregulariseerde regime verheldert. De auteurs merken bescheiden op dat hoewel hun globale grenzen niet noodzakelijkerwijs scherp zijn in alle regimes, ze een verbetering vormen ten opzichte van bestaande resultaten voor kwadratische regularisatie. De convergentieresultaten worden benadrukt als bijzonder relevant voor toepassingen, omdat ze een rigoureuze rechtvaardiging bieden voor de stabiliteit van geregulariseerde transportplannen als $\varepsilon \to 0$.

Het werk steunt op de aanname dat de ongeregulariseerde transportafbeelding bi-$C^{1,\alpha}$-regulier is, een conditie die bijvoorbeeld wordt vervuld wanneer de ondersteuning van de maten convex is (verwijzend naar [6]). Het artikel stelt geen nieuwe numerieke algoritmen of experimentele validaties voor, maar richt zich op de analytische fundamenten die de stabiliteit en convergentie van geregulariseerde transportmethoden onderbouwen.