CP violation in $K\toμ^+μ^-$ with and without time dependence through a tagged analysis

本文提出了一种通过分析时间积分和时间依赖的CP不对称性来提取短距离信息并解决标准模型对$K^0_L \to \mu^+\mu^-$预言中离散模糊性的方法，结果表明类LHCb实验能够将相关短距离振幅约束在标准模型值的35%以内，并以超过3$\sigma$的显著性解决该模糊性。

要点

将宇宙想象成一个巨大而复杂的拼图。几十年来，物理学家一直试图利用一套被称为“标准模型”的特定规则来解开它。这个拼图中最重要的部分之一是一个名为CP 破坏的概念，它本质上是物质与“反物质”行为之间微小而根本的差异。如果我们能完美地测量这种差异，就能检验我们的规则是否正确，或者是否遗漏了拼图中隐藏的某一块。

本文聚焦于一个极其罕见的事件：一种名为中性 K 介子（一种亚原子粒子）的粒子衰变为两个μ子（类似于重电子的粒子）。具体而言，作者们关注的是一个发生概率极低的过程，其稀有程度好比在沙滩上找到一粒特定的沙子，但其中有一个转折：他们想要观察“左手”版本的事件发生率是否与“右手”版本不同。

以下是他们提出的方案，使用简单的类比进行分解：

1. 问题：阴影般的歧义

想象你试图测量一根羽毛的重量，但有一股强风在吹。你知道风的存在，但你不知道风是在把羽毛向上推还是向下推。这就是长寿命 K 介子（$K_L$）衰变目前的状况。

• 羽毛：短距离物理（我们想要测量的基本规则）。
• 风：长距离物理（难以计算的复杂背景噪声）。
• 歧义：由于风的存在，我们不知道羽毛实际上比我们想象的更重还是更轻。存在两种可能的答案，而我们无法判断哪一个是正确的。这被称为“离散歧义”。

2. 解决方案：标记分析

作者们提出了一种巧妙的方法来穿透这阵风。他们建议不要仅仅观察羽毛如何落下，而是查看粒子产生时特定的“标记”或标签。

• 类比：想象一家工厂生产成对的鞋子。一只鞋是“左”鞋，另一只是“右”鞋。通常，它们被一起扔进一个盒子里。如果你稍后只看盒子，你就不知道哪只鞋是哪只。
• 方法：作者们提议寻找一个与中性 K 介子同时产生的“伴生”粒子（带电 K 介子）。如果你看到一个“左”伴生粒子，你就知道中性 K 介子是“右”的，反之亦然。这被称为味标记。这就像拥有一张收据，能在它们被混合之前确切地告诉你哪只鞋是哪只。

3. 新工具：时间积分 CP 不对称性

本文引入了一种新的测量方法，称为时间积分 CP 不对称性（$A_{CP}$）。

• 类比：想象你有一个秒表。你在粒子诞生时启动它，在粒子衰变时停止它。作者们表明，如果你将随时间积累的所有“左”衰变和所有“右”衰变相加，它们之间的差异（不对称性）就能告诉你风的方向。
• 神奇之处：通过测量这种不对称性，他们可以确定底层物理的符号（正或负）。一旦你知道了符号，“风”（长距离背景）就不再是谜团。它解决了歧义，明确地告诉我们羽毛是重还是轻。

4. 计划：使用 LHCb 探测器

作者们利用欧洲核子研究中心（CERN）的LHCb 探测器（一个巨大的粒子对撞机）的计算机模拟测试了这一想法。他们考察了该探测器的两个未来升级方案：

• 升级 I（“良好”情景）：探测器在捕捉这些罕见事件方面变得稍微更好。
• 升级 II（“梦想”情景）：探测器获得大规模升级，包括一个新的“上游像素”传感器。这就像给探测器配备了一台高清相机，能够看到距离碰撞点更远的粒子。

他们的发现：

• “梦想”情景：如果 LHCb 探测器获得这些升级，他们可以将基本参数（与支配粒子混合的 CKM 矩阵相关）的测量精度提高到约35%。
• 解开谜团：他们声称，只要有足够的数据（他们预计在高亮度 LHC 时代结束前将拥有这些数据），他们就能以超过3 个标准差的置信度解决“符号歧义”（这是一个统计学术语，意味着这极有可能是真正的发现，而非偶然）。

5. 挑战：背景噪声

最大的障碍是“背景噪声”。

• 类比：想象试图在体育场里听到一声耳语。耳语是罕见的 K 介子衰变。欢呼的人群是背景噪声（其他看起来相似的粒子衰变）。
• 解决方法：作者们表明，通过使用特定的截断（例如过滤掉离舞台太远的人），他们可以显著降低噪声。他们估计，通过合适的截断，他们可以将信号隔离得足够好，从而进行测量。

总结

简而言之，这篇论文指出：“我们有一种新的、巧妙的方法，利用 LHCb 探测器来测量罕见的粒子衰变。通过标记粒子并观察物质与反物质之间的时间积分差异，我们最终可以解决关于基本力方向的一个长期存在的谜团。如果探测器升级按计划进行，我们将能够以高精度完成这一任务，从而让我们更清晰地看清宇宙的规则。”

他们并未声称这将带来新技术、医疗治愈方法或日常生活的即时改变。这纯粹是迈向理解物理学基本定律的一步。

技术摘要

