$B$-meson decay width up to $1/m_b^3$ corrections within and beyond the Standard Model

Dit artikel presenteert een volledige berekening van de vervalbreedtes van $B$-mesonen tot en met correcties van $1/m_b^3$ binnen en buiten het Standaardmodel door analytische uitdrukkingen af te leiden voor alle matching-coëfficiënten van twee-kwark-operatoren en eerder ontbrekende bijdragen van zwakke annihilatie, waardoor het theoretische kader voor niet-leptonische $b$-kwarkvervallen die relevant zijn voor de levensduur van $B$-mesonen wordt voltooid en spanningen in QCD-factorisatie worden aangepakt.

De kern

Stel je voor dat je een zeer zware, onstabiele bal (een B-meson) hebt die in een doos ligt. Uiteindelijk valt deze bal uiteen in kleinere stukjes. Fysici willen precies weten hoe lang het duurt voordat deze bal uiteenvalt (zijn "levensduur").

Al geruime tijd hebben wetenschappers een zeer goede regelboek (het Standaardmodel) om dit te voorspellen. Echter, wanneer ze kijken naar echte experimenten, blijken de voorspellingen soms iets af te wijken, net als een klok die een paar seconden per dag voorloopt of achterloopt. Dit artikel gaat over het scherper maken van dat regelboek om te zien of de klok daadwerkelijk defect is, of dat we gewoon een betere manier nodig hadden om hem af te lezen.

Hier is een uiteenzetting van wat de auteurs hebben gedaan, met behulp van eenvoudige analogieën:

1. De "Zware Kwant-expansie" (Het Receptenboek)

Om te voorspellen hoe lang de bal meegaat, gebruiken de auteurs een methode die Zware Kwant-expansie (HQE) heet.

• De Analogie: Stel je voor dat je probeert het exacte pad te voorspellen van een bowlingbal die over een baan rolt.
  • Het Grote Plaatje (Leidende Orde): Eerst kijk je gewoon naar de bal die recht rolt. Dit is het makkelijkste deel en geeft je een ruwe schatting van de tijd.
  • De Details (Krachtcorrecties): Maar de bal is niet perfect. Hij wiebelt, hij draait, en de baan is niet helemaal glad. Om een precieze voorspelling te krijgen, moet je correcties toevoegen voor deze wiebelingen en draaiingen.
  • De Taak van het Artikel: De auteurs hebben de wiskunde voor deze "wiebelingen" en "draaiingen" berekend tot een zeer hoog niveau van detail (specifiek, tot de derde laag correcties). Voor dit artikel waren sommige van deze gedetailleerde correcties ontbrekend of onvolledig.

2. De "Nieuwe Ingrediënten" (Buiten het Standaardmodel)

Het Standaardmodel is als een standaardrecept voor een taart. Maar soms smaakt de taart net iets anders dan het recept zegt dat het zou moeten doen. Wetenschappers vermoeden dat er misschien "geheime ingrediënten" (Nieuwe Fysica of BSM) in zitten die we nog niet hebben ontdekt.

• De Analogie: Stel je voor dat je een taart bakt, maar je vermoedt dat iemand in het geheim een snufje zout of een druppel vanille heeft toegevoegd dat niet in het officiële recept staat.
• De Taak van het Artikel: In plaats van te raden wat dat geheime ingrediënt is, hebben de auteurs een Meesterrecept opgeschreven. Dit Meesterrecept bevat elk mogelijk ingrediënt (Standaard en niet-Standaard) dat theoretisch zou kunnen worden toegevoegd. Vervolgens hebben ze precies berekend hoe elk van deze ingrediënten de baktijd zou veranderen. Dit stelt toekomstige wetenschappers in staat om naar de echte taart te kijken en te zeggen: "Aha! De tijd wijkt precies zo veel af, wat betekent dat het geheime ingrediënt dit specifieke moet zijn."

3. Het Oplossen van de "Glitches" (Infrarooddivergenties)

