The $B^+ \to K^+ \nu \bar \nu$ decay as a search for the QCD axion

Dit artikel introduceert een modelonafhankelijk kader met behulp van openbare Belle II-data om het $B^+ \to K^+ \nu \bar{\nu}$-vervalkanaal te herinterpreteren, waarbij het wordt gevestigd als een dubbele sonde voor nieuwe fysica die de sterkste huidige limiet oplevert op het vertakkingspercentage van $B^+ \to K^+ a$ en axion-kwarkkoppelingen beperkt.

De kern

Stel je voor dat je een detective bent die een mysterie probeert op te lossen op een station voor hogesnelheidstreinen. Het station is het Belle II-experiment, een enorme deeltjesversneller in Japan waar kleine deeltjes genaamd "B-mesonen" worden gecreëerd en vervolgens direct uiteenvallen.

Normaal gesproken laat een B-meson bij het uiteenvallen een duidelijk spoor van bewijs (andere deeltjes) achter dat wetenschappers kunnen volgen. Maar soms lijkt het te verdwijnen in de lucht, waarbij slechts één zichtbaar deeltje (een Kaon) en een "geest" overblijven die energie meeneemt maar geen spoor achterlaat.

Dit artikel gaat over een nieuwe manier om op deze geesten te jagen, specifiek een type geest genaamd de QCD-axion.

Het mysterie: De "ontbrekende" energie

In het standaardverhaal van de fysica (het Standaardmodel), wanneer een B-meson vervalt in een Kaon en twee onzichtbare neutrino's ($B^+ \to K^+ \nu\bar{\nu}$), is het energieverlies gelijkmatig verdeeld. Het is als een mistige dag waarbij je de exacte vorm van de ontbrekende energie niet kunt zien.

Maar als er een QCD-axion bestaat, verandert het verhaal. De axion is een hypothetisch, ultralicht deeltje dat een groot raadsel in de fysica oplost (waarom de sterke kernkracht geen symmetrie genaamd CP schendt). Als een B-meson vervalt in een Kaon en een axion ($B^+ \to K^+ a$), is de axion een enkel, distinct object. Dit betekent dat het energieverlies geen mist is; het is een scherpe, specifieke "bonk" op een precieze waarde.

De uitdaging: De wazige camera

Het probleem is dat het Belle II-experiment twee manieren heeft om deze gebeurtenissen te observeren:

