[論文レビュー] Pentagon diagrams of Bhabha scattering

J. Fleischer, J. Gluza+2 more|DESY (CERN, DESY, Fermilab, IHEP, and SLAC)|Oct 26, 2007

Particle physics theoretical and experimental studies被引用数 11

ひとこと要約

本稿では、2ループBhabha散乱における5点型テンソル積分に対して、修正されたCayley行列式の符号付き小行列を用いて、ランク2テンソル5点関数をスカラー4点および3点関数に体系的に還元するテンソル還元スキームを提示する。主な貢献は、分母における誤ったGram行列式の極をキャンセルすることにより、さもなければ数値的に不安定な振幅の安定した数値的評価を可能にすることにある。

ABSTRACT

We report on tensor reduction of five point integrals needed for the evaluation of loop-by-loop corrections to Bhabha scattering. As an example we demonstrate the calculation of the rank two tensor integral with cancellation of the spurious Gram determinant in the denominator. The reduction scheme is worked out for arbitrary five point processes.

研究の動機と目的

• Bhabha散乱振幅における逆Gram行列式に起因する5点型テンソル積分の数値的不安定性を解消すること。
• ランク2テンソル5点関数を低次元スカラー積分に体系的に還元するスキームを構築すること。
• 代数的キャンセルを通じて、Gram行列式に関連する分母上の誤った極を除去すること。
• 任意の5点型過程に一般化可能な、量子場理論におけるフレームワークを提供すること。
• 自動化ツールを用いて、Bhabha散乱における2ループ補正の堅牢な数値的評価を可能にすること。

提案手法

• 修正されたCayley行列式およびその符号付き小行列を用いて、テンソル積分をコンactかつ代数的に安定な形に表現する。
• Passarino-Veltmanおよび[14–16]の一般化された恒等式に基づく再帰的還元スキームを適用して、5点型テンソル積分を分解する。
• 行列式 $ \texttt{(00)}_5 $ 及びその小行列を用いた恒等式を用いて、分母における誤ったGram行列式の極をキャンセルする。
• ランク2テンソル積分の還元におけるスカラー4点および3点関数の係数の明示的表現を導出する。
• ランク3までのテンソル5点関数の自動還元を実装したMathematicaパッケージを構築する。
• LoopTools、セクタ分解、Mellin-Barnes表現との数値的クロスチェックを通じて、結果の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 誤ったGram行列式の極を伴う5点型テンソル積分を、低次元スカラー積分に体系的に還元する方法は何か？
• RQ2 テンソル還元の過程で分母のGram行列式がキャンセル可能となる代数的構造は何か？
• RQ3 修正されたCayley行列式の符号付き小行列を用いて、任意の5点型過程に一般化可能な還元スキームを構築できるか？
• RQ4 得られた式を、2ループBhabha散乱において数値的に安定かつ自動化可能に実装するにはどうすればよいか？
• RQ5 対称性および行列式の恒等式は、還元式の整合性と正しさを保証するために果たす役割は何か？

主な発見

• 分母の誤ったGram行列式は、符号付き小行列と行列式の恒等式の組み合わせにより、うまくキャンセルされた。
• ランク2テンソル5点積分の還元は、符号付き小行列から導かれる係数を有するスカラー4点および3点関数の和として表現される。
• 係数 $ X_{ij}^{s} $ および $ X_{ij}^{st} $ の明示的表現が導出され、対称性が保たれるとともに、分母の $ ()_5 $ 項がキャンセルされる。
• テンソル積分の最終形は $ I_{5}^{ ueta} = \big(\text{terms in } q^ u q^eta\big) + E_{00} g^{ ueta} $ であり、$ E_{00} $ はスカラー積分で表される。
• LoopTools、セクタ分解、Mellin-Barnes法との比較を通じて、実装済みのMathematicaパッケージが正当性および数値的安定性を確認した。
• 本手法は一般化可能であり、Bhabha散乱に限らず、任意の5点型過程に適用可能である。