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

Technische Zusammenfassung: Freie Energie-Dissipation und eine Zerlegung allgemeiner Sprung-Diffusionsprozesse auf $\mathbb{R}^n$ ohne detailliertes Gleichgewicht

Problemstellung
Die vorliegende Arbeit befasst sich mit der thermodynamischen Struktur kontinuierlicher Zustands-Sprung-Diffusionsprozesse, einer Klasse stochastischer Dynamiken, die Brownsche Bewegung und Poisson-getriebene Sprünge kombiniert. Während die Beziehung zwischen freier Energie, Entropieproduktion und detailliertem Gleichgewicht für kontinuierliche Diffusionsprozesse (gesteuert durch lokale Fokker-Planck-Gleichungen) und diskrete Markov-Sprungprozesse (Master-Gleichungen) gut etabliert ist, bleibt die Nichtgleichgewichts-Statistische Mechanik von kontinuierlichen Zustands-Sprung-Diffusionsprozessen unterentwickelt. Insbesondere mangelt es an expliziten, berechenbaren Formeln für die freie Energie-Dissipation, die Entropieproduktion und die Housekeeping-Wärme in Gegenwart nicht-lokaler Operatoren. Die zentrale Herausforderung besteht darin, die geometrischen und operator-theoretischen Zerlegungen (wie etwa die Helmholtz-Hodge-Zerlegung) auf nicht-lokale Settings zu erweitern, in denen die Standarddefinition des Wahrscheinlichkeitsstroms nicht-lokal wird und die Charakterisierung des „Residualdrifts“ sowie konservativer Dynamiken nicht trivial ist.

Methodik
Die Autoren analysieren einen allgemeinen Sprung-Diffusionsprozess $(X_t)_{t \geq 0}$ auf $\mathbb{R}^n$, der durch die stochastische Differentialgleichung definiert ist:
$$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)$$
wobei $B_t$ eine Brownsche Bewegung ist und $N$ ein Poisson-Random-Measure darstellt sowie $\beta$ die inverse Temperatur ist.

Die Methodik vollzieht sich in drei Hauptschritten:

1. Thermodynamische Formulierung: Die Autoren definieren die verallgemeinerte freie Energie $F(\rho(t))$ als die relative Entropie (skaliert mit $\beta^{-1}$) zwischen der zeitabhängigen Dichte $\rho(t, x)$ und dem stationären Maß $\mu_{ss}$ mit der Dichte $\rho_{ss}(x)$. Durch Kombination dieser Definition mit der nicht-lokalen Fokker-Planck-Gleichung leiten sie eine explizite Zeitableitungsformel für die freie Energie ab.
2. Zerlegung der Dissipation: Die abgeleitete Dissipationsrate wird in zwei nicht-negative Terme zerlegt: die Entropieproduktionsrate $e_p(t)$ und die Housekeeping-Wärme $Q_{hk}(t)$. Diese Zerlegung beruht auf der Definition sowohl lokaler Wahrscheinlichkeitsströme (assoziiert mit Diffusion) als auch nicht-lokaler Wahrscheinlichkeitsströme (assoziiert mit Sprüngen).
3. Operator-theoretische Spaltung: Die Autoren führen einen gewichteten Hilbert-Raum $L^2(\mathbb{R}^n, \rho_{ss} dx)$ ein und analysieren die Adjungatstruktur des Erzeugers $\mathcal{L}$ in Bezug auf das stationäre Maß. Sie beweisen, dass $\mathcal{L}$ eine kanonische Zerlegung in einen symmetrischen Teil ($\mathcal{L}_s$) und einen antisymmetrischen Teil ($\mathcal{L}_a$) besitzt.

Zentrale Beiträge und Ergebnisse

1. Freie Energie-Dissipationsidentität:
   Die Arbeit etabliert die Identität:
   $$\frac{dF(\rho(t))}{dt} = Q_{hk}(t) - \beta^{-1} e_p(t)$$
   wobei $e_p(t) \geq 0$ die gesamte Entropieproduktionsrate darstellt (die sowohl lokale diffusive als auch nicht-lokale Sprungbeiträge enthält) und $Q_{hk}(t) \geq 0$ die Housekeeping-Wärme bezeichnet, die zur Aufrechterhaltung eines Nichtgleichgewichts-Stationärzustands (NESS) erforderlich ist. Die Autoren beweisen eine Clausius-artige Ungleichung $\theta \frac{dS}{dt} - \frac{dQ}{dt} = \theta e_p(t) \geq 0$.

2. Erzeuger-Zerlegung ($\mathcal{L} = \mathcal{L}_s + \mathcal{L}_a$):
   Ein zentrales Ergebnis ist die Zerlegung des Erzeugers $\mathcal{L}$ in:

