One-loop amplitudes for $t\bar{t}j$ and $t\bar{t}\gamma$ productions at the LHC through $\mathcal{O}(\epsilon^2)$

Cet article présente des expressions analytiques pour les amplitudes d'hélicité QCD à une boucle pour la production de $t\bar{t}j$ et $t\bar{t}\gamma$ au LHC jusqu'à l'ordre $\mathcal{O}(\epsilon^2)$, exprimées en termes de fonctions pentagonales avec des coefficients rationnels dans les variables de twisteur d'impulsion, afin de faciliter les calculs QCD à NNLO.

L'essentiel

Imaginez le Grand collisionneur de hadrons (LHC) comme le plus puissant briseur de particules au monde. Lorsque les scientifiques font entrer en collision des protons, ils tentent de recréer les conditions de l'univers primordial. L'une des choses les plus intéressantes qu'ils recherchent est le « quark top », une particule si lourde qu'elle est comparable au champion poids lourd du monde subatomique.

Ce document porte sur la création d'un « manuel d'instructions » mathématique hautement détaillé pour prédire ce qui se produit lorsque ces quarks top sont générés conjointement à d'autres particules, spécifiquement un jet (un spray de particules plus petites) ou un photon (une particule de lumière).

Voici une décomposition de ce que les auteurs ont réalisé, en utilisant des analogies simples :

1. L'Objectif : Construire un Meilleur Plan

Les scientifiques souhaitent prédire exactement à quelle fréquence ces collisions se produisent et à quoi ressemblent les particules lorsqu'elles s'éparpillent. Pour ce faire, ils utilisent un ensemble de règles appelées Chromodynamique Quantique (QCD).

• Le Problème : Les règles actuelles sont bonnes, mais le LHC devient si précis que les anciennes règles ne sont pas assez détaillées. Pour correspondre à la précision du LHC, les scientifiques doivent calculer ces collisions avec une extrême précision (appelée « NNLO »).
• La Pièce Manquante : Pour obtenir cette haute précision, il faut connaître les calculs « à une boucle » (un niveau spécifique de complexité en mathématiques) jusqu'à un degré de précision très élevé. Pensez-y comme à la cuisson d'un gâteau : si vous voulez un gâteau parfait, vous ne pouvez pas mesurer la farine approximativement ; vous devez la mesurer au milligramme près. Ce document fournit ces mesures au niveau du milligramme pour les collisions de quarks top.

2. La Méthode : La Boîte à Outils du « Pentagone »

Les mathématiques impliquées dans ces collisions sont incroyablement désordonnées. Si vous essayiez d'écrire les équations complètes sur une feuille de papier, elles seraient plus longues que l'ensemble de l'Encyclopædia Britannica.

• L'Analogie : Imaginez essayer de décrire une sculpture 3D complexe. Vous pourriez décrire chaque atome individuellement, ou vous pourriez la décrire en utilisant un ensemble de blocs de construction standard.
• La Solution : Les auteurs ont inventé un ensemble de blocs de construction standard appelés « Fonctions du Pentagone ». Au lieu d'écrire les équations massives et désordonnées à chaque fois, ils ont exprimé les résultats comme une combinaison de ces blocs standard.
  • C'est comme dire : « La forme de ce nuage est composée de 3 parts de 'duveteux', 2 parts de 'filandreux' et 1 part de 'sombre'. »
  • En utilisant ces blocs, les mathématiques deviennent beaucoup plus courtes, plus propres et plus faciles à manipuler.

3. Le Processus : Résoudre l'Énigme

Les auteurs ont dû déterminer exactement comment ces « Fonctions du Pentagone » se comportent dans différentes conditions.

• La Carte : Ils ont tracé une carte de toutes les manières possibles dont les particules peuvent se déplacer (appelées « cinématiques »).
• Le Moteur : Ils ont utilisé une méthode appelée « équations différentielles » pour déterminer comment les fonctions changent lorsque les particules se déplacent.
• La Puissance de Calcul : Les équations étaient trop difficiles pour qu'un humain les résolve à la main. Les auteurs ont utilisé des ordinateurs puissants et une technique appelée « arithmétique sur corps fini ».
  • Analogie : Imaginez essayer de résoudre une gigantesque grille de Sudoku. Au lieu d'écrire chaque nombre, l'ordinateur vérifie si les nombres fonctionnent dans un « monde » spécifique et simplifié (un corps fini) pour déterminer le motif. Une fois le motif trouvé, ils le traduisent de nouveau dans les mathématiques réelles et complexes.

4. Le Résultat : Un Nouvel Guide de Référence

L'article présente les résultats finaux sous deux formes principales :

