The $B^+ \to K^+ \nu \bar \nu$ decay as a search for the QCD axion

本文利用公开 Belle II 数据引入一个模型无关的框架，以重新诠释$B^+ \to K^+ \nu \bar{\nu}$衰变道，将其确立为新物理的双重探针，该探针不仅给出了当前对$B^+ \to K^+ a$分支比的最强限制，而且对轴子 - 夸克耦合施加了约束。

要点

想象你是一名侦探，正试图在日本的一个高速列车站解开一桩谜团。这个车站就是Belle II 实验，一个巨大的粒子对撞机，在这里，被称为"B 介子”的微小粒子被创造出来，随即立即衰变。

通常情况下，当 B 介子衰变时，它会留下清晰的证据链（其他粒子），供科学家追踪。但有时，它似乎凭空消失，只留下一个可见的粒子（K 介子）和一个带走能量却未留下任何痕迹的“幽灵”。

本文介绍了一种搜寻这些“幽灵”的新方法，特别是被称为QCD 轴子的一种特定幽灵。

谜团：“缺失”的能量

在物理学的标准故事（标准模型）中，当 B 介子衰变为一个 K 介子和两个不可见的中微子（$B^+ \to K^+ \nu\bar{\nu}$）时，能量损失是平滑分布的。这就像在一个雾天，你无法看清缺失能量的确切形状。

但如果QCD 轴子存在，故事就会改变。轴子是一种假设的、极轻的粒子，它解决了物理学中的一个重大谜题（为什么强核力不违反一种称为 CP 的对称性）。如果一个 B 介子衰变为一个 K 介子和一个轴子（$B^+ \to K^+ a$），那么轴子就是一个单一、独特的实体。这意味着能量损失不是一片迷雾，而是在一个精确数值上的尖锐、具体的“重击”。

挑战：模糊的相机

问题在于，Belle II 实验有两种观察这些事件的方式：

1. “经典”方式（强子标记）： 这就像拥有一台高清相机。它能完美重建整个事件，因此科学家可以确切地看到能量去了哪里。
2. “包容”方式（包容标记）： 这是收集最多数据的方法（就像广角镜头能看到更多车辆，但焦点略微模糊）。在这种方法中，科学家无法直接看到不可见粒子的确切能量。相反，他们必须根据可见的 K 介子来推测。

多年来，为了解读来自“包容”方法的“模糊”数据，科学家们需要实验内部的“模拟软件”（就像一张秘密地图）来理解模糊是如何产生的。没有这张秘密地图，他们就无法利用来自“包容”方法的海量数据来搜寻轴子。

突破：用数学代替猜测

本文的作者意识到，他们并不需要那张秘密地图。他们利用纯粹的几何学和物理学（运动学）绘制了自己的地图。

类比： 想象你在一座旋转的旋转木马上（B 介子），当整个游乐设施沿着轨道移动时，你扔出一个球（K 介子）。

• 如果你知道游乐设施移动的速度以及你扔出球的角度，你就可以精确计算出球相对于轨道应该落在哪里。
• 数据中的“模糊”源于不知道你扔出球的确切角度。
• 作者意识到，他们可以通过数学计算出每一个可能的角度，以及它会使数据如何弥散。他们创建了一个公式，将“模糊”的测量值转化为清晰的预测，而无需任何私有的计算机模拟。

结果：捕捉幽灵

利用这种新的数学“透镜”对 Belle II 的公开数据进行分析，研究团队寻找轴子那种尖锐的“重击”。

1. 他们一无所获： 未探测到任何轴子。
2. 他们创造了新纪录： 由于他们能够使用庞大的“包容”数据集（其灵敏度是先前方法的 9 倍），他们设定了关于这种衰变发生可能性的有史以来最严格的限制。
   • 他们将之前的最佳限制提高了九倍。
   • 这意味着，如果轴子存在，它们必须比我们想象的更加“幽灵般”（更难被捕捉）。

“双重探针”超能力

本文强调了该方法的一个巧妙副作用。通常，如果你在寻找一种新粒子（如轴子），你必须假设你确切知道“标准”背景噪声（中微子）的行为。如果你关于背景的假设是错误的，你可能会误以为发现了一种新粒子，而实际上并没有。

作者表明，他们的方法允许他们同时独立地测试两件事：

1. 背景噪声是否表现异常？（中微子相互作用中是否存在新物理？）
2. 是否存在来自新粒子的尖锐峰值？（是否存在轴子？）

他们证明了这两项测试不会相互干扰。这就像在检查房间里是否空无一人的同时，检查灯光是否在闪烁。你可以以高度的信心同时完成这两项检查。

总结

简而言之，这篇论文教导我们如何观察粒子碰撞的模糊照片，并在无需摄影师秘密笔记的情况下，通过数学手段将其锐化。通过这样做，他们利用可用的最大数据集来搜寻 QCD 轴子。虽然他们没有发现它，但他们推进了该粒子可能藏身之处的边界，使搜寻这一难以捉摸的粒子变得更加精确。他们还表明，该技术可作为一种“双重探针”，以两种不同的方式同时测试新物理。

技术摘要

技术摘要：$B^+ \to K^+ \nu\bar{\nu}$ 衰变作为 QCD 轴子搜寻的研究

问题陈述
QCD 轴子和类轴子粒子（ALPs）是为了解决强 CP 问题并作为暗物质候选者而提出的假设性轻赝标量态。虽然通用 ALPs 通常在对撞机实验中被搜寻，但 QCD 轴子面临一个特定挑战：其质量（$m_a$）与衰变常数（$f_a$）成反比，这意味着对于理论驱动的 QCD 轴子而言，其质量极小（$m_a \simeq 0$）且耦合极弱。因此，轴子将在重介子衰变中表现为缺失能量和动量。

