We present a systematic global analysis of dineutrino modes b → qν overline{nu} , q = d, s, and charged dilepton b → qℓ+ℓ− transitions. We derive improved or even entirely new limits on dineutrino branching ratios including decays B0→ (K0, Xs)ν overline{nu} , Bs→ ϕν overline{nu} and B0→ (π0, ρ0)ν overline{nu} from dineutrino modes which presently are best constrained: B+→ (K+, π+, ρ+)ν overline{nu} and B0→ K*0ν overline{nu} . Using SMEFT we obtain new flavor constraints from the dineutrino modes, which are stronger than the corresponding ones from charged dilepton rare b-decay or Drell-Yan data, for eτ and ττ final states, as well as for μτ ones in b → s processes. The method also allows to put novel constraints on semileptonic four-fermion operators with top quarks. Implications for ditau modes b → sτ+τ− and b → dτ+τ− are worked out. Even stronger constraints are obtained in simplified BSM frameworks such as leptoquarks and Z′-models. Furthermore, the interplay between dineutrinos and charged dileptons allows for concrete, novel tests of lepton universality in rare B-decays. Performing a global fit to b → sμ+μ−, sγ transitions we find that lepton universality predicts the ratio of the B0→ K*0ν overline{nu} to B0→ K0ν overline{nu} (B+→ K+ν overline{nu} ) branching fractions to be within 1.7 to 2.6 (1.6 to 2.4) at 1σ, a region that includes the standard model, and that can be narrowed with improved charged dilepton data. There is sizable room outside this region where universality is broken and that can be probed with the Belle II experiment. Using results of a fit to B0→ μ+μ−, {B}_s^0 → overline{K} *0μ+μ− and B+→ π+μ+μ− data we obtain an analogous relation for |∆b| = |∆d| = 1 transitions: if lepton universality holds the ratio of the B0→ ρ0ν overline{nu} to B0→ π0ν overline{nu} (B+→ π+ν overline{nu} ) branching fractions is within 2.5 to 5.7 (1.2 to 2.6) at 1 σ. Putting upper limits on mathcal{B} (Bs→ ν overline{nu} ) at the level of 10−5 and mathcal{B} (B0→ ν overline{nu} ) below 10−6 would allow to control backgrounds from (pseudo-)scalar operators such as those induced by light right-handed neutrinos.
Read full abstract