[論文レビュー] QMeS-Derivation: Mathematica package for the symbolic derivation of functional equations

Jan Μ. Pawlowski, Coralie S. Schneider+1 more|arXiv (Cornell University)|Feb 2, 2021

Distributed and Parallel Computing Systems被引用数 5

ひとこと要約

QMeS-Derivation は、マスター方程式から関数方程式（例えば、関数的ランゲルギング群方程式、Dyson-Schwinger 方程式、修正スラボノフ＝テイラー恒等式など）の記号的導出を自動化する Mathematica パッケージである。場の空間トレース、関数的微分、運動量ルーティング、フェルミオンの符号規約を処理でき、カットオフを伴う量子場の理論における相関関数方程式の体系的かつ誤りのない導出を可能にする。

ABSTRACT

We present the Mathematica package QMeS-Derivation. It derives symbolic functional equations from a given master equation. The latter include functional renormalisation group equations, Dyson-Schwinger equations, Slavnov-Taylor and Ward identities and their modifications in the presence of momentum cutoffs. The modules allow to derive the functional equations, take functional derivatives, trace over field space, apply a given truncation scheme, and do momentum routings while keeping track of prefactors and signs that arise from fermionic commutation relations. The package furthermore contains an installer as well as Mathematica notebooks with showcase examples.

研究の動機と目的

• 量子場の理論における関数方程式の記号的導出を自動化し、複雑な計算における人的誤りを低減すること。
• マスター方程式から関数的ランゲルギング群方程式、Dyson-Schwinger 方程式、修正スラボノフ＝テイラー恒等式を統一的フレームワークで導出すること。
• 反交換関係に起因する符号および係数を追跡することで、フェルミオン統計を正しく処理すること。
• 運動量ルーティングおよび切断スキームを、一貫性がありモジュラーかつ拡張可能な方法でサポートすること。
• ユーザーフレンドリーでノートブック統合型の環境を通じて、n 点関数を体系的に導出し、分析できること。

提案手法

• 場の添え字（ローレンツおよび内部対称性を含む）を表すために、deWitt の形式的表記を用いた圧縮表記を採用。
• 場および源を、Grassmann 統計を符号化する計量を持つ単一の場の空間の成分として扱うスーパーフィールド形式を実装。
• マスター作用に関数的微分を記号的に適用し、フェルミオンの（反）交換関係に基づいた正しい符号規則を適用。
• シュヴィンガー汎関数から有効作用へのレジェンドル変換をサポートし、有効平均作用のための方程式の導出を可能にする。
• 場の空間トレース、切断スキームの適用、フェルミオン図式における運動量ルーティングのモジュールを備え、符号および係数を保持。
• インストーラーおよび検証・ユーザー誘導用の例題ノートブックを備えたモジュラーな Mathematica 環境として構造化。

実験結果

リサーチクエスチョン

• RQ1 フェルミオンの符号規約を保持したまま、量子場の理論における関数方程式の記号的導出をどのように自動化できるか？
• RQ2 n 点関数の記号的導出において、運動量ルーティングおよび切断スキームを効果的に実装する最良の方法は何か？
• RQ3 運動量カットオフを伴うマスター作用から、修正スラボノフ＝テイラー恒等式を体系的に導出する方法は何か？
• RQ4 単一の記号的フレームワークで、さまざまな場の理論における fRG、DSE、mSTI 方程式の導出を統一できるか？
• RQ5 テンソルおよび運動量依存の相関関数の複雑さを、記号計算においてどのように管理できるか？

主な発見

• パッケージは、カットオフを伴うヤン・ミルズ理論におけるグルーオン 2 点関数の関数的ランゲルギング群方程式を、テンソル構造および運動量構造を完全に含めて正しく導出できた。
• 非ゼロの運動量スケールにおけるグルーオン 2 点関数の修正スラボノフ＝テイラー恒等式が導出され、カットオフ項への明示的依存が示された。
• 1 種および 2 種のフェルミオンを含むユカワ理論において、スカラーおよびフェルミオンの 2 点関数のフロー方程式が、正しい運動量ルーティングおよび符号処理とともに導出された。
• ゴースト＝グルーオン頂点の Dyson-Schwinger 方程式が、すべての添え字および運動量依存性を保持したまま記号的に導出された。
• フェルミオン場に起因する非自明な符号構造（計量および微分規則における $(-1)^{ab}$ 要素を含む）を正しく処理した。
• 統一された場の空間および源の形式的表記を用いることで、fRG、DSE、mSTI のあらゆる方程式間の整合性が保証された。