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

Resumo Técnico: Duas Descrições Geométricas Diferentes da Passagem da Microscopia para a Macroscopia na Teoria de Markov

Enunciado do Problema
O artigo aborda a hierarquia matemática que conecta sistemas de partículas aleatórias (microscopia) a equações diferenciais parciais determinísticas (macroscopia) e desigualdades funcionais. Especificamente, investiga a relação estrutural entre dois frameworks geométicos distintos usados para descrever processos de difusão: a geometria de Otto (baseada na métrica de Wasserstein) e a geometria de Stein (baseada em discrepâncias de Stein de kernel).

Embora ambos os frameworks descrevam a evolução de densidades de probabilidade via fluxos de gradiente de funcionais (como a entropia relativa), eles diferem em como convertem uma "força" escalar (o gradiente de um funcional) em um campo de velocidade de partículas. O problema central é construir rigorosamente a hierarquia comum que liga funcionais a velocidades de partículas e tangentes de densidade, e caracterizar precisamente as condições sob as quais essas duas geometrias produzem evoluções equivalentes, seja ao nível dos campos de partículas, das leis de probabilidade ou das estatísticas observadas.

Metodologia
O autor emprega uma abordagem de geometria diferencial rigorosa no espaço de densidades de probabilidade positivas suaves, $P^\infty_+(M)$, em uma variedade riemanniana fechada $M$. A metodologia procede através dos seguintes passos:

1. Construção da Variedade: O espaço de densidades é tratado como uma variedade de Fréchet. O espaço tangente é identificado com funções suaves de massa zero, e o espaço cotangente com distribuições módulo constantes.
2. O Operador de Continuidade: Um operador central $A_\rho v = -\text{div}(\rho v)$ é estabelecido como a diferencial da ação de pushforward de difeomorfismos. Este operador mapeia velocidades de partículas para tangentes de densidade. Seu núcleo consiste em campos divergência-livres (direções verticais) que rearranjam partículas sem alterar a densidade.
3. Seleções de Hilbert (Representações de Riesz): Para selecionar uma velocidade única do cosset de velocidades que mapeiam para uma dada tangente de densidade, dois produtos normados de Hilbert são impostos ao espaço de campos vetoriais:
   • Seleção de Otto: Utiliza a norma $L^2(\rho)$ ponderada. O representante de Riesz de uma força $f$ é o gradiente $\nabla f$. Isso resulta no padrão fluxo de gradiente de Wasserstein.
   • Seleção de Stein: Utiliza uma norma de espaço de reprodução de kernel (RKHS) definida por um kernel de valor vetorial $k$. O representante de Riesz envolve o adjunto do operador de inclusão, $I_\rho^* \nabla f$.
4. Comparação via Mobilidade Efetiva: A relação entre as duas geometrias é mediada por um operador $M_\rho$ no espaço horizontal de Otto (o espaço de gradientes). Este operador é definido como a projeção do operador de kernel de Stein sobre o espaço horizontal: $M_\rho = P_\rho^{\text{hor}} I_\rho I_\rho^*$.
5. Análise Hierárquica: O artigo analisa a hierarquia de funções diferenciaveis $\to$ covetores $\to$ forças $\to$ velocidades de partículas $\to$ tangentes de densidade. Examina onde a igualdade ocorre entre os caminhos de Otto e Stein em cada nível (ex: concordância exata de partículas, concordância de leis ou concordância de observações de dimensão finita).

Principais Contribuições e Resultados

• Construção de Hierarquia Unificada: O artigo constrói uma hierarquia completa de "partícula-para-funcional", definindo explicitamente as setas que conectam funcionais, covetores, forças, velocidades, leis e tangentes. Identifica as ambiguidades de quociente (campos verticais) inerentes ao mapeamento de velocidades para leis.
• O Operador de Mobilidade Efetiva ($M_\rho$): O principal resultado é a identificação de $M_\rho$ como o operador que governa a diferença entre as duas geometrias.
  • Equivalência de Lei: As tangentes de densidade de Otto e Stein (evoluções de lei) concordam para um covetor $[f]$ se, e somente se, $M_\rho \nabla f = \nabla f$.
  • Equivalência de Partícula: Os campos de velocidade de partícula selecionados concordam se, e somente se, $I_\rho I_\rho^* \nabla f = \nabla f$.
  • Implicação: A equivalência de lei é estritamente mais fraca que a equivalência de partícula; movimentos de partículas distintos podem produzir a mesma evolução de densidade se diferirem por um campo vertical (divergência-livre).
