Reassessing CP Violation in the C2HDM with Machine Learning

Technische Samenvatting: Herbeoordeling van CP-violatie in de C2HDM met behulp van Machine Learning

Probleemstelling
Het Complex Two-Higgs Doublet Model (C2HDM) breidt het Standaardmodel (SM) uit door een scalair sector te introduceren met spontane CP-violatie. Een primair fenomenologisch doel is om te bepalen of de geobserveerde 125 GeV Higgs-boson ($h_{125}$) grote CP-danige koppelingsconstanten aan fermionen ($c_o^f$) kan bezitten terwijl deze consistent blijft met experimentele beperkingen. De meest strikte beperking komt voort uit het elektron-elektrische dipoolmoment (eEDM), waarbij de huidige experimentele limieten ($d_e < 4,1 \times 10^{-30}$ e.cm) doorgaans dwingen tot verwaarloosbare CP-danige koppelingsconstanten.

Eerdere analyses (bijv. Ref. [29]) vertrouwden op handmatig scannen nabij de CP-conserverende limiet, waarbij vaak werd geconcludeerd dat grote CP-danige koppelingsconstanten uitgesloten waren voor de meeste C2HDM-configuraties. Deze studies stuitten echter op twee kritieke uitdagingen:

1. Theoretische Volledigheid: De eEDM-berekening vereist een volledige set van twee-lus diagrammen om de rooster-onafhankelijkheid te waarborgen. Recent werk heeft geïdentificeerd dat "kite-diagrammen" essentieel zijn voor dit doel, en het weglaten of onvolledig opnemen hiervan zou kunnen leiden tot een foutieve uitsluiting van de geldige parameterruimte.
2. Sampling Bias (Steekproefvertekendheid): Traditionele scanmethoden missen vaak geldige regio's in de parameterruimte, met name regio's die een precieze afstemming vereisen tussen grote, tegengestelde bijdragen (vaak op het niveau van de per-mil) om de eEDM-limiet te voldoen.

Methodologie
De auteurs voeren een uitgebreide herbeoordeling uit van de C2HDM-parameterruimte met een combinatie van geavanceerde theoretische berekeningen en Machine Learning (ML) technieken.

• Theoretisch Kader: De studie maakt gebruik van de C2HDM met een zacht gebroken $Z_2$-symmetrie, waarbij Type-I, Type-II, Lepton-Specific (LS) en Flipped modellen worden behandeld. Het scalaire potentiaal wordt gedefinieerd door parameters waaronder $\tan\beta$, scalaire massa's ($m_1, m_2, m_3$), mengingshoeken ($\alpha_1, \alpha_2, \alpha_3$) en de zacht-brekende term $\text{Re}(m_{12}^2)$.
• eEDM Berekening: De auteurs berekenen de eEDM inclusief:
  • Standaard twee-lus Barr-Zee diagrammen (met derde-generatie fermion-lussen).
  • Kite-diagrammen: Geïdentificeerd in Ref. [36] als cruciaal voor rooster-onafhankelijkheid.
  • Charm-quark Barr-Zee diagrammen: Voor het eerst geëvalueerd in deze context om hun impact te beoordelen gezien de huidige precisie.
  • De berekening wordt uitgevoerd in het Feynman-rooster, waarbij twee renormalisatieschema's voor fermion-massa's worden vergeleken: $M_Z$-lopende massa's en poolmassa's.
• Beperkingen (Constraints): De parameterruimte wordt beperkt door:
  • Theoretische grenzen (vacuümstabiliteit, perturbatieve unitariteit, globaal minimum).
  • Elektrozwakke precisie-observabelen (S, T, U-parameters).
  • Higgs signaalsterktes en koppelingsmodificatoren (LHC-data).
  • Directe zoektochten naar aanvullende scalairen (via HiggsBounds).
  • Flavor-beperkingen ($b \to s\gamma$).
  • CP-violerende hoekcorrelaties in $\tau$-vervallen ($\theta_\tau$).
• Sampling Technieken:
  • Strategie 1: Een geleide scan nabij de fenomenologische grens, waarbij de pseudoscalaire component iteratief wordt verhoogd (vergelijkbaar met eerdere handmatige methoden).
  • Strategie 2: Een ML-gebaseerde aanpak met een Covariant Matrix Adaptation Evolutionary Strategy (CMA-ES) gecombineerd met een Novelty Reward mechanisme (gebaseerd op een Histogram-Based Outlier Score). Deze "black-box" optimalisatie verkent de parameterruimte zonder vooraf bestaande trainingsdata, specifiek gericht op regio's met grote CP-danige koppelingsconstanten die standaard scans zouden missen.

Kernbijdragen en Resultaten