• Symmetrischer Teil ($\mathcal{L}_s$): Dieser Operator ist bezüglich $\mu_{ss}$ selbstadjungiert. Er erzeugt eine reversible Dynamik, die das detaillierte Gleichgewicht erfüllt. Die freie Energie-Dissipation wird vollständig durch diesen Bestandteil getrieben und durch ein nicht-lokales Fisher-Informations-Funktional $I[\rho(t)]$ quantifiziert, das über die Dirichlet-Form von $\mathcal{L}_s$ definiert ist. Konkret gilt: $\frac{dF}{dt} = -\beta^{-1} I[\rho(t)]$.
• Antisymmetrischer Teil ($\mathcal{L}_a$): Dieser Operator ist bezüglich $\mu_{ss}$ antisymmetrisch. Er erzeugt einen kanonischen konservativen Fluss (divergenzfreie Wahrscheinlichkeitsströme), der das stationäre Maß bewahrt. Entscheidend ist, dass die Autoren beweisen, dass die mit $\mathcal{L}_a$ assoziierte freie Energie-Dissipation identisch verschwindet ($F'_a(\rho) = 0$). Dieser Bestandteil erklärt die Zirkulation und die Wahrscheinlichkeitsströme, welche das detaillierte Gleichgewicht brechen, ohne zur Entropieabnahme beizutragen.

3. Charakterisierung des detaillierten Gleichgewichts:
   Die Arbeit präzisiert das Verständnis des detaillierten Gleichgewichts, indem sie zeigt, dass in Abwesenheit des detaillierten Gleichgewichts die stationäre Bedingung global durch die Bildung geschlossener Stromschleifen erfüllt wird, die durch $\mathcal{L}_a$ generiert werden, anstatt durch das lokale Verschwinden von Strömen. Das Verschwinden des antisymmetrischen Teils wird als äquivalent zur Zeitumkehrbarkeit und zum detaillierten Gleichgewicht nachgewiesen.

4. Numerische Illustrationen:
   Es werden zwei eindimensionale Beispiele aus dem intrazellulären aktiven Transport präsentiert:

• Nichtgleichgewichtsfall: Ein Lévy-getriebenes Modell mit einem einschränkenden Drift. Die Ergebnisse zeigen eine nicht-verschwindende stationäre Housekeeping-Wärme und Entropieproduktion, wobei die freie Energie gegen Null zerfällt, während das System außerhalb des Gleichgewichts bleibt. Die Zerlegung verdeutlicht, dass die persistenten Ströme durch $\mathcal{L}_a$ getrieben werden, während die Relaxation durch $\mathcal{L}_s$ erfolgt.
• Gleichgewichtsfall: Ein „Reset-zu-Gibbs“-Sprungmechanismus. In diesem Szenario verschwindet die Housekeeping-Wärme, und die freie Energie-Dissipation entspricht vollständig der Entropieproduktionsrate, was konsistent mit dem Fehlen eines antisymmetrischen Bestandteils ist.

Bedeutung und Ansprüche
Die Autoren behaupten, dass diese Arbeit einen vereinheitlichten thermodynamischen Rahmen für Sprung-Diffusionsprozesse bietet, der klassische Ergebnisse von kontinuierlichen Diffusionen und diskreten Markov-Ketten auf nicht-lokale Dynamiken erweitert. Die primäre Bedeutung liegt in:

• Strukturelle Klarheit: Bereitstellung einer klaren geometrischen Interpretation von Nichtgleichgewichts-Stationärzuständen durch die Trennung der Dynamik in einen dissipativen, reversiblen Sektor ($\mathcal{L}_s$) und einen nicht-dissipativen, Zirkulation generierenden Sektor ($\mathcal{L}_a$).
• Quantifizierung der Erhaltungskosten: Explizite Identifizierung der Housekeeping-Wärme als energetische Kosten für die Aufrechterhaltung der Nichtgleichgewichts-Zirkulation, unterscheidbar von der Dissipation, die mit der Relaxation zum Stationärzustand einhergeht.
• Verallgemeinerte Fisher-Information: Einführung eines nicht-lokalen Fisher-Informations-Funktionals, das die Rate der freien Energie-Abnahme steuert und die spektralen Eigenschaften des symmetrischen Erzeugers mit der Konvergenzrate des Systems verknüpft.

Die Arbeit schließt mit dem Hinweis, dass diese Zerlegung einen systematischen Weg bietet, um dissipative Relaxation von getriebenem Transport in komplexen Systemen zu trennen, mit potenziellen Anwendungen in der Biophysik (z. B. intrazellulärer Transport) und im maschinellen Lernen (z. B. nicht-gaußsche generative Modellierung), wennglich sich die Arbeit primär auf die theoretische Herleitung und illustrative Beispiele konzentriert, statt neue experimentelle Protokolle vorzuschlagen.