Towards the two-loop electroweak corrections to the Drell-Yan process: the complete fermionic contributions

L'essentiel

Imaginez l'univers comme une machine géante, incroyablement complexe, où des particules minuscules comme les quarks et les électrons entrent constamment en collision et interagissent. Les physiciens tentent de prédire exactement ce qui se produit lors de ces collisions en utilisant un ensemble de règles appelé le « Modèle Standard ». Cependant, ces règles ne sont pas parfaites ; elles ressemblent à une carte qui fonctionne bien pour une ville, mais qui devient floue lorsque l'on tente de zoomer sur chaque fissure du trottoir. Pour obtenir une carte véritablement précise, les scientifiques doivent calculer des « corrections » — de minuscules ajustements qui tiennent compte du bruit quantique chaotique se produisant en arrière-plan.

Ce papier traite de l'équipe qui franchit une étape majeure dans la création de cette carte ultra-précise pour un événement spécifique : lorsqu'un quark et un anti-quark s'écrasent pour créer une paire de muons (des cousins lourds des électrons). Cet événement est connu sous le nom de processus Drell-Yan.

Voici la décomposition de ce qu'ils ont fait, en utilisant des analogies du quotidien :

1. L'Objectif : Le Défi de la « Boucle Double »

Pensez au calcul d'une collision de particules comme à la tentative de prédire la météo.

