Precision predictions for trilinear scalar couplings and Higgs pair production in models with extended scalar sectors

本文总结了在扩展标量扇区模型中计算三线性标量耦合和希格斯玻色子对产生的精确预测方面的最新理论进展，这些进展对于在（高亮度）大型强子对撞机上重建希格斯势并探测超出标准模型的物理至关重要。

要点

想象宇宙建立在一个名为“希格斯势”的巨大、不可见的景观之上。将这一景观想象成一个碗或山谷。这个碗的形状决定了粒子如何获得质量，以及宇宙在大爆炸之后即刻的行为方式。

本文的作者 J. Braathen 是一位科学家，他试图弄清楚这个碗的确切形状。为什么？因为如果这个碗的形状与我们预期的（即标准模型）不同，那就意味着有新的、隐藏的物理学等待被发现。

以下是使用简单类比对该论文主要观点的分解：

1. 目标：绘制不可见碗的地图

为了理解这个“碗”的形状，科学家需要测量其表面上的特定点。其中一个最重要的点是希格斯粒子如何与自身相互作用。

• 类比：想象希格斯粒子是一个在碗中滚动的球。“三线性耦合”（一个复杂的数学术语）就像测量当球撞击自身时，它撞击碗壁的力度有多大。
• 问题：在旧有的、简单的物理学版本（标准模型）中，我们确切地知道那个撞击力应该是多大。但在更新的、更复杂的理论（超越标准模型模型）中，碗可能会有额外的凸起或曲线。这会改变“撞击力”。
• 本文的贡献：作者构建了更精确的“尺子”（数学工具），以极高的精度测量这种撞击力，其中包括了能够解释微小、不可见量子效应的修正项。

2. 工具："anyH3"和"anyHH"

为了进行这种测量，作者开发了两款数字工具（软件），它们就像高科技的测量设备。

• anyH3：将其想象为一种测量碗内“撞击力”（三线性耦合）的工具。它可以处理任何形状的碗，即使碗有额外的隐藏层（扩展标量扇区）。
• anyHH：该工具模拟当两个希格斯粒子同时产生时会发生什么（就像将两个球撞在一起）。它计算这种情况发生的频率以及 resulting 模式看起来如何。
• 创新点：这些工具是“自动化”的。科学家不再需要为每一个新理论花费数年手工进行数学计算，这些工具可以立即计算出科学家想要测试的任何新模型的结果。

3. 发现：为什么“圈图修正”很重要

该论文表明，如果只使用基础的、简单的数学（称为“树图级”），你可能会得到错误的答案。你需要包含“圈图修正”。

• 类比：想象你试图预测一艘船在河流中的路径。
  • 树图级：你只观察水流和风向。
  • 圈图修正：你还考虑了微小的漩涡、其他船只留下的尾迹以及水与船体之间的摩擦。
• 结果：在论文的示例中，忽略这些微小的“漩涡”（量子圈图）完全改变了预测。
  • 在一种情景下，简单的数学说：“我们无法区分新理论与旧理论。”
  • 但当作者加入“圈图修正”后，预测发生了剧烈变化。突然间，新理论看起来与旧理论非常不同，使其易于识别。
  • “翻转”：在某些情况下，加入这些修正不仅改变了效应的大小；它甚至翻转了符号（就像将山丘变成山谷）。这改变了科学家在探测器中看到的整个信号形状。

4. 大局观

该论文认为，要在大型强子对撞机（LHC）上发现新物理学，我们不能依赖粗略的估算。我们需要这些超精确的、自动化的计算。

• 如果我们使用旧的、粗略的数学，我们可能会错过新的发现，或者误以为发现了实际上并不存在的东西。
• 通过使用新工具（anyH3 和 anyHH）并包含复杂的“圈图”修正，科学家可以准确预测，如果宇宙拥有一个“扩展”的希格斯扇区，探测器应该看到什么。

总结：作者构建了更好的、自动化的计算器，用于测量宇宙能量景观的形状。他们证明，如果你忽略微小的、复杂的量子细节（即“圈图”），你对景观的地图将是错误的，你可能会错过毕生一次的发现。

技术摘要

以下是 J. Braathen 所著论文《扩展标量扇区模型中三线性标量耦合与希格斯对产生的精确预测》的详细技术总结。

1. 问题陈述

重建希格斯势的形状是当前及未来对撞机（如高亮度大型强子对撞机 HL-LHC）的主要目标，旨在理解电弱相变并寻找超出标准模型（BSM）的物理。

• 核心挑战：希格斯玻色子的三线性自耦合（$\lambda_{hhh}$）及通用的三线性标量耦合（$\lambda_{ijk}$）决定了希格斯势的形式。在具有扩展标量扇区的模型中，来自 BSM 标量的辐射修正会导致这些耦合值相对于标准模型（SM）值发生显著偏离。
• 差距：目前对比率 $\kappa_\lambda \equiv \lambda_{hhh}/\lambda_{hhh}^{SM}$ 的实验限制源自双希格斯产生搜索。然而，解释这些限制需要精确的理论预测。现有分析往往依赖树级耦合或不完整的圈图修正，这可能导致关于 BSM 情景排除或发现的错误结论。具体而言，共振与非共振产生图之间的干涉对这些耦合的精确值高度敏感。

