B018 $R_K$
Lepton-flavor universality ratio in $B+ \to K+ \ell^+ \ell^-$ Status SUBTLETY-ADDED VERIFIED High Code: NO Priority Medium
Why this constrains the RS scan
\(R_K\) is a clean \(\Delta B=1\) semileptonic FCNC ratio. In an RS or
anarchic-flavor interpretation it probes nonuniversal contributions to the
\(b\to s\ell^+\ell^-\) weak Hamiltonian, especially flavor-changing \(Z\) or
KK-gauge effects and semileptonic Wilson coefficients \(C_9^{\ell}\) and
\(C_{10}^{\ell}\). It is therefore complementary to the repo's neutral-meson
\(\Delta F=2\) constraints.
What's changed since the original paper
The CFW 2008 baseline predates the modern \(R_K\) anomaly program. The key
post-2008 developments are experimental: LHCb's 2021 update measured
\(R_K=0.846^{+0.042}_{-0.039}{}^{+0.013}_{-0.012}\) in the central bin and
reported a \(3.1\sigma\) tension with the SM
(
LHCb2021:UpdatedRK). The later LHCb simultaneous
\(R_K\)/\(R_{K^*}\) analysis using \(9\,{\rm fb}^{-1}\) superseded that result
and found the four LFU measurements compatible with the SM
(LHCb2023:RKRKstarDetailed). HFLAV Dec. 2025 therefore treats the
charged \(R_K\) bins as SM-consistent averages. On the theory side,
Bordone--Isidori--Pattori established the ratio as a clean probe once
radiative corrections and experimental cuts are handled consistently.Validity and model dependence
This is a robust LFU null test, but not a standalone bound on the current
quark-scan model. It requires a \(\Delta B=1\) semileptonic matching
calculation, bin definitions, QED/radiative treatment, and experimental
correlations. A universal shift in electron and muon coefficients cancels
strongly in the ratio, while lepton-nonuniversal new physics can be visible.
In custodial RS, reduced \(Z b_L b_L\) pressure can make \(R_K\) relatively
more discriminating as an LFU cross-check; 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. Required greps over
quarkConstraints/, qcd/,
flavorConstraints/, neutrinos/, yukawa/,
warpConfig/, solvers/, scanParams/, and
tests/ found no \(R_K\), \(b\to s\ell\ell\), \(C_9\), \(C_{10}\), or
LFU implementation. The implemented flavor surface is neutral-meson mixing:
quarkConstraints/modern/phenomenology.py:23 enumerates only
\(\epsilon_K\), \(K\), \(B_d\), \(B_s\), and \(D^0\), and
quarkConstraints/deltaf2.py:209 defines the legacy \(\Delta F=2\)
inputs. The only live lepton-flavor routine found is
flavorConstraints/muToEGamma.py:75.
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 states that the modern phenomenology fence is policy-only and not a numeric backend.
- quarkConstraints/deltaf2.py:209 defines the implemented legacy Delta F = 2 input set.
- flavorConstraints/muToEGamma.py:75 implements check_mu_to_e_gamma; no b -> s ell ell routine is present.
- Targeted regex search for R_K, b -> s, B+ -> K+, C_9, C_10, lepton universality, and LFU 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 lepton-flavor-dependent \(C_9\),
\(C_{10}\), and primed coefficients, SM bin predictions including radiative
corrections, and likelihood handling for HFLAV/LHCb/CMS inputs.
Key references
Process-local snapshots: HFLAV2025Dec:RKBplusKLowQ2,
HFLAV2025Dec:RKBplusKCentralQ2, HFLAV2025Dec:RKBplusKFullQ2Belle,
LHCb2023:RKRKstarDetailed, LHCb2021:UpdatedRK,
BordoneIsidoriPattori2016:RKRKstarSM, and
CsakiFalkowskiWeiler2008:CompositeFlavor.