[論文レビュー] The geometry of rank decompositions of matrix multiplication I: 2x2 matrices

Luca Chiantini, Christian Ikenmeyer+2 more|arXiv (Cornell University)|Oct 25, 2016

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

ひとこと要約

この論文は、2×2行列乗算アルゴリズムのストラッセングの幾何的および対称性に基づく解析を提供し、射影幾何学と不変量理論を用いてその対称性群を確立する。ストラッセングの族内に新しい部分族を導入し、$PGL(U) \times PGL(V) \times PGL(W)$ における不変性を用いてアルゴリズムの正しさを証明し、対称性制約を通じて新しい行列乗算分解の発見に向けた枠組みを提示する。

ABSTRACT

This is the first in a series of papers on rank decompositions of the matrix multiplication tensor. In this paper we: establish general facts about rank decompositions of tensors, describe potential ways to search for new matrix multiplication decompositions, give a geometric proof of the theorem of Burichenko's theorem establishing the symmetry group of Strassen's algorithm, and present two particularly nice subfamilies in the Strassen family of decompositions.

研究の動機と目的

• 2×2行列の行列乗算テンソルのランク分解の幾何的および対称的構造を理解すること。
• 対称性群と不変量を用いた、新しい行列乗算分解を系統的に探索するための方法を開発すること。
• 射影幾何学を用いてストラッセングのアルゴリズムの対称性群を幾何的に証明し、その構造を確認すること。
• 計算的および理論的洞察を得るため、ストラッセングの分解族内に特に対称的な部分族を同定・分析すること。
• 高次元の場合における対称性制約を活用して、新しい、おそらく最適な行列乗算分解を発見する基盤を築くこと。

提案手法

• 射影幾何学を用いてストラッセングの分解の対称性を明確にし、その不変性の性質の分析を簡素化する。
• 不変量理論を適用して、行列乗算テンソル $M_{\langle 2\rangle}$ をその対称性群 $PGL(U) \times PGL(V) \times PGL(W) \ltimes D_3$ によって特徴づけ、スケールを除き一意に決定されることを示す。
• $\mathfrak{S}_3$ および $\mathbb{Z}_3$ の表現論を用いてテンソル積を分解し、$(U^* \otimes U)^{\otimes 3}$ 内の $\mathfrak{S}_3 \times D_3$-不変テンソル空間を計算する。
• 新しい分解の探索を線形代数の問題に還元する。$\dim U = 2$ のとき、$\mathfrak{S}_3 \times D_3$-不変テンソルの空間が4次元であることを特定し、体系的な探索を可能にする。
• $M_{\langle 2\rangle}$ がその対称性群によって特徴づけられることを用いて、直接展開を行わずにストラッセングの分解の正しさを証明する。
• 新しい分解の探索を簡素化し、背後にある幾何的構造を強調する、ストラッセング族の便利な部分族を導入する。

実験結果

リサーチクエスチョン

• RQ1 ストラッセングの2×2行列乗算分解の完全な対称性群は何か？ そして、幾何学的にどのように理解できるか？
• RQ2 $PGL(U) \times PGL(V) \times PGL(W) \ltimes D_3$ における行列乗算テンソル $M_{\langle 2\rangle}$ の不変性は、その正しさをどのように証明できるか？
• RQ3 ストラッセングの分解族内において、幾何的または代数的に特に単純または対称的な部分族は何か？
• RQ4 $(U^* \otimes U)^{\otimes 3}$ 内の $\mathfrak{S}_3 \times D_3$-不変テンソル空間は、新しい行列乗算分解を体系的に探索するのに利用できるか？
• RQ5 $S^3[21]$、$\Lambda^3[21]$、および非可約 $\mathfrak{S}_3$-加群といった表現論的道具は、不変部分空間を計算するのにどのように役立つか？

主な発見

• $\dim U = 2$ のとき、$(U^* \otimes U)^{\otimes 3}$ 内の $\mathfrak{S}_3 \times D_3$-不変テンソル空間は4次元であり、新しい分解の探索のための有限次元空間を提供する。
• $(U^* \otimes U)^{\otimes 3}$ 内の $\mathfrak{S}_3 \times \mathbb{Z}_3$-不変テンソル空間は5次元であり、複数の対称的候補の存在を確認する。
• ストラッセングの分解は不変性により正しく証明される：$PGL(U) \times PGL(V) \times PGL(W)$ に対して不変で、適切なスケールを持つ任意のテンソルは $M_{\langle 2\rangle}$ に他ならない。
• 射影幾何学を用いたストラッセングのアルゴリズムの対称性群の幾何的証明が達成され、バリチエンコの先行結果を簡素化する。
• ストラッセング族内に特に対称的な部分族が同定され、解析および高次元への一般化の両方を簡素化する。
• この枠組みにより、新しい行列乗算分解の探索が、不変量の小さな空間上の線形代数問題に還元可能になる。