1. De "klassieke" manier (Hadronische tagging): Dit is als het hebben van een camera met hoge resolutie. Het reconstrueert de volledige gebeurtenis perfect, zodat wetenschappers precies kunnen zien waar de energie naartoe ging.
2. De "inclusieve" manier (Inclusieve tagging): Dit is de methode die de meeste data verzamelt (zoals een groothoeklens die meer auto's ziet maar met een iets waziger focus). Bij deze methode kunnen wetenschappers de exacte energie van de onzichtbare deeltjes niet direct zien. In plaats daarvan moeten ze deze raden op basis van de zichtbare Kaon.

Jarenlang hadden wetenschappers, om de "wazige" data van de inclusieve methode te interpreteren, de interne "simulatiesoftware" van het experiment nodig (zoals een geheime kaart) om te begrijpen hoe de wazigheid werkt. Zonder deze geheime kaart konden ze de enorme hoeveelheid data uit de inclusieve methode niet gebruiken om op axions te jagen.

De doorbraak: Wiskunde doen in plaats van raden

De auteurs van dit artikel realiseerden zich dat ze de geheime kaart niet nodig hadden. Ze gebruikten pure geometrie en fysica (kinematica) om hun eigen kaart te tekenen.

De analogie: Stel je voor dat je op een draaiende carrousel (de B-meson) staat en een bal (de Kaon) gooit, terwijl de hele rit langs een spoor beweegt.

• Als je weet hoe snel de rit beweegt en de hoek waaronder je de bal gooit, kun je precies berekenen waar de bal moet landen ten opzichte van het spoor.
• De "wazigheid" in de data komt voort uit het niet weten van de exacte hoek waaronder je de bal gooit.
• De auteurs realiseerden zich dat ze wiskundig elke mogelijke hoek konden berekenen en hoe deze de data zou vervagen. Ze creëerden een formule die de "wazige" meting vertaalt naar een duidelijke voorspelling, zonder dat er privé-computersimulaties nodig zijn.

De resultaten: De geest vangen

Met behulp van deze nieuwe wiskundige "lens" op de publieke data van Belle II, zocht het team naar de scherpe "bonk" van een axion.

1. Ze vonden niets: Er werd geen axion gedetecteerd.
2. Ze stelden een nieuw record: Omdat ze de enorme "inclusieve" dataset konden gebruiken (die 9 keer gevoeliger is dan eerdere methoden), stelden ze de strengste limiet ooit vast voor de waarschijnlijkheid dat dit verval plaatsvindt.
   • Ze verbeterden de vorige beste limiet met een factor negen.
   • Dit betekent dat als axions bestaan, ze nog "geestelijker" (moeilijker te vangen) moeten zijn dan we dachten.

De "dubbele sonde"-superkracht

Het artikel benadrukt een slim neveneffect van hun methode. Normaal gesproken moet je, als je op zoek bent naar een nieuw deeltje (zoals een axion), aannemen dat je precies weet hoe de "standaard" achtergrondruis (neutrino's) zich gedraagt. Als je aanname over de achtergrond verkeerd is, zou je kunnen denken dat je een nieuw deeltje hebt gevonden terwijl dat niet zo is.

De auteurs toonden aan dat hun methode hen toelaat om twee dingen tegelijk, onafhankelijk van elkaar, te testen:

1. Gedraagt de achtergrondruis zich vreemd? (Is er nieuwe fysica in de neutrino-interactie?)
2. Is er een scherpe piek van een nieuw deeltje? (Is er een axion?)

Ze bewezen dat deze twee tests elkaar niet verstoren. Het is als controleren of een kamer leeg is van mensen terwijl je tegelijkertijd controleert of de lichten flikkeren. Je kunt beide tegelijkertijd doen met een groot vertrouwen.

Samenvatting

Kortom, dit artikel leert ons hoe we naar een wazige foto van een deeltjesbotsing kunnen kijken en deze wiskundig kunnen verscherpen zonder de geheime notities van de fotograaf nodig te hebben. Door dit te doen, gebruikten ze de grootste beschikbare dataset om op de QCD-axion te jagen. Ze vonden het niet, maar ze verlegden de grenzen van waar het zou kunnen schuilen, waardoor de zoektocht naar dit ontwijkbare deeltje veel preciezer werd. Ze toonden ook aan dat deze techniek kan worden gebruikt als een "dubbele sonde" om op twee verschillende manieren tegelijkertijd te testen op nieuwe fysica.

Technische samenvatting

Technische Samenvatting: Het verval $B^+ \to K^+ \nu\bar{\nu}$ als zoektocht naar de QCD-axion

Probleemstelling
De QCD-axion en Axion-achtige Deeltjes (ALP's) zijn hypothetische lichte, pseudoscalaire toestanden die worden voorgesteld om het sterke-CP-probleem op te lossen en als kandidaten voor donkere materie te dienen. Hoewel generieke ALP's vaak worden gezocht in deeltjesversnellerexperimenten, vormt de QCD-axion een specifieke uitdaging: haar massa ($m_a$) en vervalconstante ($f_a$) staan omgekeerd evenredig tot elkaar, wat impliceert dat voor de theoretisch gemotiveerde QCD-axion de massa extreem klein is ($m_a \simeq 0$) en de koppelingen zwak. Bijgevolg zou de axion zich manifesteren in vervalprocessen van zware mesonen als ontbrekende energie en impuls.

Het Belle II-experiment heeft het zeldzame verval $B^+ \to K^+ \nu\bar{\nu}$ gemeten met twee verschillende tagging-strategieën: de Hadronische Tagging-analyse (HTA) en de Inclusieve Tagging-analyse (ITA). Hoewel de ITA de dominante statistische gevoeligheid biedt, reconstrueert deze niet direct de ware invariante massa-kwadraat van het di-neutrino ($q^2$). In plaats daarvan maakt het gebruik van een proxy-variabele, $q^2_{\text{rec}}$, afgeleid van de kinematica van de tag-zijde. Een kritieke barrière voor het herinterpreteren van deze publieke data voor axion-zoektochten is het ontbreken van een modelonafhankelijke mapping tussen de ware $q^2$ en de gereconstrueerde $q^2_{\text{rec}}$, die eerder alleen toegankelijk was via interne simulaties van Belle II.

Methodologie
De auteurs introduceren een modelonafhankelijk kader om publieke data van Belle II te herinterpreteren voor de zoektocht naar $B^+ \to K^+ a$ (waarbij $a$ de axion of ALP aanduidt). De kern van de methodologie omvat drie technische componenten:

1. Analytische kinematische reconstructie: Het artikel toont aan dat de mapping tussen de ware variabele $q^2$ en de proxy $q^2_{\text{rec}}$ analytisch kan worden afgeleid uitsluitend uit kinematica, zonder te vertrouwen op niet-openbare experimentele simulaties. Door de relatie te definiëren tussen het ruststelsel van $B\bar{B}$ en het ruststelsel van $B$, leiden de auteurs een expliciete vergelijking af (Vergelijking 4) die $q^2_{\text{rec}}$ koppelt aan $q^2$ en de niet-gemeten polaire hoek $\theta^{**}$. Dit maakt de constructie mogelijk van een "smearing-functie" $f_{q^2_{\text{rec}}}(q^2)$ die beschrijft hoe een monochromatisch axion-signaal (vaste $q^2 = m_a^2$) wordt verdeeld in het $q^2_{\text{rec}}-spectrum$.
2. Dubbel-proef likelihood-analyse: De auteurs construeren een likelihood-ratioteststatistiek met behulp van publieke data uit de ITA- en HTA-analyses. De analyse past gelijktijdig twee parameters aan:
   • Het vertakkingspercentage van het exotische tweelichamsverval, $\mathcal{B}(B^+ \to K^+ a)$.
   • Een signaalsterkteparameter $\mu_{\nu\bar{\nu}}$ voor het Standaardmodel (SM) proces $B^+ \to K^+ \nu\bar{\nu}$.
     Deze scheiding zorgt ervoor dat potentiële nieuwe fysica op korte afstanden die de $b \to s \nu\bar{\nu}$-amplitude beïnvloedt, niet kunstmatig wordt opgenomen in het axion-signaallimiet.
3. Behandeling van systematische onzekerheden: De analyse integreert selectie-efficiënties en achtergrondbenaderingen als storende parameters (nuisance parameters). De auteurs valideren hun procedure door de profiel-likelihood van de Belle II-samenwerking voor de SM-signaalsterkte te reproduceren, waarmee wordt bevestigd dat hun behandeling van achtergrondonzekerheden de leidende systematische effecten vastlegt.

Belangrijkste bijdragen

• Analytische mapping: De afleiding van de $q^2 \to q^2_{\text{rec}}$-mapping uitsluitend uit kinematische principes, waardoor het gebruik van de dataset met hoge statistiek van de ITA voor axion-zoektochten mogelijk wordt zonder interne simulatiegegevens.
• Modelonafhankelijke herinterpretatie: Een algemene strategie voor het herinterpreteren van zeldzame vervaldata van versnellers voor lichte onzichtbare toestanden, toepasbaar op zowel de QCD-axion als generieke ALP's.
• Etablering van een dubbel-proef: Het aantonen dat het kanaal $B^+ \to K^+ \nu\bar{\nu}$ fungeert als een dubbel-proef, waarbij tegelijkertijd nieuwe fysica op korte afstanden wordt beperkt (via $\mu_{\nu\bar{\nu}}$) en lichte onzichtbare toestanden (via $\mathcal{B}(B^+ \to K^+ a)$), waarbij de twee effecten statistisch onafhankelijk blijven tot een uitstekende benadering.

Resultaten
Toepassing van dit kader op Belle II-data levert de volgende resultaten op:

• Limieten voor het vertakkingspercentage: De analyse stelt de sterkste bestaande grenzen voor het vertakkingspercentage van $B^+ \to K^+ a$. Voor een massaloze axion ($m_a \simeq 0$) is de gecombineerde limiet $\mathcal{B}(B^+ \to K^+ a) < 1,4 \times 10^{-6}$ (onder aanname van de SM-waarde voor $\nu\bar{\nu}$) of $< 1,2 \times 10^{-6}$ (waarbij $\mu_{\nu\bar{\nu}}$ vrij mag variëren). Dit is een verbetering ten opzichte van bestaande limieten met ongeveer een factor negen.
• Beperkingen van koppelingen: Deze limieten voor het vertakkingspercentage vertalen zich naar ondergrenzen voor de gekoppelde Peccei-Quinn-schaal, $|(F_V)_{sb}| \equiv 2f_a / |(k_V)_{sb}|$. De gecombineerde analyse levert $|(F_V)_{sb}| > 7,6 \times 10^8 \text{ GeV}$ (vaste $\mu$) of $> 8,0 \times 10^8 \text{ GeV}$ (variabele $\mu$) op. Dit vertegenwoordigt een verbetering van één orde van grootte ten opzichte van eerdere grenzen.
• Massa-onafhankelijkheid: Voor de QCD-axion fungeren de limieten als in wezen verticale beperkingen in de parameter ruimte van massa-koppeling. Omdat de axionmassa verwaarloosbaar is op schalen van versnellers, zijn de beperkingen op de smaakveranderende koppeling $(k_V)_{sb}$ onafhankelijk van $m_a$.
• Robuustheid: De limieten voor het axion-vertakkingspercentage blijken grotendeels ongevoelig te zijn voor aannames met betrekking tot de di-neutrino signaalsterkte $\mu_{\nu\bar{\nu}}$, zelfs in aanwezigheid van grote bijdragen buiten het Standaardmodel aan de $B \to K \nu\bar{\nu}$-amplitude.

Betekenis
Het artikel stelt dat dit werk een robuuste, reproduceerbare en modelonafhankelijke weg vestigt voor het zoeken naar lichte onzichtbare deeltjes met behulp van bestaande publieke data van hoog-intensiteitsversnellers. Door de kinematische mapping analytisch te reconstrueren, omzeilen de auteurs de noodzaak van interne detector-simulaties, waardoor de herinterpretatie van zoektochten naar zeldzame vervalprocessen wordt gedemocratiseerd. De resultaten bieden de strengste beperkingen tot nu toe op de fundamentele smaakveranderende koppelingen van de QCD-axion aan $b$- en $s$-quarks, waardoor effectief een aanzienlijk deel van de parameter ruimte voor de QCD-axion wordt uitgesloten in de context van smaakfysica toegankelijk voor versnellers. Bovendien biedt de methodologie een algemeen sjabloon voor toekomstige zoektochten in andere Belle II-kanalen, zoals $B^+ \to K^{*+} \nu\bar{\nu}$.