From Lagrangian to Higgs physics constraints for SUSY and non-SUSY models: interfacing FlexibleSUSY with HiggsTools and Lilith

Cet article présente une interface entre FlexibleSUSY et les outils HiggsTools/Lilith permettant de valider automatiquement, depuis le lagrangien d'un modèle BSM jusqu'aux contraintes expérimentales, la compatibilité du secteur de Higgs avec les mesures, comme démontré sur des modèles supersymétriques et non supersymétriques incluant des violations de CP et des désintégrations invisibles.

L'essentiel

🏗️ Le Pont entre la Théorie et la Réalité : Comment vérifier si de nouvelles particules existent

Imaginez que vous êtes un architecte qui conçoit des maisons futuristes (les modèles de physique au-delà du Modèle Standard). Vous avez dessiné des plans magnifiques avec des pièces secrètes, des matériaux invisibles et des lois de la physique un peu différentes de celles de notre monde actuel.

Le problème ? Vous ne pouvez pas construire ces maisons pour les voir. Vous devez les simuler sur ordinateur. Mais comment savoir si votre conception est réaliste ? Comment savoir si elle résisterait aux inspections des inspecteurs du bâtiment (les expériences du LHC au CERN) ?

C'est exactement le problème que résolvent les auteurs de cet article avec leur nouvel outil, un pont numérique appelé FlexibleSUSY.

1. Le Problème : Des plans trop complexes

Jusqu'à présent, les physiciens avaient deux outils séparés :

• L'atelier de construction (FlexibleSUSY) : Il prenait vos plans bruts (votre équation mathématique, votre "Lagrangien") et calculait tout ce qui se passerait à l'intérieur de la maison : les masses des murs, la façon dont les portes s'ouvrent, etc.
• L'inspecteur du bâtiment (HiggsTools et Lilith) : C'était un expert qui comparait les maisons existantes avec les règles strictes de la ville (les données expérimentales réelles).

Le hic ? Pour utiliser l'inspecteur, il fallait sortir les plans de l'atelier, les traduire manuellement dans un langage que l'inspecteur comprenait, puis les lui envoyer. C'était lent, fastidieux et propice aux erreurs.

2. La Solution : Un traducteur automatique

Les auteurs ont créé une interface automatique. C'est comme si l'atelier de construction et l'inspecteur du bâtiment étaient maintenant dans la même pièce, connectés par un câble direct.

Désormais, vous donnez vos plans bruts à l'ordinateur, et il fait tout le reste :

1. Il construit la maison virtuelle.
2. Il calcule comment la maison réagit (comment le boson de Higgs, la "pierre angulaire" de la maison, se désintègre).
3. Il envoie immédiatement les résultats à l'inspecteur.
4. L'inspecteur vous dit : "Oui, cette maison est conforme" ou "Non, vous avez oublié un mur, ou votre porte est trop lourde, elle est exclue !".

Tout cela se fait automatiquement, sans que vous ayez à faire de copier-coller manuel.

3. Les Trois Scénarios Testés (Les Exemples)

Pour prouver que leur nouvel outil fonctionne, les auteurs l'ont utilisé sur trois types de "maisons" très différentes :

• La Maison à Double Étage (2HDM) : Imaginez une maison avec deux étages de particules au lieu d'un seul. L'outil a vérifié si cette configuration complexe correspondait encore aux règles du LHC. Résultat : ça marche, mais il faut être très précis dans les dimensions (les paramètres).
• La Maison avec des Champs Magnétiques Secrets (NMSSM avec violation de CP) : Ici, la physique est un peu "tordue" (violation de CP). C'est comme si la maison avait une symétrie brisée, où le miroir ne reflète pas exactement la réalité. L'outil a réussi à détecter si cette "torsion" était visible ou non dans les données actuelles.
• La Maison avec une Porte Invisible (MRSSM) : C'est le cas le plus fascinant. Imaginez que votre maison a une porte secrète qui mène vers un vide inconnu (la matière noire). Si le boson de Higgs (le gardien) tombe par cette porte, il disparaît sans laisser de trace.
  • L'outil a calculé : "Attention ! Si trop de gardiens tombent par cette porte invisible, les autres portes (les désintégrations normales) deviennent trop rares par rapport à ce que l'on observe."
  • Il a ainsi pu dire : "Si votre porte secrète est trop grande, votre maison est exclue !".

4. Pourquoi c'est important ?

Avant, vérifier si une théorie complexe tenait la route prenait des jours de travail manuel. Maintenant, avec cet outil :

