Recursive construction for expansions of tree Yang-Mills amplitudes from soft theorem

Resumen Técnico: Construcción Recursiva para Expansiones de Amplitudes de Yang-Mills de Árbol a partir del Teorema Suave

Enunciado del Problema
El artículo aborda el desafío de expandir las amplitudes de Yang-Mills (YM) de árbol en amplitudes de Yang-Mills-escalar (YMS) y de escalar bi-adjunto (BAS). Si bien métodos anteriores, como aquellos que utilizan la copia doble covariante o el formalismo CHY, han establecido conexiones entre estas teorías, un objetivo específico es construir estas expansiones mediante un enfoque "de abajo hacia arriba" que dependa exclusivamente del comportamiento suave intrínseco de los gluones externos. Un objetivo crítico es asegurar que las expansiones resultantes manifiesten explícitamente la invariancia gauge para todas las polarizaciones externas en cada paso de la construcción, sin depender de derivaciones de arriba hacia abajo a partir de lagrangianos o reglas de Feynman. Además, los autores buscan derivar numeradores BCJ invariantes gauge, que son esenciales para la estructura de copia doble que vincula las teorías gauge con la gravedad.

Metodología
Los autores emplean un método de construcción recursiva basado en el teorema suave subdominante para gluones externos. La metodología procede de la siguiente manera:

1. Configuración Fundamental: La construcción comienza bootstrapando las amplitudes de YM ordenadas por color de 3 puntos. Estas se fijan utilizando ansatzes respecto a la dimensión de masa, la linealidad en los vectores de polarización y la simetría cíclica, sin invocar reglas de Feynman.
2. Paso Recursivo: Los autores utilizan el teorema suave subdominante ($S^{(1)}_g$) para construir amplitudes de mayor número de puntos a partir de las de menor número. Al reescalar el momento de un gluón externo suave ($k_s \to \tau k_s$) y expandir la amplitud en potencias de $\tau$, se aísla la contribución subdominante.
3. Lógica de Expansión: El teorema suave se aplica para descomponer una amplitud de YM de $n$ puntos en una suma de términos que involucran amplitudes YMS y BAS de $(n-1)$ puntos. Los coeficientes de estas expansiones se determinan analizando cómo el operador suave actúa tanto sobre las amplitudes como sobre los coeficientes cinemáticos (vectores de polarización y momentos) de las expresiones de menor número de puntos.
4. Dos Enfoques de Construcción:
   • Construcción Directa (Modificación de Arriba hacia Abajo): Los autores primero derivan una fórmula de expansión (denotada $A^{I}_{YM}$) modificando expansiones recursivas existentes. Imponen condiciones de invariancia gauge (reemplazando vectores de polarización $\epsilon$ con momentos $k$) para derivar una forma manifiestamente invariante gauge ($A^{II}_{YM}$). Sin embargo, este enfoque requiere asumir la validez de la expansión inicial desde un marco invariante gauge.
   • Derivación Recursiva (De Abajo hacia Arriba): Para evitar depender de marcos externos, los autores comienzan con una amplitud de 3 puntos que es explícitamente invariante gauge (expresada usando tensores de campo $f_{\mu\nu}$). Luego aplican iterativamente la recursión del teorema suave. Al asegurar que el punto de partida sea invariante gauge y demostrar que la inserción suave preserva esta propiedad, prueban que la expansión resultante de $n$ puntos permanece manifiestamente invariante gauge para todas las patas externas, incluidos los extremos fijos.

Contribuciones y Resultados Clave

• Nuevas Expansiones Recursivas: El artículo presenta dos fórmulas de expansión distintas para amplitudes de YM de árbol en la base BAS de KK.
  • La primera expansión ($A^{I}_{YM}$) se deriva mediante recursión suave estándar pero no manifiesta la invariancia gauge para las patas externas fijas (patas 1 y $n$).
  • La segunda expansión ($A^{II}_{YM}$) se deriva comenzando desde una semilla de 3 puntos invariante gauge. Esta fórmula mantiene explícitamente la invariancia gauge para todos los vectores de polarización. La fórmula viene dada por:
    $$A^{II}_{YM}(\sigma_n) = -\sum_{\vec{\alpha}} \frac{\text{tr}(f_n \cdot F_{\vec{\alpha}} \cdot f_1)}{k_n \cdot k_1} A_{YMS}(1, \vec{\alpha}, n; \{2, \dots, n-1\} \setminus \alpha | \sigma_n)$$
    donde $f_i$ representa el tensor de campo para la pata $i$, y $F_{\vec{\alpha}}$ es un producto de dichos tensores.
• Prueba de Invariancia Gauge: Mediante inducción matemática, los autores demuestran que si la expansión y las condiciones de invariancia gauge se cumplen para amplitudes de $m$ puntos, se cumplen automáticamente para amplitudes de $(m+1)$ puntos cuando se construyen mediante el teorema suave subdominante. Esto establece la invariancia gauge de la expansión sin necesidad de verificarla contra un lagrangiano.
• Numeradores BCJ: Al combinar estas expansiones de YM a YMS con expansiones existentes de amplitudes de Einstein-Yang-Mills (EYM) (derivadas mediante copia doble covariante), los autores muestran que los coeficientes resultantes constituyen numeradores BCJ invariantes gauge.
• Generalización a la Gravedad: Los autores señalan que, debido a la estructura de copia doble, estos resultados pueden analogizarse directamente para expandir amplitudes gravitacionales (GR) en amplitudes EYM, y posteriormente en amplitudes YM puras, obteniendo numeradores manifiestamente invariantes gauge para la gravedad.

Significado
El artículo reclama importancia al proporcionar una metodología fundamentalmente diferente, de abajo hacia arriba, para las expansiones de amplitudes. A diferencia de los enfoques tradicionales que dependen de reglas de Feynman o formalismos CHY, este método depende exclusivamente del comportamiento suave de los gluones. El logro principal es la construcción de expansiones que son manifiestamente invariantes gauge en cada paso recursivo. Esto resuelve la dificultad de establecer la invariancia gauge en expansiones que de otro modo serían locales y libres de polos espurios.

Los autores enfatizan que su enfoque valida la suposición de que los comportamientos suaves determinan unívocamente las amplitudes, permitiendo la derivación de estructuras invariantes gauge sin derivación de arriba hacia abajo. Esto ofrece un camino simplificado para obtener numeradores BCJ y sugiere una conexión más profunda entre los teoremas suaves y las simetrías subyacentes de las amplitudes de dispersión, abriendo potencialmente vías para reproducir simetrías asintóticas (como BMS) desde una perspectiva de abajo hacia arriba. El trabajo también sugiere extensiones directas a amplitudes de 1-bucle mediante límites hacia adelante, manteniendo la invariancia gauge a nivel del integrando.