[论文解读] Combinatorial aspects in the one-loop renormalization of higher derivative theories

Christian F. Steinwachs|arXiv (Cornell University)|Sep 2, 2019

Cosmology and Gravitation Theories参考文献 36被引用 4

一句话总结

本文提出一种组合算法，通过避免显式张量收缩，高效计算高阶导数量子场论中的一圈反项。通过利用源自对称张量积的组合系数，该方法显著减少计算机代数系统中的计算爆炸，实现对高秩真空张量积分复杂图的可扩展重整化——尤其适用于伽利略子及其他高阶导数模型。

ABSTRACT

An efficient way to calculate one-loop counterterms within the Feynman diagrammatic approach and dimensional regularization is to expand the propagators in the integrands of the Feynman integrals around vanishing external momentum. In this way, a generic one-loop diagram is reduced to a sum of vacuum diagrams. The logarithmically divergent part can be extracted by power counting arguments. In case of higher derivative theories, the standard implementation of this procedure on a computer algebra system can become quickly inefficient due to a high proliferation of terms coming from the intermediate replacement of high-rank tensor-integrals with symmetrized product of metric tensors. In this note we present a simple combinatorial solution to this problem which makes the implementation much more efficient. This method is especially relevant in the renormalization of higher derivative theories, but might as well be integrated as a standard routine in existing computer algebra programs designed to automatize Feynman diagrammatic calculations.

研究动机与目标

• 解决高阶导数场论中因张量收缩爆炸导致的一圈反项计算效率低下的问题。
• 开发一种系统方法，无需显式张量代数即可计算真空张量积分的对数发散部分。
• 利用组合系数实现高阶导数理论中费曼图计算的可扩展自动化。
• 提供一种可推广的框架，适用于标量、旋量和矢量场，且具有多种质量。
• 将该方法作为标准例程集成到现有计算机代数程序中，用于自动化圈图计算。

提出的方法

• 在外部动量趋于零时展开费曼积分中的传播子，将图简化为真空张量积分。
• 利用幂计数法分离对数发散部分，其表达为度量张量的对称张量积形式。
• 引入组合系数 $ B_k $，其来源于将张量积分的总秩划分为对称不变量。
• 定义 $ B_k = C_k / P_\nu(4) $，其中 $ C_k $ 计数张量收缩的对称性，$ P_\nu(4) $ 为维度多项式。
• 通过显式例子（如表5）将该方法应用于标量理论，展示划分 $ k \to (\rho_{11}, \rho_{12}, \rho_{22}) $ 如何生成发散结构。
• 通过修改运动学不变量和组合权重，将形式化推广至非零自旋和多重质量情形。

实验结果

研究问题

• RQ1 如何在一圈计算中最小化高秩真空积分的张量收缩计算成本？
• RQ2 高秩度量张量在真空张量积分中对称收缩的组合结构是什么？
• RQ3 能否在不使用显式张量代数的情况下，为一圈积分的发散部分导出闭式表达式？
• RQ4 该方法在高阶导数理论中随外部腿数和圈动量增加时的可扩展性如何？
• RQ5 该算法在多质量场和自旋场中的推广程度如何？

主要发现

• 该方法通过使用组合系数 $ B_k $ 避免显式张量收缩，显著降低高秩积分中的计算复杂度。
• 对于具有 $ g_3^3 $ 耦合的三圈标量图，发散部分计算结果为 $ iI^{\text{div}} = -i\frac{432g_3^3}{(4\pi)^2\varepsilon} \left[ \cdots \right] $，明确展示了 $ q_1^2, q_1\cdot q_2, q_2^2 $ 的发散结构。
• 在壳条件下（$ k_1^2 = k_2^2 = 0 $）发散振幅为零，证实与运动学约束的一致性。
• 该算法具有通用性，适用于伽利略子模型等高阶导数理论，标准方法因高秩张量结构而失效。
• 该方法具有可扩展性，可作为标准例程集成到 FeynCalc 或 QCDLoop 等计算机代数系统中。
• 组合系数 $ B_k $ 源自对称张量划分，在 $ \varepsilon $-正则化方案中与时空维度无关。