On two differing geometric descriptions of the passage from microscopy to macroscopy in Markov diffusion theory

Technische Samenvatting: Twee Verschillende Geometrische Beschrijvingen van de Overgang van Microscopie naar Macroscopie in de Markov-theorie

Probleemstelling
Het artikel behandelt de wiskundige hiërarchie die de verbinding vormt tussen stochastische deeltjessystemen (microscopie) en deterministische partiële differentiaalvergelijkingen (macroscopie) en functionele ongelijkheden. Specifiek onderzoekt het de structurele relatie tussen twee afzonderlijke geometrische kaders die diffusieprocessen beschrijven: Otto-geometrie (gebaseerd op de Wasserstein-metriek) en Stein-geometrie (gebaseerd op kernel Stein-discrepanties).

Hoewel beide kaders de evolutie van waarschijnlijkheidsdichtheden beschrijven via gradiëntstromen van functionalen (zoals relatieve entropie), verschillen ze in de wijze waarop ze een scalaire "kracht" (de gradiënt van een functional) omzetten in een deeltjessnelheidsveld. Het centrale probleem is het rigoureus construeren van de gemeenschappelijke hiërarchie die functionalen verbindt met deeltjessnelheden en dichtheidstangenten, en het precies karakteriseren van de voorwaarden waaronder deze twee geometrieën equivalente evoluties opleveren, hetzij op het niveau van deeltjesvelden, waarschijnlijkheidswetten, of geobserveerde statistieken.

Methodologie
De auteur hanteert een rigoureuze differentieel-geometrische benadering op de ruimte van gladde positieve waarschijnlijkheidsdichtheden, $P^\infty_+(M)$, op een gesloten Riemanniaanse variëteit $M$. De methodologie verloopt via de volgende stappen:

1. Variëteitsconstructie: De ruimte van dichtheden wordt behandeld als een Fréchet-variëteit. De raumte wordt geïdentificeerd met zero-massa gladde functies, en de cotangente-ruimte met distributies modulo constanten.
2. De Continuïteitsoperator: Een centrale operator, $A_\rho v = -\text{div}(\rho v)$, wordt vastgesteld als de differentiaal van de pushforward-actie van diffeomorfismen. Deze operator brengt deeltjessnelheden naar dichtheidstangenten. Het kern van deze operator bestaat uit divergentievrije velden (verticale richtingen) die deeltjes herverdelen zonder de dichtheid te veranderen.
3. Hilbert-selecties (Riesz-representaties): Om een unieke snelheid te selecteren uit de coset van snelheden die een gegeven dichtheidstangent afbeelden, worden twee Hilbert-normen opgelegd op de ruimte van vectorenvelden:
   • Otto-selectie: Gebruikt de gewogen $L^2(\rho)$-norm. De Riesz-representant van een kracht $f$ is de gradiënt $\nabla f$. Dit levert de standaard Wasserstein-gradiëntstroom op.
   • Stein-selectie: Gebruikt een reproductieve kernel Hilbertruimte (RKHS) norm gedefinieerd door een vector-waardige kernel $k$. De Riesz-representant omvat de adjunct van de inclusie-afbeelding, $I_\rho^* \nabla f$.
4. Vergelijking via Effectieve Mobiliteit: De relatie tussen de twee geometrieën wordt bemiddeld door een operator $M_\rho$ op de Otto-horizontale ruimte (de ruimte van gradiënten). Deze operator wordt gedefinieerd als de projectie van de Stein-kerneloperator op de horizontale ruimte: $M_\rho = P_\rho^{\text{hor}} I_\rho I_\rho^*$.
5. Hiërarchische Analyse: Het artikel analyseert de hiërarchie van differentieerbare functionalen $\to$ covectoren $\to$ krachten $\to$ deeltjessnelheden $\to$ dichtheidstangenten. Het onderzoekt waar gelijkheid geldt tussen de Otto- en Stein-paden op elk niveau (bijv. exacte deeltjesovereenkomst, overeenstemming van wetten, of overeenstemming van einddimensionale observaties).

Kernbijdragen en Resultaten

• Constructie van een Verenigde Hiërarchie: Het artikel construeert een volledige "deeltje-naar-functional" hiërarchie, waarbij de pijlen die covectoren, krachten, snelheden en wetten verbinden, expliciet worden gedefinieerd. Het identificeert de quotient-ambiguïteiten (verticale velden) die inherent zijn aan het mappen van snelheden naar wetten.
• De Effectieve Mobiliteitsoperator ($M_\rho$): Het belangrijkste resultaat is de identificatie van $M_\rho$ als de operator die het verschil tussen de twee geometrieën beheerst.
  • Wet-equivalentie: De Otto- en Stein-dichtheidstangenten (wet-evoluties) komen overeen voor een covector $[f]$ dan en slechts dan als $M_\rho \nabla f = \nabla f$.
  • Deeltjes-equivalentie: De geselecteerde deeltjessnelheidsvelden komen overeen dan en slechts dan als $I_\rho I_\rho^* \nabla f = \nabla f$.
  • Implicatie: Wet-equivalentie is strikt zwakker dan deeltjes-equivalentie; verschillende deeltjesbewegingen kunnen dezelfde dichtheidsevolutie produceren als ze verschillen door een verticaal (divergentievrij) veld.
