Pathological Large Deviations of the KMP Process in Dimension $d\ge 2$

Resumo Técnico: Desvios Grandes Patológicos do Processo KMP em Dimensão $d \ge 2$

Enunciado do Problema
Este artigo investiga os desvios grandes dinâmicos do processo de Kipnis–Marchioro–Presutti (KMP), um processo de Markov canônico que modela a condução de calor em um toro discreto $\mathbb{T}^d_N$. O objeto central de estudo é a função de taxa que governa a probabilidade de trajetórias raras que se desviam da equação macroscópica de calor $\partial_t u = \frac{1}{2}\Delta u$.

Análises formais anteriores (por exemplo, Bertini, Gabrielli, Lebowitz) sugeriram uma função de taxa candidata $I_\rho$ derivada de uma estrutura de fluxo de gradiente envolvendo uma equação do tipo Fokker-Planck. No entanto, o processo KMP apresenta um desafio único: enquanto sua difusividade é linear, sua mobilidade é quadrática. Isso contrasta com processos de exclusão ou de alcance zero, onde a difusividade e a mobilidade são governadas pela mesma função. O artigo aborda se a estrutura formal de fluxo de gradiente caracteriza totalmente os desvios grandes ou se "trajetórias patológicas" — aquelas que carecem da regularidade necessária para resolver a equação do esqueleto associada — podem ocorrer com taxa finita.

Metodologia
Os autores empregam uma combinação de técnicas probabilísticas de desvios grandes e a análise de equações diferenciais parciais (EDPs) mal-postas.

1. Limite Inferior Restrito (Teorema 1):
   Para estabelecer um limite inferior para a função de taxa em trajetórias suficientemente regulares ($u \in \mathcal{R}$), os autores utilizam o método de inclinação (mudança de medida). Um obstáculo técnico significativo é a falta de uma "estimativa de substituição superexponencial" para o termo de mobilidade quadrática, que é padrão em outros sistemas de partículas interagentes.

   • Resolução: Em vez de depender de uma estimativa superexponencial global, os autores constroem uma mudança de medida específica $Q_{N,K}$ com um corte $K$ na energia. Explorando a regularidade do caminho alvo $u$, eles provam um limite $L^2_{t,x}$ na medida empírica sob $Q_{N,K}$. Isso permite que contornem a necessidade de uma estimativa superexponencial para observáveis ilimitados, validando o limite inferior para caminhos regulares sem exigir toda a maquinaria usualmente necessária para o limite superior.

2. Construção de Trajetórias Patológicas (Teorema 2):
   O cerne do trabalho envolve a construção de sequências de caminhos suaves $u_n$ que convergem para limites singulares $\Xi$ enquanto mantêm um custo dinâmico $J(u_n)$ limitado (ou tendendo a zero).

   • Análise da Equação do Esqueleto: Os autores analisam a equação do "esqueleto" $\partial_t u = \frac{1}{2}\Delta u - \nabla \cdot (ug)$, onde $g \in L^2_{t,x}$ é o controle. Eles demonstram que o equilíbrio entre difusão linear e mobilidade quadrática permite a concentração de massa (picos) que podem se mover ou aparecer/desaparecer com custo finito.
   • Dependência Dimensional: A construção depende da força dos mergulhos de Sobolev e das estimativas de dissipação de entropia:
     • $d=1$: O custo de criar uma singularidade (uma massa de Dirac) é finito.
     • $d=2$: A desigualdade de Moser-Trudinger permite a construção de caminhos com um número enumerável de saltos (descontinuidades no tempo) com custo finito.
     • $d \ge 3$: A dissipação de entropia não é mais semicontínua inferiormente na topologia fraca. Isso permite a construção de medidas relaxadas arbitrárias (incluindo aquelas com singularidades) que podem ser aproximadas por caminhos suaves com custo dinâmico nulo.

Resultados Chave

• Teorema 1 (Limite Inferior Restrito): Para qualquer dimensão $d \ge 1$, o limite inferior de desvios grandes vale para todos os caminhos suficientemente regulares $u$ (suaves, estritamente positivos). Neste conjunto, a função de taxa candidata $I_\rho$ é válida, e o custo dinâmico $J$ coincide com o custo formal de Fokker-Planck $J_{FP}$.
• Teorema 2 (Trajetórias Patológicas): A função de taxa candidata $I_\rho$ falha em descrever todos os desvios grandes possíveis em dimensões $d \ge 2$.
  • $d=1$: Existem caminhos com uma única singularidade instantânea (uma massa de Dirac aparecendo no tempo $t_0$) que ocorrem com taxa finita.
  • $d=2$: Existem caminhos com um número enumerável de saltos instantâneos (descontinuidades na topologia fraca de medidas) que ocorrem com taxa finita.
  • $d \ge 3$: Existem caminhos convergindo para medidas relaxadas arbitrárias (satisfazendo limites mínimos de energia) com custo dinâmico nulo. Isso implica que, em altas dimensões, o princípio de desvios grandes é dominado por essas trajetórias singulares, e a função de taxa padrão é efetivamente zero para uma vasta classe de caminhos não suaves.

Significado e Alegações
O artigo alega que os obstáculos que impedem um princípio de desvios grandes completo para o processo KMP não são meramente técnicos, mas fundamentais.

• Falha da Estrutura Formal: A estrutura formal de fluxo de gradiente, que descreve com sucesso os desvios grandes para outros modelos (como o processo de alcance zero), não governa o processo KMP em dimensões $d \ge 2$. As trajetórias "patológicas" (singularidades e saltos) não são artefatos da prova, mas eventos genuínos de desvios grandes com taxa finita (ou nula).
• Sensibilidade Dimensional: Os resultados destacam uma dependência aguda da dimensão. Enquanto o processo é fisicamente bem definido para todo $d \ge 1$, a natureza dos desvios grandes muda drasticamente: de singularidades em $d=1$, para saltos em $d=2$, até uma ruptura completa da capacidade da função de taxa de penalizar a irregularidade em $d \ge 3$.
• Contribuição Metodológica: O trabalho fornece uma validação rigorosa do limite inferior sem estimativas superexponenciais, adaptando a mudança de medida à regularidade do caminho alvo. Além disso, conecta o problema de desvios grandes à má colocação de equações parabólico-hiperbólicas com derivação rugosa, mostrando como a falta de compacidade em dimensões superiores permite a construção de trajetórias que evitam as restrições de regularidade padrão.

Os autores concluem que os desvios grandes do processo KMP em $d \ge 2$ incluem trajetórias que não são contínuas no tempo (na topologia fraca) e não podem ser interpretadas como soluções da equação do esqueleto, demonstrando assim que a estrutura formal de fluxo de gradiente é insuficiente para descrever a paisagem completa de eventos raros.