Prospects for Measuring $CP$-Violation in $B_s^0 \rightarrow ϕμ^+μ^-$ via Time-Dependent Angular Analysis

Dit artikel onderzoekt de vooruitzichten voor het meten van $CP$-schending in $B_s^0 \rightarrow \phi\mu^+\mu^-$ vervallen bij de LHC door nieuwe tijdsafhankelijke hoekobservabelen te introduceren, waarbij wordt aangetoond dat toekomstige Run 3–5 datasets hun extractie met hoge precisie zullen mogelijk maken en de gevoeligheid voor $CP$-schendende kort-afstandseffecten en Wilson-coëfficiënten aanzienlijk zullen vergroten.

De kern

Stel je het universum voor als een gigantische, hogesnelheidsracebaan waar piekleine deeltjes genaamd B-mesonen de raceauto's zijn. Specifiek richt dit artikel zich op een zeldzaam type auto, de $B_s^0$, die bestaat uit een zware "bottom"-quark en een "strange" quark.

De wetenschappers van MIT stellen een grote vraag: Kunnen we deze auto's betrappen op het moment dat ze de regels van het Standaardmodel breken (het regelboek van de natuurkunde)?

Hier is een uitsplitsing van hun werk met behulp van eenvoudige analogieën:

1. Het Mysterie van de "Geest"-schakelaar

In het Standaardmodel zijn bepaalde dingen verboden. Het is een regel die zegt: "Je kunt een bottom-quark niet in een strange-quark veranderen, tenzij je een zeer lange, ingewikkelde omweg neemt." Omdat dit proces zo zeldzaam en moeilijk is, is het de perfecte plek om te zoeken naar "Nieuwe Fysica"—geheime regels of onzichtbare krachten waarvan het huidige regelboek niets weet.

De specifieke race die ze in de gaten houden, is het $B_s^0 \to \phi \mu^+ \mu^-$ verval.

• De Auto: Het $B_s^0$-meson.
• De Crash: Het vervalt (crasht) in een $\phi$-deeltje (dat snel in twee kaonen verandert) en twee muonen (zware elektronen).
• De Twist: De $B_s^0$ is een "geest"-auto. Het heeft het magische vermogen om van identiteit te wisselen. Het kan veranderen in zijn anti-auto ($\bar{B}_s^0$) en weer terug terwijl het over de baan raast. Dit wordt mixing genoemd.

2. De Tijd-afhankelijke Camera

Meestal maken natuurkundigen een snapshot van de crash en meten ze de hoeken van het puin. Maar omdat deze auto's zo snel van identiteit wisselen, is een enkele snapshot niet genoeg. Je hebt een slow-motion video nodig.

De auteurs stellen een nieuwe manier voor om de crash te analyseren door naar de tijd te kijken.

• De Analogie: Stel je voor dat je naar een tol kijkt die draait. Als je er slechts één keer naar kijkt, zie je een waas. Als je hem over de tijd laat draaien, kun je precies zien hoe hij wiebelt.
• De Innovatie: Ze hebben een nieuw wiskundig "script" (een Waarschijnlijkheidsdichtheidsfunctie) geschreven dat beschrijft hoe de hoeken van het puin precies veranderen terwijl de $B_s^0$ tussen zijn twee identiteiten oscilleert over de tijd. Hierdoor kunnen ze patronen zien die voorheen onzichtbaar waren.

3. Het "Tagging"-probleem

Om de wiebel te begrijpen, moet je weten in welke richting de auto begon te draaien.

• Untagged (Blind): Soms weet je niet of de auto begon als een $B_s^0$ of een anti-$B_s^0$. Je ziet alleen de crash.
• Tagged (Gelabeld): Soms kun je naar het andere puin van de botsing kijken om te achterhalen wat de auto aan het begin was. Dit wordt flavour tagging genoemd.

Het artikel laat zien dat zelfs als je niet elke auto kunt "taggen" (wat lastig is), je nog steeds nuttige gegevens kunt verkrijgen. Echter, als je ze wel kunt taggen, ontsluit je een hele nieuwe set geheimen.

4. De Nieuwe "Geoptimaliseerde" Linialen

De wetenschappers realiseerden zich dat de standaard manier om deze hoeken te meten lijkt op het proberen te meten van de lengte van een schaduw terwijl de zon beweegt; de schaduw wordt vervormd door "hadronische vormfactoren" (rommelige achtergrondruis van de sterke kernkracht).

