[論文レビュー] Introducing Cadabra: a symbolic computer algebra system for field theory problems

Kasper Peeters|arXiv (Cornell University)|Jan 25, 2007

Black Holes and Theoretical Physics参考文献 5被引用数 124

ひとこと要約

この論文では、微分幾何学的構造やフェルミオン、ガンマ行列、Fierz変換、暗黙的な座標依存性をネイティブにサポートする、場の理論問題に特化した記号計算システムCadabraを紹介する。主な特徴は、TeXに類似した入出力形式、Bianchi恒等式やSchouten恒等式を含む高度なテンソル簡約、およびフェルミオンやFierz変換を内蔵した機能である。主な貢献は、筆記体による計算に極めて近い方法で、重力理論、超対称ゲージ理論、および量子場の理論の計算を、最小限の構文のオーバーヘッドで簡素化するドメイン特化ツールの提供である。

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.

研究の動機と目的

• 既存のコンピュータ代数システムにおいて、場の理論問題に特化したツールが不足しているという問題に取り組むこと。
• 紙の上での場の理論計算（例：ラグランジアンの変分、Fierz恒等式）を計算に移行する際の作業負荷を低減すること。
• 手作業による場の理論の導出の構造と流れを可能な限り忠実に再現するシステムを提供すること。
• 反交換変数、ガンマ行列代数、複数のインデックス型といった複雑な場の理論の概念を、ネイティブかつ直感的にサポートすること。
• 特許権のないシステムに依存しない、公開ライブラリに基づく無料でオープンソースの代替手段を提供すること。

提案手法

• 入力および出力フォーマットとしてTeXのサブセットを使用することで、研究論文からの直接的なコピー＆ペーストが可能になる。
• 対称性、Bianchi恒等式、Schouten恒等式の自動処理を含む、高度なテンソル簡約を実装する。
• 複数のインデックス型および部分空間のサポートにより、Kaluza-Klein理論や高次元重力の計算が可能になる。
• フェルミオン、ディラック共役、ガンマ行列代数、Fierz変換を内蔵し、反交換変数の正しい取り扱いが可能になる。
• ダミーインデックスの再ラベル化と非可換順序を尊重するパターンマッチング置換エンジンを提供する。
• ユーザーがカスタム簡約シーケンスを定義でき、中間結果の詳細度を制御できる。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、手作業による場の理論計算のワークフローを忠実に模倣するコンピュータ代数システムを設計できるか？
• RQ2 場の理論におけるテンソル多項式の対称性、恒等式、複数のインデックス型を効率的に処理するための特徴として、何が不可欠か？
• RQ3 複雑なパッケージ統合を必要とせずに、反交換変数、ガンマ行列、Fierz恒等式をどのようにネイティブにサポートできるか？
• RQ4 オープンソースライブラリに基づくシステムが、場の理論計算において、商業的システムを代替または上回るまでの到達度はどの程度か？
• RQ5 TeXネイティブインターフェースは、高エネルギー物理学の計算において、入力エラーを顕著に低減し、使いやすさを向上させることができるか？

主な発見

• Cadabraは、TeXに類似した構文により、場の理論の式を直接入力可能で、構文の習得負荷を最小限に抑え、入力エラーを低減する。
• システムは、Bianchi恒等式やSchouten恒等式といった多項式恒等式を、テンソル簡約の過程で自動的に適用する。
• Fierz変換とガンマ行列代数はネイティブに処理され、反交換スピノル場とダミーインデックスの再ラベル化が正しく扱われる。
• ユーザー定義の変換ルールにより、変分計算と超対称性の変換が可能であり、N=1超対称ゲージ理論の例で示されている。
• 出力はTeX形式でタイプセットされ、ノートブックファイルは有効なTeXドキュメントであるため、可読性と再現性が向上する。
• Cadabraのアーキテクチャにより、簡約ステップと式の順序の精密な制御が可能で、計算全体を通して望みの形を維持できる。