B015 $B \to X_s \ell^+ \ell^-$
Inclusive b $ \to $ s $\ell^+ \ell^-$ rare B decay Status SUBTLETY-ADDED VERIFIED High Code: NO Priority Medium
Why this constrains the RS scan
This is a \(\Delta B=1\) semileptonic FCNC channel. It probes flavor-changing
\(Z\) couplings, electroweak-penguin matching, and dipole correlations with
\(b\to s\gamma\), rather than the \(\Delta F=2\) four-quark operators already
used by the repo's neutral-meson constraints. In RS/anarchic flavor it is most
useful as a diagnostic of semileptonic Wilson coefficients such as \(C_7\),
\(C_9\), \(C_{10}\) and their chirality-flipped partners.
What's changed since the original paper
Since the CFW 2008 RS-flavor baseline, the inclusive channel has gained a
BaBar measurement and a modern HFLAV average, but it remains statistics-limited
and experimentally based on sum-of-exclusive reconstruction. Theory has also
matured: the 2015 Huber--Hurth--Lunghi analysis includes NNLO QCD, NLO QED,
power corrections, collinear-photon effects, and Belle II projections with
\(50\,\mathrm{ab}^{-1}\). Current inclusive branching fractions are
compatible with the SM within uncertainties; the sharper exclusive and LFU
anomaly discussions belong in B016--B019.
Validity and model dependence
The inclusive perturbative windows are cleaner than exclusive form-factor
observables, but a catalog single number is not a plug-in hard bound. The
interpretation depends on \(q^2\) binning, charm-resonance vetoes, photon
treatment, and the mapping from RS flavor parameters to the \(\Delta B=1\)
weak Hamiltonian. It is best classified as a theory-controlled but
mode-calculation-limited rare-decay constraint.
In custodial RS, reduced \(Z b_L b_L\) pressure can make this observable
relatively more discriminating; quote RS bounds only after specifying
custodial protection, fermion embeddings, and brane kinetic terms.
Code coverage in this repo
NO. The modern phenomenology policy enumerates only
\(\epsilon_K\), \(K\), \(B_d\), \(B_s\), and \(D^0\) at
quarkConstraints/modern/phenomenology.py:23, and states that this is
policy-only rather than a numeric backend at
quarkConstraints/modern/phenomenology.py:166. The only live lepton
flavor routine found is \(\mu\to e\gamma\) at
flavorConstraints/muToEGamma.py:75. Required greps over
quarkConstraints/, qcd/, flavorConstraints/,
neutrinos/, yukawa/, warpConfig/, solvers/,
scanParams/, and tests/ found no \(b\to s\ell\ell\),
\(X_s\ell\ell\), \(C_9\), or \(C_{10}\) implementation.
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.
- quarkConstraints/modern/phenomenology.py:166 notes that the modern phenomenology fence is policy-only and not a numeric backend.
- flavorConstraints/muToEGamma.py:75 implements check_mu_to_e_gamma; no b -> s ell ell observable is present in flavorConstraints.
- Fixed-string targeted searches for b->s, b -> s, X_s, ell+ ell-, l+ l-, C_9, C_10 returned no matches in the required code directories.
Implementation difficulty
HIGH. Production use would require a new \(\Delta B=1\) semileptonic
operator basis, matching and running for \(C_7,C_9,C_{10}\) plus primed
operators, bin-aware SM predictions, charm/QED treatment, and an experimental
likelihood or covariance model.
Key references
Process-local snapshots: HFLAV2024Dec:BtoXsll, BaBar2014:BtoXsll,
Belle2005:BtoXsll, HuberHurthLunghi2015:BtoXsll, and
CsakiFalkowskiWeiler2008:CompositeFlavor.