[論文レビュー] Tensors as module homomorphisms over group rings

Carmeliza Navasca, Michael Opperman+2 more|arXiv (Cornell University)|May 11, 2010

Tensor decomposition and applications参考文献 2被引用数 6

ひとこと要約

この論文は、ブラマンの結果を一般化し、3階テンソルがベクトルスカラーを持つ行列モジュール上の線形変換として作用することを、群環の枠組みに埋め込むことで、より一般的に扱う。循環行列に基づくテンソル積が、任意のアーベル群、単位元をもつ可換環、および高階テンソルへと拡張可能な群環における畳み込みとして自然に生じることを示し、テンソル準同型写像とモジュール自己準同型写像の自然な同型を確立する。

ABSTRACT

Braman [B08] described a construction where third-order tensors are exactly the set of linear transformations acting on the set of matrices with vectors as scalars. This extends the familiar notion that matrices form the set of all linear transformations over vectors with real-valued scalars. This result is based upon a circulant-based tensor multiplication due to Kilmer et al. [KMP08]. In this work, we generalize these observations further by viewing this construction in its natural framework of group rings.The circulant-based products arise as convolutions in these algebraic structures. Our generalization allows for any abelian group to replace the cyclic group, any commutative ring with identity to replace the field of real numbers, and an arbitrary order tensor to replace third-order tensors, provided the underlying ring is commutative.

研究の動機と目的

• 3階テンソルがベクトルスカラーを持つ行列モジュール上で線形変換として作用することを、ブラマンの結果として一般化すること。
• この構成を群環の代数的枠組みに埋め込み、テンソル演算の自然な設定を提供すること。
• 循環行列に基づくテンソル積が、群環における畳み込みに対応することを示し、循環群 ℤₙ を超えて理論を拡張すること。
• 理論を任意のアーベル群、単位元をもつ可換環、および高階テンソルへと一般化すること。
• テンソル演算の背後にある代数的構造を明確にし、テンソル準同型写像とモジュール自己準同型写像との同型関係を明らかにすること。

提案手法

• 各テンソルを、群の要素の形式的和として、行列またはベクトル係数をもつ群環モジュールの要素として表現する。
• 群環における畳み込みを用いてテンソル積を定義し、循環行列に基づく積を任意のアーベル群 𝒢 へと一般化する。
• 群環 ℤ[𝒢] を用いて、ベクトルと行列を係数とする行列モジュールをモデル化し、テンソルの自然な作用をモジュール準同型写像として特定する。
• 畳み込みと環構造を用いて、テンソルの空間と行列モジュール上のモジュール準同型写像の空間との間の同型を確立する。
• 群環の枠組みにおいて固有値に類似した方程式を用いてテンソルの対角化を定義し、固有値・固有ベクトル形式を回復する。
• 群環の代数的性質を活用して、特異値分解や線形変換構造を高階テンソルへと一般化する。

実験結果

リサーチクエスチョン

• RQ1 テンソルが行列モジュール上の線形変換として作用する構成を、3階テンソルや実数の範囲を越えてどのように一般化できるか。
• RQ2 先行研究で用いられた循環行列に基づくテンソル積を自然に支える代数的構造は何か。
• RQ3 テンソルとモジュール自己準同型写像との同型関係を、任意のアーベル群と単位元をもつ可換環へと拡張できるか。
• RQ4 テンソル演算（積や対角化）が群環における演算とどのように対応するか。
• RQ5 畳み込みは、循環群 ℤₙ を超えてテンソル代数をどのように一般化するか。

主な発見

• ブラマンの研究における循環行列に基づくテンソル積は、循環群 ℤₙ における群環 ℤ[𝒢] における畳み込みとして自然に解釈できる。
• テンソルの空間は、群環の枠組みにおいて、ベクトルと行列を係数とする行列モジュール上のモジュール自己準同型写像の空間と同型である。
• この構成は、任意のアーベル群 𝒢、単位元をもつ可換環 R、および任意の次数のテンソルへと一般化可能であり、環が可換である限り成立する。
• テンソルの対角化定理が確立され、固有値・固有ベクトル方程式が群環における畳み込み構造から自然に導かれることが示された。
• ブラマンの元々の構成における基底選択は、群環構造に関して非標準的であることが判明し、より深い代数的洞察が得られた。
• テンソル-行列積とテンソル-テンソル積が、群環における畳み込み演算として統一され、閉包性と線形性が保たれた。