From the EFT to the UV: the complete SMEFT one-loop dictionary

Cet article présente le dictionnaire complet à une boucle reliant l'EFT du Modèle Standard à ses complétions UV avec des fermions et scalaires lourds, intégré dans la mise à jour du package SOLD pour faciliter les études phénoménologiques systématiques, comme illustré par l'analyse de la tension sur le taux de désintégration $B\rightarrow K \overline{\nu}\nu$.

L'essentiel

Imaginez que vous êtes un détective essayant de résoudre un mystère cosmique. Vous avez trouvé des indices étranges dans votre laboratoire (le monde des particules que nous connaissons, appelé le Modèle Standard), mais vous ne voyez pas le criminel. Vous savez qu'il doit être là, caché quelque part, peut-être derrière une montagne de données que vous ne pouvez pas encore escalader.

Voici comment les physiciens de ce papier (DESY-24-201) ont aidé à résoudre ce mystère, expliqué simplement :

1. Le Problème : Deux façons de voir le monde

En physique des particules, il y a deux façons de chercher de nouvelles choses :

• Le regard vers le bas (Bottom-up) : Vous regardez les indices dans votre laboratoire. "Tiens, cette particule se comporte bizarrement. Si je fais une équation pour décrire ce comportement, elle ressemble à ceci." C'est comme dire : "Il y a un fantôme dans la maison, il doit avoir une certaine taille et une certaine vitesse."
• Le regard vers le haut (Top-down) : Vous imaginez le fantôme. "Peut-être que c'est un esprit qui porte un chapeau rouge et qui vole." Vous construisez un modèle théorique complet.

Le problème, c'est que le lien entre les deux est très difficile. Il y a des millions de modèles de "fantômes" possibles. Essayer de vérifier un par un si l'un d'eux correspond aux indices prendrait une éternité. De plus, certains fantômes sont si discrets qu'ils ne laissent des traces que si on regarde très attentivement (au niveau des "boucles" quantiques, c'est-à-dire des interactions complexes et subtiles).

2. La Solution : Le "Dictionnaire" magique (SOLD)

C'est là qu'intervient le travail de Guilherme Guedes et Pablo Olgos. Ils ont créé un outil informatique appelé SOLD.

Imaginez SOLD comme un dictionnaire de traduction universel ou une carte au trésor très sophistiquée.

• Avant : Si vous aviez un indice (une équation), vous deviez chercher manuellement dans des milliers de livres pour trouver quel modèle théorique correspondait. C'était lent et incomplet, surtout pour les indices subtils (les effets à une "boucle").
• Maintenant : Avec SOLD, vous lui donnez l'indice (l'équation), et il vous dit instantanément : "Voici les 50 types de fantômes (modèles de particules lourdes) qui pourraient avoir laissé cette trace." Et inversement, si vous lui donnez un modèle de fantôme, il vous dit exactement quelles traces il laissera dans votre laboratoire.

Ce qui est nouveau dans ce papier, c'est qu'ils ont mis à jour ce dictionnaire pour inclure tous les types de traces, même les plus subtiles et complexes (les effets à une boucle), et pas seulement les plus évidents.

3. L'Expérience : Chasser le "Criminel" de B → Kνν

Pour montrer à quel point leur outil est puissant, ils l'ont utilisé pour résoudre un vrai mystère récent.