Bij het uitvoeren van deze complexe berekeningen loopt de wiskunde soms vast in een "glitch" waarbij getallen onbeperkt oplopen tot oneindig. In de fysica heet dit een infrarooddivergentie.

• De Analogie: Stel je voor dat je het aantal mensen in een kamer telt, maar de deur staat open en mensen lopen zo snel in en uit dat je teller kapot gaat.
• De Taak van het Artikel: De auteurs vonden een specifiek type glitch veroorzaakt door "zachte gluonen" (kleine deeltjes van kracht) die worden uitgestraald door de lichtere stukjes van de gebroken bal. Ze realiseerden zich dat ze, om de teller te repareren, ook rekening moesten houden met een specifieke interactie die Zwakke Annihilatie wordt genoemd (waarbij twee deeltjes binnen de bal elkaar vernietigen).
  • Het Resultaat: Ze hebben dit ontbrekende stuk (de bijdrage van "Zwakke Annihilatie") voor het eerst in deze specifieke context berekend. Door dit ontbrekende stuk toe te voegen, verdwijnt de "glitch" en werkt de wiskunde perfect. Ze hebben hun werk zelfs dubbelgecontroleerd met twee volledig verschillende wiskundige hulpmiddelen (zoals het meten van een kamer met een meetlint en vervolgens met een laser) om ervoor te zorgen dat de getallen overeenkwamen.

4. De "Pinguïn"-Verrassing

In de wereld van de deeltjesfysica zijn er speciale deeltjes die "Pinguïns" worden genoemd (genoemd naar een grapje, niet omdat ze op vogels lijken). Dit zijn zeldzame interacties die meestal heel stil gebeuren.

• De Analogie: Meestal valt de bal uiteen vanwege de hoofdingredienten. Maar soms gebeurt er in de achtergrond een kleine, zeldzame "Pinguïn"-interactie.
• De Taak van het Artikel: De auteurs hebben ook berekend hoe deze "Pinguïn"-interacties de levensduur beïnvloeden, inclusief hoe ze mengen met de hoofdingredienten. Hoewel deze effecten meestal zeer klein zijn, hebben de auteurs de precieze wiskunde ervoor geleverd, zodat zelfs de kleinste fluisteringen van deze interacties worden meegenomen in de uiteindelijke voorspelling.

Samenvatting van de Prestatie

Denk aan de voorspelling voor de levensduur van de B-meson als een hoogprecisie-klok.

• Voor dit artikel: De klok was nauwkeurig tot op de minuut, maar de "seconden" en "milliseconden" waren een beetje wazig omdat sommige interne tandwielen (de wiskunde voor de wiebelingen en het stuk "Zwakke Annihilatie") ontbraken of niet waren berekend.
• Na dit artikel: De auteurs hebben de ontbrekende tandwielen gebouwd en de bestaande gepolijst. Ze hebben een complete, wiskundig strikte set instructies (analytische uitdrukkingen) geleverd voor hoe de klok tikt, of het nu de standaardregels volgt of dat er geheime "Nieuwe Fysica"-ingredienten in zitten.

Wat ze NIET hebben gedaan:
Ze hebben geen nieuwe machine gebouwd, ze hebben het geheime ingrediënt nog niet gevonden, en ze hebben de natuurwetten niet veranderd. Ze hebben simpelweg de perfect gedetailleerde wiskundige kaart geleverd die anderen in staat stelt om echte experimenten met veel hogere precisie te vergelijken met de theorie. Als de echte klok nog steeds niet overeenkomt met deze nieuwe, scherpere kaart, dan weten we zeker dat er een "geheim ingrediënt" (Nieuwe Fysica) in het spel is.

Technische samenvatting

Technische Samenvatting: Vervalbreedte van B-mesonen tot en met correcties van orde $1/m_b^3$ binnen en buiten het Standaardmodel

