[論文レビュー] Ideal decompositions and computation of tensor normal forms

Bernd Fiedler|ArXiv.org|Nov 9, 2002

Tensor decomposition and applications参考文献 20被引用数 5

ひとこと要約

本稿では、対称群の群環表現を用いてテンソル項の組み合わせ問題を解く計算フレームワークを提示する。半単純環におけるイデアル分解、直交部分空間、およびリトルウッド＝リチャードソン則や離散フーリエ変換といった表現論的道具を活用することで、対称テンソルの標準形が導出される。主たる貢献は、線形独立なテンソル標準形を計算するアルゴリズム的手法であり、これは Mathematica パッケージ PERMS に実装されている。

ABSTRACT

Symmetry properties of r-times covariant tensors T can be described by certain linear subspaces W of the group ring K[S_r] of a symmetric group S_r. If for a class of tensors T such a W is known, the elements of the orthogonal subspace W^{\bot} of W within the dual space of K[S_r] yield linear identities needed for a treatment of the term combination problem for the coordinates of the T. We give the structure of these W for every situation which appears in symbolic tensor calculations by computer. Characterizing idempotents of such W can be determined by means of an ideal decomposition algorithm which works in every semisimple ring up to an isomorphism. Furthermore, we use tools such as the Littlewood-Richardson rule, plethysms and discrete Fourier transforms for S_r to increase the efficience of calculations. All described methods were implemented in a Mathematica package called PERMS.

研究の動機と目的

• 記号的テンソル代数における項の組み合わせ問題を解くこと。この問題では、テンソル単項式間の線形従属関係を同定し、それを除去する必要がある。
• r回共変テンソルの対称性特性を、群環 K[S_r] の部分空間 W 及びその直交補空間 W⊥ を用いて特徴付けること。
• 一般化可能で効率的な、テンソル標準形を計算するためのアルゴリズム的フレームワークを開発すること。
• 微分幾何学および一般相対性理論における実用的応用を想定し、理論を計算ツールセットに実装すること。
• 既知の恒等式や Fulling らの結果と比較することで、手法の正しさを検証すること。

提案手法

• テンソルを対称群 S_r 上の関数として表現し、群環 K[S_r] を用いてテンソルの縮約を群環の要素に写像する。
• T_b ∈ W を満たすような K[S_r] 内の対称性部分空間 W ⊆ K[S_r] を定義し、W⊥ がテンソル座標間の線形恒等式を符号化することを示す。
• 半単純環におけるイデアル分解を用いて、S_r の既約表現に対応する最小イデアルを生成するべき等元を計算する。
• テンソル積の分解を計算し、複合的対称性を取り扱うためにリトルウッド＝リチャードソン則およびプレティズムを適用する。
• S_r 上の離散フーリエ変換を用いて群環内の計算を高速化し、アルゴリズムの効率を向上させる。
• 全アルゴリズムを PERMS Mathematica パッケージに実装し、分割、テーブュロ、指標、群環演算のためのツールを統合する。

実験結果

リサーチクエスチョン

• RQ1 記号的テンソル式におけるテンソル単項式間の線形従属関係を、体系的かつ効率的に同定し、除去することは可能か？
• RQ2 与えられたテンソル T の対称性クラスを特徴付ける部分空間 W ⊆ K[S_r] の構造は何か？
• RQ3 直交部分空間 W⊥ ⊆ K[S_r]* をどのように用いてテンソル座標の線形恒等式を導出できるか？
• RQ4 K[S_r] のイデアル分解におけるべき等元が、標準形の計算に果たす役割は何か？
• RQ5 リトルウッド＝リチャードソン則やプレティズムといった表現論的道具を、テンソル標準形を効率的に計算するアルゴリズムに統合する方法は何か？

主な発見

• 本稿では、群環イデアルおよび直交部分空間を用いて、テンソル単項式を線形独立な組み合わせに簡約することで、テンソル標準形を一般に計算する手法を確立した。
• この手法は、リーマン曲率テンソルの二次単項式に対しても正常に標準形を計算でき、Fulling らの既知の結果 [14] と一致した。
• アルゴリズムは、n=2 の場合に ∑_{p∈S_{2n}} χ(p) A_{p(1)}⋯A_{p(2n)} = 0 の標準的恒等式を検証するために使用され、全アルゴリズム (R) を用いた正当性が確認された。
• フレームワークは PERMS Mathematica パッケージに実装されており、置換群、群環、分割、テーブュロ、指標、および特化されたアルゴリズムをサポートしている。
• 定理 7.4 を含む理論的結果により、最小のグルーピングおよび標準テーブュロを用いて、テンソル組み合わせの空間が明確に特徴付けられた。
• 特定の条件下では、基底 b₀ の選択に依存しないという性質を示し、計算の堅牢性を保証した。