Laplace Asymptotics near Stratified Minimum Sets

Resumo Técnico: Assintótica de Laplace Próximo a Conjuntos de Mínimos Estratificados

Enunciado do Problema
O artigo aborda o comportamento assintótico de integrais de Laplace reais da forma
$$I(z) = \int_N a(x) e^{-z f(x)} \, d\text{vol}_g(x), \quad z \to \infty,$$
onde $(N, g)$ é uma variedade Riemanniana, $f$ é uma função de fase contínua limitada inferiormente e $a$ é uma amplitude mensurável. O foco é o caso em que o conjunto de mínimo global $M = \{x : f(x) = f_0\}$ é compacto, mas possivelmente estratificado (composto por variedades suaves de diferentes dimensões que se encontram em singularidades) e a fase $f$ pode ser não quadrática ou não suave próximo a $M$.

Os métodos de Laplace clássicos dependem de um modelo local universal (tipicamente uma forma quadrática não degenerada) para determinar a taxa de decaimento e o coeficiente líder. Fora do regime suave e não degenerado, não existe tal forma normal universal. As ordens de decaimento líder podem variar (ex: polinomial, exponencial esticada) e diferentes direções podem possuir pesos distintos. Os teoremas existentes frequentemente falham em acomodar a combinação total de complexidades geométricas (estratificação, fronteiras, domínios relativos) e generalidade analítica (amplitudes mensuráveis, modelos não coercivos) simultaneamente.

Metodologia: A Calibragem de Células Normais (Normal-Cell Calculus)
O autor desenvolve uma calibragem construtiva baseada em uma desintegração de células normais adaptada. Em vez de assumir um sistema de coordenadas canônico, o arcabouço exige que o usuário forneça uma decomposição geométrica específica adaptada ao problema.

1. Desintegração Estratificada: O conjunto de mínimo $M$ é decomposto em finitamente muitos pedaços de base Borel $P_\alpha$. Para cada pedaço, uma aplicação de coordenadas $C^1$, $F_\alpha(p, s)$, é definida, onde $p \in P_\alpha$ é a variável de base e $s$ é uma variável de fibra (normal).
2. Células Admissíveis: As variáveis de fibra são restritas a "células admissíveis" mensuráveis $A_\alpha(p) \subset \mathbb{R}^{d_\alpha}$. Estas células podem ser espaços normais totais, domínios relativos (ex: semiespaços), cones polares ou conjuntos dependentes do ponto de base $p$. Crucialmente, estas células são escolhidas para cobrir uma vizinhança de $M$ até conjuntos nulos sem contagem dupla.
3. Reescalonamento Anisotrópico: O método emprega dilatações anisotrópicas $D^\beta_u t = (u^{\beta_1}t_1, \dots, u^{\beta_d}t_d)$ com pesos $\beta$. A fase é reescalonada para convergir para um modelo limite homogêneo $G_\alpha(p, t)$, e a amplitude converge para um limite $b_0(p)$.
4. Regimes de Convergência: O artigo estabelece três modos distintos de convergência para as integrais reescalonadas:
   • Perfil Uniforme: Requer convergência uniforme das células e uma condição de compacidade exponencial (frequentemente via coercividade ambiente).
   • Célula Pontual: Permite que as células reescalonadas convirjam apenas pontualmente na base, desde que as integrais de fibra reescalonadas sejam dominadas por um majorante integrável da base.
   • Reescalonamento de Fronteira Conjunta: Lida com casos em que uma variável de "colar" (tangente a uma estratificação superior) deve ser reescalonada conjuntamente com as variáveis normais porque o coeficiente da fibra torna-se não integrável próximo a uma fronteira.

Contribuições Principais e Resultados

• Teoremas de Ordem Líder Generalizados: O artigo prova assintóticas de ordem líder onde o coeficiente é computado integrando o perfil e a amplitude limites sobre a célula limite e, em seguida, sobre o pedaço da base. Este arcabouço recupera a fórmula de Morse–Bott, restrições cônicas e especializações euclidianas/radiais como casos especiais.
• Tratamento de Degenerescência e Cancelamento:
  • A teoria permite que estratos de menor dimensão dominem aqueles de maior dimensão se os primeiros possuírem um comportamento de fase suficientemente plano (de alta ordem), resultando em um expoente de decaimento menor.
  • Fornece um teorema de comparação global aditivo que permanece válido mesmo quando os coeficientes líderes desaparecem ou se cancelam (ex: devido a amplitudes com sinal ou complexas), necessitando de expansões de ordem superior.
• Expansões Finitas: O artigo deriva expansões assintóticas finitas ao representar células escalonadas em uma célula de referência fixa e expandir a densidade transportada. Isso inclui correções para fronteiras de células móveis via mapas de "endireitamento" (straightening) e critérios de jato ponderados.
• Aplicações Específicas:
  • Cones Positivo-Semidefinidos de Posto Deficiente: Na estimativa Bayesiana de matrizes de covariância, o método fornece um fator de ângulo sólido Gaussiano que fórmulas não restritas padrão não capturam.
  • Cinemática Inversa: Para um braço robótico planar de três elos com limites de junta, a análise mostra que uma dobra isolada de limite de junta (uma singularidade de fronteira) contribui para a posterior no mesmo nível de ordem líder que uma curva de automovimento suave. A posterior limite é uma mistura de um componente contínuo e um átomo.
  • Caos Weibulliano: O arcabouço analisa caudas de funcionais homogêneos de vetores aleatórios com decaimento radial dependente da direção. Identifica regimes onde a cauda é polinomial (devido a zeros interiores do custo) versus exponencialmente pequena, e deriva leis de fronteira "fracionárias" e "inteiras" quando o custo desaparece na fronteira do conjunto viável.

Significância e Alegações
O artigo afirma que nenhum teorema existente para integrais de Laplace reais acomoda a combinação total de pressupostos geométricos e analíticos aqui apresentados. Especificamente, ele permite simultaneamente:

• Conjuntos de mínimo compactos com estratificações $C^2$ finitas.
• Refinamentos de base Borel, cartas adaptadas $C^1$ e células mensuráveis dependentes da base.
• Diferentes dimensões de fibra e pesos anisotrópicos em diferentes pedaços.
• Uma fase contínua e uma amplitude meramente mensurável.
• Modelos limites homogêneos que não precisam ser suaves ou coercivos ambientalmente (controlados, em vez disso, por compacidade exponencial por célula).
• Reescalonamento conjunto de variáveis de fronteira e normais.

Compromisso (Trade-off): A generalidade vem ao custo de exigir que a desintegração de células normais adaptada e o modelo limite ponderado sejam fornecidos como hipóteses a serem verificadas em cada aplicação, em vez de serem consequências de um teorema de estratificação geral. O artigo não afirma que tal desintegração exista para conjuntos singulares arbitrários, mas fornece a maquinaria analítica para computar assintóticas uma vez que tal estrutura é fornecida.

O trabalho posiciona-se como complementar aos métodos de resolução de singularidades (usados em teoria de aprendizagem singular); enquanto a resolução produz potências e multiplicidades logarítmicas via limiares de integrabilidade canônica (log canonical thresholds), este artigo assume que um modelo principal ponderado é fornecido diretamente e controla suas caudas via coercividade ou compacidade em células limites.