[論文レビュー] 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

ひとこと要約

本稿では、代数的キャンセレーションにより非因果的（H-表面）特異点を除去することで、明示的な因果性と数値的安定性を保証する、多ループフェニマン積分の新規表現である Manifestly Causal Loop-Tree Duality (cLTD) を導入する。この手法は再帰的残留評価を通じて偽の極を体系的に除去し、物理的（E-表面）閾値のみを有する木型に類似た被積分関数の和を生成する。同時に元の4次元紫外線（UV）挙動を保持し、共通部分式の最適化により効率的な数値評価を可能にする。

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.

研究の動機と目的

• 紫外領域付近における非因果的閾値特異点（H-表面）に起因するLTDにおける数値的不安定性を解消すること。
• 一般多項式分母を有する任意の多ループ・マルチスケールフェニマン図において、偽特異点を体系的かつアルゴリズム的に除去する手続きを提供すること。
• 各項の和としての表現において、被積分関数の元の4次元紫外線（UV）挙動を維持することにより、UV忠実なスケーリングを保証すること。
• cLTDが局所的にLTDおよび時序摂動理論（TOPT）と同等であるが、より優れた数値的安定性と最適化された計算複雑度を有することを示すこと。

提案手法

• 除法差分を用いた再帰的代数的キャンセレーション手順を導出し、各双対被積分関数からH-表面特異点を体系的に除去する。
• ループごとの反復的残留統合を実行し、各段階での分子評価を一般化された極限および差分記法で追跡する。
• cLTD表現を、分母にE-表面特異点のみを含む項の和として構築し、明示的な因果性を保証する。
• 最終被積分関数を、物理的閾値のみを有する有理関数の和として表すために、残留定理に基づく再帰的構造を用いる。
• 項の数の指数的増加を緩和するために、分子および分母における共通部分式を特定・再利用することで、数値的評価を最適化する。
• 図のトポロジーを解析し、複数形式（Mathematica, FORM, YAML, pickle）でcLTD式を出力する完全自動化コード生成ツール（cLTD.py）を実装する。

実験結果

リサーチクエスチョン

• RQ1 任意の多ループ図および多項式分母を有する場合に対し、LTDにおける非因果的H-表面特異点を、一般化可能で体系的な方法で代数的にキャンセル可能か？
• RQ2 得られるcLTD表現が、各個々の和項において元の4次元被積分関数の紫外線スケーリング挙動を保持するか？
• RQ3 cLTDの計算複雑度はプロパゲーター数にどのように依存するか？また、数値最適化により効率的に緩和可能か？
• RQ4 cLTD表現は、元のLTDおよび時序摂動理論（TOPT）の式と局所的に同等か？それらの閾値構造はどのように比較できるか？
• RQ5 任意のフェニマン図トポロジーに対して、信頼性の高いcLTD式を生成する自動化コード生成パイプラインを構築可能か？

主な発見

• cLTD表現は、代数的キャンセレーションにより、非因果的（H-表面）特異点をすべて除去し、物理的（E-表面）閾値のみを有する明示的因果的表現を実現する。
• cLTD表現の各項は、元の4次元紫外線（UV）スケーリング挙動を保持しており、全振幅が紫外領域でUV有限かつ数値的に安定であることを保証する。
• 本手法は、LTDにおける双対キャンセレーションの一般的証明を、明示的に代数的にキャンセレーション機構を構築することで達成する。
• 非因果的閾値付近では、cLTDの数値的評価はLTDに比べて著しく安定しており、特に紫外領域で顕著である。これは偽の極が存在しないためである。
• プロパゲーター数の増加に伴い項の数が指数的に増加するが、分子および分母における共通部分式の特定・再利用により、計算複雑度が効果的に管理される。
• cLTD.pyコードジェネレータは、ペントアボックスやスンライズなどの1ループおよび2ループ図を含む、さまざまなトポロジーに対して正しくcLTD式を生成し、Mathematica や FORM などの標準計算ツールと互換性を持つ出力を得ている。