• Niveau 1 (Niveau Arbre) : Vous regardez le ciel et dites : « Il fait soleil. » (C'est la prédiction de base, simple).
• Niveau 2 (Une Boucle) : Vous réalisez : « Oh, il y a quelques nuages et une brise. » Vous ajoutez ces détails.
• Niveau 3 (Deux Boucles) : C'est le niveau que ce papier aborde. C'est comme réaliser que la brise fait tourbillonner un nuage, ce qui crée une petite averse qui affecte la température, laquelle modifie à son tour le vent. C'est une deuxième couche de complexité.

Les auteurs ont calculé l'ensemble complet des corrections « fermioniques » pour ce niveau de deux boucles. En français courant, ils ont suivi chaque manière possible dont une boucle fermée de particules de matière (fermions) pouvait apparaître et disparaître pendant la collision et modifier le résultat. Ils n'ont pas seulement deviné ; ils ont calculé l'ensemble de ces boucles spécifiques.

2. Les Parties Embrouillées : Nettoyage des Mathématiques

Lorsque vous tentez de faire ces calculs, les mathématiques explosent souvent en infini. C'est comme essayer de mesurer une pièce avec une règle qui ne cesse de s'étirer à l'infini. Pour résoudre cela, l'équipe a dû effectuer deux opérations majeures de « nettoyage » :

• Renormalisation UV (La Correction de l'« Infini ») : Il s'agit d'éliminer les infinis « ultraviolets ». Imaginez que vous construisez une maison, mais que votre plan comporte une section où les murs sont infiniment hauts. Vous devez réécrire le plan pour rendre les murs d'une hauteur raisonnable sans changer la forme réelle de la maison. Les auteurs ont développé une méthode rigoureuse pour éliminer ces infinis et les remplacer par des nombres réels et mesurables (comme la masse du boson Z).
• Soustraction IR (La Correction du « Bug ») : Il s'agit d'éliminer les « bugs » « infrarouges ». Imaginez que votre objectif d'appareil photo a une tache qui rend l'image floue. En physique des particules, ce flou provient de particules trop douces pour être détectées mais qui perturbent tout de même les mathématiques. L'équipe a créé un « chiffon de nettoyage » (une soustraction mathématique) pour essuyer ces flous afin de pouvoir voir l'image claire de la collision.

3. L'Énigme « Chirale » (Le Problème du $\gamma_5$)

L'un des plus gros maux de tête dans ce domaine est un objet mathématique appelé $\gamma_5$. Imaginez-le comme un engrenage spécial à 4 dimensions dans une machine. Lorsque les physiciens tentent d'exécuter leurs calculs dans une dimension légèrement différente (un tour de passe-passe mathématique appelé « régularisation dimensionnelle » utilisé pour gérer les infinis), cet engrenage ne s'adapte pas correctement. C'est comme essayer d'enfoncer un clou carré dans un trou rond.

Il existe différentes façons de forcer l'engrenage à s'adapter, mais elles brisent toutes une règle différente de la machine. Les auteurs ont utilisé une stratégie spécifique (le schéma de Kreimer) qui maintient les engrenages en rotation fluide en acceptant que vous devez observer la machine sous un angle particulier (en brisant la « cyclicité ») pour que les mathématiques fonctionnent. Ils ont prouvé que, peu importe l'angle sous lequel ils regardaient, le résultat final était le même.

4. L'Automatisation : L'« Usine à Robots »

Calculer ces diagrammes à la main est impossible. Il y en a des milliers. Les auteurs ont construit une « usine à robots » (code informatique automatisé) qui :

1. Génère tous les diagrammes possibles (les plans).
2. Calcule les intégrales complexes (les mesures).
3. Applique les règles de renormalisation et de soustraction (l'équipe de nettoyage).
4. Vérifie les erreurs (le contrôle qualité).

Ils ont testé ce robot de manière extensive pour s'assurer qu'il ne commettait pas d'erreurs, vérifiant que les infinis s'annulaient parfaitement et que les résultats étaient cohérents.

5. Le Résultat : Un Objectif Plus Net

Le papier présente les nombres finaux et finis qui subsistent après tout le nettoyage et la réparation. Ces nombres représentent la contribution « fermionique » aux corrections de deux boucles pour la création de paires de muons.

Pourquoi cela importe-t-il ?
Le Grand collisionneur de hadrons (LHC) et les futurs collisionneurs deviennent incroyablement précis. Ils peuvent mesurer des choses avec une précision inférieure à une partie sur mille. Pour égaler cette précision, les prédictions théoriques doivent être tout aussi nettes. Ce papier fournit un « bloc de construction » crucial pour ces prédictions. Sans ces calculs spécifiques, la carte théorique serait trop floue pour être comparée aux photos haute définition prises par les expériences.

En résumé : Les auteurs ont construit une machine mathématique hautement sophistiquée et automatisée pour calculer les « oscillations » de second ordre des particules de matière dans une collision spécifique. Ils ont résolu le problème des nombres infinis, corrigé les engrenages délicats à 4 dimensions, et livré un résultat propre et précis qui aide les physiciens à comprendre l'univers avec une précision sans précédent.

Résumé technique

Résumé technique : Vers les corrections électrofaibles à deux boucles du processus Drell-Yan : les contributions fermioniques complètes

Énoncé du problème
La précision des mesures expérimentales au LHC (phase de haute luminosité) et aux futurs collisionneurs tels que le FCC-ee exige des prédictions théoriques pour le processus Drell-Yan ($u\bar{u} \to \mu^+\mu^-$) avec une précision inférieure au pour-mille. Bien que les corrections électrofaibles (EW) à l'ordre suivant le plus bas (NLO) et les corrections mixtes QCD-EW à l'ordre suivant le suivant le plus bas (NNLO) soient disponibles, l'ensemble complet des corrections virtuelles pures électrofaibles d'ordre deux (NNLO) reste un défi majeur en théorie quantique des champs. Plus précisément, l'évaluation du sous-ensemble complet des contributions fermioniques — défini par la présence de boucles fermioniques fermées dans les diagrammes de Feynman ou les contre-termes — est requise pour réduire les incertitudes théoriques en dessous du niveau actuel de pour cent dans les collisions hadron-hadron et correspondre à la précision expérimentale attendue. Ce calcul implique des problèmes théoriques complexes, notamment la renormalisation UV avec des particules instables, la soustraction IR, et la gestion des couplages chiraux ($\gamma_5$) dans la régularisation dimensionnelle.

Méthodologie
Les auteurs présentent un cadre automatisé et semi-analytique pour calculer l'ensemble complet des corrections virtuelles électrofaibles fermioniques d'ordre deux. La méthodologie est structurée comme suit :

1. Schéma de renormalisation : Le calcul emploie le schéma de masse complexe (CMS) pour les masses des bosons de jauge afin de préserver l'invariance de jauge en présence de particules instables, combiné au schéma $\overline{\text{MS}}$ pour le couplage électromagnétique. Les auteurs utilisent l'approche de jauge du champ de fond (BFG), qui garantit des identités de Ward de type QED pour les fonctions de Green impliquant des champs de photons de fond.
2. Renormalisation UV : Un ensemble complet de contre-termes est dérivé jusqu'à $\mathcal{O}(\alpha^2)$. Cela inclut les contre-termes de masse, de fonction d'onde et de couplage. Les auteurs traitent explicitement les diagrammes de « sous-renormalisation » (insertion de contre-termes à une boucle dans des diagrammes à une boucle) et les produits de contre-termes du premier ordre résultant de l'expansion des fonctions de vertex renormalisées. Les contributions de tadpole sont gérées via le schéma de tadpole à paramètre renormalisé (PRTS), assurant l'annulation du tadpole de Higgs au niveau renormalisé.
3. Soustraction infrarouge (IR) : Les auteurs définissent un reste fini en soustrayant les divergences IR de l'amplitude renormalisée UV. Les termes de soustraction sont dérivés de l'abélianisation des dimensions anormales douces et de pointe (cusp) de la QCD, adaptés aux contributions fermioniques spécifiques. L'opérateur de soustraction $I^{(0,2)}_{fer}$ prend en compte l'émission de photons avec des corrections fermioniques et les émissions de paires de fermions à l'ordre arbre.
4. Prescription $\gamma_5$ : Pour gérer les couplages chiraux dans la régularisation dimensionnelle, les auteurs adoptent le schéma de Kreimer (implémenté dans le package Abiss). Cette approche préserve l'anticommutativité de $\gamma_5$ avec les matrices de Dirac et la condition de trace impliquant le tenseur de Levi-Civita, tout en abandonnant la cyclicité de la trace. Un « point de lecture » spécifique est introduit pour chaque trace distincte afin de gérer le caractère non cyclique.
5. Réduction et évaluation des intégrales : Les intégrales de Feynman à deux boucles sont réduites à des intégrales maîtresses (MIs) en utilisant les cadres KIRA et FireFly au sein de la suite d'automatisation Oceann. L'évaluation numérique de ces MIs est effectuée à l'aide de AMFlow et SeaSyde. Pour atténuer la complexité computationnelle, la masse du muon est fixée à zéro dans les diagrammes où elle ne génère pas de singularités collinéaires d'état final, n'étant conservée que là où nécessaire pour réguler de telles divergences.

Contributions clés

• Sous-ensemble fermionique complet : L'article fournit la première évaluation de l'ensemble complet des corrections virtuelles électrofaibles fermioniques d'ordre deux pour le processus Drell-Yan ($u\bar{u} \to \mu^+\mu^-$) pour une cinématique arbitraire. Ce sous-ensemble est défini par la présence d'au moins une boucle fermionique fermée dans les diagrammes ou les contre-termes.
• Flux de travail automatisé : Les auteurs démontrent un flux de travail entièrement automatisé pour le calcul des amplitudes à deux boucles, intégrant la renormalisation UV, la soustraction IR et le traitement spécifique de $\gamma_5$.
• Validation des outils : Ce travail sert de référence pour les chaînes d'outils Oceann, Abiss, AMFlow et SeaSyde. Les auteurs vérifient explicitement l'annulation des pôles UV et IR et l'indépendance des résultats finaux par rapport à la prescription $\gamma_5$ spécifique (conventions de point de lecture et de point fixe) utilisée lors des étapes intermédiaires.
• Vérification des identités de Ward : Le calcul vérifie la validité des identités de Ward BFG pour les fonctions de Green renormalisées, assurant l'invariance de jauge de l'amplitude.

Résultats

• Amplitude finie : Les auteurs présentent la contribution finie, renormalisée UV et soustraite IR, à l'amplitude de diffusion. Des résultats numériques pour les coefficients du développement de Laurent en $\epsilon$ (où $d=4-2\epsilon$) sont fournis pour un point cinématique spécifique ($s=10000$ GeV$^2$, $t=-2500$ GeV$^2$).
• Annulation des pôles : La somme de la partie diagrammatique, des contre-termes UV et des termes de soustraction IR aboutit à l'annulation de tous les pôles $1/\epsilon^n$ avec une précision relative de $10^{-7}$. Les imperfections restantes sont attribuées à l'approximation consistant à fixer la masse du muon à zéro dans des diagrammes spécifiques, ce qui introduit des termes proportionnels à $m_\mu^2/\mu_W^2$.
• Structure des divergences : L'analyse confirme que les divergences UV s'annulent au sein de sous-ensembles spécifiques de diagrammes (par exemple, les corrections de vertex et de fonction d'onde satisfaisant des identités de Ward de type QED) et que l'annulation des divergences IR repose sur la combinaison correcte des contributions virtuelles et d'émission réelle.

Signification et affirmations
Les auteurs positionnent ce travail comme un élément constitutif critique vers l'évaluation complète des corrections électrofaibles d'ordre deux pour le processus Drell-Yan. Ils affirment que :

1. Le calcul aborde des défis conceptuels et techniques majeurs, notamment la renormalisation des particules instables, la soustraction systématique des divergences IR et le traitement cohérent des couplages chiraux.
2. L'invariance de jauge des résultats est imposée par le CMS et la vérification des identités de Ward.
3. L'universalité des contre-termes et des opérateurs de soustraction dérivés permet d'appliquer ces ingrédients à d'autres processus de diffusion.
4. Bien que cet article établisse les corrections virtuelles fermioniques, les auteurs notent que la combinaison de ces résultats avec les contributions d'émission réelle et le traitement des violations d'unitarité perturbative inhérentes au CMS (concernant la masse complexe des particules stables) seront abordés dans des publications futures.

Ce travail ne prétend pas fournir la prédiction finale de la section efficace électrofaible NNLO pour le LHC, mais fournit plutôt le composant virtuel nécessaire et valide l'infrastructure computationnelle requise pour atteindre de telles prédictions.