[論文レビュー] SymBuild: a package for the computation of integrable symbols in scattering amplitudes

Vladimir Mitev, Yang Zhang|arXiv (Cornell University)|Sep 13, 2018

Algebraic structures and combinatorial models参考文献 23被引用数 5

ひとこと要約

この論文は、高エネルギー物理学における現代のブートストラッププログラムの中心的対象であるスキャッタリング振幅における可積分な記号を、効率的に計算・操作する Mathematica パッケージ SymBuild を紹介する。Gröbner 基底、記号的簡略化、および C++ ライブラリ SpaSM を用いた高性能線形代数処理を活用することで、根を含む複雑なアルファベットに対しても、高重み（最大で重み 8）の可積分な記号の計算を大幅に高速化し、量子場の理論における振幅計算を促進する。

ABSTRACT

The article presents and documents the Mathematica package SymBuild. This package implements the computation and manipulation of integrable symbols appearing in various calculations in high-energy scattering amplitudes. By using Gröbner bases, implementing various simplifications and by the potential utilization of the C++ program SpaSM, integrable symbols in a large class of alphabets (including roots) can be computed to high weights.

研究の動機と目的

• 高重量記号に対する大規模な可積分性および n 入力条件を解くことによる、振幅ブートストラッププログラムにおける計算ボトルネックを解消すること。
• 代数的記号や根を含む広範なクラスのアルファベットに対し、スケーラブルで使いやすいツールを提供して、可積分な記号を計算すること。
• 接続限界およびソフト限界からの制約を解くことなど、その後続のステップ（微分、極限、制約の解法など）における記号の効率的取り扱いを可能にすること。
• SpaSM を通じた最適化された線形代数により、記号空間のサイズの指数的増加に対応し、高ループ次数の振幅計算を支援すること。

提案手法

• パッケージは、有効な記号関数として定義される可積分性条件を体系的に解くために Gröbner 基底技術を用いる。
• 中間式の複雑さを低減し、パフォーマンスを向上させるために、記号的簡略化を実装する。
• 大規模な線形代数問題に対しては、SpaSM という C++ ライブラリと統合し、可積分性テンソルの並列化・高性能計算を実現する。
• 根を含むアルファベットに対応するため、根を代数的記号として扱い、特別な簡略化ルールを適用する。
• 記号生成、可積分性のチェック、操作のためのモジュラー関数を備えた、構造的な Mathematica インターフェースを提供する。
• 既知のアルファベット（9 個の記号を持つ 6 ポイントの双対超共形的アルファベットを含む）におけるベンチマーク計算を通じて、実装の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 任意のアルファベット（根を含むものも含む）に対して、高重量で体系的かつ効率的な計算フレームワークを構築できるか？
• RQ2 実際の振幅計算において、記号の数や可積分性テンソルのサイズの指数的増加をどのように緩和できるか？
• RQ3 SpaSM のような外部の高性能線形代数ライブラリとの統合によって、スキャッタリング振幅における記号計算のスケーラビリティはどの程度向上するか？
• RQ4 N=4 SYM や QCD における現実的な散乱過程から生じるアルファベットに対して、可積分な記号の計算を自動化することは可能か？
• RQ5 高ループ次数の振幅に適用した場合、振幅ブートストラップ法の理論的および実用的限界は何か？

主な発見

• 6 ポイントの双対超共形的アルファベット（9 記号）に対して、重み 8 の可積分な記号を 5,897 個計算し、標準ラップトップで約 90 秒で完了した。
• 同じアルファベットにおいて、重み 8 の可積分性テンソルの計算は、高メモリクラスタ上で SpaSM を使用した場合、約 13,000 秒を要し、このアプローチのスケーラビリティを示している。
• 非平面的 5 パarticle アルファベット（31 記号、1 つの根を含む）の重み 4 可積分記号の計算は、標準ラップトップで約 15 分で完了し、実用的な使用可能性を示している。
• 可積分な記号の数は重みとともに急激に増加する。例えば、6 ポイントのアルファベットでは、重み 3 で 26 個、重み 7 で 1,929 個にまで増加する。これは計算上の挑戦を浮き彫りにしている。
• SpaSM の統合により、計算時間が顕著に短縮される。重み 8 の場合、Mathematica 僅どの場合の約 13,000 秒から、同じハードウェアで SpaSM を使用した場合の約 1,000 秒にまで短縮された。
• 根を含む非有理的アルファベットの取り扱いが、注意深く簡略化および代数的変換を施した記号形式の拡張により可能になった。