[論文レビュー] MathGR: a tensor and GR computation package to keep it simple

Yi Wang|arXiv (Cornell University)|Jun 6, 2013

Computational Physics and Python Applications被引用数 10

ひとこと要約

MathGR は、抽象的または明示的なインデックス、置換的対称性、全微分の簡約を用いた記号的扱いを通じて、複雑な一般相対性理論（GR）の計算を簡略化することを目的とした、軽量でモジュラーな Mathematica パッケージである。Mathematica の組み込みテンソルエンジンを活用して効率的な簡約を実現し、FRW 宇宙論に適した ADM 形式の摂動を含む事前に構築されたモデルを備え、教育的および研究的用途に最適な高速で透明性が高く、変更可能な計算が可能である。

ABSTRACT

We introduce the MathGR package, written in Mathematica. The package can manipulate tensor and GR calculations with either abstract or explicit indices, simplify tensors with permutational symmetries, decompose tensors from abstract indices to partially or completely explicit indices and convert partial derivatives into total derivatives. Frequently used GR tensors and a model of FRW universe with ADM type perturbations are predefined. The package is built around the philosophy to "keep it simple", and makes use of latest tensor technologies of Mathematica.

研究の動機と目的

• xAct や GRTensor のような重厚な GR パッケージの複雑さと不透明さに対処し、軽量で透明性の高い代替手段を提供すること。
• 研究者が、現在約 500 行の小さなコードベースで、テンソルおよび GR 計算ツールの内部論理を理解・変更・拡張できるようにすること。
• 抽象的および明示的インデックスの両方の計算をサポートし、置換的対称性の下での分解と簡約を可能にすること。
• Mathematica の記号的テンソルエンジン（v9 以降）を活用して高性能な簡約を実現しながらも、直感的で読みやすい構文を維持すること。
• FRW 宇宙論に ADM 形式の摂動を含む、即座に利用可能なモデルを提供し、インフレーション宇宙論やモデル構築の研究を容易にすること。

提案手法

• パッケージは、置換的対称性（反対称性および巡回不変性を含む）の下での効率的なテンソル簡約を実現するため、Mathematica の組み込み記号的テンソルエンジン（v9 以降）を活用している。Cycles 関数を用いて巡回不変性を処理する。
• 混合インデックス式をサポートし、抽象的インデックス（例：R = -gαβgγδ∂γ∂δgαβ）を明示的形（例：R = -g00g00¨g00 - ...）に変換可能。時間微分にはドット記法を用いる。
• テンソル簡約は、対称性ルールを適用し、同じ項のキャンセルを可能にする標準化処理を施す独自のエンジンによって実行される。
• 全微分簡約は、a(t)∂tb(t) のような項を ∂t[a(t)b(t)] に特定・簡約する専用関数によって実装され、作用に基づく GR 計算に有用である。
• パッケージはモジュラー設計であり、テンソル処理、GR 定義、部分積分、モデル定義、表示フォーマットの各機能を別々のファイルに分離しており、保守性と拡張性を向上させている。
• FRW 背景時空に ADM 形式の摂動を含む事前に構築されたモデルが含まれており、計量、摂動（ζ, β, bi）、2次までの作用を定義し、ゲージ固定オプションを備えている。

実験結果

リサーチクエスチョン

• RQ1 抽象的・明示的インデックス、対称性、全微分簡約を備えた、機能的核を損なわずに、軽量でモジュラーな Mathematica パッケージを設計できるか？
• RQ2 Mathematica の組み込みテンソルエンジンを活用しつつ、人間が読みやすい構文で、置換的対称性を伴う記号的テンソル簡約を効率的に実装できるか？
• RQ3 GR の作用式において、全微分項の簡約をどれほど自動化できるか？冗長な項の削減にどの程度寄与できるか？
• RQ4 FRW 宇宙論に ADM 形式の摂動を含む、事前に構築済みでドキュメント化されたモデルを最小限のパッケージに統合し、研究および教育的用途に活用できるか？
• RQ5 1000 行未満の小さなコードベースで、xAct や GRTensor と同等の性能と正しさを維持できるか？

主な発見

• MathGR は、抽象的および明示的インデックスを含む複雑な GR テンソル式を正しく簡約し、対称性を考慮した簡約によって項のキャンセルを実現している。
• Mathematica の組み込み記号的テンソルエンジンと連携することで、複雑な置換的対称性の下でのテンソルの高速標準化が実現され、高い性能を発揮している。
• 全微分簡約が効果的に実装されており、a(t)∂tb(t) のような式が ∂t[a(t)b(t)] に再構成可能で、作用に基づく計算を簡素化している。
• 内蔵の FRW モデルは、制約を解き、ゲージ条件を適用した後、よく知られた2次作用 a³ϵζ̇² − aϵk²ζ² を正しく再現している。
• モジュラー設計とテスト駆動開発（単体テストおよび統合テストを含む）により、ユーザーによる変更の信頼性と安全性が保証されている。
• 約 500 行の小さなサイズであるが、テンソル簡約、インデックスの分解、作用の展開といった主要な GR 機能をすべてサポートしており、研究および教育的用途に適している。