B017 $B \to X_s \ell^+ \ell^-, B \to K(*) \ell^+ \ell^-, R_K, R_K*$
Inclusive and exclusive b $ \to $ s $\ell^+ \ell^-$ rare B decays Status SUBTLETY-ADDED VERIFIED High Code: NO Priority Medium
Why this constrains the RS scan
This is a \(\Delta B=1\) FCNC probe of the same flavor structure that drives
the repo's neutral-meson constraints, but it tests semileptonic operators rather
than \(\Delta F=2\) four-quark operators. KK electroweak gauge exchange,
flavor-changing \(Z\) couplings, and loop-induced dipoles can feed \(C_9\),
\(C_{10}\), \(C'_9\), and \(C'_{10}\), with \(C_7\) correlations from the
radiative \(b\to s\gamma\) lane. Non-universal lepton localization would show
up most cleanly in \(R_K\) and \(R_{K^*}\), while the branching fractions and
angular observables probe a broader combination of short-distance coefficients
and hadronic inputs.
What's changed since the original paper
Relative to the Csaki--Falkowski--Weiler 2008 RS-flavor baseline, this channel
has become data-rich. HFLAV now maintains current rare-\(B\) averages through
the end of 2025. LHCb's 2023 simultaneous \(R_K/R_{K^*}\) update superseded
the earlier LHCb LFU results and moved the clean LFU ratios into agreement with
the Standard Model. The \(B^0\to K^{*0}\mu^+\mu^-\) angular program remains
important: LHCb's 2020 CP-averaged analysis states that the earlier tension
with SM predictions persists, with significance depending on theory nuisance
choices. Post-update global fits therefore no longer look like a simple LFU
violation story; they are mainly a correlated \(C_9\)-type and
hadronic-systematics problem.
Validity and model dependence
The LFU ratios are comparatively clean null tests. Branching fractions and
angular observables are more model- and theory-limited because they require
form factors, nonlocal charm treatment, bin definitions, and correlated
experimental likelihoods. A catalog value is useful, but using this channel as
a hard RS bound requires a global-fit interface rather than a single-number
cut.
In custodial RS, reduced \(Z b_L b_L\) pressure can make semileptonic
\(b\to s\) channels relatively more discriminating; quote RS bounds only after
specifying custodial protection, fermion embeddings, and brane kinetic terms.
Use \(R_K/R_{K^*}\) as precision LFU null tests; do not impose the pre-2023
anomaly narrative as a prior.
Code coverage in this repo
NO. The modern phenomenology surface lists only
\(\epsilon_K\), \(K\), \(B_d\), \(B_s\), and \(D^0\) systems at
quarkConstraints/modern/phenomenology.py:23. The lepton flavor module
implements \(\mu\to e\gamma\) at flavorConstraints/muToEGamma.py:75.
Required plan greps plus targeted searches for \(C_9\), \(C_{10}\), \(R_K\),
\(X_s\), \(K^*\), and \(P'_5\) found no live \(b\to s\ell^+\ell^-\) backend.
Linked evidence (opens GitHub blob at flavor-catalog-website/2026q2):
- quarkConstraints/modern/phenomenology.py:23 lists only epsilon_K, K, B_d, B_s, and D0 as modern phenomenology systems.
- flavorConstraints/muToEGamma.py:75 implements check_mu_to_e_gamma; no b -> s ell ell observable is present in flavorConstraints.
- Required plan Section F grep commands and targeted code-only rg searches for C9, C10, R_K, X_s, B_to_K, Kst, Kstar, and P5prime found no live implementation; matches were planner docs or false-positive R_KEYWORD/PAPER names.
Implementation difficulty
HIGH. A production implementation would need a new \(\Delta B=1\)
semileptonic Hamiltonian, matching onto \(C_7,C_9,C_{10}\) and primed
operators, RG conventions, \(q^2\)-bin-aware SM predictions, form factors,
nonlocal charm uncertainties, and experimental covariance handling.
Key references
Process-local snapshots: HFLAV2025Dec:BtoXsll,
HFLAV2025Dec:BplusToKplusll, HFLAV2025Dec:B0ToKst0ll, LHCb2023:RKstar,
LHCb2020:KstAngular, WenXu2023:BsllGlobalFit, and
CsakiFalkowskiWeiler2008:CompositeFlavor.