On two differing geometric descriptions of the passage from microscopy to macroscopy in Markov diffusion theory

Resumen Técnico: Dos Descripciones Geométricas Diferentes del Pasaje de la Microscopía a la Macroscopía en la Teoría de Markov

Planteamiento del Problema
El artículo aborda la jerarquía matemática que conecta los sistemas de partículas aleatorias (microscopía) con las ecuaciones diferenciales parciales deterministas (macroscopía) y las desigualdades funcionales. Específicamente, investiga la relación estructural entre dos marcos geométicos distintos utilizados para describir procesos de difusión: la geometría de Otto (basada en la métrica de Wasserstein) y la geometría de Stein (basada en las discrepancias de Stein de núcleo).

Si bien ambos marcos describen la evolución de densidades de probabilidad mediante flujos de gradiente de funcionales (como la entropía relativa), difieren en cómo convierten una "fuerza" escalar (el gradiente de un funcional) en un campo de velocidad de partículas. El problema central es construir rigurosamente una jerarquía común que vincule los funcionales con las velocidades de las partículas y los tangentes de densidad, y caracterizar precisamente las condiciones bajo las cuales estos dos geometrías producen evoluciones equivalentes, ya sea al nivel de los campos de partículas, las leyes de probabilidad o las estadísticas observadas.

Metodología
El autor emplea un enfoque de geometría diferencial riguroso sobre el espacio de densidades de probabilidad positivas suaves, $P^\infty_+(M)$, en una variedad de Riemann cerrada $M$. La metodología procede a través de los siguientes pasos:

1. Construcción de la Variedad: El espacio de densidades se trata como una variedad de Fréchet. El espacio tangente se identifica con funciones suaves de masa cero, y el espacio cotangente con distribuciones módulo constantes.
2. El Operador de Continuidad: Se establece un operador central $A_\rho v = -\text{div}(\rho v)$ como la diferencial de la acción de pushforward de los difeomorfismos. Este operador mapea las velocidades de las partículas a los tangentes de densidad. Su núcleo consiste en campos divergencia-libres (direcciones verticales) que reordenan las partículas sin cambiar la densidad.
3. Selecciones de Hilbert (Representaciones de Riesz): Para seleccionar una velocidad única del cociente de velocidades que mapean a un dado tangente de densidad, se imponen dos normas de Hilbert en el espacio de campos vectoriales:
   • Selección de Otto: Utiliza la norma $L^2(\rho)$ ponderada. El representante de Riesz de una fuerza $f$ es el gradiente $\nabla f$. Esto produce el flujo de gradiente de Wasserstein estándar.
   • Selección de Stein: Utiliza una norma de espacio de Hilbert de núcleo reproductor (RKHS) definida por un núcleo vectorizado $k$. El representante de Riesz involucra el adjunto del operador de inclusión, $I_\rho^* \nabla f$.
4. Comparación vía Movilidad Efectiva: La relación entre las dos geometrías está mediada por un operador $M_\rho$ en el espacio horizontal de Otto (el espacio de los gradientes). Este operador se define como la proyección del operador de núcleo de Stein sobre el espacio horizontal: $M_\rho = P_\rho^{\text{hor}} I_\rho I_\rho^*$.
5. Análisis Jerárquico: El artículo analiza la jerarquía desde funcionales diferenciables $\to$ covectores $\to$ fuerzas $\to$ velocidades de partículas $\to$ tangentes de densidad. Examina dónde se cumple la igualdad entre las trayectorias de Otto y Stein en cada nivel (por ejemplo, acuerdo exacto de partículas vs. acuerdo de leyes o acuerdo de observaciones de dimensión finita).

Contribuciones Clave y Resultados

• Construcción de la Jerarquía Unificada: El artículo construye una jerarquía completa de "partícula a funcional", definiendo explícitamente las flechas que conectan funcionales, covectores, fuerzas, velocidades y leyes. Identifica las ambigüedades de cociente (campos verticales) inherentes al mapear velocidades a leyes.
• El Operador de Movilidad Efectiva ($M_\rho$): El resultado principal es la identificación de $M_\rho$ como el operador que gobierna la diferencia entre las dos geometrías.
  • Equivalencia de Leyes: Los tangentes de densidad de Otto y Stein concuerdan para un covector $[f]$ si y solo si $M_\rho \nabla f = \nabla f$.
  • Equivalencia de Partículas: Los campos de velocidad de partículas seleccionados concuerdan si y solo si $I_\rho I_\rho^* \nabla f = \nabla f$.
  • Implicación: La equivalencia de leyes es estrictamente más débil que la equivalencia de partículas; movimientos de partículas distintos pueden producir la misma evolución de densidad si difieren por un campo vertical (divergencia-libre).