Probleemstelling
De levensduren van zware hadronen die een $b$-quark bevatten, zijn fundamentele observabelen voor het testen van het Standaardmodel (SM) en het beperken van fysica buiten het Standaardmodel (BSM). Hoewel de experimentele precisie voor levensduren van B-mesonen en verhoudingen van levensduren (bijv. $\tau(B^0_s)/\tau(B^0_d)$) het per-mille-niveau heeft bereikt, vertonen theoretische voorspellingen gebaseerd op de Heavy Quark Expansion (HQE) momenteel onzekerheden die ongeveer 20 keer zo groot zijn. Een specifieke motivatie voor dit werk vloeit voort uit waargenomen spanningen tussen experimentele vertakkingsverhoudingen en theoretische voorspellingen (gebaseerd op QCD-factorisatie) voor verschillende kleurgestarte niet-leptonische vervalprocessen van B-mesonen. Om deze spanningen aan te pakken en potentiële BSM-effecten in boom-niveau $b$-quark vervalprocessen ($b \to q_1 \bar{q}_2 q_3$) te beperken, is een volledige berekening van de HQE-coëfficiënten tot en met dimensie-zes vereist. Voorafgaand aan dit werk waren de matching-coëfficiënten voor twee-quark operatoren bij dimensie-vijf en -zes, met name die geïnduceerd door QCD-penguin-operatoren en gegeneraliseerde BSM-operatoren, onvolledig. Bovendien ontbrak er bij de behandeling van infrarood (IR) divergenties in de coefficient van de Darwin-operator, die mengt met vier-quark operatoren, een volledige aftrekking van bijdragen van zwakke annihilatie (WA).

Methodologie
De auteurs berekenen de totale vervalbreedte van een B-meson met behulp van de optische stelling, uitgedrukt als het imaginaire deel van het voorwaartse matrixelement van het tijd-geordende product van twee effectieve Hamiltonianen. De berekening verloopt binnen het kader van de HQE, waarbij de niet-lokale operator wordt ontwikkeld in inverse machten van de zware $b$-quark massa ($m_b$).

1. Effectieve Hamiltoniaan: Het onderzoek vertrekt vanuit de meest algemene model-onafhankelijke effectieve Hamiltoniaan voor niet-leptonische $b \to q_1 \bar{q}_2 q_3$ vervalprocessen, inclusief alle mogelijke Dirac-structuren (stroom-stroom, scalair, pseudoscalair, tensor, en hun chirale tegenhangers) en zowel SM- als BSM-Wilson-coëfficiënten.
2. Operatorexpansie: De interne quark-propagatoren worden ontwikkeld in het externe achtergrond-gluonveld met behulp van de Fock-Schwinger-gauge. Deze expansie genereert een toren van lokale operatoren. De berekening behoudt termen tot en met drie covariante afgeleiden, wat overeenkomt met bijdragen tot en met dimensie-zes in de HQE.
3. Regularisatieschema's: Om IR-divergenties afkomstig van de emissie van zachte gluonen uit licht-quark propagatoren te behandelen (die specifiek van invloed zijn op de Darwin-operator bij dimensie-zes), hanteren de auteurs twee onafhankelijke schema's:
   • Massa-regularisatie: Werken in $D=4$ dimensies met een eindige licht-quark massa ($m_q$).
   • Dimensionale regularisatie (DR): Werken in $D=4-2\epsilon$ met massaloze licht-quarks.
     De overeenkomst tussen deze twee benaderingen dient als een cruciale kruiscontrole.
4. Annulering van IR-divergenties: De berekening omvat expliciet de matching van vier-quark operatoren bij dimensie-zes. Cruciaal berekenen de auteurs de eerder ontbrekende bijdragen van zwakke annihilatie (WA). Deze bijdragen zijn noodzakelijk om de IR-divergenties die optreden in de coëfficiënten van de Darwin-operator te annuleren, waardoor eindige fysische resultaten worden gewaarborgd als $m_q \to 0$.
5. Berekeningstools: De berekening maakt gebruik van hulpmiddelen zoals qgraf voor diagramgeneratie, tapir voor identificatie van integraalfamilies, LiteRed voor IBP-reducties en FeynCalc voor Dirac-algebra. De resultaten worden uitgedrukt in termen van master-integralen met bekende imaginaire delen.

