Laplace Asymptotics near Stratified Minimum Sets

Resumen Técnico: Asintótica de Laplace cerca de Conjuntos de Mínimos Estratificados

Planteamiento del Problema
El artículo aborda el comportamiento asintótico de integrales de Laplace reales de la forma
$$I(z) = \int_N a(x) e^{-z f(x)} \, d\text{vol}_g(x), \quad z \to \infty,$$
donde $(N, g)$ es una variedad riemanniana, $f$ es una función de fase continua acotada inferiormente, y $a$ es una amplitud medible. El enfoque se centra en el caso donde el conjunto de mínimos globales $M = \{x : f(x) = f_0\}$ es compacto pero posiblemente estratificado (compuesto por variedades suaves de distintas dimensiones que se encuentran en singularidades) y la fase $f$ puede ser no cuadrática o no suave cerca de $M$.

Los métodos de Laplace clásicos dependen de un modelo local universal (típicamente una forma cuadrática no degenerada) para determinar la tasa de decaimiento y el coeficiente principal. Sin embargo, fuera del régimen suave y no degenerado, no existe tal forma normal universal. Los órdenes de decaimiento principales pueden variar (por ejemplo, polinomial, exponencial estirado) y diferentes direcciones pueden poseer distintos pesos. Los teoremas existentes suelen fallar al intentar acomodar la combinación completa de complejidades geométricas (estratificación, fronteras, dominios relativos) y generalidad analítica (amplitudes medibles, modelos no coercivos) de manera simultánea.

Metodología: El Cálculo de Células Normales
El autor desarrolla un cálculo constructivo basado en una desintegración de células normales adaptada. En lugar de asumir un sistema de coordenadas canónico, el marco requiere que el usuario suministre una descomposición geométrica específica adaptada al problema.

1. Desintegración Estratificada: El conjunto de mínimos $M$ se descompone en finitos trozos de base Borel $P_\alpha$. Para cada trozo, se define un mapa de coordenadas $C^1$ $F_\alpha(p, s)$, donde $p \in P_\alpha$ es la variable de la base y $s$ es una variable de fibra (normal).
2. Células Admisibles: Las variables de la fibra están restringidas a "células admisibles" medibles $A_\alpha(p) \subset \mathbb{R}^{d_\alpha}$. Estas células pueden ser espacios normales completos, dominios relativos (por ejemplo, semiespacios), conos polares, o conjuntos que dependen del punto de la base $p$. Crucialmente, estas células se eligen para cubrir un entorno de $M$ hasta conjuntos de medida nula sin duplicar conteos.
3. Reescalado Anisotrópico: El método emplea dilataciones anisotrópicas $D^\beta_u t = (u^{\beta_1}t_1, \dots, u^{\beta_d}t_d)$ con pesos $\beta$. La fase se reescala para converger a un modelo límite homogéneo $G_\alpha(p, t)$, y la amplitud converge a un límite $b_0(p)$.
4. Regímenes de Convergencia: El artículo establece tres modos distintos de convergencia para las integrales reescaladas:
   • Perfil Uniforme: Requiere la convergencia uniforme de las células y una condición de estrictez exponencial (a menudo vía coercitividad ambiental).
   • Célula Puntual: Permite que las células reescaladas converjan solo puntualmente en la base, siempre que las integrales de la fibra estén dominadas por un mayor integrable de la base.
   • Reescalado de Frontera Conjunta: Maneja casos donde una variable de "collar" (tangente a un estrato superior) debe reescalarse conjuntamente con las variables normales porque el coeficiente de la fibra se vuelve no integrable cerca de una frontera.

Contribuciones Clave y Resultados

• Teoremas de Orden Principal Generalizados: El artículo demuestra la asintótica de orden principal donde el coeficiente se calcula integrando el perfil límite y la amplitud sobre la célula límite y luego sobre el trozo de la base. Este marco recupera la fórmula de Morse–Bott, las restricciones cónicas y las especializaciones euclidianas/radiales como casos particulares.
• Manejo de Degeneración y Cancelación:
  • La teoría permite que los estratos de menor dimensión dominen a los de mayor dimensión si estos últimos poseen un comportamiento de fase suficientemente plano (de orden alto), resultando en un exponente de decaimiento menor.
  • Proporciona un teorema de comparación global aditivo que sigue siendo válido incluso cuando los coeficientes principales se anulan o cancelan (por ejemplo, debido a amplitudes con signo o complejas), lo que requiere expansiones de orden superior.
• Expansiones Finitas: El artículo deriva expansiones asintóticas finitas representando las células escaladas en una célula de referencia fija y expandiendo la densidad transportada. Esto incluye correcciones para las fronteras de las células móviles mediante mapas de "enderezamiento" y criterios de jet ponderados.
• Aplicaciones Específicas:
  • Conos Semidefinidos Positivos de Rango Deficiente: En la estimación bayesiana de matrices de covarianza, el método produce un factor de ángulo sólido gaussiano que las fórmulas no restringidas estándar omiten.
  • Cinemática Inversa: Para un brazo robótico planar de tres eslabones con límites de articulación, el análisis muestra que un pliegue de límite de articulación aislado (una singularidad de frontera) contribuye al posterior al mismo orden principal que una curva de automovimiento suave. El posterior límite es una mezcla de un componente continuo y un átomo.
  • Caos de Weibull: El marco analiza las colas de funcionales homogéneos de vectores aleatorios con decaimiento radial dependiente de la dirección. Identifica regímenes donde la cola es polinomial (debido a ceros interiores del costo) versus exponencialmente pequeña, y deriva leyes de frontera "fraccionarias" e "enteras" cuando el costo se anula en el límite del conjunto factible.

Significancia y Reivindicaciones
El artículo afirma que ningún teorema existente para integrales de Laplace reales acomoda la combinación completa de supuestos geométricos y analíticos presentados aquí. Específicamente, permite simultáneamente:

• Conjuntos de mínimos compactos con estratificaciones $C^2$ finitas.
• Refinamientos de base Borel, cartas adaptadas $C^1$ y células medibles dependientes de la base.
• Diferentes dimensiones de fibra y pesos anisotrópicos en diferentes trozos.
• Una fase continua y una amplitud meramente medible.
• Modelos límite homogéneos que no necesitan ser suaves o ambientalmente coercivos (controlados en su lugar por la estrictez de la célula).
• Reescalado conjunto de variables de frontera y normales.

Compromiso (Trade-off): La generalidad tiene el costo de requerir que la desintegración de células normales adaptada y el modelo límite ponderado sean hipótesis suministradas para ser verificadas en cada aplicación, en lugar de ser consecuencias de un teorema de estratificación general. El artículo no afirma que tal desintegración exista para conjuntos singulares arbitrarios, sino que proporciona la maquinaria analítica para computar la asintótica una vez que se suministra tal estructura.

Este trabajo se posiciona como complementario a los métodos de resolución de singularidades (utilizados en la teoría del aprendizaje singular); mientras que la resolución produce potencias y multiplicidades logarítmicas mediante los umbrales de capacidad de logaritmo canónico, este enfoque asume que un modelo principal ponderado es suministrado directamente y controla sus colas mediante coercitividad o estrictez en las células límite.