Om dit op te lossen, hebben ze nieuwe, geoptimaliseerde linialen (observabelen) uitgevonden.

• De Metafoor: In plaats van de ruwe schaduw te meten, hebben ze een speciale lens gemaakt die de beweging van de zon wegfiltert.
• Het Resultaat: Deze nieuwe linialen (genaamd $M_i$ en $Q_i$) zijn veel schoner. Ze worden minder beïnvloed door de rommelige achtergrondruis, waardoor het makkelijker is om te zien of een "Nieuwe Fysica"-kracht de auto van zijn koers af duwt.

5. De Toekomstige Race (LHC Runs 3, 4 en 5)

De auteurs hebben duizenden computersimulaties (pseudo-experimenten) gedraaid om te voorspellen wat er zal gebeuren wanneer de Large Hadron Collider (LHC) in de toekomst meer gegevens verzamelt (Runs 3, 4 en 5).

• De Voorspelling: Tegen het einde van het huidige tijdperk van de LHC (Run 5) verwachten ze genoeg gegevens te hebben om deze nieuwe hoeken met ongelooflijke precisie te meten.
• De Beloning:
  • Ze kunnen de "mixing"-effecten (de $H_i$ en $Z_i$ observabelen) voor het eerst meten.
  • Ze kunnen de "tagged" observabelen (zoals de beroemde $P'_5$ equivalent) meten met een precisie die even groot is als de huidige metingen van andere deeltjes.
  • Het belangrijkste is dat deze nieuwe metingen de beperkingen op de "Wilson-coëfficiënten" zullen aanscherpen. Denk aan deze coëfficiënten als de knoppen op de motor van het universum. Als de knoppen op de waarden van het Standaardmodel staan, loopt de auto soepel. Als de knoppen iets afwijken, betekent dit dat er Nieuwe Fysica aan het werk is.

De Kernboodschap

Dit artikel is een blauwdruk voor een toekomstig experiment. Het zegt:

"Als we een slow-motion camera gebruiken om deze zeldzame deeltjesbotsingen te bekijken, en we gebruiken onze nieuwe, ruis-onderdrukkende linialen, dan zullen we kleine scheurtjes in het Standaardmodel kunnen detecteren die we voorheen niet konden zien. Tegen de tijd dat de LHC zijn huidige run voltooit, zullen we genoeg gegevens hebben om ofwel het huidige regelboek te bevestigen, ofwel het eerste duidelijke bewijs van een nieuwe, verborgen natuurwet te vinden."

Ze ontdekten dat zelfs zonder perfecte "tagging" (weten van de identiteit van de auto bij de start), de tijd-afhankelijke analyse krachtig genoeg is om deze geheimen te onthullen, maar het hebben van de tags maakt het beeld kristalhelder.

Technische samenvatting

Technische Samenvatting: Vooruitzichten voor het meten van CP-schending in $B^0_s \to \phi\mu^+\mu^-$ via een tijdreeks-gebaseerde hoekanalyse

Probleem en Motivatie
Transities van $b$-quarks naar $s$-quarks ($b \to s\ell\ell$) zijn verboden bij tree-level in het Standaardmodel (SM) en verlopen alleen via diagrammen van hogere orde, wat ze gevoelige sondes maakt voor Nieuwe Fysica (NP). Hoewel recente spanningen in vertakkingsfracties, hoekverdelingen en lepton-universaliteitstests zijn waargenomen in $B^0 \to K^{*0}\mu^+\mu^-$ vervallen, biedt de $B^0_s \to \phi\mu^+\mu^-$ vervalkanaal een complementair kanaal. Het $B^0_s$-systeem is theoretisch voordelig omdat de narrow-width benadering voor het $\phi$-meson in grotere mate standhoudt dan voor de $K^{*0}$, wat potentieel nauwkeurigere SM-berekeningen mogelijk maakt. Echter, het $B^0_s \to \phi\mu^+\mu^-$ verval omvat een CP-geconjugeerde eindtoestand en neutrale meson-menging, wat tijdreeks-gebaseerde CP-schendingseffecten introduceert die de analyse compliceren. Bovendien zijn veel hoekobservabelen (zoals het analoog van $P'_5$) alleen toegankelijk als de initiële smaak van het $B^0_s$-meson wordt bepaald (flavour-tagging). Dit werk onderzoekt de haalbaarheid van het uitvoeren van een volledige tijdreeks-gebaseerde hoekanalyse voor dit verval bij hadronen-colliders, waarbij het probleem wordt aangepakt om een volledige set hoekobservabelen te extraheren, inclus overlapping van diegenen die flavour-tagging vereisen, en door het introduceren van nieuwe observabelen met verminderde hadronische onzekerheden.

Methodologie
De auteurs ontwikkelen een uitgebreid kader voor de tijdreeks-gebaseerde differentiële vervalsnelheid van $B^0_s \to \phi\mu^+\mu^-$, waarbij $B^0_s$-$\bar{B}^0_s$ menging wordt geïncorporeerd.

1. Theoretisch Formalisme: De vervalsnelheid wordt geparametriseerd met behulp van vier kinematische variabelen: het kwadraat van de dimuon-invariantie massa ($q^2$) en drie heliciteitshoeken ($\vartheta_K, \vartheta_\ell, \phi$). De auteurs leiden de volledige waarschijnlijkheidsdichtheidsfunctie (PDF) af voor zowel getagde als untagged scenario's, waarbij de snelheid wordt uitgedrukt in termen van hoekcoëfficiënten ($J_i, h_i, s_i$) en hun CP-conjuncten. Deze worden genormaliseerd om tijdreeks-gebaseerde observabelen te definiëren: $S^t_i$ (CP-symmetrisch), $A^t_i$ (CP-asymmetrisch), $H_i$ (menging-geïnduceerd CP-symmetrisch), en $Z_i$ (menging-geïnduceerd CP-asymmetrisch).
2. Geoptimaliseerde Observabelen: Om onzekerheden van hadronische vormfactoren te mitigeren, construeren de auteurs een set "geoptimaliseerde" observabelen ($M_i, Q_i, P^t_i, AP^t_i$). Dit zijn ratio's van hoekcoëfficiënten die zodanig zijn ontworpen dat vormfactor-afhankelijkheden bij de leidende orde wegvallen, vergelijkbaar met de $P'_i$ observabelen in $B^0 \to K^{*0}\mu^+\mu^-$. Dit omvat ook nieuwe observabelen specifiek voor de tijdreeks-gebaseerde mengingstermen ($H_i, Z_i$).
3. Pseudoexperiment Simulatie: Gevoeligheden worden geschat met behulp van grote ensembles van pseudoexperimenten gegenereerd met jax. De simulatie incorporeert:
   • Signaal en Achtergrond: Signaalopbrengsten worden geëxtrapoleerd van LHCb Run 2-data naar Run 3, Run 4 en Run 5 geïntegreerde luminositeiten (tot 300 fb$^{-1}$). Achtergronden worden gemodelleerd als combinatorisch (vlak in hoeken, exponentieel in massa) met een niveau van 10%.
   • Detector Effecten: De simulatie bevat een tijdreeks-gebaseerde acceptantiefunctie, een vervaltijd-resolutiemodel (Gaussische uitsmering met breedte afhankelijk van de vervaltijd), en flavour-tagging algoritmen (Same-Side en Opposite-Side) met realistische efficiënties en mistag-kansen.
   • Fitting: Een unbinned maximum-likelihood fit wordt uitgevoerd op de pseudodata om de hoekobservabelen te extraheren en vervolgens de Wilson-coëfficiënten ($C_9, C_{10}$) te beperken binnen een Effective Field Theory (EFT) kader.

Belangrijkste Bijdragen

• Eerste Volledige Tijdreeks-gebaseerde Analyse: Dit werk presenteert de eerste volledige parametrisatie en analyse van de tijdreeks-gebaseerde hoekstructuur van $B^0_s \to \phi\mu^+\mu^-$, waarbij expliciet de door menging beïnvloede PDF wordt afgeleid voor zowel getagde als untagged gevallen.
• Nieuwe Geoptimaliseerde Observabelen: De auteurs introduceren een suite van geoptimaliseerde observabelen ($M_i, Q_i$) voor de tijdreeks-gebaseerde coëfficiënten $h_i$ en $s_i$, evenals aangepaste versies van de $P'_i$ observabelen ($P^t_i$) voor het $B^0_s$-systeem. Deze zijn ontworpen om de afhankelijkheid van hadronische vormfactoren te verminderen.
• Demonstratie van Haalbaarheid: In tegenstelling tot eerdere literatuur die het tegendeel suggereert, demonstreren de auteurs dat een getagde, tijdreeks-gebaseerde hoekanalyse haalbaar is bij hadronen-colliders met realistische achtergrondniveaus en resolutie.
• Globale Fits: Het artikel voert globale fits uit om Wilson-coëfficiënten te extraheren, waarbij de beperkende kracht van verschillende analyse-opstellingen (getagd vs. untagged, tijdreeks-gebaseerd vs. tijdreeks-geïntegreerd) wordt vergeleken.

Resultaten

• Gevoeligheid voor Observabelen: Gebruikmakend van pseudoexperimenten geschaald naar LHCb Run 3, Run 4 en Run 5 statistieken, vinden de auteurs dat alle hoekobservabelen kunnen worden geëxtraheerd met Run 3 statistieken.
  • Untagged vs. Tagged: Observabelen die toegankelijk zijn via de untagged som ($S^t_i, H_i$) kunnen met hoge precisie worden gemeten. Observabelen die flavour-tagging vereisen ($A^t_i, Z_i, P^t_i$) zijn ook toegankelijk; bijvoorbeeld, $P^{t'}_5$ (het $B^0_s$ analoog van $P'_5$) wordt geprojecteerd om tegen het einde van Run 5 een precisie te bereiken die vergelijkbaar is met huidige $B^0 \to K^{*0}\mu^+\mu^-$ metingen.
  • Mengingstermen: De $H_i$ en $Z_i$ observabelen vertonen vergelijkbare gevoeligheden, ondanks dat $H_i$ wordt onderdrukt door mengingstermen ($\sinh(y\Gamma t)$).
  • Geoptimaliseerde Observabelen: De nieuwe geoptimaliseerde observabelen ($M_i, Q_i$) tonen een duidelijke toename in gevoeligheid voor CP-violerende kort-afstandseffecten vergeleken met hun niet-geoptimaliseerde tegenhangers. Specifiek vertonen $Q'_4$ en $M'_8$ significante winsten in gevoeligheid voor de imaginaire en reële delen van $C_9, respectievelijk.
• Beperking van Wilson-coëfficiënten: Globale fits aan de Wilson-coëfficiënten ($C_9, C_{10}$) laten een significante toename in precisie zien wanneer tijdreeks-gebaseerde observabelen of flavour-tagging worden opgenomen.
  • De inclusie van de volledige set observabelen (inclusief diegenen die tagging vereisen) verdubbelt bijna de beperking op het imaginaire deel van de Wilson-coëfficiënten vergeleken met enkel untagged fits.
  • De inclusie van $H_i$ observabelen biedt verbeterde per-$q^2$ gevoeligheid, wat een nauwkeuriger onderzoek naar de variatie van Wilson-coëfficiënten over verschillende $q^2$-regio's mogelijk maakt.

Betekenis en Claims
Het artikel claimt dat een toegewijd zwaar-flavour experiment (gebruikmakend van de LHCb Upgrade I prestaties als benchmark) een volledige tijdreeks-gebaseerde hoekanalyse van $B^0_s \to \phi\mu^+\mu^-$ kan uitvoeren met $\mathcal{O}(10^3)$ signaalgebeurtenissen. De auteurs stellen dat deze analyse zal:

1. De eerste metingen leveren van de volledige set hoekobservabelen voor dit verval.
2. De beperkingen op kort-afstand Nieuwe Fysica parameters (Wilson-coëfficiënten) aanzienlijk verbeteren, met name de imaginaire delen die momenteel minder beperkt zijn.
3. Een cruciale cross-check bieden voor $B^0 \to K^{*0}\mu^+\mu^-$ anomalieën, wat potentieel de oorsprong van afwijkingen in $C_9$ kan verhelderen door hun $q^2$-afhankelijkheid te bestuderen met verminderde hadronische onzekerheden.
4. Demonstreren dat zelfs untagged tijdreeks-gebaseerde metingen substantiële verbeteringen opleveren ten opzichte van bestaande tijdreeks-geïntegreerde analyses, hoewel getagde analyses de maximale gevoeligheid bieden.

Het werk concludeert dat de vooruitzichten voor het meten van CP-schending en het beperken van Nieuwe Fysica in het $B^0_s \to \phi\mu^+\mu^-$ kanaal zeer veelbelovend zijn voor de komende LHC-runs.