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

Resumo Técnico: Dissipação de Energia Livre e uma Decomposição de Difusões de Salto Gerais em $\mathbb{R}^n$ sem Detalhe de Balanço

Enunciado do Problema
O artigo aborda a estrutura termodinâmica de processos de difusão de salto de estado contínuo, uma classe de dinâmicas estocásticas que combina movimento Browniano e saltos impulsionados por processos de Poisson. Embora a relação entre energia livre, produção de entropia e detalhe de balanço esteja bem estabelecida para processos de difusão contínua (regidos por equações de Fokker-Planck locais) e processos de salto de Markov de estado discreto (equações mestras), a mecânica estatística de não-equilíbrio para difusões de salto de estado contínuo permanece subdesenvolvida. Especificamente, há uma carência de fórmulas explícitas e computáveis para dissipação de energia livre, produção de entropia e calor de manutenção (housekeeping heat) na presença de operadores não locais. O desafio central reside em estender as decomposições geométrica e operatória (como a decomposição de Helmholtz-Hodge) para configurações não locais, onde a definição padrão de corrente de probabilidade torna-se não local, e a caracterização de "deriva residual" e dinâmicas conservativas é não trivial.

Metodologia
Os autores analisam um processo geral de difusão de salto $(X_t)_{t \geq 0}$ em $\mathbb{R}^n$ definido pela equação 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)$$
onde $B_t$ é um movimento Browniano, $N$ é uma medida de Poisson aleatória e $\beta$ é o inverso da temperatura.

A metodologia procede através de três etapas principais:

1. Formulação Termodinâmica: Os autores definem a energia livre generalizada $F(\rho(t))$ como a entropia relativa (escalonada por $\beta^{-1}$) entre a densidade dependente do tempo $\rho(t, x)$ e a medida invariante $\mu_{ss}$ com densidade $\rho_{ss}(x)$. Ao combinar esta definição com a equação de Fokker-Planck não local, eles derivam uma fórmula explícita para a derivada temporal da energia livre.
2. Decomposição da Dissipação: A taxa de dissipação derivada é decomposta em dois termos não negativos: a taxa de produção de entropia $e_p(t)$ e o calor de manutenção $Q_{hk}(t)$. Esta decomposição baseia-se na definição de correntes de probabilidade locais (associadas à difusão) e correntes de probabilidade não locais (associadas aos saltos).
3. Divisão Operatória-Teórica: Os autores introduzem um espaço de Hilbert ponderado $L^2(\mathbb{R}^n, \rho_{ss} dx)$ e analisam a estrutura adjunta do gerador $\mathcal{L}$ em relação à medida invariante. Eles provam que $\mathcal{L}$ admite uma decomposição canônica em uma parte simétrica ($\mathcal{L}_s$) e uma parte antissimétrica ($\mathcal{L}_a$).

Principais Contribuições e Resultados

1. Identidade de Dissipação de Energia Livre:
   O artigo estabelece a identidade:
   $$\frac{dF(\rho(t))}{dt} = Q_{hk}(t) - \beta^{-1} e_p(t)$$
   onde $e_p(t) \geq 0$ representa a taxa de produção de entropia total (contendo contribuições de salto e de difusão local) e $Q_{hk}(t) \geq 0$ representa o calor de manutenção necessário para manter um estado estacionário de não-equilíbrio (NESS). Os autores provam uma desigualdade do tipo Clausius $\theta \frac{dS}{dt} - \frac{dQ}{dt} = \theta e_p(t) \geq 0$.

2. Decomposição do Gerador ($\mathcal{L} = \mathcal{L}_s + \mathcal{L}_a$):
   Um resultado central é a decomposição do gerador $\mathcal{L}$ em:

   • Parte Simétrica ($\mathcal{L}_s$): Este operador é autoadjunto em relação a $\mu_{ss}$. Ele gera uma dinâmica reversível que satisfaz o detalhe de balanço. A dissipação da energia livre é impulsionada inteiramente por este componente e é quantificada por um funcional de informação de Fisher não local $I[\rho(t)]$, definido via a forma de Dirichlet de $\mathcal{L}_s$. Especificamente, $\frac{dF}{dt} = -\beta^{-1} I[\rho(t)]$.
   • Parte Antissimétrica ($\mathcal{L}_a$): Este operador é antissimétrico em relação a $\mu_{ss}$. Ele gera um fluxo conservativo canônico (correntes de probabilidade divergência-zero) que preserva a medida estacionária. Crucialmente, os autores provam que a dissipação de energia livre associada a $\mathcal{L}_a$ desaparece identicamente ($F'_a(\rho) = 0$). Este componente é responsável pela circulação e pelas correntes de probabilidade que quebram o detalhe de balanço sem contribuir para o decaimento da entropia.

3. Caracterização do Detalhe de Balanço:
   O artigo refina a compreensão do detalhe de balanço ao mostrar que, na ausência de detalhe de balanço, a condição estacionária é satisfeita globalmente pela formação de laços de corrente fechados gerados por $\mathcal{L}_a$, em vez de pelo desaparecimento local das correntes. O desaparecimento da parte antissimétrica é mostrado como equivalente à reversibilidade temporal e ao detalhe de balanço.

4. Ilustrações Numéricas:
   Dois exemplos unidimensionais de transporte ativo intracelular são apresentados:

   • Caso de Não-Equilíbrio: Um modelo impulsionado por Lévy com uma deriva de confinamento. Os resultados mostram um calor de manutenção e uma produção de entropia em estado estacionário não nulos, com a energia livre decaindo para zero enquanto o sistema permanece fora do equilíbrio. A decomposição esclarece que as correntes persistentes são impulsionadas por $\mathcal{L}_a$, enquanto o relaxamento é impulsionado por $\mathcal{L}_s$.
   • Caso de Equilíbrio: Um mecanismo de salto de "reset para Gibbs". Neste cenário, o calor de manutenção desaparece, e a dissipação da energia livre é inteiramente igual à taxa de produção de entropia, consistente com a ausência de um componente antissimétrico.

Significância e Alegações
Os autores alegam que este trabalho fornece um arcabouço termodinâmico unificado para processos de difusão de salto, estendendo resultados clássicos de difusões contínuas e cadeias de Markov discretas para dinâmicas não locais. A principal significância reside em:

• Clareza Estrutural: Fornecer uma interpretação geométrica clara de estados estacionários de não-equilíbrio ao separar a dinâmica em um setor dissipativo e reversível ($\mathcal{L}_s$) e um setor de circulação e não-dissipativo ($\mathcal{L}_a$).
• Quantificação de Custos de Manutenção: Identificar explicitamente o calor de manutenção como o custo energético para manter a circulação de não-equilíbrio, distinto da dissipação associada ao relaxamento em direção ao estado estacionário.
• Informação de Fisher Generalizada: Introduzir um funcional de informação de Fisher não local que governa a taxa de decaimento da energia livre, ligando as propriedades espectrais do gerador simétrico à taxa de convergência do sistema.

O artigo conclui que esta decomposição oferece uma maneira sistemática de separar o relaxamento dissipativo da circulação impulsionada em sistemas complexos, com potenciais aplicações em biofísica (ex: transporte intracelular) e aprendizado de máquina (ex: modelagem generativa não gaussiana), embora o artigo foque primariamente na derivação teórica e nos exemplos ilustrativos em vez de propor novos protocolos experimentais.