Free energy dissipation and a decomposition of general jump diffusions on $\mathbb{R}^n$ without detailed balance

Technische Samenvatting: Vrije Energie-dissipatie en een Decompositie van Algemene Jump-diffusies op $\mathbb{R}^n$ zonder Gedetailleerd Evenwicht

Probleemstelling
Het artikel behandelt de thermodynamische structuur van continue-toestand jump-diffusieprocessen, een klasse van stochastische dynamica die Brownse beweging combineert met door Poisson-processen gedreven sprongen. Hoewel de relatie tussen vrije energie, entropieproductie en gedetailleerd evenwicht goed gevestigd is voor continue diffusieprocessen (geregeerd door lokale Fokker-Planck-vergelijkingen) en discrete-toestand Markov-sprongprocessen (Master-vergelijkingen), blijft de niet-evenwichtsstatistische mechanica van continue-toestand jump-diffusies onderontwikkeld. Specifiek is er een gebrek aan expliciete, berekenbare formules voor vrije energie-dissipatie, entropieproductie en housekeeping-warmte in aanwezigheid van niet-lokale operatoren. De centrale uitdaging ligt in het uitbreiden van de geometrische en operator-theoretische decomposities (zoals de Helmholtz-Hodge-decompositie) naar niet-lokale settings, waar de standaarddefinitie van waarschijnlijkheidsstroom niet-lokaal wordt, en de karakterisering van "residuele drift" en conservatieve dynamica niet triviaal is.

Methodologie
De auteurs analyseren een algemeen jump-diffusieproces $(X_t)_{t \geq 0}$ op $\mathbb{R}^n$ gedefinieerd door de stochastische differentiaalvergelijking:
$$dX_t = b(X_t)dt + \sqrt{2\beta^{-1}}a(X_{t-}) \circ dB_t + \int_{\mathbb{R}^n \setminus \{0\}} \sigma(X_{t-}, z) N(dt, dz)$$
waarbij $B_t$ een Brownse beweging is en $N$ een Poisson-maat is, en $\beta$ de inverse temperatuur is.

De methodologie verloopt via drie hoofdfasen:

1. Thermodynamische Formulering: De auteurs definiëren de gegeneraliseerde vrije energie $F(\rho(t))$ als de relatieve entropie (geschaald met $\beta^{-1}$) tussen de tijdsafhankelijke dichtheid $\rho(t, x)$ en de stationaire maat $\mu_{ss}$ met dichtheid $\rho_{ss}(x)$. Door deze definitie te combineren met de niet-lokale Fokker-Planck-vergelijking, leiden zij een expliciete formule af voor de tijdsafgeleide van de vrije energie.
2. Decompositie van Dissipatie: De afgeleide dissipatiesnelheid wordt gedecomposeerd in twee niet-negatieve termen: de entropieproductiesnelheid $e_p(t)$ en de housekeeping-warmte $Q_{hk}(t)$. Deze decompositie berust op het definiëren van zowel lokale waarschijnlijkheidsstromen (geassocieerd met diffusie) als niet-lokale waarschijnlijkheidsstromen (geassocieerd met sprongen).
3. Operator-theoretische Splitsing: De auteurs introduceren een gewogen Hilbertruimte $L^2(\mathbb{R}^n, \rho_{ss} dx)$ en analyseren de adjunct-structuur van de generator $\mathcal{L}$ ten opzichte van de stationaire maat. Zij bewijzen dat $\mathcal{L}$ een canonieke decompositie toelaat in een symmetrisch deel ($\mathcal{L}_s$) en een anti-symmetrisch deel ($\mathcal{L}_a$).

Belangrijkste Bijdragen en Resultaten

1. Vrije Energie-dissipatie Identiteit:
   Het artikel stelt de identiteit vast:
   $$\frac{dF(\rho(t))}{dt} = Q_{hk}(t) - \beta^{-1} e_p(t)$$
   waarbij $e_p(t) \geq 0$ de totale entropieproductiesnelheid vertegenwoordigt (bevat zowel lokale diffusieve als niet-lokale sprongbijdragen) en $Q_{hk}(t) \geq 0$ de housekeeping-warmte is die nodig is om een niet-evenwichtsstationaire toestand (NESS) te handhaven. De auteurs bewijzen een Clausius-achtige ongelijkheid $\theta \frac{dS}{dt} - \frac{dQ}{dt} = \theta e_p(t) \geq 0$.