• Voorwaarden voor Overeenstemming:
  • Exacte Overeenstemming: Treedt op wanneer $M_\rho$ optreedt als de identiteit op de relevante kracht-subruimte.
  • Tijd-veranderde Overeenstemming: De geometrieën produceren dezelfde ongeparameteriseerde kromme van wetten als $M_\rho \nabla f = a(\rho) \nabla f$ voor een positieve scalaire $a$.
  • Observatie-overeenstemming: Overeenstemming kan worden voorgeschreven voor specifieke einddimensionale observabelen (bijv. momenten) door een eind-rang kernel te construeren die een specifieke positieve zelf-adjungente respons realiseert op de subspace van krachten die relevant zijn voor die observabelen.
• Toepassing op Entropiestromen: Het artikel past deze resultaten toe op het relatieve entropie-functional. Het toont aan dat de Wasserstein- en Stein-entropiestromen overeenkomen dan en slechts dan als de score-functie $\nabla \log(\rho/\pi)$ een eigenvector van $M_\rho$ is met eigenwaarde 1.
• Exponentiële Families en Gaussische Modellen:
  • Voor reguliere minimale exponentiële families toont het artikel aan dat covector-descent in verwachtingscoördinaten gerealiseerd kan worden door deeltjestransport met Stein-oplossingen van de Stein-vergelijking.
  • In het Gaussische model worden affine deeltjesvelden geanalyseerd. Er wordt aangetoond dat terwijl de Wasserstein minimale lift een symmetrische lineaire matrix vereist, de Stein lift afhankelijk is van de kernel. Het artikel verheldert dat affine transport de Gaussische maten niet uniek karakteriseert zonder verdere hypothesen.
• Grote Afwijkingen en Fluctuaties: Het maakt een onderscheid tussen deterministische wet-equivalentie en microscopische fluctuatie-equivalentie. Het merkt op dat zelfs als twee geometrieën dezelfde deterministische gradiëntstroom induceren, hun grote afwijkingen (en dus de kosten van microscopische fluctuaties) kunnen verschillen omdat de tangentiële en cotangentiële normen buiten de zero-cost richting verschillend blijven.
• Oneindig-dimensionale Uitbreidingen: Het kader wordt uitgebreid naar abstracte Wiener-ruimtes, waarbij oneindig-dimensionale Stein-operatoren worden gedefinieerd via Cameron-Martin-afgeleiden en voorwaarden voor sluitbaarheid en quasi-regulariteit worden vastgesteld.

Betekenis en Claims
Het artikel claimt een "partiële universalisering" te bieden van de microscopisch-mesoscopisch-macroscopische hiërarchie in de Markov-analyse. De betekenis ligt in:

1. Rigoureuze Vergelijking: Het gaat voorbij aan heuristische vergelijkingen om exacte algebraïsche en spectrale voorwaarden (via $M_\rho$) te bieden waaronder Otto- en Stein-geometrieën samenvallen of verschillen.
2. Verheldering van Equivalentie: Het onderscheidt verschillende niveaus van equivalentie (deeltjes, wetten, observaties, tijd-verandering en fluctuatiekosten), en beargumenteert dat overeenstemming op het ene niveau (bijv. macroscopische wetten) niet impliceert dat er overeenstemming is op een ander niveau (bijv. microscopische deeltjestrajecten of fluctuatiekosten).
3. Constructief Ontwerp: Het demonstreert dat voor elke voorgeschreven positieve zelf-adjungente respons op een eind-dimensionale kracht-subruimte, men een eind-rang reproductieve kernel kan construeren om die specifieke respons te realiseren, wat effectief het "tunen" van de geometrie voor specifieke statistische taken mogelijk maakt.
4. Vereniging van Perspectieven: Het toont aan dat zowel de Wasserstein als de Stein beschrijvingen voortkomen uit dezelfde onderliggende variationele structuur (de continuïteitsoperator en de Riesz-representatie), maar verschillen door de keuze van de deeltjessnelheidsnorm (de "mobiliteit").

De auteur behoudt een bescheiden toon met betrekking tot globale existentie en gladheid, waarbij wordt opgemerkt dat hoewel de vezel-gebaseerde constructie rigoureus is, globale Stein-bundels of verbindingen aanvullende uniforme bereik- en regulariteitshypothesen vereisen die door de lokale constructie alleen niet gegarandeerd worden. Het werk dient als een fundamentele geometrische analyse van de relatie tussen deeltjessystemen en hun limiterende wetten, in plaats van het voorstellen van nieuwe experimentele toepassingen.