[論文レビュー] New Developments in FormCalc 8.4

Cj Gross, Thomas Hahn+4 more|arXiv (Cornell University)|Jul 1, 2014

Distributed and Parallel Computing Systems参考文献 5被引用数 4

ひとこと要約

本稿では、FeynArts 3.9およびFormCalc 8.4における主要な向上が提示されており、複素MSSM用の完全な1ループ正則化MSSMCTモデルファイル、実行時における正則化スキーム切り替え、LoopToolsおよびCubaにおけるベクトル化および並列化対応、Ninjaテンソル還元ライブラリへの新インターフェースが含まれる。主な貢献は、パrameter空間全体にわたり、より正確で安定的かつ効率的なMSSMにおける1ループ計算を可能にし、数値的性能と頑健性が向上することである。

ABSTRACT

We present new developments in FeynArts 3.9 and FormCalc 8.4, in particular the MSSMCT model file including the complete one-loop renormalization, vectorization/parallelization issues, and the interface to the Ninja library for tensor reduction.

研究の動機と目的

• 複素最小超対称標準模型（MSSM）における正確な1ループ計算を可能にし、完全な1ループ正則化を実現すること。
• CCNやCNNなどのオンシェルスキームが重複する領域で生じる数値的不安定性を解消するため、実行時におけるスキーム切り替えを可能にすること。
• CubaおよびGPU対応のサンプリングを用いたテンソル積分におけるベクトル化および並列化により、計算効率を向上させること。
• ローレンツ展開を用いた数値的に安定したテンソル還元を実現するため、Ninjaライブラリとの統合により必要なサンプリング点数を削減すること。

提案手法

• MSSMCTモデルファイルは、木レベルの混合角とループ補正質量を用い、プロパゲーター用に別々の質量仕様を定義することで、完全な1ループ正則化を実装している。
• FormCalcは、パラメータ定義における循環的依存性を回避するための、if-else文を統合した条件付き正則化定数を処理できるように拡張された。
• Cuba 4.0の統合により、バッチ処理のサンプリングとCPUおよびGPU実行に適応したロードバランシングが可能になり、異種システムにおける性能が向上した。
• Ninjaに必要な複数の分子展開（t, x, μ²）の独立したサブルーチンを生成する新インターフェースが開発され、効率的なローレンツ基準テンソル還元が可能になった。
• LoopToolsにおけるキャッシュ管理は、マーキング/リストア/クリア機能を強化することで、パrameterスキャン中のパフォーマンスとメモリ効率を維持できるように改善された。
• キャッシュありおよびキャッシュなしの評価モードをサポートし、並列および分散計算における耐障害性を高めるためにシリアル化が実装された。

実験結果

リサーチクエスチョン

• RQ1 重複するオンシェルスキームが存在する複素MSSMにおける1ループ正則化を、数値的不安定性を避ける形で一貫して実装する方法は何か？
• RQ2 実行時スキーム切り替え時に循環的依存性が生じないよう、Fortranコードに条件付き正則化定数を最適に構造化する方法は何か？
• RQ3 負荷バランスやポータビリティを損なわず、多次元数値積分にベクトル化およびGPUアクセラレーションを効果的に統合する方法は何か？
• RQ4 Ninjaテンソル還元ライブラリをFormCalcに効率的に統合することで、サンプリング点数を削減し、数値的安定性を向上させることは可能か？
• RQ5 高エネルギー物理学計算におけるパラメータスキャン中にパフォーマンスを維持するための最適なキャッシュ管理戦略は何か？

主な発見

• MSSMCTモデルファイルは、ヒッグス混合と質量パrameterの一貫性ある取り扱いを伴う、複素MSSMにおける完全な1ループ正則化フレームワークを提供する。
• 実行時正則化スキーム切り替えは、パラメータ間の循環的依存性を解消するための再構成された条件付きステートメントにより実装された。
• Cuba 4.0におけるベクトル化およびGPU対応のサンプリングは、被積分関数の評価時間にばらつきがある領域でも、負荷バランスとパフォーマンスを顕著に向上させた。
• Ninjaインターフェースにより、t, x, μ²変数におけるローレンツ展開を活用した、より少ないサンプル数で安定したテンソル還元が可能になった。
• clearcache, markcache, restorecacheといったキャッシュ管理関数は、パラメータスキャン中のパフォーマンス維持に不可欠である。
• 新インターフェースにより、FormCalcは高度なテンソル還元と数値的安定性を完全にサポートする最適化された自己完結型Fortranコードを生成できるようになった。