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

Resumen Técnico: Desviaciones Grandes Patológicas del Proceso KMP en Dimensión $d \ge 2$

Enunciado del Problema
Este artículo investiga las desviaciones grandes dinámicas del proceso de Kipnis–Marchioro–Presutti (KMP), un proceso de Markov canónico que modela la conducción de calor en un toro discreto $\mathbb{T}^d_N$. El objeto central de estudio es la función de tasa que gobierna la probabilidad de trayectorias raras que se desvían de la ecuación de calor macroscópica $\partial_t u = \frac{1}{2}\Delta u$.

Análisis formales previos (por ejemplo, Bertini, Gabrielli, Lebowitz) sugirieron una función de tasa candidata $I_\rho$ derivada de una estructura de flujo de gradiente que involucra una ecuación similar a la de Fokker-Planck. Sin embargo, el proceso KMP presenta un desafío único: mientras que su difusividad es lineal, su movilidad es cuadrática. Esto contrasta con los procesos de exclusión o de rango cero, donde la difusividad y la movilidad están gobernadas por la misma función. El artículo aborda si la estructura formal de flujo de gradiente caracteriza completamente las desviaciones grandes o si pueden ocurrir trayectorias "patológicas"—aquellas que carecen de la regularidad requerida para resolver la ecuación del esqueleto asociada—con una tasa finita.

Metodología
Los autores emplean una combinación de técnicas probabilísticas de desviaciones grandes y el análisis de ecuaciones en derivadas parciales (EDP) mal planteadas.

1. Cota Inferior Restringida (Teorema 1):
   Para establecer una cota inferior para la función de tasa en trayectorias suficientemente regulares ($u \in \mathcal{R}$), los autores utilizan el método de inclinación (cambio de medida). Un obstáculo técnico significativo es la falta de una "estimación de reemplazo superexponencial" para el término de movilidad cuadrática, lo cual es estándar en otros sistemas de partículas interactuantes.

   • Resolución: En lugar de depender de una estimación superexponencial global, los autores construyen un cambio de medida específico $Q_{N,K}$ con un corte $K$ en la energía. Explotando la regularidad de la trayectoria objetivo $u$, prueban una cota $L^2_{t,x}$ sobre la medida empírica bajo $Q_{N,K}$. Esto les permite eludir la necesidad de una estimación superexponencial para observables no acotados, validando la cota inferior para trayectorias regulares sin requerir la maquinaria completa usualmente necesaria para la cota superior.

2. Construcción de Trayectorias Patológicas (Teorema 2):
   El núcleo del trabajo consiste en construir secuencias de trayectorias suaves $u_n$ que convergen a límites singulares $\Xi$ mientras mantienen un costo dinámico $J(u_n)$ acotado (o que tiende a cero).

   • Análisis de la Ecuación del Esqueleto: Los autores analizan la ecuación del "esqueleto" $\partial_t u = \frac{1}{2}\Delta u - \nabla \cdot (ug)$, donde $g \in L^2_{t,x}$ es el control. Demuestran que el equilibrio entre la difusión lineal y la movilidad cuadrática permite la concentración de masa (picos) que pueden moverse o aparecer/desaparecer con un costo finito.
   • Dependencia Dimensional: La construcción depende de la fuerza de las inmersiones de Sobolev y de las estimaciones de disipación de entropía:
     • $d=1$: El costo de crear una singularidad (una masa de Dirac) es finito.
     • $d=2$: La desigualdad de Moser-Trudinger permite la construcción de trayectorias con un número numerable de saltos (discontinuidades en el tiempo) con costo finito.
     • $d \ge 3$: La disipación de entropía ya no es semicontinua inferiormente en la topología débil. Esto permite la construcción de medidas relajadas arbitrarias (incluyendo aquellas con singularidades) que pueden ser aproximadas por trayectorias suaves con un costo dinámico nulo.

Resultados Clave

• Teorema 1 (Cota Inferior Restringida): Para cualquier dimensión $d \ge 1$, la cota inferior de desviaciones grandes se cumple para todas las trayectorias suficientemente regulares $u$ (suaves, estrictamente positivas). En este conjunto, la función de tasa candidata $I_\rho$ es válida, y el costo dinámico $J$ coincide con el costo formal de Fokker-Planck $J_{FP}$.
• Teorema 2 (Trayectorias Patológicas): La función de tasa candidata $I_\rho$ falla al describir todas las desviaciones grandes posibles en dimensiones $d \ge 2$.
  • $d=1$: Existen trayectorias con una única singularidad instantánea (una masa de Dirac que aparece en el tiempo $t_0$) que ocurren con una tasa finita.
  • $d=2$: Existen trayectorias con un número numerable de saltos instantáneos (discontinuidades en la topología débil de las medidas) que ocurren con una tasa finita.
  • $d \ge 3$: Existen trayectorias que convergen a medidas relajadas arbitrarias (satisfaciendo cotas mínimas de energía) con un costo dinámico nulo. Esto implica que en altas dimensiones, el principio de desviaciones grandes está dominado por estas trayectorias singulares, y la función de tasa estándar es efectivamente cero para una vasta clase de trayectorias no suaves.

Significado y Afirmaciones
El artículo afirma que los obstáculos que impiden un principio de desviaciones grandes completo para el proceso KMP no son meramente técnicos, sino fundamentales.

• Fallo de la Estructura Formal: La estructura formal de flujo de gradiente, que describe con éxito las desviaciones grandes para otros modelos (como el proceso de rango cero), no gobierna el proceso KMP en dimensiones $d \ge 2$. Las trayectorias "patológicas" (singularidades y saltos) no son artefactos de la prueba, sino eventos genuinos de desviación grande con tasa finita (o nula).
• Sensibilidad Dimensional: Los resultados destacan una dependencia aguda de la dimensión. Si bien el proceso está físicamente bien definido para todo $d \ge 1$, la naturaleza de las desviaciones grandes cambia drásticamente: desde singularidades en $d=1$, hasta saltos en $d=2$, y finalmente una ruptura completa de la capacidad de la función de tasa para penalizar la irregularidad en $d \ge 3$.
• Contribución Metodológica: El trabajo proporciona una validación rigurosa de la cota inferior sin estimaciones superexponenciales, adaptando el cambio de medida a la regularidad de la trayectoria objetivo. Además, conecta el problema de desviaciones grandes con la mala planteación de ecuaciones parabólico-hiperbólicas con deriva rugosa, mostrando cómo la falta de compacidad en dimensiones superiores permite la construcción de trayectorias que evaden las restricciones de regularidad estándar.

Los autores concluyen que las desviaciones grandes del proceso KMP en $d \ge 2$ incluyen trayectorias que no son continuas en el tiempo (en la topología débil) y no pueden interpretarse como soluciones de la ecuación del esqueleto, demostrando así que la estructura formal de flujo de gradiente es insuficiente para describir el paisaje completo de eventos raros.