B006 $\mathcal{B}(B^0\to\mu^+\mu^-)$
Rare leptonic decay B0 $ \to \mu^+ \mu^-$ Status REVIEWED VERIFIED Medium Code: NO Priority Medium
PDG / equivalent values
| Observable | Value | Year | Experiment / source | Provenance |
|---|---|---|---|---|
| BR(B0 $ \to \mu^+ \mu^-$) | ? branching fraction | - | PDG2026:BdMuMu | |
| BR(B0 $ \to \mu^+ \mu^-$) / $BR(B_s0 \to \mu^+ \mu^-$) | ? dimensionless ratio | - | HFLAV2023:BdOverBsMuMu | source ↑ |
| SM $BR(B_d \to \mu^+ \mu^-$) | 1.06e-10 branching fraction | - | Bobeth et al. 2013 | source ↑ |
Why this constrains the RS scan
This mode is a clean \(\Delta B=1\) leptonic rare decay. In warped/anarchic
flavor models, flavor-changing \(Z\), KK electroweak gauge, Higgs, radion, or
other scalar exchanges can contribute to axial-vector, scalar, and pseudoscalar
\(b\to d\mu\mu\) Wilson coefficients. Scalar and pseudoscalar terms are
especially diagnostic because they can compete with the helicity-suppressed
Standard Model amplitude.
What's changed since the original paper
Since the arXiv:0804.1954 RS-flavor baseline
(
CsakiFalkowskiWeiler2008:CompositeFlavor), this channel moved from
pre-LHC upper limits to a mature LHC rare-decay search. ATLAS combined Run 1
and 2015--2016 data to set \(2.1\times10^{-10}\) at \(95\%\) CL
(ATLAS2019:BdMuMu). LHCb later set \(2.6\times10^{-10}\) at
\(95\%\) CL and constrained the \(B^0/B_s^0\) dimuon branching-ratio ratio
(LHCb2022:BdMuMu). CMS Run 2, with \(140\,{\rm fb}^{-1}\) at
\(\sqrt{s}=13~{\rm TeV}\), now supplies the PDG canonical \(90\%\)-CL limit
(CMS2023:BdMuMu; PDG2026:BdMuMu). On the theory side,
\(B_{s,d}\to\ell^+\ell^-\) Standard Model predictions now include reduced
perturbative electroweak and QCD uncertainties
(BobethEtAl2013:BdMuMuSM).Validity and model dependence
The experimental object is robust as an upper limit on a short-distance
branching fraction, but the catalog interpretation is model-dependent. A live
constraint needs a consistent \(\Delta B=1\) Hamiltonian, CKM convention,
normalization to \(f_{B_d}\), and treatment of scalar/pseudoscalar operators.
Unlike angular \(b\to d\ell\ell\) modes it does not require a multi-bin
form-factor likelihood.
Code coverage in this repo
NO. The required catalog greps over
quarkConstraints/,
qcd/, flavorConstraints/, neutrinos/,
yukawa/, warpConfig/, solvers/,
scanParams/, and tests/ found no \(B^0\to\mu^+\mu^-\) or
\(b\to d\mu\mu\) observable implementation. Nearby hits such as
quarkConstraints/deltaf2.py:225 and
quarkConstraints/deltaf2.py:903 are \(B_d\) \(\Delta F=2\) mixing
entries, not this rare leptonic \(\Delta B=1\) decay.
Linked evidence (opens GitHub blob at flavor-catalog-website/2026q2):
- Focused grep for B_d.*mu, B0.*mu, b -> d, C10, pseudoscalar, rare_decay, rare decay, rare leptonic, and dimuon in required implementation/test directories found no B0 -> mu+ mu- observable implementation.
- quarkConstraints/deltaf2.py:225 defines the existing b_d input as B_d mixing, not B0 -> mu+ mu-.
- quarkConstraints/deltaf2.py:903 defines evaluate_bd_mixing for Delta F = 2 B_d mixing.
- quarkConstraints/modern/phenomenology.py:646 evaluates B_d mixing from the bridge match; no Delta B = 1 rare leptonic branch is present.
Implementation difficulty
MEDIUM. This requires a new \(\Delta B=1\) leptonic rare-decay
observable and Wilson normalization for \(C_{10}^{(\prime)}\),
\(C_S^{(\prime)}\), and \(C_P^{(\prime)}\). It should not need new lattice
matrix-element machinery beyond decay-constant inputs, RG for a full angular
analysis, or exclusive semileptonic form factors.
Key references
Process-local raw reference keys before bibliography consolidation:
PDG2026:BdMuMu, HFLAV2023:BdOverBsMuMu,
CMS2023:BdMuMu, LHCb2022:BdMuMu,
ATLAS2019:BdMuMu, BobethEtAl2013:BdMuMuSM, and
CsakiFalkowskiWeiler2008:CompositeFlavor.