B005 $\mathcal{B}(B_s^0\to\mu^+\mu^-)$
Rare leptonic decay $B_s0 \to \mu^+ \mu^-$ Status REVIEWED VERIFIED Medium Code: NO Priority High
PDG / equivalent values
| Observable | Value | Year | Experiment / source | Provenance |
|---|---|---|---|---|
| $BR(B_s0 \to \mu^+ \mu^-$) | 3.34e-9 branching fraction | - | PDG2026:BsMuMu | |
| $BR(B_s0 \to \mu^+ \mu^-$) | 3.45e-9 branching fraction | - | HFLAV2023:BsMuMu | |
| SM $BR(B_s \to \mu^+ \mu^-$) | 3.64e-9 branching fraction | - | Czaja and Misiak 2024 | source ↑ |
Why this constrains the RS scan
This mode probes the short-distance \(b\to s\mu^+\mu^-\) Hamiltonian in a clean
single-number observable. In anarchic RS scenarios, flavor-changing neutral
gauge couplings, KK electroweak exchange, Higgs/radion scalar exchange, or
leptoquark-like completions can shift axial-vector, scalar, and pseudoscalar
Wilson coefficients. The scalar and pseudoscalar terms are especially
important because they can remove the Standard Model helicity suppression and
are prominent in large-\(\tan\beta\) supersymmetric or extended-Higgs
interpretations.
What's changed since the original paper
Since the arXiv:0804.1954 RS-flavor baseline, this channel changed from an
upper-limit target into a precision observable. LHCb and CMS first established
the decay, and the present average combines modern LHCb, CMS, and ATLAS inputs.
CMS now reports the most precise single-experiment branching-fraction
measurement, while LHCb provides a simultaneous branching-fraction and
effective-lifetime analysis. Theory has also improved: modern SM predictions
include precise lattice \(f_{B_s}\), CKM inputs, electroweak and QCD
corrections, and the time-integration correction associated with the
\(B_s\) width difference.
Validity and model dependence
This is a robust short-distance rare-decay constraint, but it is not covered by
the repo's neutral-meson-mixing machinery. The SM comparison is clean relative
to angular \(b\to s\ell\ell\) observables, yet it still depends on the
definition of the time-integrated branching fraction, \(f_{B_s}\), CKM inputs,
and the treatment of scalar and pseudoscalar operators. It is directly useful
for models that predict \(C_{10}^{(\prime)}\), \(C_S^{(\prime)}\), or
\(C_P^{(\prime)}\), including scalar leptoquarks, \(Z'\) models, and
tan-beta-enhanced Higgs sectors.
Code coverage in this repo
NO. The required catalog greps and a focused search for
B\_s.*mu, mumu, C10, scalar/pseudoscalar rare-decay
terms, and \(b\to s\mu\mu\) found no live \(B_s^0\to\mu^+\mu^-\) implementation
in quarkConstraints/, qcd/, flavorConstraints/,
neutrinos/, yukawa/, warpConfig/,
solvers/, scanParams/, or tests/. The nearest
related code is \(B_s\) mixing, e.g. quarkConstraints/deltaf2.py:239
and quarkConstraints/deltaf2.py:922, which is a \(\Delta F=2\)
observable rather than this \(\Delta B=1\) decay.
Linked evidence (opens GitHub blob at flavor-catalog-website/2026q2):
- Focused grep for B_s.*mu, Bs.*mu, B0_s.*mu, mu+mu, mumu, C10, scalar/pseudoscalar, rare decay, and rare_decay in required implementation/test directories found no B_s0 -> mu+ mu- observable implementation.
- quarkConstraints/deltaf2.py:239 defines the existing b_s input as B_s mixing, not B_s -> mu+ mu-.
- quarkConstraints/deltaf2.py:922 defines evaluate_bs_mixing for Delta F = 2 B_s mixing.
- quarkConstraints/modern/phenomenology.py:657 evaluates B_s mixing from the bridge match; no Delta B = 1 rare leptonic branch is present.
Implementation difficulty
MEDIUM. A catalog-to-code implementation needs a new \(\Delta B=1\)
leptonic rare-decay observable, Wilson conventions for
\(C_{10}^{(\prime)}, C_S^{(\prime)}, C_P^{(\prime)}\), and a branching-ratio
formula with the \(B_s\) lifetime and width-difference convention. It does not
need an angular likelihood or exclusive form factors, but a production-grade
RS matching path would need carefully documented scalar and electroweak
operator normalization.
Key references
Process-local raw reference keys before bibliography consolidation:
PDG2026:BsMuMu, HFLAV2023:BsMuMu,
CMS2023:BsMuMu, LHCb2022:BsMuMu,
ATLAS2019:BsMuMu, CzajaMisiak2024:BsMuMuSM, and
CsakiFalkowskiWeiler2008:CompositeFlavor.