Neural S-matrix bootstrap II: solvable 4d amplitudes with particle production

技术摘要：神经 S-矩阵自举 II：具有粒子产生效应的可解 4d 振幅

问题陈述
本研究致力于非微扰地构建包含粒子产生的四维量子场论中的 $2 \to 2$ 散射振幅。作者专注于一类由“两粒子递归可约”（2PRR）图定义的特定振幅。这些图可以通过重复切割两条内线，最终被简化为单个顶点。虽然微扰论通过费曼图来定义这些图，但作者寻求一种不显式求和这些图，同时满足幺正性和交叉对称性的非微扰解。

核心挑战在于求解耦合的非线性积分方程（Atkinson–Mandelstam 自举方程），该方程将单谱密度与双谱密度联系起来。以往的方法（例如迭代不动点法）在强耦合下往往难以收敛，或者无法捕捉到正确的高能（Regge）行为。此外，在 S-矩阵自举文献中存在一种张力：即极值解（倾向于弹性散射）与 Aks 定理之间的张力；后者指出，在 $d > 2$ 的情况下，非平凡散射必然伴随着粒子产生。

方法论
作者将自举问题重新表述为一个基于物理信息的优化任务，即使用神经网络（PINNs）。

1. 形式化： 振幅 $T(s,t)$ 通过一次减法的 Mandelstam 表示进行表述，其特征由减法常数 $c_0$、单谱密度 $\rho(s)$ 和双谱密度 $\rho(s,t)$ 决定。

   • 2PRR 定义： 作者通过令多粒子双不连续性 $\rho_{MP}(s,t)$ 以及相关的单谱非弹性 $\eta_{MP}(s)$ 为零来定义 2PRR 振幅。完整的双不连续性为 $\rho(s,t) = \rho_{el}(s,t) + \rho_{el}(t,s)$，其中 $\rho_{el}$ 满足 Mandelstam 方程（强制执行 $J>0$ 时的弹性幺正性）。
   • $J=0$ 幺正性： 一个独立的条件用于强制执行自旋-0 部分波的幺正性，将单谱密度与非弹性 $\eta_0$ 联系起来。

2. 神经网络架构：

   • 两个网络 $NN_\rho$ 和 $NN_{DDisc}$ 分别参数化单谱密度和双谱密度。
   • 输入表示： 为了处理广泛的能量尺度（从阈值到紫外端 UV），输入以线性形式 ($x, y$) 和对数形式 ($\log x, \log y$) 同时提供。
   • 结构： 网络利用针对不同运动学区域（低能、混合能量、渐近区）的并行子网络，并通过交织层进行合并。
   • 约束： 架构硬编码了已知的物理性质，例如 $\rho(s,t)$ 在领先 Landau 曲线之上的支撑集，以及 $\rho(s,t)$ 在 Mahoux–Martin 区域内的正定性。

3. 优化策略：

   • 幺则方程被转化为一个损失泛函 $\mathcal{L}$，它是违反 Mandelstam 方程、自旋-0 幺正性和非弹性幺正性（$|S_J| \le 1$）的惩罚项的加权和。
   • 梯度混合： 为了处理不同约束的数值规模差异，作者采用了一种梯度混合策略，其中单谱网络和双谱网络的更新主要由各自的主导损失项驱动，并带有受控的交叉耦合。
   • 训练： 过程采用阶段性方法，从稀疏网格和低能量截止（$10^8 m^2$）开始，逐步细化为更密的网格和更高的截止（$10^{16} m^2$），以确保紫外完备性。

主要贡献与结果

1. 2PRR 振幅的数值构建：

   • 作者成功构建了一个对于耦合 $0 \le c_0 \lesssim 44\pi$ 的一参数族 2PRR 振幅。
   • 涌现的 Regge 行为： 解表现出稳定的非微扰 Regge 极限。在 Regge 极限（$s \to \infty, t$ 固定）下，振幅趋于一个常数，这与 $J=0$ 的 Regge 极点一致。
   • 固定角度衰减： 在高能及固定角度下，振幅按 $1/\log s$ 衰减，这与 $\phi^4$ 理论中负耦合的运行一致。
   • 透明性： 部分波 $S_J(s)$ 在 $s \to \infty$ 时趋于 1，表明尽管在中等能量处存在显著的非弹性，但在高能下散射变得透明。

2. 粒子产生与非弹性：

   • 2PRR 振幅自然表现出显著的粒子产生，特别是在四粒子阈值（$s=16m^2$）附近。
   • 非弹性随耦合 $c_0$ 的增加而增长。作者观察到最大非弹性的幂律增长，暗示存在一个临界耦合，使得 $S$ 波变为纯非弹性。

3. Aks 屏蔽（Aks Screening）：

   • 作者扩展了该框架，将多粒子数据 ($\rho_{MP}$) 处理为动力学变量而非固定输入。
   • 他们证明，通过调节 $\rho_{MP}$，可以抑制低自旋部分波中的粒子产生（例如，强制执行 $|S_0|=1$ 或 $|S_2|=1$）。他们将此现象称为“Aks 屏蔽”。
   • 屏蔽的代价： 抑制非弹性会驱动振幅向半正定自举研究中发现的极值解靠拢。然而，这要求 $\rho_{MP}$ 变得极大且高度振荡。作者提供的界限显示，$\rho_{MP}$ 的量级必须随被屏蔽自旋数 ($J_{max}$) 的增加呈指数级增长。

4. 与半正定自举的一致性：

   • 通过将从 2PRR 解中提取的非弹性剖面注入标准的半正定自举（原问题）设置中，作者展示了自举过程能够恢复相同的低能可观测量和 Regge 行为，从而验证了两种方法的相容性。

意义与主张
本文声称提供了第一个关于具有粒子产生效应且完全紫外完备并表现出涌现 Regge 行为的 Atkinson–Mandelstam 自举的数值解。

• 超越微扰： 结果揭示了非微扰特征（如特定的对数衰减和 Regge 化），这些特征在定阶微扰论或仅关注低能可观测量的方法中是不可见的。
• 变分多粒子数据： 一个概念性的创新是将多粒子数据视为动力学自由度。这允许探索一致振幅的全空间，并提供了一种机制（Aks 屏蔽），用以调和粒子产生现象的存在与“弹性”性质的极值自举解之间的关系。
• 局限性： 作者指出，对于耦合 $c_0 \gtrsim 44\pi$，数值优化无法收敛到 Regge 化解；对于 $c_0 > 56\pi$，未发现收敛解。他们将其解释为当前数值极限的经验观察，或者是 2PRR 类别的物理边界，而非确定性的排除。

这项工作在通过费曼图（通过 2PRR 类）体现的详细解析结构与 S-矩阵自举的公理约束之间建立了一座桥梁，为探索一致量子场论的空间提供了一种新工具。