Matching higher-dimensional operators at finite temperature for general models

Resumen Técnico: Ajuste de Operadores de Dimensión Superior a Temperatura Finita para Modelos Generales

Enunciado del Problema
La reducción dimensional a alta temperatura sirve como un marco sistemático de teoría de campos efectiva (EFT) para analizar la termodinámica a temperatura finita y las transiciones de fase cosmológicas. Si bien el ajuste de los operadores super-renormalizables en las teorías efectivas tridimensionales (3d) resultantes está bien establecido, el ajuste de los operadores de dimensión superior (específicamente de dimensión cinco y seis) ha sido históricamente un proceso manual y complejo. Estos operadores, que surgen de los términos subdominantes en la expansión a alta temperatura, son fenomenológicamente críticos para describir transiciones de fase de primer orden fuertes, donde cuantifican la convergencia de la expansión e impactan fenómenos no perturbativos. La complejidad de incluir estos operadores hace necesaria la automatización, particularmente para modelos con grandes contenidos de campos como el Modelo Estándar (ME) y escenarios más allá del Modelo Estándar (BSM).

Metodología
Los autores presentan una extensión al paquete Mathematica DRalgo (versión 1.5.0) que automatiza el ajuste de operadores genéricos 3d de dimensión cinco y seis para modelos arbitrarios que contienen escalares, fermiones y campos de gauge. La metodología implica:

1. Definición de la Base de Operadores: Los autores definen una base redundante de operadores para la teoría efectiva 3d obtenida al integrar la escala dura $\pi T$. Esta base incluye:
   • Dimensión 5: Operadores que involucran campos escalares ($R_s$), campos de gauge temporales ($A_0^a$), intensidades de campo espaciales ($F_{ij}^a$) y derivadas covariantes ($D_i$). Esto incluye términos que violan la paridad y operadores que mezclan los sectores escalar y de gauge.
   • Dimensión 6: Un conjunto exhaustivo de 20 operadores independientes para el Modelo Estándar, que incluye términos escalares séxticos, términos de gauge cuárticos e interacciones mixtas de derivadas.
2. Notación Tensorial y Ajuste: El procedimiento de ajuste utiliza una notación tensorial compacta para los acoplamientos (por ejemplo, $g_{abc}$, $Y_{sIJ}$, $\lambda_{s_1...s_4}$) implementada en DRalgo. Los coeficientes de Wilson de los operadores 3d se determinan ajustando funciones de correlación de $n$ puntos.
3. Integrales Térmicas: El cálculo depende de integrales maestras de un bucle térmico duro ($I_{b,f}$) evaluadas en la gauge de campo de fondo $R_\xi$. Los resultados se expresan en términos de estas integrales y la escala de renormalización $\Lambda$.
4. Implementación: Las nuevas funciones Dimension5Matching y Dimension6Matching permiten a los usuarios introducir estructuras tensoriales de grupo y resolver automáticamente los coeficientes de Wilson correspondientes. Las funciones auxiliares (ODIM5, ODIM6, HardThermal1LoopInt, Contract, SymmetrizeTensor) facilitan la construcción de tensores de operadores y la evaluación de integrales térmicas.
5. Manejo de Redundancia y Dependencia de Gauge: El artículo reconoce que la base de operadores elegida es redundante (algunos operadores son proporcionales a las ecuaciones de movimiento). En consecuencia, los coeficientes de Wilson pueden exhibir una dependencia explícita del parámetro de fijación de gauge $\xi$. Los autores mantienen esta dependencia para verificar que se cancela tras redefiniciones de campo apropiadas para alcanzar una base física (en masa).

Contribuciones y Resultados Clave
El artículo proporciona las siguientes salidas técnicas específicas:

• Código de Ajuste Automatizado: La extensión de DRalgo permite la derivación sistemática de operadores de dimensión cinco y seis para cualquier modelo implementable dentro del paquete.
• Ejemplos Explícitos:
  • Modelo Escalar-Yukawa: Los autores reproducen resultados conocidos para operadores de dimensión cinco y seis, validando el código contra literatura previa.
  • QCD Caliente: Se deriva el lagrangiano de dimensión seis para QCD caliente (EQCD), incluyendo contribuciones fermiónicas. Los autores relacionan explícitamente los coeficientes de la base redundante ($\alpha_i$) con los coeficientes de la base física ($\beta_i$), demostrando la cancelación de la dependencia del parámetro de gauge en la base física. También calculan la contribución fermiónica a la renormalización de la función de onda magnetostática a dos bucles, identificando una divergencia UV relevante para cálculos de $O(g^8)$ del acoplamiento de gauge electrostático.
  • Modelo Estándar (ME): Se presenta la reducción dimensional completa del ME hasta dimensión seis. Esto incluye operadores que mezclan los sectores fuerte y electrodébil y operadores que violan la paridad. Los autores señalan que, aunque estos operadores que violan la paridad se generan en el cálculo general, sus coeficientes de Wilson se anulan para las asignaciones físicas de hipercarga del ME debido a las condiciones de cancelación de anomalías.
• Directrices Técnicas: El artículo detalla aspectos técnicos sobre el manejo de las dimensiones del espacio-tiempo (específicamente las limitaciones del ajuste fermiónico en $d \neq 3$ debido a las identidades de Chisholm), la necesidad de propiedades de simetría correctas para los tensores de grupo de entrada y esquemas de conteo de potencias.
• Rendimiento: Las pruebas de referencia indican que el ajuste de operadores de dimensión seis para el Modelo Estándar completo toma aproximadamente 2045 segundos en un Apple M3 MacBook Air, pasando la mayor parte del tiempo en la resolución de coeficientes de Wilson en lugar de en contracciones tensoriales.

Significado y Afirmaciones
Los autores afirman que este trabajo completa el conjunto de relaciones de ajuste necesarias para determinar todos los operadores hasta e incluyendo los marginales en EFTs 3d. El significado principal radica en la capacidad de:

1. Probar Sistemáticamente la Validez: Con la base completa de operadores disponible, los investigadores pueden ahora probar sistemáticamente la convergencia de la expansión a alta temperatura en estudios de transiciones de fase a gran escala, particularmente para transiciones fuertes donde la suposición de alta temperatura podría romperse.
2. Investigar la Violación de CP: El ajuste automatizado de operadores que violan la paridad permite una investigación sistemática de efectos impares bajo CP a altas temperaturas en modelos genéricos. Esto se destaca como una nueva herramienta para sondear escenarios de bariogénesis BSM de manera independiente del modelo, dado que la violación de CP es un ingrediente necesario para la bariogénesis.
3. Facilitar Trabajos Futuros: El código y los archivos de ejemplo están disponibles públicamente, reduciendo la barrera para estudios futuros que involucren operadores de dimensión superior, ajuste a dos bucles y redefiniciones de campo automatizadas.

El artículo se mantiene modesto respecto a propuestas experimentales inmediatas, centrándose en cambio en proporcionar la infraestructura teórica y las herramientas computacionales necesarias para descripciones EFT precisas de transiciones de fase a temperatura finita.