Transportation cost inequalities for singular SPDEs

1. Probleemstelling en Context

Het artikel adresseert een fundamenteel probleem in de theorie van singuliere stochastische partiële differentiaalvergelijkingen (SPDE's): het begrijpen van de statistische eigenschappen van de wetten (probability laws) van de oplossingen, specifiek in het subkritische regime.

• Achtergrond: Traditionele resultaten over concentratie van maat en transportkostenongelijkheden (transportation cost inequalities) zijn vaak beperkt tot klassieke Itô-dynamica of minder singuliere vergelijkingen (zoals ruwe paden of mild singuliere SPDE's).
• De Uitdaging: Voor zeer singuliere SPDE's (zoals de $\Phi^4_4$-vergelijking in 4 dimensies) is de constructie van oplossingen afhankelijk van ingewikkelde renormalisatieprocedures (de BPHZ-methode). De probabilistische definitie van het "model" (de verrijkte ruis) is niet uniek en vereist een limietproces dat gevoelig is voor de structuur van de ruis.
• Het Doel: De auteurs willen bewijzen dat de wetten van de BPHZ-ruimtelijke modellen (BPHZ random models) voldoen aan transportkostenongelijkheden (TCI's), mits de onderliggende ruis aan bepaalde voorwaarden voldoet. Dit zou automatisch sterke integrabiliteitseigenschappen en grote-afwijkingenprincipes (Large Deviation Principles) voor de oplossingen van deze SPDE's opleveren.

2. Methodologie en Functionele Setting

De auteurs bouwen voort op de theorie van Regularity Structures (Hairer, 2014) en de specifieke constructie van het BPHZ-model zoals ontwikkeld door Bruned, Hairer en Zambotti, en later verfijnd door Bailleul & Hoshino.

• Aannames over de Ruis:
  De ruis $\xi$ wordt gedefinieerd op een Banachruimte $\Omega$ met een dichte Hilbert-onderruimte $H$. De wet van de ruis $P$ moet voldoen aan Assumptie A:

  1. De wet is middelpuntgericht (centered) en invariant onder ruimtetijd-translaties.
  2. De wet voldoet aan een transportkostenongelijkheid met een kostfunctie $c_H$ gebaseerd op de $H$-norm:
     $$a_\circ T_{c_H}(Q, P) \leq H(Q|P)$$
     (waarbij $H$ de relatieve entropie is).
  • Opmerking: Dit is een sterkere en robuustere aanname dan alleen een spectrale gap-ongelijkheid, hoewel de auteurs in Appendix A aantonen dat Assumptie A een spectrale gap impliceert.

• De Constructie van het Model:
  In plaats van de standaard regulariteitsstructuren te gebruiken, introduceren de auteurs een verfijnde regulariteit-integreerbaarheidsstructuur (regularity-integrability structure).

  • Hoogere orde Malliavin-calculus: Een cruciaal verschil met eerdere werken (zoals [26] en [1]) is dat de auteurs niet alleen eerste-orde Malliavin-afgeleiden beschouwen, maar een structuur opbouwen die alle orde Malliavin-afgeleiden omvat. Dit is noodzakelijk om de nodige polynoomschattings te verkrijgen.
  • Type-ruimtes: Ze introduceren twee kopieën van de Hilbert-ruimte $H$ in hun type-set ($H$ en $\tilde{H}$) om elementen te onderscheiden die geschat worden in verschillende Besov-normen ($B_{\infty,\infty}$ vs $B_{p,\infty}$).

• De Kerntechniek:
  Het bewijs draait om het aantonen van een padsgewijze Hölder-regulariteitsschatting voor het BPHZ-model $\hat{M}_{\infty;\varepsilon}$. Ze bewijzen dat voor een ruis $\omega$ en een perturbatie $h \in H$:
  $$\|\hat{M}_{\infty;\varepsilon}(\omega + h) : \hat{M}_{\infty;\varepsilon}(\omega)\|_M \leq L(\omega) \max(\|h\|_H, \|h\|_H^{1/r})$$
  waarbij $L(\omega)$ een willekeurige variabele is met exponentiële momenten (Gaussian tails) en $r \geq 1$.

3. Belangrijkste Resultaten

Het artikel levert drie hoofdresultaten op:

A. Transportkostenongelijkheden voor BPHZ-modellen (Hoofdstelling 2 & Corollarium 3)

Onder de aannamen van Assumptie A en de afwezigheid van "variance blow-up", voldoet de wet van het BPHZ-model aan een familie van transportkostenongelijkheden.

• Gevolg: De norm van het BPHZ-model heeft Gaussische staarten. Dat wil zeggen, er bestaat een $a > 0$ zodat:
  $$\mathbb{E}[\exp(a \|\hat{M}_{\infty;\varepsilon}\|_M^2)] < \infty$$
  Dit is een krachtig resultaat omdat het de integrabiliteit garandeert zonder specifieke Gaussianiteit van de ruis aan te nemen, zolang de ruis maar aan de TCI voldoet.

B. Integrabiliteit van Invariante Maatregelen (Hoofdstelling 4 & Corollarium 10)

De auteurs passen hun resultaten toe op de lange-termijngedragingen van singuliere SPDE's.

• Toepassing: Voor de $\Phi^4_{4-\nu}$ maat op de 4-dimensionale torus (voor $0 < \nu < 4$), en meer algemeen voor invariante maatregelen van Markov-dynamica gegenereerd door singuliere SPDE's.
• Resultaat: Deze invariante maatregelen voldoen aan een transportkostenongelijkheid. Concreet betekent dit dat er een constante $a > 0$ bestaat zodat:
  $$\int \exp(a \|\phi\|^{2/p(\nu)}_{C^{-1-\kappa+\nu}}) \mu(d\phi) < \infty$$
  Dit bevestigt en generaliseert eerdere resultaten over de integrabiliteit van deze kwantumveldentheorie-maatregelen.

C. Groot Afwijkingenprincipe (Large Deviation Principle - LDP) (Hoofdstelling 5 & 19)

Onder de sterkere aanname dat $H$ compact ingebed is in $\Omega$ en de ruis voldoet aan een LDP, bewijzen de auteurs een LDP voor het BPHZ-model zelf.

• Snelheidsfunctie: De snelheidsfunctie $J(M)$ wordt gegeven door een variatieprobleem over de Hilbert-ruimte $H$:
  $$J(M) = \inf \{ I(h) ; h \in H, L(h) = M \}$$
  waarbij $L(h)$ het "naive model" is gegenereerd door $h$.
• Significantie: Dit verlengt het klassieke resultaat van Hairer & Weber (voor de Allen-Cahn vergelijking) naar een veel bredere klasse van singuliere SPDE's en modellen, zonder gebruik te maken van Wiener-chaos decompositie, maar puur via de pathwise structuur van de regulariteitsstructuur.

4. Significatie en Bijdrage

De bijdrage van dit werk is fundamenteel voor de moderne theorie van singuliere SPDE's:

1. Robuustheid: De resultaten zijn niet beperkt tot Gaussische ruis. Ze gelden voor elke ruis die voldoet aan een transportkostenongelijkheid (wat inclusief perturbaties van Gaussische maten door begrensde dichtheden omvat).
2. Methodologische Doorbraak: Het succesvol toepassen van hogere-orde Malliavin-calculus binnen de context van regulariteitsstructuren om de nodige polynoomschattings te krijgen, is een nieuwe techniek. Eerdere werken volstonden met eerste-orde calculus, wat onvoldoende bleek voor de meest singuliere gevallen.
3. Verbinding tussen Analyse en Probabiliteit: Het artikel maakt een directe brug tussen de analytische eigenschappen van de oplossing (via de regulariteitsstructuur) en de probabilistische concentratie-eigenschappen (TCI en LDP).
4. Toepassingsgebied: De resultaten zijn direct toepasbaar op fysiek relevante modellen zoals het $\Phi^4_4$-model in de Euclidische kwantumveldentheorie, waar de integrabiliteit van de maat cruciaal is voor de geldigheid van de Osterwalder-Schrader-axioma's.

Samenvattend biedt dit artikel een krachtig, algemeen raamwerk om de statistische stabiliteit en concentratie-eigenschappen van oplossingen van de meest complexe singuliere stochastische vergelijkingen te bewijzen, gebaseerd op de eigenschappen van de onderliggende ruis.