K005 $K_L \to \pi^0 \nu\bar\nu$
CP-violating rare neutral-kaon decay to pi0 plus neutrinos Status REVIEWED VERIFIED Medium Code: NO Priority Low
Why this constrains the RS scan
This mode is one of the cleanest probes of short-distance flavor violation:
the hadronic matrix element is tied to semileptonic kaon data, and the neutral
mode isolates the imaginary part of the \(s\to d\nu\bar\nu\) amplitude. In
RS/anarchic-flavor language it tests flavor-changing \(Z\), \(Z'\), or other
neutral-current couplings induced by fermion localization and KK mixing, plus
loop-level contributions if the ultraviolet completion generates them. It is
therefore complementary to \(\varepsilon_K\): both are CP-sensitive kaon
observables, but K005 is a \(\Delta S=1\) rare decay rather than a
\(\Delta F=2\) mixing constraint.
What's changed since the original paper
Since the Csaki--Falkowski--Weiler era, the experimental frontier moved from
older E391a/KOTO pilot limits to the KOTO direct search now mirrored by PDG.
KOTO's 2025 PRL result improves the previous KOTO direct bound and reports a
background expectation below one event for the 2021 analysis. On the charged
side, NA62 has moved \(K^+\to\pi^+\nu\bar\nu\) from evidence/observation to a
combined 2016--2024 value with better-than-\(20\%\) precision, sharpening the
cross-check between the charged and neutral golden modes. Theory updates also
matter: Brod--Gorbahn--Stamou updated the SM \(K\to\pi\nu\bar\nu\) prediction,
and Buras--Venturini recast the prediction in ratios designed to reduce
\(|V_{cb}|\) and \(|V_{ub}|\) dependence.
Validity and model dependence
The SM channel is short-distance dominated and unusually clean, but the
present catalog value is still an upper limit. The interpretation is robust
for high-scale new physics that modifies semileptonic \(s\to d\nu\bar\nu\)
operators. It becomes model-dependent if the missing energy is a light
non-neutrino particle, if neutrino flavor structure is non-universal, or if a
global kaon fit is used to correlate K005 with the charged mode.
Code coverage in this repo
NO. The author searched the requested code areas, excluding
notebooks, for \(K_L\to\pi^0\nu\bar\nu\), KOTO, NA62, \(s\to d\), penguin,
and generic rare-kaon strings. No rare-decay implementation was found. The
only relevant \(K_L\) hit was the mixing input
quarkConstraints/deltaf2.py:615 for \(\Delta m_K\), and the broader
kaon code is \(\Delta F=2\) mixing machinery rather than a \(\Delta S=1\)
semileptonic decay calculation.
Linked evidence (opens GitHub blob at flavor-catalog-website/2026q2):
- No implementation hit for K_L -> pi^0 nu nubar, KOTO, NA62, or s->d nu nubar rare-decay strings.
- The only relevant K_L string hit was quarkConstraints/deltaf2.py:615, DELTA_M_K = 3.484e-15 GeV, a K_L-K_S mass-difference input, not this decay.
- Related kaon Delta F=2 coverage exists in quarkConstraints/deltaf2.py and quarkConstraints/modern/phenomenology.py, but it is mixing-only.
Implementation difficulty
MEDIUM. A production implementation would need a new
\(s\to d\nu\bar\nu\) Wilson/operator path and the CP-odd \(K_L\) projection,
but the observable uses standard clean hadronic inputs. No new lattice, RG, or
long-distance calculation has been identified; the existing audited code can
supply kaon-mixing context, but not the rare-decay observable itself.
Reason: Requires a new $\Delta S = 1$ semileptonic $s \to d$ $\nu \bar{\nu}$ observable path and CP-odd K_L projection, but uses standard clean hadronic inputs and no new lattice, RG, or long-distance calculation has been identified.
Key references
Process-local keys deposited in
flavor\_catalog/references/K005/:
PDG2026:K005, KOTO2025:KLPi0NuNu,
BrodGorbahnStamou2021:KPiNuNu,
BurasVenturini2022:RareK, NA622026:KPlusPiNuNu, and
BuchallaBuras1996:KPiNuNu.