• Condições para Concordância:
  • Concordância Exata: Ocorre quando $M_\rho$ atua como a identidade no subespaço de força relevante.
  • Concordância por Mudança de Tempo: As geometrias produzem a mesma curva de leis não parametrizada se $M_\rho \nabla f = a(\rho) \nabla f$ para um escalar positivo $a$.
  • Concordância de Observação: A concordância pode ser prescrita para observáveis específicos de dimensão finita (ex: momentos) construindo um kernel de posto finito que realize uma resposta autoajustada positiva específica no subespaço de forças relevantes para esses observáveis.
• Aplicação a Fluxos de Entropia: O artigo aplica estes resultados ao funcional de entropia relativa. Mostra que os fluxos de entropia de Wasserstein e Stein concordam se, e somente se, a função de score $\nabla \log(\rho/\pi)$ for um autovetor de $M_\rho$ com autovalor 1.
• Famílias Exponenciais e Modelos Gaussianos:
  • Para famílias exponenciais mínimas regulares, o artigo demonstra que o descenso de covetor em coordenadas de expectativa pode ser realizado via transporte de partículas usando soluções de Stein para a equação de Stein.
  • No modelo Gaussiano, campos de partículas afins são analisados. Mostra-se que, enquanto o levantamento (lift) mínimo de Wasserstein requer uma matriz linear simétrica, o levantamento de Stein depende do kernel. O artigo esclarece que o transporte afim não caracteriza unicamente medidas Gaussianas sem hipóteses adicionais.
• Grandes Desvios e Flutuações: O artigo distingue entre equivalência determinística de lei e equivalência de flutuação microscópica. Nota que, mesmo que duas geometrias induzam o mesmo fluxo de gradiente determinístico, suas ações de grandes desvios (e, portanto, os custos de flutuações microscópicas) podem diferir porque as normas de tangente e cotangente fora da direção de custo zero permanecem distintas.
• Extensões de Dimensão Infinita: O framework é estendido para espaços de Wiener abstratos, definindo operadores de Stein de dimensão infinita via derivadas de Cameron-Martin e estabelecendo condições de fechabilidade e quase-regularidade.

Significância e Alegações
O artigo alega fornecer uma "universalização parcial" da hierarquia microscópico–mesoscópico–macroscópico em análise de Markov. Sua significância reside em:

1. Comparação Rigorosa: Ir além de comparações heurísticas para fornecer condições algébricas e espectrais exatas (via $M_\rho$) sob as quais as geometrias de Otto e Stein coincidem ou diferem.
2. Clarificação de Equivalência: Distinguir entre diferentes níveis de equivalência (partícula, lei, observação, mudança de tempo e custo de flutuação), argumentando que a concordância em um nível (ex: leis macroscópicas) não implica concordância em outro (ex: trajetórias de partículas microscópicas ou custos de flutuação).
3. Design Construtivo: Demonstrar que, para qualquer resposta autoajustada positiva prescrita em um subespaço de força de dimensão finita, é possível construir um kernel de reprodução de posto finito para realizar essa resposta específica, permitindo efetivamente o "ajuste" da geometria para tarefas estatísticas específicas.
4. Unificação de Perspectivas: Mostrar que tanto as descrições de Wasserstein quanto as de Stein surgem do mesmo processo variacional subjacente (o operador de continuidade e a representação de Riesz), mas diferem na escolha da norma de velocidade (a "mobilidade").

O autor mantém um tom modesto quanto à existência global e suavidade, observando que, embora a construção fibrosa seja rigorosa, os bundles ou conexões de Stein globais exigem hipóteses de alcance e regularidade uniforme que não são garantidas pela construção local isolada. O trabalho serve como uma análise geométrica fundamental da relação entre sistemas de partículas e suas leis limites, em vez de propor novas aplicações experimentais.