[論文レビュー] Matrix Representations for Symmetric and Antisymmetric Multi-Linear Maps

Ural Bekbaev|arXiv (Cornell University)|Oct 13, 2010

Advanced Topics in Algebra参考文献 2被引用数 3

ひとこと要約

本稿では、列ベクトルを用いた対称および反対称多線形写像の伝統的な行列表現を提示し、以前の行ベクトルを用いた研究を再定式化する。新たな行列積演算を導入し、代数的構造を保ち、収束解析のためのノルム空間を確立することで、線形代数および多項式写像における多線形写像の体系的計算と理論的解析が可能になる。

ABSTRACT

In this paper the main results in arXiv:0901.3179v3, related to the matrix representation of polynomial maps, are restated in traditional way of linear algebra assuming that variable vectors are presented as column vectors. Some new results related to that subject are also included. Here one can find the behavior of the matrices of polynomial maps with respect to the change of variables (coordinate system), matrix representations for symmetric and antisymmetric multi-linear maps. It is shown also that the offered representations are in good concordance with known operations over such multi-linear maps.

研究の動機と目的

• 多項式および多線形写像の行列表現を、標準的な線形代数の慣習に合わせて列ベクトルを用いて再定式化すること。
• 結合則や分配則などの代数的性質を保つ新しい行列積演算を導入すること。
• 既知の演算と整合性を持つように、対称および反対称多線形写像の行列表現を提供すること。
• 多変数べき級数の収束を解析するためのノルム構造を行列空間に確立すること。
• 提案された行列フレームワークが外積や外代数演算と整合することを示すこと。

提案手法

• 本稿では多重添字を定義し、非負整数の組に対して辞書式順序を用いて行列要素を整理する。
• 本稿では、多項式係数を介して要素を結合し、多線形写像の合成をサポートする特殊な行列積 $ A \bigodot B $ を導入する。
• この行列積が結合則、可換性、分配則、およびスカラー乗法との適合性といった重要な代数的性質を満たすことが示される。
• 収束解析のためのノルム $ \|A\|_{\rho} $ を行列空間に定義し、ホルダーの不等式を用いて乗法性の証明を行う。
• 外積を用いた対称および反対称拡張を通じて、多線形写像と行列の間の対応関係を確立する。
• 外積の行列表現が既知の代数的恒等式と一致することを示すことにより、フレームワークの妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 変数ベクトルを列ベクトルとして扱う場合、対称および反対称多線形写像を一貫して行列で表現する方法は何か？
• RQ2 合成の下で多線形写像の構造を保つために、行列積が満たすべき代数的性質は何か？
• RQ3 多線形写像の行列空間にノルムを定義できるか。そのとき、合成写像のノルムがノルムの積によって上から抑えられるか？
• RQ4 提案された行列積は、外積などの外代数の標準的演算とどのように関係するか？
• RQ5 新しい行列表現は、座標変換の下で多項式写像の振る舞いをどの程度保っているか？

主な発見

• 提案された行列積 $ A \bigodot B $ は結合的かつ可換であり、合成の下で多線形写像の構造を保つ。
• ノルム $ \|A\|_{\rho} $ は三角不等式を満たし、乗法性 $ \|A \wedge B\| \leq \|A\| \|B\| $ を満たすため、べき級数の収束制御が保証される。
• 任意の行列 $ A $ に対して、新しい積における $ m $ 乗は $ (h^{(m)})_{0,\alpha'} = m! h^{\alpha'} $ を満たし、行列のべき乗と単項式の係数が結びつく。
• 外積 $ \textbf{A} \wedge_{\textbf{C}} \textbf{B} $ の行列は $ C(\overline{A} \wedge \underline{B}) $ として与えられ、外代数との整合性が確認される。
• 対称多線形写像の行列表現は添字の置換に対して不変であり、対称テンソル積と整合的である。
• このフレームワークにより、行列ノルム解析を用いて多変数べき級数の絶対収束半径を計算できるようになる。