1. Validatie van Kite-diagrammen: De studie bevestigt dat de inclusie van kite-diagrammen niet louter een technisch detail is, maar essentieel voor de fysieke levensvatbaarheid van het model. Hun inclusie induceert $\mathcal{O}(1)$ correcties op de eEDM-voorspelling, wat de noodzakelijke annuleringen tussen verschillende diagrammatische bijdragen mogelijk maakt. Zonder hen zou de rooster-afhankelijkheid van het resultaat de analyse ongeldig maken.
2. Noodzaak van Charm-diagrammen: De auteurs demonstreren dat bij de huidige experimentele precisie, Barr-Zee diagrammen met virtuele charm-quarks numeriek significant zijn. Het weglaten hiervan leidt tot de uitsluiting van geldige punten; de inclusie ervan verandert de toegestane parameterset, maar sluit grote CP-danige koppelingsconstanten niet uit.
3. Herstel van Grote CP-danige Koppelingsconstanten:
   • Type-II met $h_2 = h_{125}$: Gebruikmakend van ML (Strategie 2), vinden de auteurs een levensvatbare regio met een grote $|c_o^b|$ (bottom quark CP-danige koppelingsconstante) nabij de "wrong-sign" oplossing ($c_e^b \approx -1, c_o^b \neq 0$). Deze regio werd volledig gemist door Strategie 1 en eerdere handmatige scans. De beperkingen op $c_o^b$ in dit scenario worden primair gedreven door $\theta_\tau$ limieten van LHC tau-vervalmetingen, niet door de eEDM.
   • Flipped Model met $h_2 = h_{125}$: De ML-zoektocht onthult dat deze configuratie maximale CP-danige koppelingsconstanten aan het bottom quark toestaat ($c_o^b \approx 1, c_e^b \approx 0$). In dit geval kan $h_{125}$ koppelen als een zuivere scalaire aan de top-quark en als een zuivere pseudoscalaire aan de bottom-quark, een scenario dat voorheen als onmogelijk werd beschouwd.
4. Robuustheid tegen Toekomstige Precisie: De annuleringen die nodig zijn om de eEDM-limiet te voldoen, blijken robuust te zijn. Zelfs als de eEDM-gevoeligheid met drie ordes van grootte verbetert (tot $10^{-33}$ e.cm), kunnen geldige parametermethoden met grote $|c_o^b|$ nog steeds worden gevonden door middel van fine-tuning.
5. Renormalisatieschema Onafhankelijkheid: Hoewel de specifieke punten in de parameterruimte verschillen tussen de $M_Z$-massa en de poolmassa schema's, blijft de kwalitatieve conclusie — dat grote CP-danige koppelingsconstanten levensvatbaar zijn in Type-II en Flipped modellen met $h_2 = h_{125}$ — consistent wanneer kite-diagrammen worden opgenomen.
6. Uitsluiting van Andere Scenario's: De studie bevestigt dat grote $|c_o^b|$ is uitgesloten voor Type-I modellen (door top-quark beperkingen), voor $h_3 = h_{125}$ in Type-II/Flipped, en voor $h_1 = h_{125}$ in Type-II/Flipped (door directe resonantie-zoektochten).

Betekenis en Claims
Het artikel claimt dat de combinatie van volledige twee-lus eEDM-berekeningen (inclusief kite en charm diagrammen) en ML-gestuurde parameterruimte exploratie het fenomenologische landschap van de C2HDM fundamenteel verandert.

• Methodologische Betekenis: Het werk benadrukt de beperkingen van traditionele scanmethoden in hoog-dimensionale, beperkte BSM-parameterruimtes, en demonstreert hoe ML-technieken geldige regio's (zoals de "wrong-sign" oplossing) kunnen ontdekken die systematisch worden gemist door standaard benaderingen.
• Fenomenologische Betekenis: De auteurs stellen dat grote CP-danige koppelingsconstanten voor de 125 GeV Higgs niet zijn uitgesloten. Specifiek in de Type-II en Flipped modellen waar $h_{125}$ de tweede lichtste scalaire is ($h_2$), kan de CP-danige koppeling aan bottom quarks substantieel zijn.
• Experimentele Implicaties: Aangezien de eEDM-beperkingen kunnen worden voldaan via annuleringen zelfs voor toekomstige precisie, komen de primaire beperkingen op deze grote CP-danige koppelingsconstanten nu voort uit LHC-precisiemetingen (specifiek $\theta_\tau$). Daarom pleiten de auteurs voor verhoogde experimentele inspanningen om de CP-danige koppelingsconstanten van de Higgs aan quarks direct te onderzoeken bij de LHC, aangezien indirecte EDM-beperkingen alleen onvoldoende zijn om deze scenario's uit te sluiten.

De auteurs blijven bescheiden over de top-quark en merken op dat grote CP-danige koppelingsconstanten aan de top-quark nog steeds uitgesloten zijn in de C2HDM, hoewel zij suggereren dat deze mogelijkheid bestaat in het Complex 3-Higgs Doublet Model (C3HDM).