Belle II 实验利用两种不同的标记策略测量了稀有衰变 $B^+ \to K^+ \nu\bar{\nu}$：强子标记分析（HTA）和包容性标记分析（ITA）。虽然 ITA 提供了主导的统计灵敏度，但它并不直接重建真实的双中微子不变质量平方（$q^2$）。相反，它利用源自标记侧运动学的代理变量 $q^2_{\text{rec}}$。将此类公开数据重新诠释用于轴子搜寻的一个关键障碍，在于缺乏真实 $q^2$ 与重建 $q^2_{\text{rec}}$ 之间模型无关的映射关系，而该关系此前仅能通过 Belle II 的内部模拟获得。

方法论
作者引入了一个模型无关的框架，以重新诠释 Belle II 公开数据，用于搜寻 $B^+ \to K^+ a$（其中 $a$ 代表轴子或 ALP）。该方法的核心包含三个技术组成部分：

1. 解析运动学重建：论文证明，真实变量 $q^2$ 与代理变量 $q^2_{\text{rec}}$ 之间的映射可以仅从运动学原理中解析推导出来，而无需依赖非公开的实验模拟。通过定义 $B\bar{B}$ 静止系与 $B$ 静止系之间的关系，作者推导出了一个显式方程（公式 4），将 $q^2_{\text{rec}}$ 与 $q^2$ 以及未测量的极角 $\theta^{**}$ 联系起来。这使得构建“展宽函数” $f_{q^2_{\text{rec}}}(q^2)$ 成为可能，该函数描述了单色轴子信号（固定 $q^2 = m_a^2$）在 $q^2_{\text{rec}}$ 谱中的分布情况。
2. 双探针似然分析：作者利用 ITA 和 HTA 分析的公开数据构建了似然比检验统计量。该分析同时拟合两个参数：
   • 奇异二体衰变的分支比 $\mathcal{B}(B^+ \to K^+ a)$。
   • 标准模型（SM）$B^+ \to K^+ \nu\bar{\nu}$ 过程的信号强度参数 $\mu_{\nu\bar{\nu}}$。
     这种分离确保了影响 $b \to s \nu\bar{\nu}$ 振幅的潜在短距离新物理不会被人为地吸收到轴子信号限制中。
3. 系统不确定性处理：该分析将选择效率和背景归一化作为干扰参数纳入。作者通过复现 Belle II 合作组关于 SM 信号强度的轮廓似然函数，验证了其程序，确认其对背景不确定性的处理捕捉到了主要的系统效应。

主要贡献

• 解析映射：仅从运动学原理推导 $q^2 \to q^2_{\text{rec}}$ 映射，使得无需内部模拟数据即可利用高统计量的 ITA 数据集进行轴子搜寻。
• 模型无关的重新诠释：一种将对撞机稀有衰变数据重新诠释用于轻不可见态的通用策略，适用于 QCD 轴子和通用 ALPs。
• 双探针确立：证明了 $B^+ \to K^+ \nu\bar{\nu}$ 通道充当双探针，同时约束短距离新物理（通过 $\mu_{\nu\bar{\nu}}$）和轻不可见态（通过 $\mathcal{B}(B^+ \to K^+ a)$），且这两种效应在极好的近似下保持统计独立。

结果
将该框架应用于 Belle II 数据得出以下结果：

• 分支比限制：该分析设定了 $B^+ \to K^+ a$ 分支比的最强现有界限。对于无质量轴子（$m_a \simeq 0$），联合限制为 $\mathcal{B}(B^+ \to K^+ a) < 1.4 \times 10^{-6}$（假设 $\nu\bar{\nu}$ 取 SM 值）或 $< 1.2 \times 10^{-6}$（允许 $\mu_{\nu\bar{\nu}}$ 浮动）。这比现有界限提高了约九倍。
• 耦合约束：这些分支比限制转化为对耦合重标度的 Peccei-Quinn 能标的下限，即 $|(F_V)_{sb}| \equiv 2f_a / |(k_V)_{sb}|$。联合分析得出 $|(F_V)_{sb}| > 7.6 \times 10^8 \text{ GeV}$（固定 $\mu$）或 $> 8.0 \times 10^8 \text{ GeV}$（浮动 $\mu$）。这代表比先前界限提高了一个数量级。
• 质量无关性：对于 QCD 轴子，限制在质量 - 耦合参数空间中表现为 essentially 垂直的约束。由于轴子质量在对撞机尺度上可忽略不计，对味改变耦合 $(k_V)_{sb}$ 的约束与 $m_a$ 无关。
• 稳健性：轴子分支比的限制被证明在很大程度上对关于双中微子信号强度 $\mu_{\nu\bar{\nu}}$ 的假设不敏感，即使存在对 $B \to K \nu\bar{\nu}$ 振幅的巨大超出标准模型贡献。

意义
该论文声称，这项工作建立了一条稳健、可复现且模型无关的途径，利用现有高亮度对撞机的公开数据搜寻轻不可见粒子。通过解析重建运动学映射，作者绕过了对内部探测器模拟的需求，从而实现了稀有衰变搜寻重新诠释的民主化。结果提供了迄今为止对 QCD 轴子与 $b$ 和 $s$ 夸克之间基本味改变耦合的最严格约束，有效地排除了对撞机可及味物理背景下 QCD 轴子参数空间的重要部分。此外，该方法为未来在其他 Belle II 通道（如 $B^+ \to K^{*+} \nu\bar{\nu}$）中的搜寻提供了通用模板。