• Le Mystère : Les physiciens ont mesuré une désintégration de particules (un B se transformant en K et des neutrinos) qui semble se produire un peu plus souvent que ce que la théorie prédit. C'est comme si le compteur de votre voiture indiquait 100 km/h alors que vous roulez à 80 km/h. Il y a une "tension".
• L'Enquête : Ils ont demandé à SOLD : "Quels sont tous les modèles de particules lourdes qui pourraient expliquer cette erreur de compteur ?"
• Le Résultat :
  • Ils ont essayé avec un seul type de particule lourde : Ça ne marche pas.
  • Ils ont essayé avec deux particules : Ça ne marche pas non plus (les modèles sont soit trop faibles, soit interdits par d'autres règles).
  • Ils ont essayé avec trois particules : Là, une solution émerge ! Mais c'est une solution très délicate. Il faut que les effets de deux particules s'annulent exactement comme deux vagues qui se neutralisent (ce qu'ils appellent une "annulation magique") pour éviter d'être détectés ailleurs, tout en laissant la trace sur le compteur de vitesse.

4. Pourquoi c'est important ?

Ce papier ne dit pas "Nous avons trouvé le criminel". Il dit : "Voici la liste complète de tous les suspects possibles, et voici comment ils se comportent."

• Pour les physiciens : C'est une boussole. Au lieu de perdre du temps à construire des modèles qui ne fonctionnent pas, ils peuvent utiliser SOLD pour se concentrer uniquement sur les pistes sérieuses.
• Pour le futur : Si les mesures futures montrent que l'erreur est encore plus grande, ce dictionnaire permettra de savoir immédiatement si un modèle simple suffit, ou s'il faut invoquer des scénarios plus complexes (comme nos trois particules qui s'annulent).

En résumé

Les auteurs ont construit un pont numérique entre ce que nous voyons dans nos expériences (le bas) et ce qui pourrait exister dans l'univers profond (le haut). Ils ont rendu ce pont plus large et plus solide en y ajoutant les détails fins (les boucles quantiques). Grâce à cet outil, la chasse aux nouvelles particules devient beaucoup plus rapide et intelligente, comme passer d'une recherche au hasard dans une bibliothèque à une recherche par mot-clé sur un ordinateur ultra-puissant.

Résumé technique

1. Problématique et Contexte

Les théories des champs effectifs (EFT), et en particulier l'EFT du Modèle Standard (SMEFT), constituent le cadre privilégié pour rechercher une nouvelle physique lourde au-delà du Modèle Standard (BSM). L'approche se divise généralement en deux volets :

• Approche "Bottom-up" : Paramétrisation des écarts par rapport au Modèle Standard via les coefficients de Wilson (WC) d'un EFT, permettant une interprétation indépendante des modèles.
• Approche "Top-down" : Traduction de ces coefficients en paramètres de modèles UV spécifiques via le processus de "matching" (appariement).

Cependant, l'établissement d'une connexion complète entre ces deux approches au niveau des boucles (one-loop) reste un défi majeur. La vastitude des scénarios UV possibles rend la comparaison systématique difficile. Bien que des dictionnaires UV/IR existent au niveau arbre (tree-level), ils sont insuffisants car de nombreux observables reçoivent leurs contributions dominantes au niveau des boucles (ex: moment magnétique anomal du muon) ou via des couplages quadratiques (impliquant deux champs BSM) qui ne contribuent qu'au niveau des boucles. De plus, les outils existants nécessitent souvent l'implémentation complète d'un lagrangien UV, ce qui est fastidieux pour explorer de nombreux modèles.

2. Méthodologie

Les auteurs présentent une extension complète du package Mathematica SOLD (introduit précédemment dans la référence [1]) pour fournir un dictionnaire complet à une boucle pour le SMEFT à dimension six, incluant des extensions par des fermions et des scalaires lourds.

Procédure de Matching :

• Approche Diagrammatique : Le matching est effectué vers la base de Green du SMEFT (incluant les opérateurs redondants et évanescentes) en calculant les diagrammes 1PI (One-Particle Irreducible) à une boucle.
• Théorie Générale : Le point de départ est une théorie renormalisable générale contenant des multiplets de fermions ($\Psi$) et de scalaires ($\Phi$) lourds, avec des couplages génériques. Les nombres quantiques (représentations de jauge) ne sont pas fixés initialement, permettant une classification générale.
• Réduction de Base : Les résultats sont projetés de la base de Green vers la base minimale physique (base de Warsaw) en utilisant des redefinitions de champs et en traitant soigneusement les opérateurs évanescentes (qui disparaissent en 4 dimensions mais contribuent aux boucles).
• Classification des Modèles : Au lieu de calculer modèle par modèle, l'algorithme itère sur les diagrammes possibles pour extraire les restrictions sur les représentations de jauge des particules lourdes nécessaires pour générer un coefficient de Wilson donné. Cela permet de lister toutes les classes de modèles possibles.

Fonctionnalités du Package SOLD (v2.0) :

• Prise en compte de tous les opérateurs du SMEFT à dimension six (y compris ceux qui peuvent recevoir des contributions au niveau arbre).
• Calcul automatique des contributions à une boucle et au niveau arbre.
• Fonctions pour lister les modèles générant un opérateur spécifique, y compris dans la limite où les couplages du Modèle Standard (sauf $g_3$ et $y_t$) sont nuls.
• Outils pour obtenir des résultats "schématiques" (MatchSchematic) pour une visualisation rapide sans calcul complet.

3. Contributions Clés

1. Dictionnaire Complet à une Boucle : Pour la première fois, un dictionnaire UV/IR complet est disponible pour tous les opérateurs du SMEFT à dimension six, couvrant les extensions scalaires et fermioniques arbitraires.
2. Automatisation et Efficacité : SOLD permet d'obtenir les conditions de matching et les listes de modèles sans avoir à écrire de lagrangien spécifique. L'utilisateur fournit uniquement le contenu en champs et leurs nombres quantiques (représentations de jauge).
3. Nouvelles Fonctionnalités :
   • ListModelsWarsaw : Liste tous les modèles (arbres et boucles) générant un opérateur.
   • OpGeneratedQ : Vérifie si un modèle génère un opérateur spécifique.
   • MatchSchematic : Fournit une structure diagrammatique rapide pour comprendre la dépendance aux couplages.
   • Traitement des annulations accidentelles (cancellations) entre diagrammes qui peuvent rendre un modèle viable malgré des contraintes expérimentales strictes.

4. Résultats et Étude de Cas : $B(B \to K\nu\nu)$

Pour illustrer l'utilité de SOLD, les auteurs étudient la tension observée par Belle II dans le rapport d'embranchement $B(B \to K\nu\nu)$, qui suggère une déviation par rapport au Modèle Standard. L'objectif est de trouver des modèles UV capables d'expliquer cette anomalie via les opérateurs $C_{\ell q}^{(1,3)}$ et $C_{\ell d}$.

• Extensions à un champ : Aucune solution à une boucle n'est trouvée capable de reproduire la magnitude requise des coefficients de Wilson ($O(10^{-2})$) sans violer d'autres contraintes ou nécessiter des couplages non réalistes.
• Extensions à deux champs : Plusieurs modèles sont explorés (ex: $S_3 + Q_5$, $S_3 + T_2$). Bien que certains puissent générer le motif souhaité, ils sont exclus par des contraintes expérimentales sévères, notamment les mélanges $B_s - \bar{B}_s$ et les transitions $b \to s$, dues aux couplages quadratiques nécessaires.
• Extensions à trois champs : L'étude explore des modèles combinant des contributions au niveau arbre et des boucles.
  • Un modèle prometteur est identifié : $\Pi_7 (3, 2, 1/6) + N (1, 1, 0) + D (3, 1, 2/3)$.
  • Découverte majeure : Ce modèle présente une annulation "magique" (similaire à celle observée pour les opérateurs dipolaires) dans la base de Green pour les opérateurs à quatre quarks $O_{qq}^{(1,3)}$ avec des indices de saveur $[2,3,2,3]$. Cette annulation, qui n'est visible qu'une fois projetée dans la base de Warsaw, permet d'éviter les contraintes strictes du mélange $B_s - \bar{B}_s$.
  • Résultat : Ce modèle à trois champs peut qualitativement expliquer le motif des coefficients de Wilson observé tout en restant compatible avec les contraintes expérimentales actuelles (bien qu'il ait du mal à atteindre les valeurs centrales très élevées sans violer l'unitarité perturbative).

5. Signification et Perspectives

Ce travail marque une avancée significative dans la méthodologie de la physique des hautes énergies :

• Pont entre Bottom-up et Top-down : SOLD est le seul outil capable de traduire directement un opérateur EFT en une liste exhaustive de modèles UV possibles, facilitant ainsi l'exploration systématique de l'espace des théories.
• Guide pour les études phénoménologiques : Il permet aux chercheurs d'identifier rapidement les modèles viables et d'éviter les impasses, en particulier pour les contributions à une boucle qui étaient auparavant négligées ou difficiles à classifier.
• Importance des annulations : L'étude démontre que les annulations accidentelles dans les dictionnaires complets sont cruciales pour sauver des modèles qui sembleraient autrement exclus.

Limites et Futur :
L'article note que les vecteurs lourds ne sont pas encore inclus (nécessitant des détails de brisure de symétrie spontanée). Les auteurs prévoient d'améliorer le package pour inclure ces champs et d'optimiser les performances. L'objectif final est que SOLD devienne un "guide de poche" indispensable pour les bâtisseurs de modèles reliant le SMEFT aux théories UV fondamentales.