K\to\mu^+\mu^- 中的 CP 违规：带或不带时间依赖的标记分析

我们指出，利用当前对 ${\cal B}(K^0_L\to\mu^+\mu^-)$ 与 ${\cal B}(K^0_L\to\gamma\gamma)$ 的了解，即可从 $K^0$ 的 time-integrated CP 偏斜 $A_{\rm CP}(K^0\to\mu^+\mu^-)$ 以及 ${\cal B}(K^0_S\to\mu^+\mu^-)$ 的联合测量中提取短程信息。我们讨论了这组可观测量之间的相互作用，并演示确定 ${\rm sign}[A_{\rm CP}(K^0\to\mu^+\mu^-)]$ 可消除标准模型对 ${\cal B}(K^0_L\to\mu^+\mu^-)$ 的离散歧义。随后我们在类似 LHCb 的设施中进行可行性研究，使用 time-integrated 与 time-dependent 信息，分别采用 $K^0$ 与 $\overline K{}^0$ 标记方法。我们发现，在乐观情景下，与 CKM 参数组合 $|A^2\lambda^5\bar\eta|$ 成正比的短程�幅可由 LHCb 在约 $35\%$ 其标准模型值水平上受到约束，${\cal B}(K^0_L\to\mu^+\mu^-)_{\rm SM}$ 中的离散歧义可通过高亏度 LHC 结束时在超过 $3\sigma$ 水平上解决。