Sparsity and uniform regularity for regularised optimal transport

Enunciado do Problema
Este artigo investiga as propriedades dos minimizadores para problemas de transporte ótimo regularizado (ROT), focando especificamente no transporte ótimo quadrático regularizado por termos polinomiais subquadráticos ou termos entrópicos. O objetivo principal é estabelecer estimativas de regularidade uniforme para o mapa do tipo transporte e para os potenciais associados, que sejam independentes do parâmetro de regularização $\varepsilon$.

Os autores abordam uma lacuna na literatura existente onde os resultados de regularidade para o transporte regularizado frequentemente dependem exponencialmente de $\varepsilon$ (por exemplo, no caso entrópico) ou são limitados a casos específicos como a regularização quadrática ($p=2$). Enquanto a regularização entrópica é conhecida por sua suavidade, ela sofre de suporte total, o que leva a instabilidades numéricas. Por outro lado, a regularização polinomial subquadrática ($p \in (1, 2]$) oferece suporte esparso, mas carece de uma teoria de regularidade analítica abrangente que seja uniforme em $\varepsilon$. O artigo visa provar que, sob a suposição de que o mapa de transporte não regularizado é bi-$C^{1,\alpha}$-regular, o mapa do tipo transporte regularizado $T_\varepsilon$ e os potenciais $f_\varepsilon, g_\varepsilon$ satisfazem estimativas de Lipschitz interior e de ordem superior que permanecem limitadas conforme $\varepsilon \to 0$.

Metodologia
Os autores empregam uma abordagem de análise multiescala, combinando métodos variacionais com propriedades estruturais dos planos de transporte:

1. Proximidade de Energia e Quasi-Minimização: A prova começa estabelecendo que a energia do problema regularizado é próxima da energia de transporte quadrática não regularizada, com uma taxa específica de convergência que depende de $\varepsilon$ e da dimensão $d$. Isso permite que os minimizadores regularizados sejam tratados como quasi-minimizadores do problema de transporte quadrático.
2. Iteração de Campanato (Grandes Escalas): Para escalas maiores que um comprimento crítico $R_c$, os autores utilizam um esquema de iteração de Campanato adaptado da abordagem variacional para o transporte ótimo. Isso propaga a informação de regularidade do problema não regularizado para baixo até a escala crítica.
3. Análise de Escala Crítica: Um componente crucial é a derivação de uma escala crítica $R_c \approx \varepsilon^{\frac{2}{d(p-1)+2}}$. Abaixo desta escala, o termo de regularização domina. Os autores analisam a estrutura do mapa do tipo transporte $T_\varepsilon$ (definido como uma média ponderada do plano de transporte) em escalas menores que $R_c$ usando as propriedades específicas da função de regularização $h$.
4. Limites de Suporte e Monotonicidade: Uma contribuição técnica central é a derivação de limites locais aguçados sobre o tamanho do suporte do plano de transporte regularizado. Isso baseia-se em um princípio de monotonicidade geral (monotonicidade cíclica adaptada para o transporte regularizado) e limites locais de $L^\infty$. Esses limites são usados para controlar "trajetórias longas" no plano de transporte, o que é essencial para as estimativas de regularidade.
5. Invariância Afim: Os autores utilizam mudanças de coordenadas afins para normalizar o problema, permitindo que apliquem estimativas locais uniformemente através do domínio.

Principais Contribuições e Resultados

• Estimativas de Regularidade Uniforme: O principal resultado (Teorema 3) estabelece que, se o mapa de transporte não regularizado $T$ é bi-$C^{1,\alpha}$-regular, então o mapa do tipo transporte regularizado $T_\varepsilon$ satisfaz uma estimativa de Lipschitz interior independente de $\varepsilon$.
  • Para regularização estritamente subquadrática ($p < 2$), mostra-se que $T_\varepsilon$ é $C^1$ com limites uniformes.
  • Para regularização entrópica ($p=1$), demonstra-se que os potenciais são $C^2$ com limites uniformes.
  • Estes resultados valem para termos de regularização convexos e superlineares gerais que satisfaçam $h'(0)=0$.
• Esparsidade de Suporte e Limites de Viés: O artigo deriva limites locais no suporte dos minimizadores regularizados (Teorema 6). Prova-se que, para $p > 1$, o suporte do plano de transporte é esparso, com o desvio do mapa de transporte não regularizado limitado por uma função de $\varepsilon$. Especificamente, a dispersão do suporte é da ordem de $\varepsilon^{\frac{2}{d(p-1)+2}}$.
  • Isso leva a um limite de viés global (Corolário 8) mostrando que $|y - T(x)|$ é pequeno, a menos que $x$ esteja próximo da fronteira do suporte.
  • Os autores observam que, para a regularização entrópica ($p=1$), $h'(0) \neq 0$, e o suporte é total, consistente com resultados conhecidos.
• Resultados de Convergência: Como consequência das estimativas uniformes, o artigo prova a convergência do mapa do tipo transporte regularizado para o mapa de transporte não regularizado em $C^{0,1-}_{loc}$ e dos potenciais em $C^{1,1-}_{loc}$ (Corolário 5).
• Melhoria na Literatura Existente: Os autores afirmam que seus limites de viés global melhoram os melhores resultados conhecidos para a regularização quadrática ($p=2$) encontrados na literatura anterior (especificamente [35]).

Significância e Alegações
O artigo alega que suas estimativas são uniformes no parâmetro de regularização $\varepsilon$, uma propriedade não disponível genericamente na literatura para o transporte ótimo regularizado, particularmente para a regularização polinomial subquadrática. Os autores enfatizam que sua abordagem fornece um framework unificado tanto para a regularização entrópica quanto para a polinomial.

A derivação de limites locais aguçados sobre o tamanho do suporte é apresentada como um resultado de interesse independente, pois implica limites de viés global e esclarece a transição entre os regimes regularizado e não regularizado. Os autores observam modestamente que, embora seus limites globais não sejam necessariamente aguçados em todos os regimes, eles representam uma melhoria em relação aos resultados existentes para a regularização quadrática. Os resultados de convergência são destacados como particularmente relevantes para aplicações, fornecendo uma justificativa rigorosa para a estabilidade dos planos de transporte regularizados conforme $\varepsilon \to 0$.

O trabalho baseia-se na suposição de que o mapa de transporte não regularizado é bi-$C^{1,\alpha}$-regular, uma condição satisfeita, por exemplo, quando os suportes das medidas são convexos (citando [6]). O artigo não propõe novos algoritmos numéricos ou validações experimentais, mas foca nos fundamentos analíticos que sustentam a estabilidade e a convergência dos métodos de transporte regularizado.