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

Resumen Técnico: Disipación de Energía Libre y una Descomposición de Difusiones de Salto Generales en $\mathbb{R}^n$ sin Equilibrio Detallado

Planteamiento del Problema
El artículo aborda la estructura termodinámica de los procesos de difusión de salto de estado continuo, una clase de dinámica estocástica que combina el movimiento browniano con saltos impulsados por procesos de Poisson. Si bien la relación entre la energía libre, la producción de entropía y el equilibrio detallado está bien establecida para procesos de difusión continua (gobernados por ecuaciones de Fokker-Planck locales) y procesos de salto de Markov de estado discreto (ecuaciones maestras), la mecánica estadística fuera del equilibrio de las difusiones de salto de estado continuo permanece subdesarrollada. Específicamente, existe una falta de fórmulas explícitas y computables para la disipación de la energía libre, la producción de entropía y el calor de mantenimiento (housekeeping heat) en presencia de operadores no locales. El desafío central radica en extender las descomposiciones geométricas y operatorio-teóricas (como la descomposición de Helmholtz-Hodge) a entornos no locales, donde la definición estándar de corriente de probabilidad se vuelve no local, y la caracterización del "arrastre residual" y la dinámica conservativa es no trivial.

Metodología
Los autores analizan un proceso de difusión de salto general $(X_t)_{t \geq 0}$ en $\mathbb{R}^n$ definido por la ecuación diferencial estocástica:
$$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)$$
donde $B_t$ es un movimiento browniano y $N$ es una medida de Poisson aleatoria, y $\beta$ es la temperatura inversa.

La metodología procede a través de tres pasos principales:

1. Formulación Termodinámica: Los autores definen la energía libre generalizada $F(\rho(t))$ como la entropía relativa (escalada por $\beta^{-1}$) entre la densidad dependiente del tiempo $\rho(t, x)$ y la medida invariante $\mu_{ss}$ con densidad $\rho_{ss}(x)$. Al combinar esta definición con la ecuación de Fokker-Planck no local, derivan una fórmula explícita para la derivada temporal de la energía libre.
2. Descomposición de la Disipación: La tasa de disipación derivada se descompone en dos términos no negativos: la tasa de producción de entropía $e_p(t)$ y el calor de mantenimiento $Q_{hk}(t)$. Esta descomposición depende de la definición tanto de corrientes de probabilidad locales (asociadas a la difusión) como de corrientes de probabilidad no locales (asociadas a los saltos).
3. División Operatorio-Teórica: Los autores introducen un espacio de Hilbert ponderado $L^2(\mathbb{R}^n, \rho_{ss} dx)$ y analizan la estructura adjunta del generador $\mathcal{L}$ con respecto a la medida invariante. Demuestran que $\mathcal{L}$ admite una descomposición canónica en una parte simétrica ($\mathcal{L}_s$) y una parte antisimétrica ($\mathcal{L}_a$).

Contribuciones Clave y Resultados

1. Identidad de Disipación de Energía Libre:
   El artículo establece la identidad:
   $$\frac{dF(\rho(t))}{dt} = Q_{hk}(t) - \beta^{-1} e_p(t)$$
   donde $e_p(t) \geq 0$ representa la tasa de producción de entropía total (que contiene contribuciones tanto de difusión local como de salto no local) y $Q_{hk}(t) \geq 0$ representa el calor de mantenimiento requerido para mantener un estado estacionario fuera del equilibrio (NESS). Los autores demuestran una desigualdad de tipo Clausius $\theta \frac{dS}{dt} - \frac{dQ}{dt} = \theta e_p(t) \geq 0$.

2. Descomposición del Generador ($\mathcal{L} = \mathcal{L}_s + \mathcal{L}_a$):
   Un resultado central es la descomposición del generador $\mathcal{L}$ en:

   • Parte Simétrica ($\mathcal{L}_s$): Este operador es autoadjunto con respecto a $\mu_{ss}$. Genera una dinámica reversible que satisface el equilibrio detallado. La disipación de la energía libre es impulsada enteramente por este componente y se cuantifica mediante un funcional de información de Fisher no local $I[\rho(t)]$, definido a través de la forma de Dirichlet de $\mathcal{L}_s$. Específicamente, $\frac{dF}{dt} = -\beta^{-1} I[\rho(t)]$.
   • Parte Antisimétrica ($\mathcal{L}_a$): Este operador es antisimétrico con respecto a $\mu_{ss}$. Genera un flujo conservativo canónico (corrientes de probabilidad divergencia cero) que preserva la medida estacionaria. Crucialmente, los autores demuestran que la disipación de la energía libre asociada con $\mathcal{L}_a$ se anula identicamente ($F'_a(\rho) = 0$). Este componente da cuenta de la circulación y las corrientes de probabilidad que rompen el equilibrio detallado sin contribuir a la degradación de la entropía.

3. Caracterización del Equilibrio Detallado:
   El artículo refina la comprensión del equilibrio detallado al mostrar que, en ausencia de este, la condición estacionaria se satisface globalmente mediante la formación de bucles de corriente cerrados generados por $\mathcal{L}_a$, en lugar de por la anulación local de las corrientes. Se demuestra que la anulación de la parte antisimétrica es equivalente a la reversibilidad temporal y al equilibrio detallado.

4. Ilustraciones Numéricas:
   Se presentan dos ejemplos unidimensionales de transporte activo intracelular:

   • Caso Fuera del Equilibrio: Un modelo impulsado por procesos de Lévy con un arrastre de confinamiento. Los resultados muestran un calor de mantenimiento de estado estacionario no nulo y una producción de entropía, donde la energía libre decae hacia cero mientras el sistema permanece fuera del equilibrio. La descomposición clarifica que las corrientes persistentes son impulsadas por $\mathcal{L}_a$, mientras que la relajación es impulsada por $\mathcal{L}_s$.
   • Caso de Equilibrio: Un mecanismo de salto de tipo "reinicio a Gibbs" (reset-to-Gibbs). En este escenario, el calor de mantenimiento se anula y la disipación de la energía libre es enteramente igual a la tasa de producción de entropía, lo cual es consistente con la ausencia de un componente antisimétrico.

Significancia y Reivindicaciones
Los autores afirman que este trabajo proporciona un marco termodinámico unificado para los procesos de difusión de salto, extendiendo los resultados clásicos de las difusiones continuas y las cadenas de Markov discretas a la dinámica no local. La principal significancia reside en:

• Claridad Estructural: Proporcionar una interpretación geométrica clara de los estados estacionarios fuera del equilibrio al separar la dinámica en un sector disipativo y reversible ($\mathcal{L}_s$) y un sector no disipativo y generador de circulación ($\mathcal{L}_a$).
• Cuantificación de los Costos de Mantenimiento: Identificar explícitamente el calor de mantenimiento como el costo energético de mantener la circulación fuera del equilibrio, distinto de la disipación asociada con la relajación hacia el estado estacionario.
• Información de Fisher Generalizada: Introducir un funcional de información de Fisher no local que gobierna la tasa de decaimiento de la energía libre, vinculando las propiedades espectrales del generador simétrico con la tasa de convergencia del sistema.

El artículo concluye que esta descomposición ofrece una forma sistemática de separar la relajación disipativa de la circulación impulsada en sistemas complejos, con aplicaciones potenciales en biofísica (por ejemplo, transporte intracelular) y aprendizaje automático (por ejemplo, modelado generativo no gaussiano), aunque el artículo se centra principalmente en la derivación teórica y los ejemplos ilustrativos más que en proponer nuevos protocolos experimentales.