[論文レビュー] PSS: A FORM Program to Evaluate Pure Spinor Superspace Expressions

Carlos R. Mafra|arXiv (Cornell University)|Jul 28, 2010

Particle physics theoretical and experimental studies参考文献 36被引用数 28

ひとこと要約

本稿では、10次元の超ヤン・ミルズ理論における純スピンルール超空間式の成分展開を効率的に計算するカスタマイズ可能なFORMプログラムPSSを提案する。純スピンルール、ガンマ行列、スピンルール展開を含む相関関数の展開を自動化することで、 manifestly supersymmetricな散乱振幅の導出を可能にし、特に1ループ4点および5点振幅のコンact成分形が得られる。

ABSTRACT

A FORM program which is used to efficiently expand in components pure spinor superfield expressions of kinematic factors is presented and comments on how it works are made. It is highly customizable using the standard features of FORM and can be used to help obtaining superstring effective actions from the scattering amplitudes computed with the pure spinor formalism.

研究の動機と目的

• 10次元超ヤン・ミルズ理論における純スピンルール超空間式の成分ごとの展開を自動化する計算ツールの開発。
• 純スピンルール形式を用いて計算された振幅から超スティリング有効作用を容易に導出するためのフレームワークの最適化。
• 純スピンルールと超場を含む複雑な超空間相関関数を扱うためのカスタマイズ可能で拡張可能なフレームワークの提供。
• 超空間式の系的な成分還元を可能にすることで、高ループ振幅計算を支援。
• 10次元の成分を4次元ヘリシティ形式に変換することで、場の理論の結果との比較を容易にする。

提案手法

• プログラムは、FORMの記号的記号操作機能を用いて、既知のθ展開式を用いて超場をθの累乗で展開する。
• Fierz恒等式を適用してガンマ行列およびスピンルール二項積をクリロネッカーのデルタおよびリーマン・チビタテンソルの組み合わせに還元する。
• 純スピンルール相関関数⟨λγᵐθλγⁿθλγᵖθθγₘₙₚθ⟩は、標準的恒等式を用いてテンソル構造に還元される。特に、⟨(λγᵐθ)(λγⁿθ)(λγᵖθ)(θγₘₙₚθ)⟩ = 1/120 δᵐⁿᵖₘₙₚの正規化が適用される。
• 運動量保存は、1つの運動量ラベルを自動的またはユーザー定義の設定により削除することで処理される。
• ディラック方程式を適用して運動量インデックスとガンマ行列を縮約し、二項形式のランクを低下させる。
• デバッグオプション（sfexpand, psonly, nofierz）により、超場展開、相関関数特定、Fierz前形式の段階的検証が可能となる。

実験結果

リサーチクエスチョン

• RQ1 超スティリング振幅の純スピンルール超空間式を、10次元で成分形式に体系的に還元する方法は何か？
• RQ2 純スピンルールと超場を含む相関関数を効率的かつ自動的に評価するための計算フレームワークは何か？
• RQ3 記号的計算において、スピンルール二項積のFierz再配置を、超対称振幅に信頼性を持って実装する方法は何か？
• RQ4 運動量保存およびゲージ不変性は、ループレベル振幅の成分展開において果たす役割は何か？
• RQ5 プログラムは、4フェルミオン相互作用を扱えるように拡張可能であり、4次元スピンルールヘリシティ形式に結果を変換できるか？

主な発見

• プログラムは1ループ4点振幅の成分展開を正常に計算し、スピンルール積および運動量不変量で表される結果を得た。
• 1ループ5点振幅の場合、χ¹γᵏ⁴χ²e₃·e₄uやχ¹γᵉ³χ²k¹·e₄tのような項を含む成分式を生成し、1/11520のような係数が得られた。
• 標準的恒等式を用いて、純スピンルール相関関数⟨(λγᵐθ)(λγⁿθ)(λγᵖθ)(θγₘₙₚθ)⟩が1/120 δᵐⁿᵖₘₙₚに正しく還元された。
• sfexpand や psonly といったデバッグ機能により、中間ステップの検証が可能で、たとえばFierz還元前の完全なθ展開や相関関数構造の確認が可能となった。
• 一般的な1ループ振幅では0.5秒未塔で実行され、記号的計算において高い効率性を示した。
• このフレームワークは、将来的に4フェルミオン項の取り扱いや、スピンルールヘリシティ法を用いた4次元成分還元への拡張を支援する。