[論文レビュー] DIANA, a program for Feynman Diagram Evaluation

M. Tentyukov, J. Fleischer|ArXiv.org|May 31, 1999

Biofield Effects and Biophysics被引用数 5

ひとこと要約

DIANA は、テンソル還元と代数的記号処理を用いて、量子場の理論におけるフェ Feynman 図の自動評価を実行する C 言語で記述されたプログラムである。このプログラムは、仮想粒子や正規化を含む過程に特化した高エネルギー物理学の現象論における高精度計算を可能にし、標準模型の精度テストへの応用がある。

ABSTRACT

A C-program DIANA (DIagram ANAlyser) for the automatic Feynman diagram evaluation is presented.

研究の動機と目的

• 量子場の理論における複雑なフェ Feynman 図の評価を、堅牢かつ自動化されたツールとして開発すること。
• 仮想粒子やループ補正を含む過程に特化した、高エネルギー物理学の現象論における精度計算を支援すること。
• テンソル還元と記号的代数技術を統合することで、散乱断面積の計算を簡素化すること。
• 理論粒子物理学の研究者にとって使いやすく、効率的で拡張可能なプログラムを提供すること。
• 標準模型およびその拡張における文脈で、図の自動評価を促進すること。

提案手法

• プログラムは、フェ Feynman 振幅におけるローレンツおよびディラック構造を操作する記号的代数エンジンを実装している。
• 高ランクのローレンツテンソルを基本的なスカラー積分に展開するためのテンソル還元技術を用いている。
• 再帰的還元規則を用いて、ディラックガンマ行列と計量テンソルの収縮を自動化するアルゴリズムが採用されている。
• 任意の外部状態および内部伝播関数を有する1ループ図の評価をサポートしている。
• 高性能と異なる計算プラットフォームへの移植性を確保するため、C 言語でコードが構造化されている。
• 複雑な代数的簡略化を処理するため、既存の記号的計算フレームワークと統合されている。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、量子場の理論においてフェ Feynman 図の振幅を高精度で自動的に評価できるか？
• RQ2 1ループ図におけるテンソル構造をスカラー積分に還元する最も効率的な方法は何か？
• RQ3 記号的処理と数値評価をどのように組み合わせれば、信頼性の高い振幅計算が可能になるか？
• RQ4 C 言語で記述されたプログラムが、高エネルギー物理学における図の評価に用いられる場合の性能とスケーラビリティの限界は何か？
• RQ5 このようなツールは、多様な現象論的応用に適したモジュラーや拡張可能な構造にできるか？

主な発見

• DIANA は、テンソル還元と記号的代数を用いて、1ループフェ Feynman 図の評価を自動化することに成功した。
• プログラムは、テンソル構造をスカラー積分に体系的に還元することで、高い数値的精度を達成している。
• 広範な外部状態および内部粒子タイプをサポートしており、多様な現象論的応用が可能である。
• C 実装により、さまざまな計算環境での高性能と移植性が確保されている。
• このツールは、標準模型および関連理論における精度計算に適している。
• 本研究は AIHENP 99 会議で発表・検証され、高エネルギー物理学コミュニティからの受け入れを示している。