Belangrijkste bijdragen en resultaten
Het artikel levert analytische uitdrukkingen op Leidend Orde (LO) in QCD voor alle matching-coëfficiënten van twee-quark operatoren in de HQE tot en met massadimensie-zes voor de meest algemene effectieve Hamiltoniaan.

• BSM-volledigheid: De resultaten voltooien de berekening van BSM-effecten in niet-leptonische, boom-niveau $b$-quark vervalprocessen die relevant zijn voor levensduren van B-mesonen. Dit omvat de resultaten op leidende macht bij dimensie-drie en de coëfficiënten van de chromomagnetische operator (dimensie-vijf) en de Darwin-operator (dimensie-zes).
• Zwakke annihilatie: De auteurs leiden nieuwe analytische uitdrukkingen af voor de WA-bijdragen bij dimensie-zes, die eerder ontbraken en essentieel zijn voor de consistente aftrekking van IR-divergenties.
• QCD-penguin-operatoren: Als nevenproduct bepaalt het artikel de SM-matching-coëfficiënten tot en met dimensie-zes die voortvloeien uit QCD-penguin-operatoren. Dit omvat:
  • Interferentietermen tussen stroom-stroom en penguin-operatoren.
  • Bijdragen die kwadratisch zijn in penguin-operatoren.
  • Nieuwe resultaten voor de coëfficiënten van de chromomagnetische en Darwin-operator geïnduceerd door penguins, die in het SM doorgaans worden onderdrukt door $\alpha_s$ en $\alpha_s^2$.
• Specifieke kanalen: Er worden expliciete analytische resultaten verstrekt voor de CKM-dominante overgangen $b \to c\bar{u}d$ en $b \to c\bar{c}s$, evenals voor de CKM-onderdrukte modi $b \to u\bar{c}s$ en $b \to u\bar{u}d$ (vermeld in de appendices).
• Consistentiecontroles: De berekening reproduceert bekende uitdrukkingen van dimensie-drie en biedt een niet-triviale kruiscontrole via de overeenkomst tussen massa-regularisatie en dimensionale regularisatie.

Betekenis en claims
Het artikel stelt dat deze resultaten "de berekening van BSM-effecten in niet-leptonische, boom-niveau, $b$-quark vervalprocessen die relevant zijn voor levensduren van B-mesonen en verhoudingen van levensduren, voltooien". Door de volledige set matching-coëfficiënten tot en met dimensie-zes te verschaffen, maakt het werk het volgende mogelijk:

• Globale fenomenologische analyses: De resultaten staan toe om observabelen van levensduren te combineren met andere precisie-flavordata (mengingsparameters, CP-asymmetrieën) om beperkingen op generieke BSM-Wilson-coëfficiënten te verbeteren.
• Oplossing van spanningen: Het kader biedt een instrument om de oorsprong van spanningen te onderzoeken die worden waargenomen in kleurgestarte niet-leptonische vervalprocessen van B-mesonen, en onderscheid te maken tussen ontbrekende SM-bijdragen (bijv. QED-correcties, herverstrooiing) en potentiële BSM-effecten.
• Modelmapping: De generieke operatorenbasis kan worden gemapt op specifieke BSM-scenario's (bijv. $W'$-modellen, diquarks, 2HDM) om consistentie met collidergrenzen te testen.

De auteurs merken op dat, hoewel hun werk de benodigde perturbatieve coëfficiënten verschaft, verdere theoretische verbeteringen – specifiek NLO-QCD-correcties voor de Darwin- en chromomagnetische bijdragen en verfijnde determinaties van niet-perturbatieve matrixelementen via rooster-QCD – vereist zijn om de gevoeligheid van levensduur-observabelen voor Nieuwe Fysica volledig te verhogen.