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

J. M. Landsberg, Giorgio Ottaviani|arXiv (Cornell University)|Dec 27, 2011

Tensor decomposition and applications参考文献 12被引用数 26

ひとこと要約

この論文は代数幾何学および表現論を用いて、行列乗算の境界ランクに対する新たな下界を確立する。外積の線形写像から導かれる明示的な多項式方程式を構成することで、低境界ランクのテンソルが満たすべき条件を特定し、$ n \times n $ 行列乗算の境界ランクが $ 2n^2 - n $ 以上であることを証明する。これは $ n \geq 3 $ に対して、以前の最良下界 $ \frac{3}{2}n^2 + \frac{n}{2} - 1 $ よりも向上している。

ABSTRACT

The border rank of the matrix multiplication operator for n by n matrices is a standard measure of its complexity. Using techniques from algebraic geometry and representation theory, we show the border rank is at least 2n^2-n. Our bounds are better than the previous lower bound (due to Lickteig in 1985) of 3/2 n^2+ n/2 -1 for all n>2. The bounds are obtained by finding new equations that bilinear maps of small border rank must satisfy, i.e., new equations for secant varieties of triple Segre products, that matrix multiplication fails to satisfy.

研究の動機と目的

• 行列乗算の境界ランクに対する強い下界を確立するという長年の課題に取り組む。境界ランクは計算複雑性の重要な指標である。
• 従来の手法の限界を乗り越えるために、小規模な境界ランクを持つテンソルが満たすべき新しい代数的制約を導入する。
• よりタイトな下界を従来のものよりも得るために、幾何学的および表現論的枠組みを構築する。
• 三重セグレ積のセカント多様体を用いて、行列乗算を超える双線形写像へ一般化可能な一般的な手法を確立する。
• 1985年にリクトハイグが示した $ \frac{3}{2}n^2 + \frac{n}{2} - 1 $ の下界（$ n \geq 3 $）を、数十年にわたり改善できなかったものを、この研究で上回る。

提案手法

• 外積の形で行列乗算テンソルの構造を符号化する線形写像の族 $ (M_{\langle m,n,l\rangle})_A^{\wedge p} $ を定義する。
• 表現論を用いてこれらの写像の構造を分析し、特にそのランクを評価することで境界ランクの下界を得る。
• 境界ランクが特定の閾値未満である任意のテンソルが満たすはずの明示的方程式（これらの線形写像の小行列式）を構成する。
• ある適切に選ばれた $ p $ に対して、部分空間上での単射性を保証することで、ランクに基づく下界を強化する。
• ピエリの法則およびシュール＝ウェイドの双対性を用いて、テンソル積の対称および外積の冪を既約表現に分解する。
• 行列乗算がこれらの式を満たさないことを用いて、それが低境界ランクをもたないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 行列乗算テンソル $ n \times n \times n $ の最小境界ランクは何か。代数幾何学を用いて、その下界をどのように特定できるか。
• RQ2 外積の線形写像から導かれる新しい多項式方程式は、双線形写像の境界ランクにどのような制約を課えるか。
• RQ3 表現論的技法は、ストラッセングのコンmutatorアプローチのような古典的線形代数的手法よりも、より強い下界を提供できるか。
• RQ4 三重セグレ積のセカント多様体から導かれる特定の式を行列乗算が満たさないことは、その境界ランクに厳密な下界を示唆するか。
• RQ5 この手法は、境界ランクを超えて行列乗算のテンソルランクに対するより良い下界を得るために一般化可能か。

主な発見

• 行列乗算テンソル $ M_{\langle n,n,n \rangle} $ の境界ランクは $ 2n^2 - n $ 以上であり、これは $ n \geq 3 $ に対してリクトハイグの1985年の下界 $ \frac{3}{2}n^2 + \frac{n}{2} - 1 $ よりも向上している。
• $ m \times n \times l $ 行列乗算に関して、境界ランクは $ \underline{\mathbb{R}}(M_{\langle m,n,l \rangle}) \geq \frac{nl(n + m - 1)}{m} $ を満たす。これは主結果の一般化である。
• 系1.2により、$ \underline{\mathbb{R}}(M_{\langle n,n,l \rangle}) \geq 2nl - l $ が示され、$ l = n $ のとき主結果に特殊化される。
• $ 2n^2 - n $ の下界は、1983年のストラッセングの基礎的業績以降、$ \frac{3}{2}n^2 $ の閾値を超えた最初の改善である。
• 同じ手法を応用することで、後続の研究がテンソルランクに対しても下界を拡張し、$ \mathbb{R}(M_{\langle n,n,n \rangle}) \geq 3n^2 - 2\sqrt{2}n^{3/2} - 3n $ を得た。これにより、本手法の広範な影響が示された。
• 本手法は、低境界ランクテンソル上で消えるが、行列乗算では消えない明示的方程式（線形写像の小行列式を介して）を構築することに依拠しており、幾何的障害による証明によって下界が確立される。