2. 方法论与工具

本文聚焦于在 anyBSM 框架内自动化三线性耦合及希格斯对产生的高精度计算。

• anyH3（三线性耦合）：

  • 该工具最初设计用于 $\lambda_{hhh}$ 的全单圈计算，现已扩展为能够计算由 UFO 文件定义的模型中任意三线性耦合（$\lambda_{ijk}$）的单圈值。
  • 它纳入了广义可重整理论中任意标量的三线性及四线性自耦合的完整双圈结果。
  • 该方法利用费曼图的对称性质简化计算，并针对存在大 BSM 偏离的情景应用有效场论（EFT）技术以包含高阶修正。

• anyHH（希格斯对产生）：

  • 这是 anyBSM 框架内的一个新模块，旨在计算如 $gg \to h_i h_j$ 等过程的总截面及微分不变质量分布（$m_{hh}$）。
  • 关键特性：
    • 包含所有非共振和共振贡献（适用于任意数量的共振标量）。
    • 实现了所有相关三线性标量耦合的完整单圈修正。
    • 考虑了 $s$ 道图中的单圈传播子修正。
    • 处理了三线性耦合的完整动量依赖性。
  • 局限性：目前仅限于不含额外色粒子的模型。

3. 主要贡献

1. 高精度计算的自动化：anyH3 和 anyHH 的开发与扩展，使得在具有扩展标量扇区的 BSM 模型中能够系统性地包含单圈和双圈辐射修正，超越了树级近似。
2. 圈图修正影响的实证：论文提供了具体证据，表明三线性耦合的圈图修正不仅仅是微小的微扰，而是能剧烈改变唯象预测。
3. 动量依赖性分析：研究考察了在耦合中使用动量依赖的形式因子与使用固定值相比所产生的影响。
4. 双圈集成：该工作展示了将双圈修正耦合与希格斯对产生计算进行接口的过程，证明了高阶项对于可靠预测的必要性。

4. 主要结果

论文在**SM 实单态扩展（RxSM）和二希格斯二重态模型（2HDM）**中提出了基准情景，以说明这些效应的幅度：

• 显著的截面变化：

  • 在 RxSM 基准中，对 $\lambda_{ijk}$ 包含单圈修正后，总截面从树级的 19.6 fb 降至单圈的 9.8 fb。
  • 在 2HDM 对齐极限下，由于干涉模式的改变，从树级耦合过渡到单圈耦合时，总截面大约增加了一倍。

• 运动学分布的改变：

  • 干涉模式：圈图修正改变了盒图与三角图之间的干涉。例如，在 RxSM 中，$\lambda_{hhH}$ 耦合的符号翻转将重希格斯质量（$m_H$）附近的共振结构从“峰 - 谷”变为“谷 - 峰”结构。
  • 共振位移：在 2HDM 中，由圈图诱导的非零 $\lambda_{hhH}$ 值（在对齐极限下树级为零）在 $m_{hh} \approx m_H$ 附近引入了树级预测中缺失的共振峰。

• 对发现潜力（$Z_{hh}$）的影响：

  • 区分 BSM 情景与 SM 的统计显著性（$Z_{hh}$）对所用微扰论阶数高度敏感。
  • RxSM 示例：使用树级耦合得到的 $Z_{hh} = 0.1$（无灵敏度），而使用单圈修正耦合得到的 $Z_{hh} = 9.4$（远高于 $5\sigma$ 发现阈值）。这意味着忽略圈图修正可能导致错失发现或错误排除有效模型。

• 双圈效应：

  • 虽然双圈修正未定性改变微分分布的形状，但它们产生了显著的数值影响。在 2HDM 示例中，与单圈结果相比，双圈修正进一步增加了 $\kappa_\lambda$ 的偏离，并使总截面额外减少了约 37%，这主要是由于 $\lambda_{hhH}$ 的幅度减少了约 30%。

• 动量依赖性：

  • 在 2HDM 情景中包含耦合的动量依赖性导致总截面减少了约 20%，但对微分 $m_{hh}$ 分布的形状影响极小。

5. 意义

• 精度的必要性：结果确凿地证明，树级预测不足以解释 HL-LHC 关于希格斯对产生的数据。为了获得可靠的唯象学，必须至少包含单圈，理想情况下应包含双圈 BSM 辐射修正。
• 势的重建：精确重建希格斯势需要精确了解 $\lambda_{ijk}$。文中展示的工具（anyH3、anyHH）提供了必要的架构，能够将实验限制映射回 BSM 理论的基本参数。
• 发现与排除：基于计算阶数的统计显著性（$Z_{hh}$）的巨大转变凸显了如果理论预测缺乏所需精度，当前的实验限制可能会被误读。这项工作为双希格斯分析中的理论输入确立了新标准。