• C'est rapide : On passe du "Lagrangien" (l'équation de départ) à la validation expérimentale en quelques clics.
• C'est précis : L'outil gère même les cas difficiles, comme les particules qui disparaissent dans le noir (désintégrations invisibles) ou les mélanges étranges de particules.
• C'est universel : Que votre modèle soit une version supersymétrique (SUSY) ou non, l'outil s'adapte.

En résumé

Cet article présente un pont automatique qui permet aux physiciens de tester instantanément leurs théories les plus folles contre la réalité dure des données du CERN. C'est comme avoir un simulateur de vol intégré qui vous dit immédiatement si votre avion (votre modèle de physique) peut voler ou s'il va s'écraser contre les montagnes des données expérimentales.

C'est une avancée majeure pour traquer la nouvelle physique, car cela permet de tester des milliers de scénarios en un temps record, éliminant ceux qui ne fonctionnent pas et gardant ceux qui pourraient nous révéler les secrets de l'univers.

Résumé technique

Voici un résumé technique détaillé de l'article en français, structuré selon les sections demandées.

Titre de l'article

De la Lagrangienne aux contraintes de physique du Higgs pour les modèles SUSY et non-SUSY : Interface entre FlexibleSUSY, HiggsTools et Lilith

1. Problématique

L'objectif principal des futurs collisionneurs (HL-LHC, FCC, ILC, etc.) est la mesure de précision des propriétés du boson de Higgs et la recherche de nouveaux scalaires au-delà du Modèle Standard (BSM). Cependant, les données actuelles imposent déjà des contraintes sévères sur toute théorie BSM.

Le défi majeur réside dans la capacité à prédire de manière fiable et automatisée les propriétés des bosons de Higgs dans des modèles BSM complexes (supersymétriques ou non, avec ou sans violation de CP) et à les comparer directement aux données expérimentales. Jusqu'à présent, l'outil FlexibleSUSY permettait de calculer les spectres de masse et les largeurs de désintégration (via le module FlexibleDecay), mais il manquait d'une interface directe pour évaluer statistiquement la compatibilité d'un point de paramètre avec les données du Higgs (exclusions, valeurs de $\chi^2$, p-values). L'évaluation manuelle de ces contraintes était fastidieuse et sujette à erreurs, surtout pour les modèles complexes incluant des désintégrations invisibles ou des états CP-mixtes.

2. Méthodologie

Les auteurs ont développé une interface logicielle complète intégrant FlexibleSUSY (version 2.9.0 et ultérieure) avec deux programmes d'analyse de données Higgs : HiggsTools (incluant HiggsSignals et HiggsBounds) et Lilith.

La méthodologie repose sur les étapes suivantes :

