pith. sign in

arxiv: 2507.13445 · v2 · pith:QUBL7WUJnew · submitted 2025-07-17 · ✦ hep-ph · hep-ex

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

classification ✦ hep-ph hep-ex
keywords CP violationkaon decaysrare decaysmuon pair productionLHCbCKM matrixbranching fractionstime dependent analysis
0
0 comments X

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.

The paper establishes that the known branching ratios for K_L to mu mu and K_L to gamma gamma can be combined with measurements of the time-integrated CP asymmetry A_CP in K to mu mu and the branching ratio for K_S to mu mu to extract short-distance information. A reader would care because this approach resolves which of two possible values the Standard Model assigns to the K_L branching ratio, by determining the sign of A_CP. The authors perform feasibility studies for both time-integrated and time-dependent analyses in a setup similar to LHCb, using tagging of K^0 and anti-K^0. This shows that the short-distance amplitude can be constrained at the 35 percent level of its Standard Model value, and the ambiguity resolved at over 3 sigma by the end of high luminosity LHC running.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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

Figures reproduced from arXiv: 2507.13445 by Avital Dery, Diego Mart\'inez Santos, Giancarlo D'Ambrosio, Radoslav Marchevski, Stefan Schacht, Teppei Kitahara, Yuval Grossman.

Figure 1
Figure 1. Figure 1: FIG. 1. SM prediction for [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Kaon multiplicity per [PITH_FULL_IMAGE:figures/full_fig_p015_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Invariant mass distributions from fast simulation before (red) and after (blue) applying [PITH_FULL_IMAGE:figures/full_fig_p016_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. Decay-time distributions for [PITH_FULL_IMAGE:figures/full_fig_p018_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5. Experimental sensitivity to [PITH_FULL_IMAGE:figures/full_fig_p020_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6. Sensitivity to [PITH_FULL_IMAGE:figures/full_fig_p021_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: FIG. 7. Relative uncertainty on [PITH_FULL_IMAGE:figures/full_fig_p023_7.png] view at source ↗
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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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)
  1. [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.
  2. [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)
  1. [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.
  2. [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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

1 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard assumptions of the Standard Model for separating short- and long-distance contributions in kaon decays, plus the accuracy of two existing branching-ratio measurements; no new particles or forces are introduced.

free parameters (1)
  • short-distance amplitude proportional to |A^2 lambda^5 eta-bar|
    This CKM-related quantity is the target of the proposed constraint; its value is not fitted inside the paper but projected to be measured experimentally.
axioms (1)
  • domain assumption Standard Model framework for kaon decay amplitudes with separable short-distance and long-distance pieces
    The extraction procedure and ambiguity resolution presuppose that the long-distance parts can be anchored by the measured B(K_L to gamma gamma) rate.

pith-pipeline@v0.9.0 · 5823 in / 1483 out tokens · 64895 ms · 2026-05-21T23:40:56.739422+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. New Directions in Kaon Physics: Interference in $K^0\to\mu^+\mu^-$ as a New Golden Mode

    hep-ph 2026-05 conditional novelty 7.0

    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

38 extracted references · 38 canonical work pages · cited by 1 Pith paper · 12 internal anchors

  1. [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. [2]

    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]

    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. [3]

    experimental

    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-...

  4. [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. [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. [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]

  7. [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. [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. [9]

    Light quark loops in K± → π±νν from vector meson dominance and update on the Kaon Unitarity Triangle,

    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. [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. [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. [12]

    Large N Approach to Kaon Decays and Mixing 28 Years Later: Delta I = 1/2 Rule, \hat B_K and Delta M_K

    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

  13. [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]

  14. [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]

  15. [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]

  16. [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]

  17. [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]

  18. [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]

  19. [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. [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. [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. [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]

  23. [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. [24]

    Review of Particle Physics,

    Particle Data Group Collaboration, “Review of Particle Physics,” Phys. Rev. D 110 (2024) 030001

  25. [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]

  26. [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]

  27. [27]

    KL → 2γ and KL → π+π−γ decays,

    P.-w. Ko and T. N. Truong, “ KL → 2γ and KL → π+π−γ decays,” Phys. Rev. D 43 (1991)

  28. [28]

    [Erratum: Phys.Rev.D 44, 1616 (1991)]. 26

  29. [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

  30. [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. [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. [32]

    Framework TDR for the LHCb Upgrade II: Opportunities in flavour physics, and beyond, in the HL-LHC era

    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. [33]

    Optimization and calibration of the same-side kaon tagging algorithm using hadronic B0 s decays in 2011 data

    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. [34]

    An Introduction to PYTHIA 8.2

    T. Sj¨ ostrand,et al., “An introduction to PYTHIA 8.2,” Comput. Phys. Commun. 191 (2015) 159–177 [arXiv:1410.3012]

  35. [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. [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. [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. [38]

    Proposal of the KOTO II experiment

    KOTO Collaboration, “Proposal of the KOTO II experiment.” arXiv:2501.14827