2. Generator Decompositie ($\mathcal{L} = \mathcal{L}_s + \mathcal{L}_a$):
   Een centraal resultaat is de decompositie van de generator $\mathcal{L}$ in:

   • Symmetrisch Deel ($\mathcal{L}_s$): Deze operator is zelf-adjunct ten opzichte van $\mu_{ss}$. Hij genereert een reversibele dynamica die voldoet aan gedetailleerd evenwicht. De vrije energie-dissipatie wordt volledig gedreven door deze component en wordt gekwantificeerd door een niet-lokale Fisher-informatie functionaal $I[\rho(t)]$, gedefinieerd via de Dirichlet-vorm van $\mathcal{L}_s$. Specifiek geldt: $\frac{dF}{dt} = -\beta^{-1} I[\rho(t)]$.
   • Anti-symmetrisch Deel ($\mathcal{L}_a$): Deze operator is anti-symmetrisch ten opzichte van $\mu_{ss}$. Hij genereert een canonieke conservatieve flow (divergentievrije waarschijnlijkheidsstromen) die de stationaire maat behoudt. Cruciaal is dat de auteurs bewijzen dat de vrije energie-dissipatie geassocieerd met $\mathcal{L}_a$ identiek nul is ($F'_a(\rho) = 0$). Deze component verklaart de circulatie en waarschijnlijkheidsstromen die het gedetailleerd evenwicht doorbreken zonder bij te dragen aan de entropie-afname.

3. Karakterisering van Gedetailleerd Evenwicht:
   Het artikel verfijnt het begrip van gedetailleerd evenwicht door aan te tonen dat in de afwezigheid van gedetailleerd evenwicht, de stationaire conditie globaal wordt voldaan door de vorming van gesloten stroomlussen gegenereerd door $\mathcal{L}_a$, in plaats van door het lokaal verdwijnen van stromen. Het verdwijnen van het anti-symmetrische deel wordt getoond als equivalent aan tijdsomkeerbaarheid en gedetailleerd evenwicht.

4. Numerieke Illustraties:
   Twee een-dimensionale voorbeelden uit de intracellulaire actieve transportmechanismen worden gepresenteerd:

   • Niet-evenwichtssituatie: Een Lévy-gedreven model met een beperkende drift. De resultaten tonen een niet-nul stationaire housekeeping-warmte en entropieproductie, waarbij de vrije energie naar nul convergeert terwijl het systeem zich buiten het evenwicht bevindt. De decompositie verduidelijkt dat de persistente stromen worden gedreven door $\mathcal{L}_a$, terwijl de relaxatie wordt gedreven door $\mathcal{L}_s$.
   • Evenwichtssituatie: Een "reset-to-Gibbs" sprongmechanisme. In dit scenario verdwijnt de housekeeping-warmte en is de vrije energie-dissipatie volledig gelijk aan de entropieproductie, wat consistent is met de afwezigheid van een anti-symmetrisch component.

Significantie en Claims
De auteurs stellen dat dit werk een verenigd thermodynamisch kader biedt voor jump-diffusieprocessen, waarmee klassieke resultaten van continue diffusies en discrete Markov-ketens worden uitgebreid naar niet-lokale dynamica. De primaire significantie ligt in:

• Structurele Helderheid: Het bieden van een duidelijke geometrische interpretatie van niet-evenwichtsstationaire toestanden door de dynamica te scheiden in een dissipatieve, reversibele sector ($\mathcal{L}_s$) en een niet-dissipatieve, circulatiegenererende sector ($\mathcal{L}_a$).
• Kwantificering van Onderhoudskosten: Het expliciet identificeren van housekeeping-warmte als de energetische kosten voor het handhaven van niet-evenwichtscirculatie, onderscheiden van de dissipatie geassocieerd met relaxatie naar de stationaire toestand.
• Gegeneraliseerde Fisher-informatie: Het introduceren van een niet-lokale Fisher-informatie functionaal die de snelheid van vrije energie-afname bepaalt, wat de spectrale eigenschappen van de symmetrische generator koppelt aan de convergentiesnelheid van het systeem.

Het artikel concludeert dat deze decompositie een systematische manier biedt om dissipatieve relaxatie te scheiden van gedreven circulatie in complexe systemen, met potentiële toepassingen in de biofysica (bijv. intracellulair transport) en machine learning (bijv. niet-Gaussische generatieve modellering), hoewel het artikel zich primair richt op de theoretische afleiding en illustratieve voorbeelden in plaats van het voorstellen van nieuwe experimentele protocollen.