• Condiciones de Acuerdo:
  • Acuerdo Exacto: Ocurre cuando $M_\rho$ actúa como la identidad en el subespacio de fuerzas relevante.
  • Acuerdo por Cambio de Tiempo: Las geometrías producen la misma curva de leyes no parametrizada si $M_\rho \nabla f = a(\rho) \nabla f$ para un escalar positivo $a$.
  • Acuerdo de Observación: El acuerdo puede prescribirse para observables específicos de dimensión finita (por ejemplo, momentos) construyendo un núcleo de rango finito que realice una respuesta autoadjunta positiva específica sobre el subespacio de fuerzas relevante para dichos observables.
• Aplicación a Flujos de Entropía: El artículo aplica estos resultados al funcional de entropía relativa. Muestra que los flujos de entropía de Wasserstein y Stein concuerdan si y solo si la función de score $\nabla \log(\rho/\pi)$ es un autovector de $M_\rho$ con autovalor 1.
• Familias Exponenciales y Modelos Gaussianos:
  • Para familias exponenciales mínimas regulares, el artículo demuestra que el descenso de covector en coordenadas de expectativa puede realizarse mediante el transporte de partículas usando soluciones de Stein de la ecuación de Stein.
  • En el modelo Gaussiano, se analizan los campos de partículas afines. Se muestra que mientras el levantamiento mínimo de Wasserstein requiere una matriz lineal simétrica, el levantamiento de Stein depende del núcleo. El artículo aclara que el transporte afín no caracteriza unánimemente las medidas gaussianas sin hipótesis adicionales.
• Grandes Desviaciones y Fluctuaciones: El artículo distingue entre la equivalencia de leyes determinista y la equivalencia de fluctuaciones microscópicas. Observa que incluso si dos geometrías inducen el mismo flujo de gradiente determinista, sus acciones de grandes desviaciones (y, por tanto, los costos de las fluctuaciones microscópicas) pueden diferir porque las normas de los tangentes y cotangentes fuera de la dirección de costo cero siguen siendo distintas.
• Extensiones de Dimensión Infinita: El marco se extiende a espacios de Wiener abstractos, definiendo operadores de Stein de dimensión infinita mediante derivadas de Cameron-Martin y estableciendo condiciones de cerrabilidad y cuasi-regularidad.

Significado y Reivindicaciones
El artículo afirma proporcionar una "universalización parcial" de la jerarquía microscópica–mesoscópica–macroscópica en el análisis de Markov. Su importancia radica en:

1. Comparación Rigurosa: Ir más allá de las comparaciones heurísticas para proporcionar condiciones algebraicas y espectrales exactas (vía $M_\rho$) bajo las cuales las geometrías de Otto y Stein coinciden o difieren.
2. Clarificación de la Equivalencia: Distinguir entre diferentes niveles de equivalencia (partícula, ley, observación, cambio de tiempo y costo de fluctuación), argumentando que el acuerdo en un nivel (por ejemplo, leyes macroscópicas) no implica acuerdo en otro (por ejemplo, trayectorias de partículas o costos de fluctuación).
3. Diseño Constructivo: Demostrar que para cualquier respuesta autoadjunta positiva prescrita en un subespacio de fuerzas de dimensión finita, se puede construir un núcleo reproductor de rango finito para realizar esa respuesta específica, permitiendo efectivamente la "sintonización" de la geometría para tareas estadísticas específicas.
4. Unificación de Perspectivas: Mostrar que tanto las descripciones de Wasserstein como las de Stein surgen de la misma estructura variacional subyacente (el operador de continuidad y la representación de Riesz), pero difieren en la elección de la norma de velocidad (la "movilidad").

El autor mantiene un tono modesto respecto a la existencia global y la suavidad, señalando que, si bien la construcción por fibras es rigurosa, los haces o conexiones de Stein globales requieren hipótesis de rango y regularidad uniforme que no están garantizadas por la construcción local por sí sola. El trabajo sirve como un análisis geométrico fundacional de la relación entre sistemas de partículas y sus leyes límite, más que como una propuesta de nuevas aplicaciones experimentales.