Amplitude of $H \to \gamma Z$ process via one $W$ loop in unitary gauge (I. Details of calculation with Dyson scheme)

Resumen Técnico: Amplitud del proceso $H \to \gamma Z$ mediante un bucle de $W$ en el gauge unitario (Parte I)

Planteamiento del problema
El artículo aborda el cálculo de la amplitud de decaimiento para el proceso $H \to \gamma Z$ mediado por un diagrama de bucle de un bosón $W$ dentro del gauge unitario. Este cálculo está motivado por una "paradoja" relativa a la invariancia de gauge y la consistencia de los cálculos de bucle en el gauge unitario en comparación con los gauges $R_\xi$, particularmente resaltada en reexaminaciones recientes del ancho de decaimiento $H \to \gamma\gamma$. El gauge unitario presenta dificultades específicas: no conmuta con las integraciones de bucle, lo que conduce a divergencias de orden superior (cuadráticas y cuarticas) que deben cancelarse para producir un resultado finito e invariante bajo el gauge $U(1)$ electromagnético. Las técnicas estándar que implican el desplazamiento arbitrario de los momentos de bucle en integrales divergentes pueden introducir ambigüedades y términos de superficie que oscurecen el resultado físico, particularmente para los términos proporcionales a $M_Z^2$, los cuales son únicos para el proceso $H \to \gamma Z$ en comparación con $H \to \gamma\gamma$.

Metodología: El esquema de Dyson
El autor emplea un marco de cálculo basado en la formulación original de Dyson (referida como el "esquema de Dyson"), el cual difiere de la aplicación estándar de las reglas de Feynman en el espacio de momentos en varios aspectos críticos:

1. Retención de las $\delta$-funciones: En lugar de integrar inmediatamente las $\delta$-funciones de conservación del momento de cuatro vectores en cada vértice para definir momentos de bucle independientes, el cálculo retiene todos los momentos de los propagadores y las $\delta$-funciones de los vértices durante las etapas iniciales. Esto evita la ambigüedad de establecer momentos de bucle independientes para diagramas con divergencias peores que las logarítmicas.
2. Sin desplazamiento de momento: El método evita explícitamente el desplazamiento de las variables integradas en integrales divergentes de orden superior. El autor argumenta que el desplazamiento de los momentos en tales integrales genera términos de superficie adicionales que pueden alterar el resultado si no se manejan con extremo cuidado. Al mantener las variables de integración originales definidas por la expansión perturbativa de Dyson-Wick, se preserva la expresión "original".
3. Tratamiento de los términos de superficie: El cálculo se realiza en un espacio de momentos de Minkowski de 4 dimensiones sin regularización auxiliar (como la regularización dimensional). La finitud y la invariancia de gauge se logran mediante el tratamiento adecuado de los términos de superficie que surgen de la reducción de las integrales tensoriales divergentes. El autor postula que las condiciones de contorno físicas del propagador de Feynman libre en el problema de la matriz $S$ de dispersión implican que estos términos de superficie desaparecen.
4. Identidades de Ward (I.W.): El cálculo depende fuertemente de las identidades de Ward para los vértices $WW\gamma$ y $WWZ$ para reducir la complejidad de los integrandos y demostrar las cancelaciones entre diferentes diagramas ($T_1, T_2, T_3$).

Contribuciones clave y detalles del cálculo
El artículo se centra en los tres diagramas de Feynman no nulos que contribuyen al proceso (dos con un bucle de $W$ y uno con una estructura de tadpole/burbuja de $W$, observando que otros dos diagramas suman cero). El cálculo procede analizando los términos basados en su orden de divergencia y potencias de la masa $M$ del $W$ y la masa $M_Z$ del $Z$:

• Divergencias de orden superior ($M^{-6}$ y $M^{-4}$): Los términos $M^{-6}$ desaparecen debido a las identidades de Ward. Los términos $M^{-4}$, que incluyen nuevas contribuciones proporcionales a $M_Z^2/M^4$ no presentes en el caso $H \to \gamma\gamma$, se muestran como cancelados entre los diagramas. La cancelación de las divergencias cuarticas y cúbicas deja solo divergencias cuadráticas proporcionales a $M_Z^2$.
• Divergencias cuadráticas: Se demuestra que las divergencias cuadráticas restantes se cancelan exactamente cuando los términos de superficie para las integrales tensoriales cuadráticas se tratan como cero. Esta cancelación se demuestra sin desplazar las variables de integración, basándose en su lugar en la estructura específica de los integrandos derivados del esquema de Dyson.
• Términos logarítmicos y finitos: El cálculo aísla los términos finitos proporcionales a $M_Z^2/M^2$ y $M_Z^2/M^4$. Un resultado crucial es la emergencia de un término no nulo, finito y de gauge invariante bajo $U(1)_{EM}$ proporcional a $(k_1 \cdot k_2 g_{\mu\nu} - k_{2\mu}k_{1\nu})M_Z^2/M^4$. Este término se identifica como esencial para comparar los resultados con otros gauges (como $R_\xi$).
• Invariancia de gauge: La amplitud final ensamblada se muestra como finita e invariante bajo transformaciones de gauge $U(1)$ electromagnéticas. El autor señala que este resultado implica que no hay contribución a la constante de renormalización de la mezcla $Z\gamma$ en este nivel de 1-loop.

Resultados
El artículo presenta las formas integrales explícitas de los componentes de la amplitud (etiquetados como $R_1$ a $R_5$) antes de realizar la integración final sobre los parámetros de Feynman. Los hallazgos clave son:

1. Las partes divergentes (cuárticas, cúbicas, cuadráticas y logarítmicas) se cancelan completamente cuando los diagramas se suman y los términos de superficie se manejan correctamente.
2. El resultado final es finito y de gauge electromagnético invariante en 4 dimensiones.
3. El cálculo confirma que la amplitud $H \to \gamma Z$ vía un bucle de $W$ en el gauge unitario produce un resultado consistente sin la necesidad de la renormalización de la constante de mezcla $Z\gamma$, siempre que los términos de superficie se traten de acuerdo con las condiciones de contorno físicas del propagador libre.

Significado y afirmaciones
El artículo afirma que el "esquema de Dyson" proporciona un marco robusto para resolver las ambigüedades asociadas con las divergencias de orden superior en el gauge unitario. Al evitar el desplazamiento arbitrario de los momentos de bucle y tratar los términos de superficie como cero basándose en las condiciones de contorno físicas, el autor demuestra que el Modelo Estándar sigue siendo auto-consistente en este gauge.

El autor sugiere que el manejo de los términos de superficie no es meramente un tecnicismo, sino una sonda de la estructura local y la topología del espacio-tiempo. El artículo especula que en diferentes variedades de espacio-tiempo (por ejemplo, escenarios del universo temprano con singularidades o defectos), estos términos de superficie podrían no desaparecer, lo que potencialmente conduciría a anomalías (como la no conservación de la carga o la violación de CP) que están ausentes en el vacío de Minkowski actual. Sin embargo, el artículo limita explícicamente su alcance al detalle del cálculo en el espacio de Minkowski estándar y delega la comparación con otros gauges y la interpretación física completa a una parte subsiguiente (Parte II). El trabajo se presenta como un marco sistemático para establecer la amplitud finita, enfatizando el papel de los términos de superficie para asegurar la consistencia del Modelo Estándar en el gauge unitario.