Heavy-quark production in deep-inelastic scattering -- Mellin moments of structure functions

Resumen Técnico: Producción de quarks pesados en dispersión inelástica profunda – Momentos de Mellin de las funciones de estructura

Problema y Motivación
La producción de quarks pesados en la dispersión inelástica profunda (DIS) es un proceso crítico para probar la Cromodinámica Cuántica (QCD) y restringir las funciones de distribución de partones (PDF), particularmente el PDF de gluones en el régimen de pequeño Bjorken-$x$. Aunque las correcciones de QCD de orden siguiente al líder (NLO) para las funciones de estructura de sabor pesado se conocen numéricamente, los resultados analíticos con la dependencia completa de la masa del quark pesado $m$ han sido limitados. Específicamente, los resultados analíticos de NLO para las funciones de coeficiente de gluones $C_{k,g}$ con la dependencia completa de la masa eran previamente desconocidos. Además, la precisión de los datos experimentales de HERA y los datos anticipados de futuros Colisionadores Electrón-Ión (EIC) requiere predicciones teóricas más allá de NLO, lo que exige cálculos de Orden Siguiente al Siguiente al Líder (NNLO). Para facilitar la extensión a NNLO, los autores pretenden calcular los momentos de Mellin de las funciones de estructura de quarks pesados $F_2$ y $F_L$ a NLO manteniendo la dependencia completa de la masa del quark pesado.

Metodología
El cálculo emplea el teorema óptico y la expansión de productos de operadores (OPE) para relacionar el tensor hadrónico con la amplitud de dispersión hacia adelante. Los autores computan momentos de Mellin fijos $N$ de las funciones de estructura mediante la proyección de la amplitud de dispersión hacia adelante sobre estructuras tensoriales específicas utilizando operadores de proyección armónica.

Pasos metodológicos clave:

1. Formalismo: El tensor hadrónico se relaciona con la parte imaginaria de la amplitud de dispersión hacia adelante $T_{\mu\nu}$. Utilizando la OPE, la amplitud se expande en términos de operadores locales de torción dos (twist-two). Los momentos de Mellin se extraen aplicando operadores de proyección armónica a los invariantes partónicos, aislando efectivamente las funciones de coeficiente $C_{N,i,k}$.
2. Renormalización y Factorización de Masa: El cálculo se realiza en regularización dimensional ($D=4-2\epsilon$) dentro del esquema $\overline{\text{MS}}$. Los autores gestionan la mezcla de operadores singlete y el desacoplamiento de los quarks pesados del acoplamiento de carrera utilizando constantes de renormalización y relaciones de desacoplamiento apropiadas.
3. Reducción de Integrales: Se utilizan dos enfoques distintos para computar las integrales de Feynman necesarias:
   • Proyección Armónica con Expansión de Momento: Este método expande la amplitud hacia adelante en potencias del momento del partón externo $p$. Aunque es efectivo para momentos bajos, encuentra cuellos de botella para $N$ grandes debido al crecimiento factorial de los términos generados y la complejidad de las reducciones tensoriales.
   • Enfoque Alternativo (Sin Expansión de Momento): Para superar los cuellos de botella del primer método para momentos más altos, los autores generan amplitudes sin expandir en $p$. Utilizan paquetes como QGRAF, tapir, exp y KIRA para reducir las amplitudes a integrales maestras. Este enfoque explota las ecuaciones diferenciales en la variable $\omega = 1/z$ (donde $z$ es la fracción del momento del partón) para calcular momentos altos, mapeando los resultados a las familias de integrales utilizadas en el primer enfoque.
4. Integrales Maestras: El cálculo se reduce a un conjunto de integrales maestras que involucran propagadores masivos. Estas se resuelven mediante el método de ecuaciones diferenciales, racionalizando raíces cuadradas mediante transformaciones de variables y expresando los resultados en términos de polilogaritmos armónicos (HPLs).

Contribuciones Clave y Resultados

• Resultados Analíticos NLO: El artículo presenta los primeros resultados analíticos para las funciones de coeficiente de gluones $C_{N,2,g}$ y $C_{N,L,g}$ con dependencia completa de la masa del quark pesado para momentos de Mellin $N=2$ a $N=22$.
• Conjunto Completo de Momentos: Se proporcionan expresiones analíticas completas para los momentos de Mellin de las funciones de estructura transversal ($F_2$) y longitudinal ($F_L$) para $N=2, \dots, 22$. Estos resultados están disponibles en un archivo ancilar.
• Validación:
  • Los resultados reproducen las expresiones conocidas en el límite asintótico $Q^2 \gg m^2$.
  • Los resultados de un bucle coinciden con las expresiones exactas derivadas de los momentos de Mellin de las funciones de coeficiente NLO conocidas.
  • Una comparación numérica con las parametrizaciones semianalíticas de la Ref. [3] (RSvN) muestra un acuerdo al nivel de milésimas para el canal de gluones, validando las parametrizaciones existentes.
• Marco Técnico: Los autores demuestran una configuración computacional robusta capaz de manejar integrales masivas y momentos de Mellin altos, lo que sirve como una vía directa para extender estos cálculos a NNLO.

Significancia y Reivindicaciones
Los autores afirman que este trabajo proporciona una base necesaria para extender los cálculos de DIS de quarks pesados a la precisión NNLO. Al computar los momentos de Mellin con dependencia completa de la masa a NLO, verifican la exactitud de las parametrizaciones existentes y establecen un formalismo que separa naturalmente las funciones de coeficiente de DIS de quarks pesados de los elementos de matriz de operadores de quarks pesados. El artículo afirma que el marco desarrollado es directamente aplicable al nivel de tres bucles, aunque reconoce que los cálculos NNLO enfrentarán desafíos técnicos significativos, particularmente respecto a la reducción por integración por partes (IBP) de las familias de integrales de tres bucles con masas internas y la potencial emergencia de estructuras elípticas (específicamente en el canal de gluones). El trabajo no pretende haber resuelto el problema completo de NNLO, sino que proporciona el primer paso esencial y las herramientas computacionales requeridas para abordarlo.