从 $K_L \to \mu^+ \mu^-$ 提取短程约束

鉴于对若干 $K_L$ 衰变（其对 $K_L \to \gamma \gamma$ 形式因子敏感）的新精确结果，我们基于半唯象方法提出了 $K_L \to \mu^+ \mu^-$ 长程振幅的新分析。特别关注于对该方法不确定度的评估以及与替代方法的比较。我们的主要结果是 $B(K_L \to \mu^+ \mu^-)_{\rm short}$ 的保守上界 $2.5 \times 10^{-9}$，该结果与标准模型预期兼容，并为新的物理情景提供了显著约束。讨论从未来对 $K_S \to \mu^+ \mu^-$ 搜索中提取独立短程信息的可能性。