[論文レビュー] A $2n^2-log(n)-1$ lower bound for the border rank of matrix multiplication

J. M. Landsberg, Mateusz Michałek|arXiv (Cornell University)|Aug 26, 2016

Complexity and Algorithms in Graphs参考文献 3被引用数 7

ひとこと要約

この論文は、境界置換法の洗練された応用とコシュールフラットネスを組み合わせることで、$n \times n$ 行列乗算テンソルの境界ランクに対する新しい下界 $2n^2 - \lceil \log_2 n \rceil - 1$ を確立している。この結果は、先行する境界を改善しており、代数幾何学的考察を通じて、特に可縮テンソルとグラスマン多様体上のチャーン類の計算により、置換法の限界を示している。

ABSTRACT

Let M_n denote the matrix multiplication tensor for nxn matrices. We use the border substitution method combined with Koszul flattenings to prove the border rank lower bound of 2n^2-log(n)-1 for M_n.

研究の動機と目的

• 行列乗算の漸近的複雑性を理解する上で中心的な役割を果たす、$n \times n$ 行列乗算テンソルの境界ランクに対するより強い下界を確立すること。
• 従来のランクおよび境界ランクの下界に用いられた境界置換法を、コシュールフラットネスと代数幾何学的手法を統合することで洗練・拡張すること。
• 可縮テンソルの多様体 $({\mathbb{a}}', {\mathbb{b}}', {\mathbb{c}}')$-可縮テンソルの性質を特徴づけることで、境界ランク設定における置換法の限界を解明すること。
• グラスマン多様体の積上のベクトルバンドルのトップチャーン類を計算し、一般のテンソルが $({\mathbb{a}}', {\mathbb{b}}', {\mathbb{c}}')$-可縮可能かどうかを特定することで、この手法の有効性を評価すること。

提案手法

• 著者らは、行列乗算テンソル $M_{\langle n,n,n \rangle}$ に境界置換法を適用し、$m < n$ をパラメータとして用いて、消滅部分空間の構成を制御する。
• この手法にコシュールフラットネスを組み合わせることで、特定の線形写像のランクを介して境界ランクの下界を導出する。
• この方法では、$G({\mathbb{a}}', A^*) \times G({\mathbb{b}}', B^*) \times G({\mathbb{c}}', C^*)$ 上のベクトルバンドル $\mathcal{E}^*$ を構成し、その切断は $A' \otimes B' \otimes C'$ によって消えるテンソルに対応する。
• $\mathcal{E}^*$ のトップチャーン類は、リトルウッド＝リチャードソンの法則とピエリの公式を用いて計算され、グラスマン多様体上のシューベルトクラスからの寄与が含まれる。
• この下界は、$m = n - \lceil \log_2 n \rceil - 1$ を選ぶことで最適化され、従来の境界に対する改善を最大化する。
• この手法は、$({\mathbb{a}}', {\mathbb{b}}', {\mathbb{c}}')$-可縮テンソルの多様体 $X({\mathbb{a}}', {\mathbb{b}}', {\mathbb{c}}')$ を特定し、それがザリスキ位相で閉じていることを示し、その幾何学的性質を用いて置換法の適用可能性を制約する。

実験結果

リサーチクエスチョン

• RQ1 境界置換法は、行列乗算テンソルの境界ランクに対するより強い下界を導くために体系的に洗練可能か？
• RQ2 コシュールフラットネスを組み合わせた境界置換法によって得られる最大の改善は何か？
• RQ3 境界置換法が非自明な下界を提供できない条件は何か、そしてその失敗は幾何学的にどのように特徴づけられるか？
• RQ4 グラスマン多様体上の双対バンドルのチャーン類は、$({\mathbb{a}}', {\mathbb{b}}', {\mathbb{c}}')$-可縮テンソルの存在をどのように決定するか？
• RQ5 $m = n - \lceil \log_2 n \rceil - 1$ を用いた場合、境界ランクの下界における漸近的改善の正確な値は何か？

主な発見

• 本論文は、$n \times n$ 行列乗算テンソルの境界ランクに対して、新しい下界 $\underline{\mathbb{R}}(M_{\langle n \rangle}) \geq 2n^2 - \lceil \log_2 n \rceil - 1$ を確立している。
• $n = 10$ の場合、下界は $196$ であり、従来の $2n^2 - n + 1$ の境界より $6$ 増加している。
• $n = 100$ の場合、下界は $19,992$ に達し、前回の境界より $92$ 増加している。
• $n = 1000$ の場合、下界は $1,999,989$ であり、従来の境界より $989$ 増加している。
• この手法により、$\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 内のテンソルに対して、境界置換法が $3m - 3$ を超える下界を得る能力に限界があることが明らかになった。これは、可縮テンソルの幾何学的性質に起因する。
• 特に $a = b = c = 5$, $a' = 2$, $b' = 1$, $c' = 5$ の場合、トップチャーン類の計算によりファイバー次数が $50$ に達し、インシデント多様体から射影テンソル空間への写像が有限かつ全射であることが確認された。