B022 $\mathcal{B}(B^+\to K^+\nu\bar{\nu})$
Invisible rare decay $B+ \to K+ \nu \bar{\nu}$ Status REVIEWED VERIFIED High Code: NO Priority Medium
PDG / equivalent values
| Observable | Value | Year | Experiment / source | Provenance |
|---|---|---|---|---|
| SM BR(B+ $ \to K+ \nu \bar{\nu}$) | 5.58e-6 branching fraction | 2023 | HPQCD2023:B022:sm_prediction | source ↑ |
Why this constrains the RS scan
This mode probes a \(\Delta B=1\) neutral-current transition with missing
energy. In RS/anarchic-flavor models it can receive contributions from
flavor-changing \(b\)-\(s\) currents coupled to \(Z\), KK electroweak gauge
bosons, or other neutral invisible states. It is complementary to
\(\Delta F=2\) \(B_s\) mixing because it tests a semileptonic/invisible
operator, not a neutral-meson mixing amplitude.
What's changed since the original paper
The CFW 2008 RS-flavor baseline predates the modern \(B\to K\nu\bar{\nu}\)
program (
CsakiFalkowskiWeiler2008:CompositeFlavor). BaBar later set
hadronic-tag limits, including
\(\mathcal{B}(B^+\to K^+\nu\bar{\nu})<3.7\times10^{-5}\) at 90\% CL
(BaBar2013:BKstarNuNu). Belle II changed the status of the mode with
the 2024 evidence measurement quoted above
(BelleII2024:BplusKplusNuNu). On the theory side, modern lattice form
factors support the SM prediction quoted above
(HPQCD2023:BtoKNuNuSM), and Belle II has released a 2025
model-agnostic likelihood package to reinterpret the measurement under non-SM
invisible kinematics or WET coefficient choices
(BelleII2025:BKnnLikelihood).Validity and model dependence
The SM prediction is comparatively clean: there are no charmonium veto regions
as in \(b\to s\ell^+\ell^-\), and the dominant hadronic input is the
\(B\to K\) vector form factor. The experimental extraction is less universal:
Belle II's headline branching fraction assumes SM kinematics, while invisible
new particles can change the \(q^2\) spectrum and selection efficiency. A live
constraint should therefore use either the published likelihood or a validated
reweighting prescription rather than only a one-bin branching-fraction pull.
Code coverage in this repo
NO. Required greps over
quarkConstraints/, qcd/,
flavorConstraints/, neutrinos/, yukawa/,
warpConfig/, solvers/, scanParams/, and
tests/ found no \(B\to K\nu\bar{\nu}\), \(b\to s\nu\bar{\nu}\), or
rare invisible decay implementation. The modern phenomenology surface lists
only \(\epsilon_K\), \(K\), \(B_d\), \(B_s\), and \(D^0\) at
quarkConstraints/modern/phenomenology.py:23; its note says this is
policy-only at quarkConstraints/modern/phenomenology.py:166. The
legacy \(\Delta F=2\) inputs are at quarkConstraints/deltaf2.py:209,
with \(B_d\) and \(B_s\) mixing evaluators at
quarkConstraints/deltaf2.py:903 and
quarkConstraints/deltaf2.py:922. The only live lepton-flavor routine
seen is \(\mu\to e\gamma\) at flavorConstraints/muToEGamma.py:75.
Linked evidence (opens GitHub blob at flavor-catalog-website/2026q2):
- Targeted grep for B+ -> K+ nu nubar, B -> K nu, b -> s nu nubar, invisible modes, rare_decay, and WET-like CVL/CVR labels found no observable implementation in the required code directories; incidental hits were generic Delta F = 2 C_VLL/C_VRR tests and scan parameter names.
- quarkConstraints/modern/phenomenology.py:23 lists only epsilon_K, K, B_d, B_s, and D0 as modern phenomenology systems.
- quarkConstraints/modern/phenomenology.py:166 states that this surface is a policy-only fence and does not define a numeric EFT backend.
- quarkConstraints/deltaf2.py:209 defines the legacy Delta F = 2 input tuple.
- quarkConstraints/deltaf2.py:903 and quarkConstraints/deltaf2.py:922 implement B_d and B_s neutral-meson mixing, not Delta B = 1 rare invisible decays.
- flavorConstraints/muToEGamma.py:75 implements the separate mu -> e gamma dipole check; no b -> s nu nubar routine is present.
Implementation difficulty
HIGH. This would require a new \(\Delta B=1\) \(b\to s\nu\bar{\nu}\)
Hamiltonian, exclusive \(B\to K\) form-factor integration, invisible-final-state
acceptance treatment, and Belle II likelihood or kinematic-reweighting support.
The existing neutral-meson \(\Delta F=2\) SLL/SLR/VLL/VRR/LR machinery does not
cover this observable.
Reason: A live constraint needs a new $\Delta B = 1$ $b \to s$ $\nu \bar{\nu}$ weak-Hamiltonian normalization, exclusive $B \to K$ form-factor integration, neutrino/invisible final-state treatment, and likely Belle II likelihood or kinematic-reweighting support. The existing $\Delta F = 2$ SLL/SLR/VLL/VRR/LR1/LR2 neutral-meson basis does not compute this mode.
Key references
HFLAV2025Dec:BplusKplusNuNu, PDG2026:BplusKplusNuNu,
BelleII2024:BplusKplusNuNu, BelleII2025:BKnnLikelihood,
BaBar2013:BKstarNuNu, HPQCD2023:BtoKNuNuSM, and
CsakiFalkowskiWeiler2008:CompositeFlavor.