技术摘要：通过标记分析研究 $K \to \mu^+\mu^-$ 中的 CP 破坏（含与不含时间依赖性）

问题陈述
稀有衰变 $K^0 \to \mu^+\mu^-$ 是探测短距离物理和卡比博 - 小林 - 益川（CKM）范式的一个灵敏探针。然而，标准模型（SM）对分支比 $\mathcal{B}(K^0_L \to \mu^+\mu^-)$ 的预测存在离散模糊性。这种模糊性源于短距离振幅与长距离贡献（特别是 $K^0_L \to \gamma\gamma$ 振幅）之间相对符号的未知，导致该衰变率出现两个不同的标准模型预测。此外，提取与 $|A^2 \lambda^5 \bar{\eta}|$ 成正比的短距离参数通常需要对长距离物理有精确的了解，而这在计算上极具挑战性。本文探讨的问题是：当前及未来的实验数据，特别是时间积分测量，能否在不依赖精确长距离理论计算的情况下，解决这些模糊性并提取短距离参数。

方法论
作者提出了一种结合时间积分可观测量与 LHCb 实验标记分析的策略。

1. 理论框架：研究利用中性介子衰变为双μ子的时间依赖衰变率，该衰变率取决于四个与理论参数相关的实验参数（$C_L, C_S, C_{\text{Int.}}, \phi_0$）。作者重点关注时间积分 CP 不对称性 $\tilde{A}_{CP}(K^0 \to \mu^+\mu^-)$ 以及分支比 $\mathcal{B}(K^0_L \to \mu^+\mu^-)$、$\mathcal{B}(K^0_L \to \gamma\gamma)$ 和 $\mathcal{B}(K^0_S \to \mu^+\mu^-)$。
2. 参数提取：他们证明，这四个可观测量组合足以完全确定该系统四个非零理论参数。关键在于，测量 $\tilde{A}_{CP}$ 的符号可以解决 $\mathcal{B}(K^0_L \to \mu^+\mu^-)$ 标准模型预测中的离散模糊性，并确定短距离与长距离振幅之间的相对符号。
3. 可行性研究（LHCb）：作者利用 LHCb 探测器的快速模拟（考虑升级 I 和升级 II 情景）进行了可行性研究。
   • 标记：他们提出通过“同侧 K 介子”（SSK）方法进行味标记，即在 $pp \to K^0 K^- X$ 过程中搜寻伴生带电 K 介子。
   • 接受度：定义了两种情景："LL"（仅长径迹，适用于升级 I）和"LL+DD"（包含使用新上游像素探测器重建的下游径迹，适用于升级 II）。
   • 本底：研究假设采用本底抑制技术，特别是撞击参数截断，以减少来自 $K^0_S \to \pi^+\pi^-$（其中π介子在飞行中衰变）的主导本底。
   • 分析：采用无分箱扩展最大似然拟合，从标记的 $K^0$ 和 $\bar{K}^0$ 样本的衰变时间分布中提取 CP 破坏参数 $|\bar{\eta}|$ 及 CP 不对称性的符号。

主要贡献与结果

• 解决离散模糊性：本文确立，确定时间积分 CP 不对称性的符号 $\text{sign}[\tilde{A}_{CP}]$ 足以消除 $\mathcal{B}(K^0_L \to \mu^+\mu^-)$ 标准模型预测中的离散模糊性。该测量同时也确定了未知的 $K^0_L \to \gamma\gamma$ 振幅的符号。
• 短距离提取：作者推导出一个关系式，表明联合测量 $\tilde{A}_{CP}$ 和 $\mathcal{B}(K^0_S \to \mu^+\mu^-)$ 可以高精度提取短距离参数组合 $|A^2 \lambda^5 \bar{\eta}|$，从而绕过对精确长距离理论输入的需求。
• LHCb 灵敏度：
  • 在 LHCb 升级 II 的乐观情景下（利用上游像素探测器、标记能力约为 22% 以及显著的本底抑制），研究发现短距离振幅 $|A^2 \lambda^5 \bar{\eta}|$ 可被约束至其标准模型值的约 35%。
  • CP 不对称性的符号（进而 $K^0_L \to \gamma\gamma$ 振幅的符号）有望在高亮度 LHC 时代结束前以 大于 3$\sigma$ 的显著性被解析。
  • 研究强调，上游像素探测器提供的接受度提升（允许使用下游衰变）对于达到这些灵敏度水平至关重要。

意义与主张
本文主张，$K^0 \to \mu^+\mu^-$ 中的 CP 不对称性是探测短距离物理的有力探针，可通过 LHCb 的标记分析进行访问。其主要意义在于，能够仅通过实验测量 CP 不对称性的符号来解决 $\mathcal{B}(K^0_L \to \mu^+\mu^-)$ 标准模型预测中长期存在的离散模糊性，而无需长距离计算方面的新理论突破。

作者将这一测量定位为对通过 $K^0_L \to \pi^0 \nu \bar{\nu}$（例如由 KOTO 实验）测量相同 CKM 参数组合工作的补充。他们强调，尽管该分析依赖于关于本底拒绝和探测器性能（特别是上游像素探测器）的乐观假设，但即使是在较不乐观的情景下，也能产生有趣的精度水平。该工作呼吁在 LHCb 内部开展针对实验需求的专门研究，以实现这一潜力，并强化 LHCb 在现代 K 介子物理计划中的关键角色。