• Construction des couplages effectifs normalisés : FlexibleSUSY calcule les largeurs de désintégration partielles des bosons de Higgs BSM (incluant les corrections d'ordre supérieur). À partir de ces largeurs, il déduit les couplages effectifs ($\kappa$) normalisés par rapport aux valeurs du Modèle Standard (SM) pour un Higgs de même masse.
  • Pour les couplages CP-pairs ($c$) et CP-impairs ($\tilde{c}$), une distinction est faite.
  • Un "Modèle SM de référence" est construit dynamiquement avec les mêmes paramètres de masse que le modèle BSM pour servir de base de normalisation.
• Traitement des largeurs invisibles et non détectées :
  • Invisibles : Identifiés automatiquement comme les désintégrations vers des particules stables, neutres et chargées (ex: matière noire, neutralinos).
  • Non détectées : Calculées comme la différence entre la largeur totale et la somme des largeurs SM et invisibles.
  • Ces largeurs sont fournies à HiggsTools (en tant que largeurs partielles) et Lilith (en tant que rapports d'embranchement) pour rescaler les rapports d'embranchement SM attendus.
• Interface d'automatisation :
  • L'interface fonctionne via une ligne de commande (SLHA) ou une interface Wolfram Language (Mathematica).
  • FlexibleSUSY génère les blocs de sortie nécessaires (NORMALIZEDEFFHIGGSCOUPLINGS, IMNORMALIZEDEFFHIGGSCOUPLINGS, HIGGSSIGNALS, LILITH) contenant les $\kappa$, les largeurs invisibles/indétectées, et les résultats statistiques ($\chi^2$, p-value).
• Calcul statistique : La compatibilité est évaluée via $\Delta\chi^2 = \max(\chi^2_{BSM} - \chi^2_{SM}, 0)$, permettant de déterminer la valeur-p et les limites d'exclusion à 95% de niveau de confiance (CL).

3. Contributions Clés

• Automatisation complète : Création d'une chaîne de traitement entièrement automatisée, allant de la définition d'un modèle BSM (via son Lagrangien et son contenu en champs) jusqu'à la validation statistique globale de son secteur de Higgs face aux données expérimentales.
• Support universel : La méthode s'applique aussi bien aux modèles supersymétriques (SUSY) que non-supersymétriques, et gère correctement les scénarios avec violation de CP (où les couplages CP-impairs sont non nuls).
• Gestion des désintégrations complexes : Intégration native du traitement des désintégrations invisibles (vers la matière noire) et des canaux non détectés, essentiels pour les modèles comme le MRSSM ou les modèles de matière noire.
• Compatibilité multi-outils : Support simultané de HiggsTools (qui gère les limites de production et les signaux, y compris pour les Higgs chargés) et de Lilith (spécialisé dans les mesures de précision des couplages).

4. Résultats et Applications

Les auteurs démontrent l'efficacité de l'outil sur trois exemples phénoménologiques pertinents :

1. Modèle 2HDM de Type-II (réel) :

   • Une analyse de balayage des paramètres $m_{12}$ et $\tan\beta$ montre que l'outil identifie correctement les régions exclues par les recherches de résonances lourdes (H, A) et les contraintes sur le Higgs léger (h).
   • Une différence notable est observée entre HiggsTools et Lilith : Lilith impose une "coupure dure" sur la masse du Higgs ($123-128$ GeV), tandis que HiggsTools utilise une incertitude de 3%, permettant de conserver certains points de paramètres que Lilith exclurait.

2. NMSSM avec violation de CP :

   • L'étude d'un scénario NMSSM (Next-to-Minimal Supersymmetric Standard Model) avec des phases CP-violantes ($\eta, \eta_S$) montre que l'outil peut contraindre ces phases via les observables sensibles à la structure CP (ex: désintégration $h \to \tau\tau$).
   • L'analyse démontre que sans observables sensibles à la CP, il est impossible de distinguer une violation de CP d'une simple modification des couplages CP-pairs, car les largeurs de désintégration peuvent être identiques.

3. MRSSM (Minimal R-symmetric Supersymmetric Standard Model) :

   • Application à un modèle BSM non standard (sans termes A ni masses de Majorana) contenant un neutralino de Dirac stable.
   • L'outil calcule automatiquement la désintégration invisible $H \to \tilde{\chi}_1^0 \tilde{\chi}_1^0$.
   • Les résultats montrent que l'inclusion de la largeur invisible réduit drastiquement les rapports d'embranchement visibles, rendant des points de paramètres autrement acceptables incompatibles avec les données (p-value $\approx 0$).
   • L'analyse des limites d'exclusion (via HiggsBounds) révèle que les contraintes actuelles sur les désintégrations invisibles sont faibles (limite $\sim 10-16\%$), mais que l'outil permet de projeter les contraintes futures des collisionneurs $e^+e^-$.

5. Signification et Perspectives

Cette extension représente une avancée majeure pour la phénoménologie du Higgs. Elle permet aux chercheurs de :

• Définir n'importe quel modèle BSM (SUSY ou non) et obtenir immédiatement une validation statistique rigoureuse.
• Explorer systématiquement des espaces de paramètres complexes incluant la violation de CP et la matière noire sans intervention manuelle fastidieuse.
• Préparer les analyses pour les futurs collisionneurs en intégrant des contraintes de précision croissantes.

Limitations actuelles et travaux futurs :

• L'interface actuelle ne normalise les couplages que pour des masses de particules $\lesssim 650$ GeV (au-delà, le couplage quartique du SM devient non-perturbatif).
• FlexibleSUSY ne calcule pas encore les sections efficaces de production, limitant l'entrée dans HiggsTools/Lilith aux couplages effectifs et non aux taux de production directs.
• Des améliorations sont en cours pour inclure des corrections BSM d'ordre 1-loop et 2-loop sur les masses et les désintégrations, ainsi que pour gérer les états de Higgs chargés dans l'interface HiggsTools.

En résumé, cet outil transforme l'analyse des contraintes du secteur de Higgs en un processus fluide et automatisé, essentiel pour tester la viabilité des théories au-delà du Modèle Standard face aux données actuelles et futures.