[論文レビュー] Introducing Cadabra: a symbolic computer algebra system for field theory problems. (arXiv:hep-th/0701238v3 UPDATED)

Kasper Peeters|arXiv (Cornell University)|Apr 3, 2018

Algebraic and Geometric Analysis被引用数 7

ひとこと要約

Cadabra は、ビアンキ恒等式とショウテン恒等式を用いてテンソル多項式を簡略化し、フェルミオンや反交換変数を扱い、クライフォード代数とファイエル変換をサポートする、場の理論向けに特化した記号計算システムである。TeXに類似した入力形式を採用しており、コマンドラインインタフェースとグラフィカルインタフェースの両方を提供し、一般相対性理論、超対称一般相対性理論、および量子場の理論における複雑な問題の効率的解決を可能にする。

ABSTRACT

Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has extensive functionality for tensor polynomial simplification taking care of Bianchi and Schouten identities, for fermions and anti-commuting variables, Clifford algebras and Fierz transformations, implicit coordinate dependence, multiple index types and many other field theory related concepts. The input format is a subset of TeX and thus easy to learn. Both a command-line and a graphical interface are available. The present paper is an introduction to the program using several concrete problems from gravity, supergravity and quantum field theory.

研究の動機と目的

• テンソル、フェルミオン、および非自明な代数的恒等式を含む複雑な場の理論問題を解くための専用ツールの不足に対処する。
• 暗黙の座標依存性や複数のインデックスタイプといった、場の理論固有の概念をネイティブにサポートする専用システムを提供する。
• ビアンキ恒等式やショウテン恒等式のような恒等式の取り扱いを自動化することで、記号計算の効率性と正確性を向上させる。
• 直感的でTeXに類似した入力形式を用いることで、研究者が代数的変形の煩わしさから解放され、物理的考察に集中できるようにする。
• 多様なユーザーの好みや作業フローに対応できるように、コマンドラインインタフェースとグラフィカルインタフェースの両方を提供する。

提案手法

• 場の理論の式を直感的で読みやすい形で入力できるように、TeXのサブセットに基づくドメイン固有言語を実装する。
• ビアンキ恒等式やショウテン恒等式の自動適用を含む、テンソル多項式に特化した記号的変換アルゴリズムを統合する。
• グラスマン代数を用いて反交換変数とフェルミオン場をサポートし、スピンォルとファイエル恒等式の正しい取り扱いを可能にする。
• 相対論的場の理論で一般的なガンマ行列の操作に適したクライフォード代数の機能を統合する。
• 明示的な座標展開を行わずに式を簡略化できるように、暗黙の座標依存性を許容する。
• ローレンツインデックス、時空インデックス、内部インデックスなどの異なる種類のインデックスを区別する複数のインデックスタイプを提供し、代数的誤りを防止する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、テンソル恒等式の自動適用を統合することで、場の理論における記号計算の効率を高められるか？
• RQ2 コンピュータ代数システムは、超対称一般相対性理論や量子場の理論における計算の複雑さをどの程度軽減できるか？
• RQ3 TeXに類似した入力形式を備えたシステムは、理論物理学者の間でのアクセシビリティと使いやすさを向上させられるか？
• RQ4 一般用途向けCASと比較して、専用システムは反交換変数やファイエル変換をどの程度効果的に処理できるか？
• RQ5 場の理論に最適化されたシステムは、一般用途向け代替品と比較して、性能面および使いやすさの面でどのような利点を提供するか？

主な発見

• Cadabra は、ビアンキ恒等式およびショウテン恒等式を用いたテンソル多項式の自動簡略化に成功し、人的ミスと計算時間を大幅に削減した。
• フェルミオン場および反交換変数を正しく処理でき、ファイエル変換の正確な計算が可能になった。
• クライフォード代数の操作がネイティブにサポートされており、スピンォル場の理論におけるガンマ行列の正しい取り扱いが可能になった。
• TeXに基づく入力形式により、研究者が自然な形で式を記述でき、可読性が向上し、習得の負担が軽減された。
• コマンドラインインタフェースとグラフィカルインタフェースの両方が利用可能であり、多様な研究ワークフローへの柔軟な統合が可能になった。
• 本論文の例に示されるように、一般相対性理論、超対称一般相対性理論、および量子場の理論における具体的な問題解決において、実用的有用性が実証された。