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

Résumé Technique : Amplitude du processus $H \to \gamma Z$ via une boucle de $W$ dans la jauge unitaire (Partie I)

Énoncé du Problème
L'article traite du calcul de l'amplitude de désintégration pour le processus $H \to \gamma Z$ médié par un diagramme à une boucle de boson $W$ dans la jauge unitaire. Ce calcul est motivé par un « paradoxe » concernant l'invariance de jauge et la cohérence des calculs de boucles dans la jauge unitaire par rapport aux jauges $R_\xi$, particulièrement mis en évidence par des réexamens récents de la largeur de désintégration $H \to \gamma\gamma$. La jauge unitaire présente des difficultés spécifiques : elle ne commute pas avec les intégrations de boucles, ce qui conduit à des divergences d'ordre élevé (quadratiques et quartiques) qui doivent s'annuler pour produire un résultat fini et invariant par la jauge électromagnétique $U(1)$. Les techniques standards impliquant le décalage arbitraire des moments de boucle dans les intégrales divergentes peuvent introduire des ambiguïtés et des termes de surface qui obscurcissent le résultat physique, particulièrement pour les termes proportionnels à $M_Z^2$ qui sont uniques au processus $H \to \gamma Z$ comparativement à $H \to \gamma\gamma$.

Méthodologie : Le Schéma de Dyson
L'auteur emploie un cadre de calcul basé sur la formulation originale de Dyson (référencée comme le « schéma de Dyson »), qui diffère des applications classiques des règles de Feynman en espace d'impulsion de plusieurs manières critiques :

1. Rétention des $\delta$-fonctions : Au lieu d'intégrer immédiatement les $\delta$-fonctions de conservation de la quatre-impulsion à chaque sommet pour définir des moments de boucle indépendants, le calcul conserve tous les moments des propagateurs et les $\delta$-fonctions des sommets tout au long des étapes initiales. Cela évite l'ambiguïté liée à la définition de moments de boucle indépendants pour des diagrammes présentant des divergences plus graves que logarithmiques.
2. Absence de Décalage de Moment : La méthode évite explicitement le décalage des variables intégrées dans les intégrales divergentes d'ordre élevé. L'auteur soutient que le décalage des moments dans de telles intégrales génère des termes de surface supplémentaires qui peuvent altérer le résultat si l'on n'y prend pas garde avec une extrême prudence. En conservant les variables d'intégration originales définies par l'expansion perturbative de Dyson-Wick, l'expression « originale » est préservée.
3. Traitement des Termes de Surface : Le calcul est effectué dans l'espace d'impulsion de Minkowski quadridimensionnel sans régularisation auxiliaire (telle que la régularisation dimensionnelle). La finitude et l'invariance de jauge sont obtenues par le traitement approprié des termes de surface résultant de la réduction des intégrales tensorielles divergentes. L'auteur postule que les conditions limites physiques du propagateur de Feynman libre dans le problème de diffusion de la matrice $S$ impliquent que ces termes de surface s'annulent.
4. Identités de Ward (I.W.) : Le calcul repose fortement sur les identités de Ward pour les sommets $WW\gamma$ et $WWZ$ afin de réduire la complexité des intégrandes et de démontrer les annulations entre les différents diagrammes ($T_1, T_2, T_3$).

Contributions Clés et Détails du Calcul
L'article se concentre sur les trois diagrammes de Feynman non nuls contribuant au processus (deux avec une boucle de $W$ et un avec une structure de tadpole/bulle de $W$, notant que deux autres diagrammes s'annulent) . Le calcul procède par l'analyse des termes basés sur l'ordre de divergence et les puissances de la masse $M$ du $W$ et de la masse $M_Z$ du $Z$ :

• Divergences d'Ordre Élevé ($M^{-6}$ et $M^{-4}$) : Les termes en $M^{-6}$ s'annulent en raison des identités de Ward. Les termes en $M^{-4}$, qui incluent de nouvelles contributions proportionnelles à $M_Z^2/M^4$ absentes du cas $H \to \gamma\gamma$, sont montrés comme s'annulant entre les diagrammes. L'annulation des divergences quartiques et cubiques ne laisse que des divergences quadratiques proportionnelles à $M_Z^2$.
• Divergences Quadratiques : Il est démontré que les divergences quadratiques restantes s'annulent exactement lorsque les termes de surface pour les intégrales tensorielles quadratiques sont traités comme étant nuls. Cette annulation est démontrée sans décalage des variables d'intégration, en s'appuyant plutôt sur la structure spécifique des intégrandes dérivées du schéma de Dyson.
• Termes Logarithmiques et Finis : Le calcul isole les termes finis proportionnels à $M_Z^2/M^2$ et $M_Z^2/M^4$. Un résultat crucial est l'émergence d'un terme non nul, fini et invariant par la jauge $U(1)_{EM}$ proportionnel à $(k_1 \cdot k_2 g_{\mu\nu} - k_{2\mu}k_{1\nu})M_Z^2/M^4$. Ce terme est identifié comme essentiel pour comparer les résultats avec d'autres jauges (comme $R_\xi$).
• Invariance de Jauge : L'amplitude assemblée finale est montrée comme étant finie et invariante sous les transformations de jauge $U(1)$ électromagnétiques. L'auteur note que ce résultat implique aucune contribution à la constante de renormalisation du mélange $Z\gamma$ à ce niveau de boucle 1.

Résultats
L'article présente les formes intégrales explicites des composantes de l'amplitude (étiquetées $R_1$ à $R_5$) avant d'effectuer l'intégration finale sur les paramètres de Feynman. Les principales conclusions sont :

1. Les parties divergentes (quartiques, cubiques, quadratiques et logarithmiques) s'annulent complètement lorsque les diagrammes sont sommés et que les termes de surface sont correctement traités.
2. Le résultat final est fini et invariant par la jauge électromagnétique en 4 dimensions.
3. Le calcul confirme que l'amplitude $H \to \gamma Z$ via une boucle de $W$ dans la jauge unitaire produit un résultat cohérent sans nécessiter la renormalisation de la constante de mélange $Z\gamma$, à condition que les termes de surface soient traités selon les conditions limites physiques du propagateur libre.

Signification et Revendications
L'article affirme que le « schéma de Dyson » fournit un cadre robuste pour résoudre les ambiguïtés associées aux divergences d'ordre élevé dans la jauge unitaire. En évitant le décalage arbitraire des moments de boucle et en traitant les termes de surface comme nuls sur la base des conditions limites physiques, l'auteur démontre que le modèle standard reste auto-cohérent dans cette jauge.

L'auteur suggère que le traitement des termes de surface n'est pas une simple formalité technique mais une sonde de la structure locale et de la topologie de l'espace-temps. L'article spécule que dans différentes variétés d'espace-temps (par exemple, des scénarios de l'univers primordial avec des singularités ou des défauts), ces termes de surface pourraient ne pas s'annuler, menant potentiellement à des anomalies (telles qu'une non-conservation de la charge ou une violation de la CP) qui sont absentes du vide de Minkowski actuel. Cependant, l'article limite explicitement son champ d'application au calcul détaillé dans l'espace de Minkowski standard et reporte la comparaison avec d'autres jauges ainsi que l'interprétation physique complète à une partie ultérieure (Partie II). Le travail est présenté comme un cadre systématique pour établir l'amplitude finie, mettant l'accent sur le rôle des termes de surface pour assurer la cohérence du Modèle Standard dans la jauge unitaire.