K002 $\Delta m_K$
$K_L-K_S$ mass difference Status REVIEWED VERIFIED Low Code: PARTIAL Priority Medium
PDG / equivalent values
| Observable | Value | Year | Experiment / source | Provenance |
|---|---|---|---|---|
| $m(K_L^0$) - $m(K_S^0$) | $\Delta m_K = (0.5293 +/- 0.0009) x 10^10 hbar s^-1$ | 2026 | Particle Data Group pdgLive DataBlock S013D | source ↑ |
| $m(K_L^0$) - $m(K_S^0$) | OUR FIT not assuming CPT: 0.5289 +/- 0.0010 | 2026 | Particle Data Group pdgLive DataBlock S013D | source ↑ |
| Exploratory lattice $\Delta M_K$ | $\Delta M_K = 3.19(41)(96) x 10^-12 MeV$ | 2014 | Bai et al., arXiv:1406.0916 | source ↑ |
| Physical-mass lattice $\Delta m_K$ statistical uncertainty | statistical error approaches 9% | 2023 | Bigeng Wang, arXiv:2301.01387 | source ↑ |
Why this constrains the RS scan
In anarchic warped flavor models, tree-level KK-gluon exchange generates
\(\Delta S=2\) four-quark operators after rotating to the quark-mass basis.
\(\Delta m_K\) constrains the real part of the new \(K^0-\bar K^0\) mixing
amplitude, while \(\varepsilon_K\) constrains its imaginary part. The same
VLL, VRR, SLL/SLR, and LR operator structures used for the repo's neutral-meson
mixing lane apply here, and the LR matrix elements remain chirally enhanced.
The important physics caveat is that the measured mass splitting contains a
large long-distance Standard Model component, so the catalog should treat
\(\Delta m_K\) as a conservative magnitude bound unless a controlled SM
subtraction is supplied.
What's changed since the original paper
Relative to the CFW 2008 baseline (
cfw\_2008), the experimental
side was updated by KTeV's final neutral-kaon analysis
(ktev\_2011), which the PDG fit still uses. The more important
post-2008 shift is theoretical: lattice calculations began attacking the
long-distance contribution directly. Christ et al.
(christ\_2013\_ld\_delta\_mk) developed the long-distance method,
and Bai et al. (bai\_2014\_delta\_mk) reported a first complete
lattice calculation,
\(\Delta M_K=3.19(41)(96)\times10^{-12}\,{\rm MeV}\), at
heavier-than-physical masses. Later physical-quark-mass studies
(wang\_2023\_delta\_mk) reached statistical uncertainty near
\(9\%\) while retaining important systematics. For BSM interpretation, FLAG
2024 (flag2024) and the physical-mass BSM kaon-mixing calculation
(boyle\_2024\_bsm\_kaon\_mixing) update the bag inputs used to
translate Wilson coefficients into matrix elements.Validity and model dependence
The experimental number is precise, but \(\Delta m_K\) is long-distance
limited as a new-physics constraint. A conservative RS scan can require the
absolute new-physics contribution not to exceed the measured splitting, or use
only a fraction of it by policy. A sharper bound would require specifying the
short-distance charm-loop treatment, the long-distance lattice input, and the
CPT-fit convention. This entry is therefore robust as a conservative
\(\Delta F=2\) magnitude check, but not as a clean SM-subtracted exclusion.
Code coverage in this repo
PARTIAL. The methodology note lists \(\Delta m_K\) among the five
\(\Delta F=2\) scan observables at
docs/quark\_scan\_methodology\_note.tex:118. The legacy kaon helper
sets the PDG mass splitting at quarkConstraints/deltaf2.py:615 and
implements evaluate\_delta\_mk at
quarkConstraints/deltaf2.py:755. The modern lane also has a
K input displayed as \(\Delta m_K\) at
quarkConstraints/modern/inputs.py:958 and a bridge evaluator at
quarkConstraints/modern/phenomenology.py:493. I keep the status
partial because the legacy default kaon input is still the \(\varepsilon_K\)
entry at quarkConstraints/deltaf2.py:209, and the catalog has not
audited a standalone long-distance policy.
Linked evidence (opens GitHub blob at flavor-catalog-website/2026q2):
- docs/quark_scan_methodology_note.tex:118 lists Delta F = 2 neutral-meson observables, including Delta m_K.
- quarkConstraints/deltaf2.py:615 defines DELTA_M_K as the PDG K_L-K_S mass difference.
- quarkConstraints/deltaf2.py:755 defines evaluate_delta_mk.
- quarkConstraints/deltaf2.py:802 defines evaluate_delta_mk_with_running.
- quarkConstraints/modern/inputs.py:958 defines the K mixing (Delta m_K) display name.
- quarkConstraints/modern/phenomenology.py:493 defines _evaluate_delta_mk_from_bridge.
- quarkConstraints/modern/phenomenology.py:1329 routes system_id K through the Delta m_K bridge evaluator.
- quarkConstraints/deltaf2.py:209 legacy DEFAULT_DELTA_F2_INPUTS_V1 includes epsilon_K but not a standalone Delta m_K kaon input.
Implementation difficulty
LOW. No new operator basis is needed for a conservative catalog or
scan-side magnitude bound: the existing \(\Delta F=2\) VLL/VRR/LR machinery
covers the required Wilson coefficients. A future precision SM-subtracted
\(\Delta m_K\) likelihood would be a separate high-theory-effort project.
Reason: Existing $\Delta F = 2$ Wilson basis and kaon matrix-element machinery cover a conservative $\Delta m_{K}$ magnitude constraint; no new operator is required. Precision SM-subtracted treatment remains long-distance-theory-limited.
Key references
Process-local source keys:
pdg\_live\_S013D\_20260516,
ktev\_2011, christ\_2013\_ld\_delta\_mk,
bai\_2014\_delta\_mk, wang\_2020\_physical\_delta\_mk,
wang\_2023\_delta\_mk, boyle\_2024\_bsm\_kaon\_mixing,
flag2024, and cfw\_2008.