[論文レビュー] Clifford Algebra with Mathematica

G. Aragón-Camarasa, G. Aragón-González+2 more|arXiv (Cornell University)|Oct 14, 2008

Algebraic and Geometric Analysis参考文献 21被引用数 15

ひとこと要約

本稿では、幾何代数フレームワーク内で、ベクトル、複素数、クォータニオン、グラスマン代数、ディラック／パウリ代数を統合する、記号的および数値的計算が可能な Mathematica パッケージ clifford.m を提示する。このパッケージは、多重ベクトルオブジェクトの記号的取り扱いと 3D ビジュアライゼーションを可能にし、物理学および工学分野の非専門家にとって使いやすいツールを提供する。

ABSTRACT

The Clifford algebra of a n-dimensional Euclidean vector space provides a general language comprising vectors, complex numbers, quaternions, Grassman algebra, Pauli and Dirac matrices. In this work, we present an introduction to the main ideas of Clifford algebra, with the main goal to develop a package for Clifford algebra calculations for the computer algebra program Mathematica. The Clifford algebra package is thus a powerful tool since it allows the manipulation of all Clifford mathematical objects. The package also provides a visualization tool for elements of Clifford Algebra in the 3-dimensional space. clifford.m is available from github.com/jlaragonvera/Geometric-Algebra

研究の動機と目的

• 非専門家が利用可能な、記号的および数値的クライフォード代数計算を実行するための使いやすい Mathematica パッケージの開発。
• ベクトル、複素数、クォータニオン、グラスマン代数、パウリ代数、ディラック代数といった多様な数学的体系を、一つの幾何代数フレームワークに統合すること。
• 多重ベクトル要素の 3D ビジュアライゼーションツールを提供し、幾何代数の概念に対する直感的理解を促進すること。
• 記号的取り扱いを複数の代数にわたって可能にすることで、応用数学および物理学におけるクライフォード代数の有用性を拡張すること。
• Mathematica に統合された高水準で拡張可能なソフトウェアツールを通じて、高度な幾何代数を容易に利用可能にする。

提案手法

• 結合的かつ内積と整合性を持つように、関係式 $\mathbf{ab} + \mathbf{ba} = 2\langle\mathbf{a},\mathbf{b}\rangle\mathbf{1}$ を用いて基本的なクライフォード代数積を実装する。
• 基底要素 $\mathbf{e}_i$ 及びその積の線形結合として多重ベクトルを定義し、幾何代数の異なるモデルを表現するためのシグネチャ $\mathcal{C}\ell_{p,q}$ を用いる。
• 同型写像を介して、偶数部分代数構造を符号化し、クォータニオン、パウリ行列、ディラック行列を自然に表現する。
• 回転のローター形式 $\mathbf{v} \mapsto \widetilde{U}\mathbf{v}U$ を用いて、幾何積、双対性、階数射影、回転などの記号的演算を設計する。
• Mathematica のグラフィックスエンジンを活用して、ブレードや幾何的対象をレンダリングする 3D 多重ベクトルのビジュアライゼーションルーチンを統合する。
• GitHub にオープンソースとしてリリースすることで、アクセス性とコミュニティによる拡張を確保する。

実験結果

リサーチクエスチョン

• RQ1 クォータニオン、パウリ行列、ディラック行列といった多様な代数を、一つのクライフォード代数構造に統合するための統一的計算フレームワークを Mathematica でどのように構築できるか？
• RQ2 幾何代数の物理学および工学分野への実用的応用において、必須となる記号的および数値的演算は何か？
• RQ3 多重ベクトル要素の 3D ビジュアライゼーションを効果的に実装する方法は何か？ これにより幾何代数の理解がどのように促進されるか？
• RQ4 CLICAL や Maple ベースのパッケージといった既存ツールと比較して、本パッケージはどのような点でアクセス性を向上させているか？
• RQ5 記号的計算能力を保持したまま、他のプログラミング言語への移植は可能か？

主な発見

• clifford.m パッケージは、複素数、クォータニオン、グラスマン代数、ディラック／パウリ代数を含む、すべてのクライフォード代数要素の記号的および数値的計算を正常に実装した。
• 幾何積およびローターに基づく変換をサポートしており、$\mathcal{C}\ell_{p,q}$ 代数における回転や等長変換の正確な記号的取り扱いが可能である。
• 3D 空間におけるビジュアライゼーションツールにより、ブレードやローターなどの多重ベクトルオブジェクトをレンダリング・解釈可能となり、概念的明確性が向上した。
• 実装は非専門家にも利用可能であり、専門的なクライフォード代数の知識がなくても利用可能である。これは、特定の Maple パッケージとは対照的である。
• GitHub にオープンソースとしてリリースされたため、コミュニティによる貢献や、他の高水準言語への将来的な移植が可能である。
• $\mathcal{C}\ell_{3,1}$ の偶数部分代数はパウリ代数に同型であり、その偶数部分代数はクォータニオンに同型である。これにより、古典的代数が幾何代数内に階層的に統合されていることが確認された。