B033 $S_{\phi K_S},\ C_{\phi K_S}$
B $ \to \phi K_S$ penguin CP asymmetry Status REVIEWED VERIFIED High Code: NO Priority Low
Why this constrains the RS scan
In anarchic warped models, KK gluons, electroweak KK modes, or flavor-changing
\(Z/H\)-like effects can add new weak phases to \(b\to s\bar s s\)
\(\Delta B=1\) amplitudes. \(B^0\to\phi K_S^0\) is therefore a diagnostic of
new penguin phases that would not be captured by a pure \(\Delta m_{B_s}\) or
\(\Delta m_{B_d}\) magnitude constraint. A large departure of
\(S_{\phi K_S}\) from \(S_{\psi K_S}\) would point to decay-amplitude new
physics rather than just the CKM phase measured in the golden charmonium mode.
What's changed since the original paper
Since the arXiv:0804.1954 RS-flavor baseline, the old B-factory tension in
penguin CP phases has been replaced by a stable world average compatible with
\(S_{\psi K_S}\). HFLAV Summer 2025 combines BaBar's 2012 Dalitz analysis,
Belle's 2010 time-dependent Dalitz analysis, and Belle II's 2023
time-dependent \(B^0\to\phi K_S^0\) measurement. Belle II is the important
new post-B-factory input: the
belleii\_2023\_phik0 snapshot records
\(S=0.54\pm0.26^{+0.06}_{-0.08}\) and, with HFLAV's \(C=-A\) convention,
\(C=-0.31\pm0.20\pm0.05\). The present HFLAV average differs from the
charmonium benchmark by only \(0.03\), far below the current \(\phi K^0\)
uncertainty; this difference is recorded explicitly in B033.yaml.Validity and model dependence
This is a useful but theory-limited nonleptonic penguin observable. It is
cleaner as a null test than as a standalone hard bound: the SM prediction is
close to \(\sin(2\beta)\), but subleading amplitudes and hadronic strong
phases are mode dependent. A production implementation would need a
\(\Delta B=1\) operator basis, RG evolution, and a hadronic amplitude or
phenomenological likelihood. Treat it as charmless-penguin contextual input
unless the PI chooses a specific hadronic framework.
Code coverage in this repo
NO. Focused greps over
quarkConstraints/, qcd/,
flavorConstraints/, neutrinos/, yukawa/,
warpConfig/, solvers/, scanParams/, and
tests/ found no implementation of \(B\to\phi K\),
\(b\to s\bar s s\) penguin CP asymmetries, \(\sin(2\beta_{\rm eff})\), or
time-dependent charmless \(B\) CP observables. The nearest adjacent code is
neutral-meson mixing: quarkConstraints/deltaf2.py:209 defines the
\(\Delta F=2\) input registry, quarkConstraints/deltaf2.py:903
evaluates \(B_d\) mixing, and quarkConstraints/deltaf2.py:922
evaluates \(B_s\) mixing. Those do not compute \(\Delta B=1\) penguin decay
amplitudes.
Linked evidence (opens GitHub blob at flavor-catalog-website/2026q2):
- Focused B033 greps found no direct implementation of B -> phi K, beta_eff, sin2beta_eff, b -> s sbar s penguin CP asymmetries, or time-dependent charmless B CP observables in the requested implementation/test directories.
- Nearest adjacent code only: quarkConstraints/deltaf2.py:209 defines the Delta F=2 input registry.
- Nearest adjacent code only: quarkConstraints/deltaf2.py:903 evaluates B_d mixing.
- Nearest adjacent code only: quarkConstraints/deltaf2.py:922 evaluates B_s mixing.
- Nearest adjacent code only: quarkConstraints/modern/phenomenology.py:23 lists epsilon_K, K, B_d, B_s, and D0 as modern phenomenology systems; it does not include Delta B=1 penguin decays.
Implementation difficulty
HIGH. The existing \(\Delta F=2\) SLL/SLR/VLL/VRR/LR1/LR2 machinery is not
enough. A live constraint would require \(\Delta B=1\) four-quark penguin
operators, matching from RS sources, QCD running to the \(b\) scale, and a
hadronic treatment of the \(B\to\phi K\) amplitude and strong phases.
Reason: B033 needs a $\Delta B = 1$ nonleptonic $b \to s$ sbar s operator and amplitude treatment. The existing $\Delta F = 2$ SLL/SLR/VLL/VRR/LR1/LR2 neutral-meson machinery does not compute $B \to \phi$ K decay amplitudes, strong phases, or time-dependent penguin CP likelihoods.
Key references
Process-local raw reference keys before bibliography consolidation:
hflav\_triangle\_summer2025\_phiK0,
babar\_2012\_b0\_kkks,
belle\_2010\_b0\_kkks,
belleii\_2023\_phik0, and
csaki\_falkowski\_weiler\_2008.