Four-loop electron EDM matching and timelike $\tau$ electric dipole form factor

技术摘要：四圈电子 EDM 匹配与时域 $\tau$ 电偶极形式因子

问题陈述
电偶极矩（EDM）是探测轻子相互作用中 CP 破坏的精密探针。虽然静态电子 EDM 搜索通过辐射效应约束重轻子源，但通过 $e^+e^- \to \tau^+\tau^-$ 碰撞直接测量 $\tau$ 时域电偶极形式因子，可以获取该形式因子的实部和虚部（吸收部分）。为了对这些信号进行一致的解释，需要一个统一的框架，将静态电子 EDM 与时域 $\tau$ 偶极形式因子联系起来，特别是当新物理涉及 CP 破坏的标量-伪标量媒介子时。

在媒介子质量大于碰撞能量但小于电弱标度的场景中，其效应由低能有效场论（EFT）描述。该 EFT 包含一个 CP 破坏的四-$\tau$ 算符（八维）和一个 $\tau$ 偶极算符（六维）。虽然四-$\tau$ 算符是由媒介子在树级产生的，但 $\tau$ 偶极仅在单圈层面产生。因此，四-$\tau$ 相互作用会诱导一个具有非平凡动量依赖性和吸收部分的 $\tau$ 对切口（$\tau$-pair cut），而实的、局域的 $\tau$ 偶极无法重现这一特性。为了充分约束此类模型，必须计算四-$\tau$ 相互作用到电子 EDM 的四圈匹配，以及领先的时域 $\tau$ 形式因子，确保来自局域偶极和四-$\tau$ 源的贡献在相同的辐射阶数下得到一致处理。

方法论
作者在低能量子电动力学（QED）框架内进行计算，使用电子（$m_e$）和 $\tau$（$m_\tau$）的极质量以及在壳（OS）电荷 $e$。分析采用特定的辐射计数方案，其中局域 $\tau$ 偶极 $d_\tau$ 的阶数为 $O(e m_\tau C_{SP} / 8\pi^2)$，从而确保局域 $\tau$ 偶极与四-$\tau$ 圈贡献处于相同的源阶数。

1. 重整化群演化： 作者推导了威尔逊系数 $d_\tau(\mu)$ 和 $C_{SP}(\mu)$ 的一圈重整化群方程。他们求解这些方程，将系数表示在参考标度 $\mu_0 = m_\tau$ 处，并忽略高阶源项。
2. 时域形式因子计算： $\tau$ 电磁顶点被分解为若干形式因子。作者计算了重整化后的四-$\tau$ 圈对电偶极形式因子 $F_3(s)$ 的贡献，其中 $s > 4m_\tau^2$ 对应于 $\gamma^*(q) \to \tau^-(p_-) + \tau^+(p_+)$。这涉及评估泡图（bubble diagram）并确定由 $\tau$ 对切口产生的吸收部分。
3. 四圈电子 EDM 匹配： 核心计算涉及从 CP 破坏的四-$\tau$ 相互作用到电子 EDM 的四圈匹配。该过程使用维度正则化（$D = 4 - 2\epsilon$）和 Breitenlohner–Maison–'t Hooft–Veltman (BMHV) $\gamma_5$ 方案。
   • 瞬态算符（Evanescent Operators）： 为了正确处理 $\gamma_5$ 代数和算符混合，作者引入了瞬态算符（$E_1, E_2, E_3$）并确定其有限部分。这些算符的定义确保其重整化矩阵元不会对电子 EDM 系数 $d_e$ 产生贡献。
   • 图表源： 计算包含了所有相关的四圈源拓扑，特别是外部和内部光子划分（1+3 和 2+2）以及混合计数项。
   • 数值评估： 有限的无量纲积分（$I_{13}, I_{22}$）使用收敛参数积分进行数值评估。计算过程中使用了 FeynCalc 进行 Dirac 代数处理，LiteRed2 进行积分规约（IBP reduction），以及自定义的 Julia 代码进行数值积分。结果通过 FIRE6、pySecDec 以及高精度 Python/mpmath 集成进行了交叉验证。

主要贡献与结果

1. 四圈匹配系数（$B_{SP}$）： 作者计算了四-$\tau$ 相互作用对电子 EDM 的领先四圈贡献。结果通过系数 $B_{SP}$ 在诱导电子 EDM $\delta d_e$ 的表达式中表示。其值为：
   $$B_{SP} = I_{13} + I_{22} - \frac{19775}{41472} + \frac{\pi^4}{960} - \frac{11}{96}\zeta(3) \approx 6.104$$
   该计算重现了已知的三圈转移系数（$19\zeta(3)/4 - 71/24$），并将结果扩展到了包含四-$\tau$ 源的四圈层面。

2. 时域 $\tau$ 形式因子： 论文给出了时域 $\tau$ 电偶极形式因子 $F_3(s)$ 的显式表达式，其中包含一个正比于 $C_{SP}(m_\tau)$ 且带有对数依赖项及虚部（$i\pi\beta$）的项。该虚部代表了来自 $\tau$ 对切口的吸收信号。

3. 标度无关性： 研究表明，只要在 $\mu = m_\tau$ 处评估系数，四圈匹配结果和领先的时域形式因子在这一阶数下都是独立于减法标度 $\mu$ 的。

4. 唯象约束： 作者在实源系数 $d_\tau(m_\tau)$ 和 $C_{SP}(m_\tau)$ 的平面内分析了约束条件。

   • 电子 EDM 限制（例如来自 HfF+）约束了这些系数的一个线性组合，实际上是在 $\delta d_e = 0$ 的抵消线附近选择了一个狭窄的带状区域。
   • 然而，这种抵消并不会消除时域 $\tau$ 信号。$\tau$ 形式因子的吸收部分正比于 $C_{SP}$，无法通过实的局域偶极来抵消。
   • 因此，虽然电子 EDM 搜索允许两个源之间存在特定的抵消方向，但时域 $\tau$ 测量（特别是吸收部分）约束了这一原本开放的方向。

意义
本文建立了一个一致的 EFT 框架，将静态电子 EDM 搜索与存在 CP 破坏标量媒介子时的时域 $\tau$ 偶极测量联系起来。其主要意义在于证明，即使在电子 EDM 精确抵消的情况下，由于四-$\tau$ 算符的存在，时域 $\tau$ 对产生过程中的动量相关和吸收成分仍然是可观测的。这使得像 Belle II 和 STCF 这样的对撞机实验能够通过约束 CP 破坏源参数空间中的“抵消方向”，来补充静态 EDM 搜索，从而为第三代轻子的潜在 CP 破坏提供更完整的图景。