[論文レビュー] New lower bounds for the rank of matrix multiplication

J. M. Landsberg|arXiv (Cornell University)|Jun 7, 2012

graph theory and CDMA systems参考文献 4被引用数 7

ひとこと要約

本稿は、ブロック行列内のテンソル分解および交換子構造から導かれる多項式不変量を活用することで、行列乗算のランクに対する新たな下界を確立する。高次テンソルに一般化されたストラッセン型方程式の座標ベースの解析を用い、$ n \times n $ 行列乗算のランクが $ (3 - \frac{1}{p+1})n^2 - (1 + 2p\binom{2p}{p-1})n $ 以上であることを証明する。これは $ n > 84 $ の場合、従来の境界を著しく改善し、漸近的境界は $ 3n^2 - o(n^2) $ に近づく。

ABSTRACT

The rank of the matrix multiplication operator for nxn matrices is one of the most studied quantities in algebraic complexity theory. I prove that the rank is at least n^2-o(n^2). More precisely, for any integer p\leq n -1, the rank is at least (3- 1/(p+1))n^2-(1+2p\binom{2p}{p-1})n. The previous lower bound, due to Blaser, was 5n^2/2-3n (the case p=1). The new bounds improve Blaser's bound for all n>84. I also prove lower bounds for rectangular matrices significantly better than the the previous bound.

研究の動機と目的

• 代数的複雑度理論における、行列乗算のランクに対するタイトな下界を特定する長年の未解決問題に取り組む。
• 特に $ n $ が大きい場合に非最適であることが判明していた Bläser の $ \frac{5}{2}n^2 - 3n $ の境界の限界を克服する。
• $ p $ 重楔積およびブロック行列行列式を用いて、ストラッセングの式を高次テンソル不変量に一般化する。
• 交換子ブロックの行列式の非消滅を分析することにより、より鋭いランク下界を導出するフレームワークを確立する。
• 組合せ係数および基底選択を用いて、下界式における誤差項を体系的に計算する方法を提供する。

提案手法

• 行列乗算を $ A \otimes B \otimes C $ の要素として表現し、ここで $ A, B, C $ は行列の双対空間である。
• テンソルが $ \Lambda^p A $ に誘導する写像 $ T_A^{\wedge p} $ を適用し、多項式不変量を与えるブロック行列の行列式を得る。
• $ \Lambda^p A $ および $ \Lambda^{p+1} A $ の基底を順序付け、0 を含むインデックスと含まないインデックスを分離し、行列のブロック分解を可能にする。
• 形式 $ \begin{pmatrix} 0 & Q \\ \tilde{Q} & R \end{pmatrix} $ のブロック行列を構成し、$ R $ を $ X_0 $ のブロック対角行列とし、$ Q, \tilde{Q} $ を $ X_1, \dots, X_{2p} $ の要素を含む。
• $ X_0 $ を単位行列と仮定することで、行列式を $ \det(Q\tilde{Q}) $ に簡略化し、これは交換子 $ [X_i, X_j] $ のブロック行列になる。
• Lemma 2.2 および Lemma 2.3 を用いて、$ \det(Q\tilde{Q}) \neq 0 $ となるように $ \mathbb{n} $ および $ 2p\binom{2p}{p-1}\mathbb{n} $ 個の基底ベクトルを選択し、ランクの下界が保証される。

実験結果

リサーチクエスチョン

• RQ1 任意の $ n \times n $ 行列乗算のランクに対する最良の下界は何か？ これは既存の境界をどのように改善するか？
• RQ2 特に楔積およびブロック行列式から導かれる高次テンソル不変量は、より鋭いランク下界を導出するためにどのように利用可能か？
• RQ3 交換子ブロックの構造を分析することにより、Bläser の境界における誤差項を改善できるか？
• RQ4 テンソル誘導写像から得られる $ Q\tilde{Q} $ の行列式が非ゼロのまま保たれる条件は何か？ そしてこれはランク下界とどのように関係するか？
• RQ5 下界 $ (3 - \frac{1}{p+1})n^2 - (1 + 2p\binom{2p}{p-1})n $ の漸近的挙動は、予想される $ 3n^2 $ の極限と比べてどうか？

主な発見

• 任意の整数 $ p \leq n-1 $ に対して、$ n \times n $ 行列乗算のランクは $ (3 - \frac{1}{p+1})n^2 - (1 + 2p\binom{2p}{p-1})n $ 以上である。これは従来の境界に対する体系的な改善をもたらす。
• $ p = 1 $ の場合、境界は $ \frac{5}{2}n^2 - 3n $ に簡略化され、Bläser の結果と一致するが、$ n > 84 $ の場合、新しい境界は厳密に優れている。
• $ p = \lfloor \sqrt{\log n} \rfloor $ を選ぶことで、境界は漸近的に $ 3n^2 - o(n^2) $ に近づき、ランクが定数倍 $ 3n^2 $ に近い下界を持つことを示す。
• 誤差項 $ 1 + 2p\binom{2p}{p-1} $ は、Lemma 2.3 に従い、$ \det(Q\tilde{Q}) $ が非ゼロであることを保証するための基底ベクトルの数に由来する。
• 本手法はストラッセングの式を高次不変量に体系的に一般化でき、特定の基底選択の下で $ \det(Q\tilde{Q}) $ が非消滅することにより、低ランクに対する強い多項式的障害が得られる。
• 後続の Massarenti と Raviolo の研究により、元の境界の誤差項に誤りが修正され、フレームワークの正しさは確認されたが、定量的推定値が精錬された。