Landau Singularities from Whitney Stratifications

Resumen Técnico: Singularidades de Landau desde Estratificaciones de Whitney

Planteamiento del Problema
La estructura analítica de las integrales de Feynman, que son fundamentales para los cálculos de secciones eficaces en el Gran Colisionador de Hadrones y en la física de ondas gravitacionales, se caracteriza por sus singularidades. Estas singularidades, conocidas como singularidades de Landau, ocurren en valores específicos de las variables cinemáticas donde la integral se vuelve no analítica. Aunque la definición rigurosa de la variedad de Landau fue establecida por Pham como los valores críticos de un mapa de proyección desde la variedad del integrando hacia el espacio cinemático, el cálculo directo de este conjunto ha resultado ser un desafío.

Los métodos computacionales existentes suelen depender del determinante $A$ principal o de sus refinamientos (como el determinante de Landau principal). Sin embargo, estos enfoques sufren dos limitaciones principales:

1. Candidatos Espurios: Pueden producir factores que se anulan identicamente al especializarse a los coeficientes de la integral de Feynman física, lo que requiere la eliminación ad hoc de factores.
2. Incompletitud: Se sabe que omiten ciertas singularidades de Landau, particularmente en casos que involucran límites cinemáticos específicos o configuraciones no genéricas. Además, los refinamientos empíricos basados en límites secuenciales carecen de una prueba de corrección general.

Consecuentemente, no existe una receta general y rigurosa para computar el conjunto completo y no redundante de las singularidades de Landau para integrales arbitrarias.

Metodología
Los autores proponen un método para calcular la variedad de Landau de forma directa y completa aprovechando los recientes avances algorítmicos en estratificaciones de Whitney.

1. Marco Matemático:

   • La integral de Feynman se representa utilizando el polinomio de Lee-Pomeramerizado homogeneizado $G_h = U x_0 + F$, donde $U$ y $F$ son polinomios de Symanzik.
   • Los autores definen la variedad $X = V(x_0 \cdots x_n G_h)$ en el espacio producto de las variables de integración proyectivas y los parámetros cinemáticos ($\mathbb{P}^n \times \mathbb{C}^m$).
   • Consideran el mapa de proyección $\pi: X \to \mathbb{C}^m$ sobre el espacio cinemático.
   • Siguiendo la definición de Pham, la variedad de Landau se identifica como la variedad $Y_{m-1}$ que aparece en la estratificación de Whitney mínima del mapa $\pi$.

2. Estratificación de Whitney:

   • Una estratificación de Whitney descompone una variedad potencialmente singular en variedades suaves (estratos) de tal manera que la geometría local es consistente dentro de cada estrato y satisface la condición B de Whitney (asegurando un comportamiento bien definido de los límites de los planos tangentes y las líneas secantes).
   • Para un mapa, una estratificación garantiza que el mapa restringido a cualquier estrato del dominio sea una submersion sobre un estrato del codominio.
   • Los autores utilizan el Primer Lema de Isotopía de Thom, el cual garantiza que la topología de la fibra $\pi^{-1}(q)$ permanece constante sobre cualquier estrato $N$ de la base. Así, los límites entre estos estratos (los componentes de menor dimensión de la estratificación) corresponden exactamente a los puntos donde la topología cambia; es decir, las singularidades.

3. Implementación:

   • El cálculo se realiza utilizando el paquete WhitneyStratifications (versión 2.27) para el software Macaulay2.
   • El algoritmo calcula explícitamente la estratificación de Whitney mínima del mapa de proyección definido por las ecuaciones que definen la integral de Feynman.

Contribuciones Clave y Resultados
El artículo proporciona una "prueba de concepto" demostrando que esta definición rigurosa obtiene el conjunto completo de las singularidades de Landau para ejemplos no triviales, incluyendo casos donde otros métodos fallan.

1. Burbuja de un Lazo (One-Loop Bubble):

   • El método recupera con éxito la variedad de Landau para masas y momentos genéricos.
   • Crucialmente, identifica correctamente las singularidades que surgen de los límites cinemáticos (por ejemplo, al establecer las masas en cero) directamente desde los estratos de menor dimensión de la estratificación, sin necesidad de sustituir manualmente los límites en el resultado genérico.

2. Caja Tachada de Dos Lazos (Two-Loop Slashed Box - Two-Mass Hard):

   • La variedad de Landau calculada concuerda con los resultados del paquete HyperInt.
   • Identifica con éxito un componente ($p_4^2 - s - t = 0$) que es omitido por el paquete PLD.jl (Determinante de Landau Principal). Los autores verifican que este componente es una singularidad real mediante expresiones analíticas explícitas.

3. Integral Paracaídas de Dos Lazos (Two-Loop Parachute Integral):

   • Este caso se señala como problemático tanto para el determinante $A$ principal ingenuo como para el determinante de Landau principal, ya que ambos omiten una singularidad específica derivada en literatura previa.
   • Aunque la estratificación completa para el caso general de 7 parámetros fue computacionalmente demasiado exigente, los autores validaron el método restringiendo la cinemática a un límite específico. En este límite, el método identificó correctamente la singularidad ($p_3^2 - 1 = 0$) que otros enfoques omitieron.

Significancia y Reivindicaciones
Los autores afirman que su enfoque ofrece un método riguroso, algorítmico y completo para determinar las singularidades de Landau.

• Completitud: A diferencia de los métodos anteriores que pueden proporcionar supersets (con factores espurios) o subsets (omitiendo singularidades), la estratificación de Whitney de la proyección del mapa produce exactamente la variedad de Landau y nada más.
• Tratamiento Unificado de Límites: La estratificación codifica naturalmente las variedades de Landau de las integrales obtenidas mediante límites cinemáticos (por ejemplo, límites de masa nula) dentro de sus estratos de menor dimensión. Esto proporciona una descripción geométrica unificada de las singularidades de la integral original y de sus límites.
• Relevancia Física: Los estratos de menor dimensión también se relacionan con la característica de Euler de la variedad paramétrica, la cual cuenta el número de integrales maestras en la familia de integrales, lo que sugiere una conexión más profunda entre la estratificación y la base de la familia de integrales.

Limitaciones y Perspectivas
El artículo reconoce modestamente que la ruta computacional actual vía WhitneyStratifications aún no es tan eficiente como el software especializado para encontrar subconjuntos de singularidades. El método está actualmente limitado por la complejidad computacional para espacios de parámetros de alta dimensión (como se vio en el ejemplo completo del paracaídas). Se sugiere como trabajo futuro mejorar la eficiencia explotando las estructuras algebraicas específicas de las integrales de Feynman y explorar el acceso directo a las singularidades en la región física (real) mediante estratificaciones de conjuntos semialgebraicos reales.