Two-loop all-plus helicity amplitudes for self-dual Higgs boson with gluons via unitarity cut constraints

Resumen Técnico: Amplitudes de Helicidad Todo-Plus a Dos Bucles para el Bosón de Higgs Auto-Dual con Gluones

Enunciado del Problema
Este trabajo aborda el cálculo de correcciones de QCD a dos bucles para un bosón de Higgs auto-dual ($\phi$) acoplado a hasta cuatro gluones de helicidad positiva en el límite de quark top pesado. Si bien las amplitudes de Higgs escalar más cuatro partículas a dos bucles son una prioridad para la precisión experimental, el sector específico de helicidad "todo-plus" del modelo de Higgs auto-dual presenta desafíos y oportunidades teóricas únicas. A diferencia de las amplitudes de Higgs estándar en el límite de top pesado, las amplitudes a nivel árbol en este modelo con helicidades de gluones todo-plus se anulan. Esta propiedad de anulación, análoga a las identidades de Ward supersimétricas en la teoría de Yang-Mills, implica que las amplitudes a un bucle son puramente racionales. En consecuencia, se espera que la estructura de la amplitud a dos bucles difiera significativamente de los cálculos genéricos a dos bucles, exhibiendo potencialmente una "caída de peso" en sus funciones trascendentales. El objetivo principal es construir representaciones analíticas compactas para estas amplitudes, separando las partes polilogarítmicas construibles por cortes de los residuos racionales.

Metodología
Los autores emplean un enfoque híbrido que combina cortes de unitariedad en cuatro dimensiones con técnicas de reducción sobre cuerpos finitos:

1. Contribuciones Construibles por Cortes: Dado que las amplitudes a nivel árbol se anulan para configuraciones todo-plus, los cortes triples están ausentes. Los autores reconstruyen las partes polilogarítmicas de las amplitudes a dos bucles utilizando cortes de unitariedad en cuatro dimensiones. Estos cortes involucran productos de amplitudes a nivel árbol que se anulan y amplitudes racionales a un bucle. El cálculo se basa en evaluar cortes dobles en varios canales (por ejemplo, $s_\phi$, $s_{i\phi}$) para aislar integrales escalares (burbujas, triángulos y cajas). Los coeficientes se determinan imponiendo condiciones de capa de masa y utilizando álgebra de espinores-helicidad.
2. Extracción del Residuo Racional: Los cortes en cuatro dimensiones pasan por alto el componente puramente racional de la amplitud. Para determinarlo, los autores utilizan la expansión en el parámetro de dimensión de espín $d_s = 4 - 2\epsilon$. En la teoría de Yang-Mills, la parte racional a menudo se asocia con el componente $(d_s-2)^2$ de la amplitud, que involucra únicamente topologías al cuadrado de un bucle. Los autores investigan si existe una simplificación similar para el modelo de Higgs auto-dual.
3. Reducción sobre Cuerpos Finitos: El residuo racional se extrae realizando una reducción directa de los diagramas de Feynman a dos bucles sobre cuerpos finitos. El flujo de trabajo implica:
   • Generar diagramas usando QGRAF con reglas de Feynman no estándar para el operador auto-dual.
   • Realizar la descomposición de color y contracciones de Lorentz.
   • Mapear integrales tensoriales a una base de integrales maestras (IM) utilizando la reducción por Integración por Partes (IBP) mediante el paquete NeatIBPs y el método de syzygy.
   • Muestrear variables cinemáticas (parametrizadas mediante torsiones de momento) y el regulador dimensional $\epsilon$ sobre cuerpos finitos ($\mathbb{Z}_p$) usando el marco FiniteFlow para reconstruir las expresiones analíticas.
4. Validación: Los resultados se verifican cruzadamente contra las propiedades de factorización esperadas en los límites colineales dobles y triples.

Contribuciones y Resultados Clave

• Expresiones Analíticas: El artículo presenta las primeras expresiones completas a dos bucles para el bosón de Higgs auto-dual con hasta cuatro gluones de helicidad positiva. Los resultados finales se expresan utilizando polilogaritmos hasta peso dos y funciones racionales compactas de productos de espinores-helicidad.
• Partes Construibles por Cortes: Se derivan fórmulas explícitas para las contribuciones construibles por cortes ($A^{(2),cc}$) para $\phi + 2g$, $\phi + 3g$ y $\phi + 4g$. Estas partes contienen términos logarítmicos y dilogarítmicos ($Li_2$) que surgen de los cortes dobles de sub-amplitudes a nivel árbol y a un bucle.
• Estructura del Residuo Racional: Los autores encuentran que la conexión entre el componente $(d_s-2)^2$ y el residuo racional es menos directa que en la teoría pura de Yang-Mills. El componente $(d_s-2)^2$ para el Higgs auto-dual contiene singularidades espurias y logaritmos que deben cancelarse mediante términos racionales de peso cero. A pesar de esto, el subconjunto $(d_s-2)^2$ de gráficos proporciona un ansatz viable para el residuo racional, reduciendo significativamente el costo computacional de la reconstrucción.
• Resultados Explícitos:
  • Para $\phi + 2g$, el residuo racional $R^{(2)}$ se anula.
  • Para $\phi + 3g$ y $\phi + 4g$, se proporcionan expresiones racionales compactas, que involucran sumas sobre permutaciones cíclicas de invariantes de Mandelstam y productos de espinores.
• Verificaciones Colineales: Las amplitudes derivadas satisfacen la factorización esperada en los límites colineales dobles y triples, confirmando la consistencia de los componentes construibles por cortes y racionales.

Significado y Afirmaciones
Los autores afirman que este trabajo demuestra la viabilidad de calcular amplitudes a dos bucles para el modelo de Higgs auto-dual utilizando métodos modernos de unitariedad y cuerpos finitos. El estudio destaca que, si bien las amplitudes a nivel árbol que se anulan simplifican la parte construible por cortes (limitándola a funciones de peso dos), la extracción del residuo racional requiere un manejo cuidadoso de polos espurios y no sigue el patrón simple "al cuadrado de un bucle" observado en la teoría de Yang-Mills.

El artículo postula que la estructura observada sugiere un camino potencial hacia el cálculo de amplitudes de mayor multiplicidad en este sector, posiblemente aprovechando el subconjunto $(d_s-2)^2$ para construir ansätze o utilizando límites colineales para restringir las partes racionales. Además, los autores señalan que la tecnología de reducción aplicada aquí es directamente aplicable al cálculo fenomenológicamente relevante del Higgs escalar estándar más cuatro partículas a dos bucles, aunque este último involucraría una base de funciones especiales más compleja y grados polinómicos más altos. El trabajo sirve como una prueba de concepto para manejar estas configuraciones de helicidad específicas y valida la utilidad de la reconstrucción sobre cuerpos finitos para términos racionales a dos bucles en modelos con amplitudes a nivel árbol que se anulan.