CP violation in Ktoμ^+μ^- with and without time dependence through a tagged analysis
Pith reviewed 2026-05-21 23:40 UTC · model grok-4.3
The pith
Using the sign of the CP asymmetry in K to muon muon decays eliminates the discrete ambiguity in the Standard Model prediction for the long-lived kaon branching ratio.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using current knowledge of the branching ratios B(K_L to mu+ mu-) and B(K_L to gamma gamma), short-distance information can be extracted from the combined measurement of the time-integrated CP asymmetry A_CP(K^0 to mu+ mu-) and B(K_S to mu+ mu-). Determining the sign of A_CP would eliminate the discrete ambiguity in the Standard Model prediction for B(K_L to mu+ mu-). Feasibility studies in an LHCb-like setup with tagged analyses show that the short-distance amplitude proportional to |A^2 lambda^5 eta-bar| could be constrained to about 35% of its SM value, resolving the ambiguity at more than 3 sigma by the end of HL-LHC.
What carries the argument
The interplay between the time-integrated CP asymmetry A_CP(K^0 to mu+ mu-) and the branching ratio B(K_S to mu+ mu-) to isolate the short-distance contribution to the decay amplitudes.
If this is right
- The short-distance amplitude can be constrained by LHCb at the level of about 35% of its Standard Model value.
- The discrete ambiguity in the Standard Model prediction for B(K_L to mu+ mu-) can be resolved at more than 3 sigma by the end of the high luminosity LHC.
- Both time-integrated and time-dependent information from tagged K^0 and anti-K^0 decays can be used for the analysis.
Where Pith is reading between the lines
- This could provide an independent probe of the CKM matrix elements in the kaon system that complements B physics measurements.
- Successful implementation might encourage similar tagged analyses in other rare kaon decay modes at current and future experiments.
Load-bearing premise
The known branching ratios for the long-lived kaon to muon pairs and to two photons are accurate and independent enough to allow clean extraction of the short-distance piece from the new observables.
What would settle it
A measurement at LHCb of the CP asymmetry A_CP and the short-lived kaon branching ratio that does not achieve a constraint on the short-distance amplitude at the 35% level or fails to resolve the branching ratio ambiguity at 3 sigma significance.
Figures
read the original abstract
We point out that using current knowledge of ${\cal B}(K^0_L\to\mu^+\mu^-)$ and $ {\cal B}(K^0_L\to \gamma\gamma)$, one can extract short-distance information from the combined measurement of the time-integrated CP asymmetry, $A_{\rm CP}(K^0\to\mu^+\mu^-)$, and of ${\cal B}(K^0_S\to\mu^+\mu^-)$. We discuss the interplay between this set of observables, and demonstrate that determining ${\rm sign}[A_{\rm CP}(K^0\to\mu^+\mu^-)]$ would eliminate the discrete ambiguity in the Standard Model prediction for ${\cal B}(K^0_L\to\mu^+\mu^-)$. We then move on to feasibility studies within an LHCb-like setup, using both time-integrated and time-dependent information, employing $K^0$ and $\overline K{}^0$ tagging methods. We find that, within an optimistic scenario, the short-distance amplitude, proportional to the CKM parameter combination $|A^2\lambda^5\bar\eta|$, could be constrained by LHCb at the level of about $35\%$ of its Standard Model value, and the discrete ambiguity in ${\cal B}(K^0_L\to\mu^+\mu^-)_{\rm SM}$ could be resolved at more than $3\sigma$ by the end of the high luminosity LHC.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes that the sign of the time-integrated CP asymmetry A_CP(K^0 → μ⁺μ⁻), when combined with the measured B(K_S → μ⁺μ⁻) and the known branching ratios B(K_L → μ⁺μ⁻) and B(K_L → γγ), can be used to extract short-distance information and specifically to resolve the discrete ambiguity in the Standard Model prediction for B(K_L → μ⁺μ⁻). It presents a theoretical mapping isolating the short-distance amplitude proportional to |A²λ⁵η-bar| and follows with feasibility studies for an LHCb-like experiment using K^0 tagging, both time-integrated and time-dependent, projecting a 35% constraint on the short-distance amplitude and >3σ resolution of the ambiguity in an optimistic high-luminosity LHC scenario.
Significance. If the central mapping holds, the work provides a concrete experimental path to resolve a long-standing discrete ambiguity in a rare kaon decay using CP-violating observables accessible at LHCb. The tagged-analysis approach and the explicit connection between A_CP sign and the short-distance CKM combination constitute a useful addition to the phenomenology of flavor physics, with potential to tighten constraints on η-bar once data are available.
major comments (2)
- [theoretical framework] The central claim that sign[A_CP(K^0 → μ⁺μ⁻)] eliminates the discrete ambiguity in B(K_L → μ⁺μ⁻)_SM rests on the assumption that the long-distance amplitudes extracted from B(K_L → γγ) and the long-distance part of B(K_L → μ⁺μ⁻) are known to high precision and enter the A_CP formula with an unambiguous sign. The manuscript should explicitly quantify any residual model dependence or higher-order corrections in this relation (theoretical framework section) and demonstrate that they do not introduce an additional sign ambiguity that would break the one-to-one mapping.
- [feasibility studies] The projected 35% constraint on the short-distance amplitude and the >3σ resolution of the ambiguity are stated for an 'optimistic scenario' in the LHCb feasibility study. The error budget, tagging efficiencies, background rejection factors, and systematic uncertainties underlying these numbers must be specified in detail (feasibility studies section) so that the realism of the projections can be assessed; without them the experimental claim remains difficult to evaluate.
minor comments (2)
- [theoretical framework] Notation for the short-distance amplitude (proportional to |A²λ⁵η-bar|) should be introduced with an explicit equation number when first defined, to improve traceability through the subsequent formulas.
- [feasibility studies] The manuscript would benefit from a short table summarizing the input branching ratios and their uncertainties used in the numerical projections.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below and agree to incorporate the suggested clarifications in a revised version.
read point-by-point responses
-
Referee: [theoretical framework] The central claim that sign[A_CP(K^0 → μ⁺μ⁻)] eliminates the discrete ambiguity in B(K_L → μ⁺μ⁻)_SM rests on the assumption that the long-distance amplitudes extracted from B(K_L → γγ) and the long-distance part of B(K_L → μ⁺μ⁻) are known to high precision and enter the A_CP formula with an unambiguous sign. The manuscript should explicitly quantify any residual model dependence or higher-order corrections in this relation (theoretical framework section) and demonstrate that they do not introduce an additional sign ambiguity that would break the one-to-one mapping.
Authors: We agree that an explicit discussion of residual model dependence is useful. In the revised manuscript we will add a dedicated paragraph in the theoretical framework section that quantifies the size of higher-order corrections and chiral-perturbation-theory uncertainties in the long-distance amplitudes. We will show that these corrections remain well below the level that could flip the sign of the relevant combination, thereby preserving the one-to-one mapping between sign[A_CP] and the resolution of the discrete ambiguity. revision: yes
-
Referee: [feasibility studies] The projected 35% constraint on the short-distance amplitude and the >3σ resolution of the ambiguity are stated for an 'optimistic scenario' in the LHCb feasibility study. The error budget, tagging efficiencies, background rejection factors, and systematic uncertainties underlying these numbers must be specified in detail (feasibility studies section) so that the realism of the projections can be assessed; without them the experimental claim remains difficult to evaluate.
Authors: We acknowledge that the current presentation of the projections would be strengthened by a more transparent error budget. In the revised version we will expand the feasibility studies section with an explicit table listing the assumed tagging efficiencies, background rejection factors, and the breakdown of statistical and systematic uncertainties for both the time-integrated and time-dependent analyses under the optimistic high-luminosity scenario. revision: yes
Circularity Check
No circularity: external branching ratios used as independent inputs to forward extraction
full rationale
The derivation begins from the measured values of B(K_L→μμ) and B(K_L→γγ) as external, independent inputs. These are combined with the proposed observables A_CP(K^0→μ⁺μ⁻) and B(K_S→μ⁺μ⁻) via standard theoretical relations to isolate the short-distance piece |A²λ⁵η-bar| and resolve its sign ambiguity in the SM prediction for B(K_L→μμ). Feasibility numbers are explicit projections for future LHCb data, not fits to the same dataset. No self-definitional loop, no fitted parameter renamed as prediction, and no load-bearing self-citation or ansatz imported from prior author work appears in the abstract or described chain. The central claim remains a direct consequence of the input branching ratios plus the new measurements under the stated assumptions.
Axiom & Free-Parameter Ledger
free parameters (1)
- short-distance amplitude proportional to |A^2 lambda^5 eta-bar|
axioms (1)
- domain assumption Standard Model framework for kaon decay amplitudes with separable short-distance and long-distance pieces
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We point out that using current knowledge of B(K⁰_L→μ⁺μ⁻) and B(K⁰_L→γγ), one can extract short-distance information from the combined measurement of the time-integrated CP asymmetry, A_CP(K⁰→μ⁺μ⁻), and of B(K⁰_S→μ⁺μ⁻).
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
sign[A_CP(K⁰→μ⁺μ⁻)] would eliminate the discrete ambiguity in the Standard Model prediction for B(K⁰_L→μ⁺μ⁻)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
New Directions in Kaon Physics: Interference in $K^0\to\mu^+\mu^-$ as a New Golden Mode
K_L^0-K_S^0 interference in mu+mu- decays provides a clean probe of short-distance CP-violating s to d transitions, projecting 35% constraints on |A^2 lambda^5 eta-bar| and >3 sigma resolution of the K_L to gamma gamm...
Reference graph
Works this paper leans on
-
[1]
The O(εK) correction to the CP asymmetry in K0 → µ+µ− is negligible for current purposes [17]
We neglect CPV in mixing. The O(εK) correction to the CP asymmetry in K0 → µ+µ− is negligible for current purposes [17]. 7
-
[2]
We assume that short-distance physics only generates the ℓ = 0 final state. This is equivalent to assuming no scalar operators are at play, and is fulfilled within the SM to O(m2 K/m2 W ) ∼ 10−5 [22]
-
[3]
We neglect CPV in the long-distance contributions to K0 → µ+µ−. This assumption is also fulfilled in the SM to O(10−3) [16]. III. THE TIME-INTEGRATED CP ASYMMETRY The time-integrated CP asymmetry in the decay of a neutral kaon into a CP eigenstate f is given by eAf CP = eDf eSf , (10) where eDf(t), eSf(t) are the difference and sum of the convoluted time-...
work page 1900
-
[4]
Observation of the K+ → π+νν decay and measurement of its branching ratio,
NA62 Collaboration, “Observation of the K+ → π+νν decay and measurement of its branching ratio,” JHEP 02 (2025) 191 [arXiv:2412.12015]
-
[5]
Natural complex plane for kaon CKM data: framework, status and future
A. Dery, “Natural complex plane for kaon CKM data: framework, status and future.” arXiv:2504.12386
-
[6]
Emerging lattice approach to the K-Unitarity Triangle
C. Lehner, E. Lunghi, and A. Soni, “Emerging lattice approach to the K-Unitarity Triangle,” Phys. Lett. B 759 (2016) 82–90 [arXiv:1508.01801]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[7]
Improved Standard-Model prediction for KL → ℓ+ℓ−,
M. Hoferichter, B.-L. Hoid, and J. R. de Elvira, “Improved Standard-Model prediction for KL → ℓ+ℓ−,” JHEP 04 (2024) 071 [arXiv:2310.17689]
-
[8]
Calculating the two-photon exchange contribution to KL → µ+µ− decay,
E.-H. Chao and N. Christ, “Calculating the two-photon exchange contribution to KL → µ+µ− decay,” Phys. Rev. D 110 (2024) 054514 [arXiv:2406.07447]
-
[9]
E. Lunghi and A. Soni, “Light quark loops in K± → π±νν from vector meson dominance and update on the Kaon Unitarity Triangle,” JHEP 12 (2024) 097 [arXiv:2408.11190]
-
[10]
High Intensity Kaon Experiments (HIKE) at the CERN SPS Proposal for Phases 1 and 2
HIKE Collaboration, “High Intensity Kaon Experiments (HIKE) at the CERN SPS Proposal for Phases 1 and 2.” arXiv:2311.08231
-
[11]
Direct CP violation and the ∆ I = 1/2 rule in K → ππ decay from the standard model,
RBC, UKQCD Collaboration, “Direct CP violation and the ∆ I = 1/2 rule in K → ππ decay from the standard model,” Phys. Rev. D 102 (2020) 054509 [arXiv:2004.09440]
-
[12]
A. J. Buras, J.-M. G´ erard, and W. A. Bardeen, “Large N Approach to Kaon Decays and Mixing 28 Years Later: ∆ I = 1/2 Rule, ˆBK and ∆MK,” Eur. Phys. J. C 74 (2014) 2871 [arXiv:1401.1385]. 25
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[13]
Kaon Decays in the Standard Model
V. Cirigliano, G. Ecker, H. Neufeld, A. Pich, and J. Portoles, “Kaon Decays in the Standard Model,” Rev. Mod. Phys. 84 (2012) 399 [arXiv:1107.6001]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[14]
Direct CP violation in $K^0\to\pi\pi$: Standard Model Status
H. Gisbert and A. Pich, “Direct CP violation in K0 → ππ: Standard Model Status,” Rept. Prog. Phys. 81 (2018) 076201 [arXiv:1712.06147]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[15]
$K_L \to \pi^0 \nu \bar \nu$ Beyond the Standard Model
Y. Grossman and Y. Nir, “ KL → π0ν¯ν beyond the standard model,” Phys. Lett. B 398 (1997) 163–168 [hep-ph/9701313]
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[16]
Direct $CP$ Violation in $K \to \mu^+ \mu^-$
G. D’Ambrosio and T. Kitahara, “Direct CP Violation in K → µ+µ−,” Phys. Rev. Lett. 119 (2017) 201802 [arXiv:1707.06999]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[17]
Probing SUSY effects in $K_S^0\rightarrow\mu^+\mu^-$
V. Chobanova, et al., “Probing SUSY effects in K0 S → µ+µ−,” JHEP 05 (2018) 024 [arXiv:1711.11030]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[18]
Gluino-mediated electroweak penguin with flavor-violating trilinear couplings
M. Endo, et al., “Gluino-mediated electroweak penguin with flavor-violating trilinear couplings,” JHEP 04 (2018) 019 [arXiv:1712.04959]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[19]
K → µ+µ− as a clean probe of short-distance physics,
A. Dery, M. Ghosh, Y. Grossman, and S. Schacht, “ K → µ+µ− as a clean probe of short-distance physics,” JHEP 07 (2021) 103 [arXiv:2104.06427]
-
[20]
Impact of indirect CP violation on Br(K S→ µ+µ−)ℓ=0,
J. Brod and E. Stamou, “Impact of indirect CP violation on Br(K S→ µ+µ−)ℓ=0,” JHEP 05 (2023) 155 [arXiv:2209.07445]
-
[21]
A precision relation between Γ(K → µ+µ−)(t) and B (KL → µ+µ−) /B (KL → γγ),
A. Dery, M. Ghosh, Y. Grossman, T. Kitahara, and S. Schacht, “A precision relation between Γ(K → µ+µ−)(t) and B (KL → µ+µ−) /B (KL → γγ),” JHEP 03 (2023) 014 [arXiv:2211.03804]
-
[22]
On the short-distance constraints from K_{L,S} -> mu^+ mu^-
G. Isidori and R. Unterdorfer, “On the short distance constraints from KL,S → µ+µ−,” JHEP 01 (2004) 009 [hep-ph/0311084]
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[23]
Constraints on the K0 S → µ+µ− Branching Fraction,
LHCb Collaboration, “Constraints on the K0 S → µ+µ− Branching Fraction,” Phys. Rev. Lett. 125 (2020) 231801 [arXiv:2001.10354]
-
[24]
Particle Data Group Collaboration, “Review of Particle Physics,” Phys. Rev. D 110 (2024) 030001
work page 2024
-
[25]
Three-loop QCD corrections to B_s -> mu^+ mu^-
T. Hermann, M. Misiak, and M. Steinhauser, “Three-loop QCD corrections to Bs → µ+µ−,” JHEP 12 (2013) 097 [arXiv:1311.1347]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[26]
$K \rightarrow \pi\pi$ $\Delta I=3/2$ decay amplitude in the continuum limit
T. Blum et al., “K → ππ ∆I = 3/2 decay amplitude in the continuum limit,” Phys. Rev. D 91 (2015) 074502 [arXiv:1502.00263]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[27]
KL → 2γ and KL → π+π−γ decays,
P.-w. Ko and T. N. Truong, “ KL → 2γ and KL → π+π−γ decays,” Phys. Rev. D 43 (1991)
work page 1991
-
[28]
[Erratum: Phys.Rev.D 44, 1616 (1991)]. 26
work page 1991
-
[29]
Chiral perturbation theory corrections to KL → γγ,
J. F. Donoghue, B. R. Holstein, and Y. C. R. Lin, “Chiral perturbation theory corrections to KL → γγ,” Nucl. Phys. B 277 (1986) 651–660
work page 1986
-
[30]
Fast simulation of a forward detector at 50 and 100 TeV proton-proton colliders
V. Chobanova, D. M. Santos, C. Prouve, and M. Romero Lamas, “Fast simulation of a forward detector at 50 and 100 TeV proton-proton colliders.” arXiv:2012.02692
-
[31]
Prospects for Measurements with Strange Hadrons at LHCb,
A. A. Alves Junior et al., “Prospects for Measurements with Strange Hadrons at LHCb,” JHEP 05 (2019) 048 [arXiv:1808.03477]
-
[32]
LHCb Collaboration, “Framework TDR for the LHCb Upgrade II: Opportunities in flavour physics, and beyond, in the HL-LHC era.” https://cds.cern.ch/record/2776420
-
[33]
LHCb Collaboration, “Optimization and calibration of the same-side kaon tagging algorithm using hadronic B0 s decays in 2011 data.” https://cds.cern.ch/record/1484021
-
[34]
T. Sj¨ ostrand,et al., “An introduction to PYTHIA 8.2,” Comput. Phys. Commun. 191 (2015) 159–177 [arXiv:1410.3012]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[35]
Fast Inclusive Flavour Tagging at LHCb,
C. Prouve, N. Nolte, and C. Hasse, “Fast Inclusive Flavour Tagging at LHCb,” EPJ Web Conf. 295 (2024) 09018 [arXiv:2404.14145]
-
[36]
Search for K0 S → µ+µ− and trigger developments at LHCb,
M. Ramos Pernas, “Search for K0 S → µ+µ− and trigger developments at LHCb,” 2020. https://cds.cern.ch/record/2728965. Presented 24 Jul 2020
-
[37]
Search for the KL → π0ν¯ν Decay at the J-PARC KOTO Experiment,
KOTO Collaboration, “Search for the KL → π0ν¯ν Decay at the J-PARC KOTO Experiment,” Phys. Rev. Lett. 134 (2025) 081802 [arXiv:2411.11237]
-
[38]
Proposal of the KOTO II experiment
KOTO Collaboration, “Proposal of the KOTO II experiment.” arXiv:2501.14827
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.