[论文解读] Manifestly Causal Loop-Tree Duality

Zeno Capatti, Valentin Hirschi+3 more|arXiv (Cornell University)|Sep 11, 2020

Particle physics theoretical and experimental studies参考文献 65被引用 11

一句话总结

本文提出显式因果环树对偶性（cLTD），一种多圈费曼积分的新表示方法，通过代数抵消消除非因果（H-曲面）奇点，确保显式因果性与数值稳定性。该方法通过递归留数计算系统性地消除虚假极点，得到仅含物理（E-曲面）阈值的树图类被积函数之和，同时保持原始四维紫外行为，并通过共享子表达式优化实现高效数值计算。

ABSTRACT

Loop-Tree Duality (LTD) is a framework in which the energy components of all loop momenta of a Feynman integral are integrated out using residue theorem, resulting in a sum over tree-like structures. Originally, the LTD expression exhibits cancellations of non-causal thresholds between summands, also known as dual cancellations. As a result, the expression exhibits numerical instabilities in the vicinity of non-causal thresholds and for large loop momenta. In this work we derive a novel, generically applicable, Manifestly Causal LTD (cLTD) representation whose only thresholds are causal thresholds, i.e. it manifestly realizes dual cancellations. Consequently, this result also serves as a general proof for dual cancellations. We show that LTD, cLTD, and the expression stemming from Time Ordered Perturbation Theory (TOPT) are locally equivalent. TOPT and cLTD both feature only causal threshold singularities, however LTD features better scaling with the number of propagators. On top of the new theoretical perspectives offered by our representation, it has the useful property that the ultraviolet (UV) behaviour of the original 4D integrand is maintained for every summand. We show that the resulting LTD integrand expression is completely stable in the UV region which is key for practical applications of LTD to the computation of amplitudes and cross sections. We present explicit examples of the LTD expression for a variety of up to four-loop integrals and show that its increased computational complexity can be efficiently mitigated by optimising its numerical implementation. Finally, we provide computer code that automatically generates the LTD expression for an arbitrary topology.

研究动机与目标

• 解决在紫外区域附近由环树对偶（LTD）中非因果阈值奇点（H-曲面）引起的数值不稳定性问题。
• 为任意多圈、多尺度费曼图（含一般多项式分子）提供一种系统化、算法化的虚假奇点消除程序。
• 构建一种表示方法，使每个求和项的被积函数均保持原始四维紫外行为，确保紫外保真性缩放。
• 证明cLTD在局部上等价于LTD与时间有序微扰理论（TOPT），但具有更优的数值稳定性与计算复杂度优化。

提出的方法

• 利用差商推导递归代数抵消程序，系统性地从每个对偶被积函数中消除H-曲面奇点。
• 采用逐圈迭代留数积分方法，通过广义极限与差分记号追踪每一步的分子求值。
• 将cLTD表示构造为各项之和，其分母仅含E-曲面奇点，确保显式因果性。
• 基于留数定理的递归结构，将最终被积函数表达为仅含物理阈值的有理函数之和。
• 通过识别并重用分子与分母中的公共子表达式，优化数值计算，缓解求和项数指数增长的问题。
• 实现一个完全自动化的代码生成器（cLTD.py），可解析图拓扑并输出cLTD表达式，支持多种格式（Mathematica、FORM、YAML、pickle）。

实验结果

研究问题

• RQ1 在具有多项式分子的任意多圈图中，LTD中的非因果H-曲面奇点能否以系统化、可推广的方式通过代数抵消消除？
• RQ2 所得到的cLTD表示是否保持每个独立求和项的原始四维被积函数的紫外缩放行为？
• RQ3 cLTD的计算复杂度如何随传播子数量增长？是否可通过数值优化有效缓解？
• RQ4 cLTD表示是否在局部上等价于原始LTD与时间有序微扰理论（TOPT）表达式？三者阈值结构如何比较？
• RQ5 能否构建一个可靠的自动化代码生成流水线，为任意给定费曼图拓扑生成cLTD表达式？

主要发现

• cLTD表示通过代数抵消完全消除了所有非因果（H-曲面）奇点，得到仅含物理（E-曲面）阈值的显式因果表达式。
• cLTD表达式中每一项均保持原始四维紫外缩放行为，确保整个振幅在紫外区域保持紫外有限且数值稳定。
• 该方法通过显式代数构造抵消机制，为环树对偶中的双重抵消提供了通用证明。
• 由于消除了虚假极点，cLTD在非因果阈值附近（尤其是紫外区域）的数值计算显著优于LTD，表现出更高的稳定性。
• 尽管求和项数随传播子数量呈指数增长，但通过识别并重用分子与分母中的公共子表达式，计算复杂度得到有效管理。
• cLTD.py代码生成器成功为多种图拓扑（包括一环与两环图如pentabox与sunrise图）生成正确的cLTD表达式，输出结果与Mathematica、FORM等标准计算工具兼容。