The Schrödinger problem on metric graphs

Resumo Técnico: O Problema de Schrödinger em Grafos Métricos

Enunciado do Problema
Este artigo investiga o problema de Schrödinger em grafos métricos, um problema de interpolação estocástica preocupado em encontrar a evolução mais provável de partículas de gás independentes entre duas distribuições observadas, $\mu_0$ e $\mu_1$. O estudo foca em estabelecer a relação entre este problema e o transporte ótimo (OT) dentro do cenário geométrico específico de grafos métricos. Diferentemente de variedades riemannianas ou espaços $RCD^*(K, N)$, onde existe uma teoria abrangente, os grafos métricos apresentam desafios únicos devido à sua falta de suavidade e à ausência de limites sintéticos fortes de curvatura inferior. Os autores visam derivar rigorosamente as formulações estática e dinâmica do problema de Schrödinger nesses espaços, provar sua equivalência e analisar sua convergência para a distância de Wasserstein ao quadrado conforme o parâmetro de regularização se anula.

Metodologia
Os autores empregam uma combinação de técnicas analíticas e métodos numéricos:

1. Análise Estática e $\Gamma$-Convergência:

   • O problema estático de Schrödinger é reformulado como um problema de transporte ótimo entrópico (EOT). A medida de referência é escolhida como o núcleo de calor $h_{\beta/2}$ no grafo métrico.
   • Para provar a $\Gamma$-convergência do problema EOT para o problema de transporte ótimo de Kantorovich estático quando $\beta \to 0$, os autores utilizam uma técnica de "aproximação por blocos" adaptada de [CDPS17].
   • Crucialmente, eles utilizam limites superiores e inferiores gaussianos para o núcleo de calor (derivados de propriedades de semigrupos e fórmulas de soma de caminhos) para lidar com a função de custo, que difere da distância quadrática padrão devido à estrutura do grafo.

2. Formulação Dinâmica e Equivalência:

   • Uma versão dinâmica do problema de Schrödinger (DSP) é derivada, modelada como uma minimização sobre soluções fracas da equação de continuidade. O funcional inclui um termo de energia cinética e um termo de informação de Fisher (decorrente da regularização de entropia).
   • A equivalência entre as formulações estática (S$\beta$) e dinâmica (DSP) é estabelecida construindo soluções específicas utilizando o semigrupo do fluxo de calor. Isso envolve definir densidades dependentes do tempo via núcleo de calor e verificar se satisfazem a equação de continuidade e as condições de acoplamento nos vértices do grafo.
   • Os autores abordam a falta de limites de curvatura fortes (que tipicamente facilitam a construção de sequências de recuperação em configurações dinâmicas) deslocando os requisitos de regularidade para a medida de referência em vez da própria sequência de recuperação.

3. Existência e Generalização:

   • A existência de soluções para o problema dinâmico é provada usando o método direto do Cálculo das Variações. Para lidar com casos onde as densidades podem não ser limitadas, os autores estendem o funcional para incluir partes singulares de medidas e utilizam um funcional de ação modificado baseado na função convexa $\Psi(u, v) = |v|^2/2u$.
   • A compacidade do conjunto de soluções é estabelecida usando estimativas de Hölder e propriedades do núcleo de calor em grafos métricos.

4. Investigação Numérica:

   • Um algoritmo primal-dual baseado em formulações de Lagrangiana aumentada é proposto para resolver o problema dinâmico. O método emprega uma formulação mista introduzindo uma variável auxiliar para o gradiente da densidade.
   • A discretização é realizada usando quocientes de diferença central para pontos interiores e diferenças de um lado nos vértices, preservando a estrutura simétrica no tempo.

Principais Contribuições e Resultados

• Equivalência Estática e Convergência: O artigo prova que o problema estático de Schrödinger em grafos métricos é equivalente a um problema de transporte ótimo entrópico com uma função de custo modificada. Estabelece a $\Gamma$-convergência deste problema entrópico estático para o problema de Kantorovich estático (distância de Wasserstein ao quadrado) conforme $\beta \to 0$.
• Equivalência Dinâmica: Os autores derivam rigorosamente uma formulação dinâmica do tipo Benamou-Brenier para o problema de Schrödinger em grafos métricos. Eles provam que, para dados iniciais e finais limitados, as formulações estática e dinâmica são equivalentes, e o problema dinâmico admite um minimizador único.
• Convergência de Mínimos: Como consequência da equivalência estática-dinâmica e da $\Gamma$-convergência estática, os valores mínimos do problema de Schrödinger dinâmico convergem para a distância de Wasserstein ao quadrado, e os minimizadores convergem para geodésicas de Wasserstein.
• Tratamento de Déficits de Curvatura: O artigo destaca uma distinção teórica significativa: enquanto a $\Gamma$-convergência ocorre para as formulações estáticas, os autores observam que a $\Gamma$-convergência para as formulações dinâmicas não segue diretamente em grafos métricos devido à falta de limites fortes de curvatura inferior (especificamente, a ausência de uma estimativa nítida de contratividade de Wasserstein sem uma constante adicional). A convergência dos mínimos é alcançada via a equivalência estática-dinâmica.
• Existência para Dados Gerais: A formulação dinâmica é estendida para dados iniciais e finais mais gerais (removendo a suposição de densidade limitada), e a existência de soluções é provada neste contexto mais amplo.
• Validação Numérica: Experimentos numéricos em grafos de forma de estrela demonstram a convergência das soluções de Schrödinger dinâmicas para a geodésica de Wasserstein conforme $\beta \to 0$. Os resultados ilustram o efeito de suavização do termo de informação de Fisher (continuidade nos vértices) para $\beta > 0$, contrastando com a natureza descontínua das geodésicas de transporte ótimo padrão em grafos.

Significância
O artigo fornece o primeiro panorama abrangente do problema de Schrödinger em grafos métricos, preenchendo uma lacuna na literatura onde tais resultados estavam anteriormente limitados a espaços $RCD^*(K, N)$. Demonstra que, apesar da falha das condições fortes de curvatura sintética em grafos métricos, as relações fundamentais entre os problemas de Schrödinger estático e dinâmico e sua conexão com o transporte ótimo podem ser estabelecidas rigorosamente. O trabalho esclarece o papel específico da regularidade do núcleo de calor para compensar a falta de limites de curvatura e oferece um arcabouço numérico robusto para resolver esses problemas em espaços métricos não suaves.