1. Expressions Analytiques : La « recette » écrite dans le langage des Fonctions du Pentagone. Cela permet à d'autres scientifiques d'insérer différents nombres et d'obtenir des réponses sans refaire les mathématiques difficiles.
2. Références Numériques : Ils ont testé leur recette à un point spécifique de l'« univers » des collisions de particules pour montrer qu'elle fonctionne. Ils ont comparé leurs nombres avec d'autres outils existants pour prouver qu'ils sont corrects.

Pourquoi Cela Compte (Selon l'Article)

Les auteurs déclarent que ce travail est une étape nécessaire pour construire les calculs « à deux boucles » (le niveau de mathématiques suivant, encore plus complexe) requis pour la prochaine génération d'expériences du LHC.

• La Métaphore : Si le LHC est un appareil photo haute vitesse prenant des photos de l'univers, cet article fournit l'objectif plus net nécessaire pour voir les détails clairement. Sans cet « objectif », les images seraient floues, et les scientifiques pourraient manquer des signes subtils de nouvelle physique.

En résumé : Les auteurs ont créé une boîte à outils mathématique rationalisée et hautement précise pour prédire le comportement des quarks top lorsqu'ils sont produits avec des jets ou de la lumière. Ils ont fait cela en décomposant des équations complexes en blocs de construction « Pentagone » gérables et en utilisant des techniques informatiques avancées pour résoudre les énigmes qui en résultent. Cette boîte à outils est essentielle pour les futures expériences ultra-précises au LHC.

Résumé technique

Résumé technique : Amplitudes à une boucle pour les productions $t\bar{t}j$ et $t\bar{t}\gamma$ au LHC jusqu'à $O(\epsilon^2)$

Énoncé du problème
Les prédictions théoriques pour la production de paires de quarks top associée à un jet ($t\bar{t}j$) ou à un photon ($t\bar{t}\gamma$) au Grand collisionneur de hadrons (LHC) sont actuellement disponibles avec une précision au prochain ordre dominant (NLO). Cependant, pour correspondre à la précision sans précédent des mesures expérimentales lors des runs actuels et futurs du LHC, les prédictions doivent être fournies au prochain ordre suivant dominant (NNLO) en chromodynamique quantique (QCD). Atteindre une précision NNLO nécessite le calcul des amplitudes de diffusion à deux boucles pour les processus $2 \to 3$. Une condition préalable critique pour la construction de ces fonctions dures à deux boucles est la disponibilité des amplitudes à une boucle développées jusqu'à $O(\epsilon^2)$ dans le paramètre de régularisation dimensionnelle $\epsilon$. Bien que des packages automatisés existent pour calculer la partie finie ($O(\epsilon^0)$) des amplitudes à une boucle, ils ne fournissent pas les termes en $\epsilon$ d'ordre supérieur nécessaires à la soustraction des singularités ultraviolettes (UV) et infrarouges (IR) et à l'extraction du reste fini dans les calculs NNLO. Cet article comble cette lacune en fournissant des expressions analytiques pour les amplitudes d'hélicité à une boucle en couleur complète pour les processus $pp \to t\bar{t}j$ et $pp \to t\bar{t}\gamma$ jusqu'à $O(\epsilon^2)$.

Méthodologie
Les auteurs emploient un cadre de calcul multi-étapes combinant l'arithmétique des corps finis, la décomposition tensorielle et la méthode des fonctions pentagone :

1. Construction de l'amplitude d'hélicité : Le calcul est effectué dans le schéma 't Hooft-Veltman (tHV). Les auteurs décomposent les amplitudes partielles en structures tensorielles indépendantes à 4 dimensions. Les spineurs massifs pour les quarks top sont définis en utilisant une direction de référence pour exprimer les amplitudes d'hélicité en termes de moments et de produits de spineurs sans masse. Les sous-amplitudes d'hélicité sont extraites en évaluant les amplitudes partielles contractées pour des choix spécifiques de vecteurs de référence et en inversant le système linéaire résultant.
2. Reconstruction par corps finis : Pour gérer la complexité algébrique des expressions intermédiaires, les auteurs utilisent des méthodes de corps finis. Les diagrammes de Feynman sont générés à l'aide de QGRAF, suivis d'une décomposition en couleur. Les amplitudes partielles contractées résultantes sont réduites à un ensemble minimal d'intégrales maîtresses (MIs) à l'aide d'identités d'intégration par parties (IBP) (générées via NEATIBP et résolues via FINITEFLOW). Les coefficients rationnels multipliant les MIs sont reconstruits analytiquement à partir de leurs évaluations numériques sur des corps finis.
3. Base de fonctions pentagone : Les MIs sont exprimés en termes d'une base de composantes algébriquement indépendantes connues sous le nom de « fonctions pentagone ». Ces fonctions correspondent aux composantes développées en $\epsilon$ des MIs. Les auteurs dérivent des équations différentielles (ED) canoniques pour ces fonctions sous forme $d\log$. L'alphabet des ED comprend 283 lettres indépendantes, dont 29 racines carrées algébriques.
4. Évaluation numérique : Les ED sont résolues numériquement en utilisant la méthode de développement en série de puissances généralisée. Les auteurs utilisent deux packages logiciels : DIFFEXP (Mathematica) et le tout nouveau LINE (C/C++). Les conditions aux limites sont déterminées en évaluant les MIs à des points spécifiques de l'espace des phases à l'aide du package AMFLOW avec une précision de 70 chiffres. La solution est propagée vers des points arbitraires de l'espace des phases physiques.
5. Renormalisation et reste fini : Les amplitudes nues sont renormalisées en masse et entièrement renormalisées UV par l'ajout de contre-termes appropriés. Le reste fini est extrait en soustrayant les singularités IR universelles, en utilisant le schéma MS.

Contributions clés

• Expressions analytiques : L'article fournit les premières expressions analytiques pour les amplitudes d'hélicité à une boucle en couleur complète pour les productions $t\bar{t}j$ et $t\bar{t}\gamma$ développées jusqu'à $O(\epsilon^2)$.
• Base de fonctions pentagone : Les auteurs construisent une base spécifique de fonctions pentagone pour ces processus, exprimant les amplitudes comme des combinaisons linéaires de ces fonctions avec des coefficients rationnels écrits en termes de variables twisteur de moment.
• Équations différentielles : Des ED canoniques pour les fonctions pentagone sont dérivées et résolues numériquement. Les auteurs fournissent les ED, les valeurs aux limites et les règles de permutation pour les fonctions dans des fichiers annexes.
• Implémentation logicielle : Le travail démontre l'application du package LINE pour résoudre des ED impliquant des racines carrées, montrant qu'il est environ deux fois plus rapide que DIFFEXP pour ce système d'équations spécifique.
• Résultats de référence : Des résultats numériques de référence pour les éléments de matrice carrés sommés sur la couleur et l'hélicité sont fournis pour tous les canaux partoniques pertinents ($gg \to t\bar{t}g$, $q\bar{q} \to t\bar{t}g$, $gg \to t\bar{t}\gamma$, $q\bar{q} \to t\bar{t}\gamma$) et validés par rapport à OPENLOOPS jusqu'à $O(\epsilon^0)$.

Résultats
Les auteurs ont calculé avec succès les amplitudes d'hélicité pour les processus impliquant des paires de quarks top et des particules sans masse (gluons, photons, quarks légers). Les expressions analytiques pour les coefficients rationnels des fonctions pentagone ont été reconstruites, les degrés des numérateurs étant considérablement réduits grâce à une décomposition en fractions partielles univariées. L'évaluation numérique des amplitudes à un point spécifique de l'espace des phases physiques a confirmé la validité des résultats par rapport aux outils NLO existants. L'article note que, bien que les coefficients rationnels pour $t\bar{t}j$ et $t\bar{t}\gamma$ partagent certaines similarités structurelles, une extraction complète des relations entre les deux processus au niveau des amplitudes primitives n'a pas été réalisée.

Signification et affirmations
Les auteurs affirment que leurs résultats sont essentiels pour construire les fonctions dures à deux boucles requises pour les calculs NNLO en QCD des productions $t\bar{t}j$ et $t\bar{t}\gamma$. En fournissant des amplitudes jusqu'à $O(\epsilon^2)$, ils permettent la soustraction analytique des divergences UV et IR et l'extraction de restes finis, qui sont autrement inaccessibles avec des outils limités à $O(\epsilon^0)$.

L'article affirme que l'expression des amplitudes en termes d'une base de fonctions pentagone offre un cadre compact qui simplifie les expressions finales et améliore l'efficacité numérique. De plus, les auteurs positionnent ce travail comme une pierre angulaire pour les futurs calculs à deux boucles. Ils notent que, bien que les amplitudes à deux boucles en couleur dominante pour $t\bar{t}j$ impliquent des structures elliptiques, la base de fonctions pentagone construite ici (qui sépare les contributions polylogarithmiques et non polylogarithmiques) peut fournir une stratégie utile pour gérer les espaces fonctionnels plus complexes attendus dans les calculs à deux boucles, y compris ceux pour $t\bar{t}\gamma$. Les auteurs concluent modestement que, bien que la base facilite les travaux futurs, la réalisation complète des calculs à deux boucles reste un sujet de recherche future.