[論文レビュー] New lower bounds for matrix multiplication and the 3x3 determinant

Austin Conner, Alicia Harper+1 more|arXiv (Cornell University)|Nov 18, 2019

Tensor decomposition and applications参考文献 22被引用数 11

ひとこと要約

本稿は、行列積テンソルおよび3×3行列式テンソルの境界ランクに対する新たな下界を、新しい代数幾何的技法である境界アポラリティ（border apolarity）を用いて確立した。対称性を活用し、対称性群の最大可解部分群における多重次数付きイデアルを分析することで、著者らは $ M_{\langle 223\rangle} $ および $ M_{\langle 233\rangle} $ の正確な境界ランクを証明した。また、$ M_{\langle 3\rangle} $、$ \det_3 $、および無限族 $ M_{\langle 2nn\rangle} $、$ M_{\langle 3nn\rangle} $ についても、顕著に改善された下界を得た。

ABSTRACT

Let $M_{\langle u,v,w angle}\in C^{uv}\otimes C^{vw}\otimes C^{wu}$ denote the matrix multiplication tensor (and write $M_n=M_{\langle n,n,n angle}$) and let $det_3\in ( C^9)^{\otimes 3}$ denote the determinant polynomial considered as a tensor. For a tensor $T$, let $\underline R(T)$ denote its border rank. We (i) give the first hand-checkable algebraic proof that $\underline R(M_2)=7$,(ii) prove $\underline R(M_{\langle 223 angle})=10$, and $\underline R(M_{\langle 233 angle})=14$, where previously the only nontrivial matrix multiplication tensor whose border rank had been determined was $M_2$,(iii) prove $\underline R( M_3)\geq 17$, (iv) prove $\underline R( det_3)=17$, improving the previous lower bound of $12$, (v) prove $\underline R(M_{\langle 2nn angle})\geq n^2+1.32n$ for all $n\geq 25$ (previously only $\underline R(M_{\langle 2nn angle})\geq n^2+1$ was known) as well as lower bounds for $4\leq n\leq 25$, and (vi) prove $\underline R(M_{\langle 3nn angle})\geq n^2+2 n+1$ for all $ n\geq 21$, where previously only $\underline R(M_{\langle 3nn angle})\geq n^2+2$ was known, as well as lower boundsfor $4\leq n\leq 21$. Our results utilize a new technique initiated by Buczyńska and Buczyński, called border apolarity. The two key ingredients are: (i) the use of a multi-graded ideal associated to a border rank $r$ decomposition of any tensor, and (ii) the exploitation of the large symmetry group of $T$ to restrict to $B_T$-invariant ideals, where $B_T$ is a maximal solvable subgroup of the symmetry group of $T$.

研究の動機と目的

• 行列積テンソルおよび3×3行列式テンソルの境界ランクに対する正確かつ改善された下界を確立すること。
• 対称テンソルに特化した新しい代数幾何的技法、境界アポラリティを開発・適用すること。
• Koszulフラットネスや境界代入法といった従来の手法が境界ランク下界を証明する際に抱える制限を克服すること。
• 不変イデアルを用いた、対称テンソルの境界ランク $ r $ 分解が存在するか否かを体系的に計算または除外するアルゴリズムを提供すること。
• 本手法の強力さを実証するため、以前未解決であったケースを解明し、行列積テンソルの無限族に対する漸近的下界を改善すること。

提案手法

• 著者らは、古典的アポラリティと境界代入法を組み合わせた境界アポラリティ技法を導入し、対称テンソルの境界ランク分解を分析した。
• 任意の潜在的な境界ランク $ r $ 分解に対して、多重次数付きイデアルを関連付け、代数幾何学的手法を用いて存在の有無をテストした。
• テンソル $ T $ の大きな対称性群を活用し、$ \mathbb{B}_T $-不変イデアルに注目した。ここで $ \mathbb{B}_T $ は $ T $ の対称性群の最大可解部分群である。
• 重み空間分解と表現論を用いて、テンソル積と既約表現との交差部分の次元に対する上界を計算した。
• 正規形におけるすべての可能な候補分解を体系的に評価し、そのような分解が存在しないことを証明するか、すべての可能性を列挙した。
• 本手法は、Koszulフラットネスや他の従来手法の限界を避けるように設計されており、特に境界ランク下界の証明における障壁を乗り越えることを目的としている。

実験結果

リサーチクエスチョン

• RQ1 行列積複雑度における未解決事例であった $ M_{\langle 223\rangle} $ の正確な境界ランクは何か？
• RQ2 境界アポラリティ法は、大きな対称性群を有する対称テンソルに対して、境界ランク $ r $ 分解が存在するか否かを計算または除外するために用いられるか？
• RQ3 $ M_{\langle 3\rangle} $、$ \det_3 $、および無限族 $ M_{\langle 2nn\rangle} $、$ M_{\langle 3nn\rangle} $ に対する改善された下界は何か？
• RQ4 Koszulフラットネスや境界代入法といった既存手法と比較して、境界アポラリティ法のパワーはいかがなものか？
• RQ5 本手法は、既知の $ M_{\langle 2\rangle} $ の場合を除き、行列積テンソルに対して非自明な下界を提供するように一般化可能か？

主な発見

• 本稿は、$ \underline{\mathbf{R}}(M_{\langle 2\rangle}) = 7 $ であることを、手作業で検証可能な代数的証明として初めて与えた。これは長年にわたり知られていた結果を、新たな手法で確認したものである。
• 本稿は、$ \underline{\mathbf{R}}(M_{\langle 223\rangle}) = 10 $ および $ \underline{\mathbf{R}}(M_{\langle 233\rangle}) = 14 $ を証明し、2つの新たな正確な境界ランクケースを解決した。
• 本稿は、$ \underline{\mathbf{R}}(M_{\langle 3\rangle}) \geq 17 $ を確立し、以前の下界を顕著に改善した。
• 本稿は、$ \underline{\mathbf{R}}(\det_3) = 17 $ を証明し、以前の下界12を改善した。
• 無限族 $ M_{\langle 2nn\rangle} $ に対して、すべての $ n \geq 25 $ に対して $ \underline{\mathbf{R}}(M_{\langle 2nn\rangle}) \geq n^2 + 1.32n $ を証明した。これは、以前の下界 $ n^2 + 1 $ よりも改善されたものである。
• 無限族 $ M_{\langle 3nn\rangle} $ に対して、すべての $ n \geq 21 $ に対して $ \underline{\mathbf{R}}(M_{\langle 3nn\rangle}) \geq n^2 + 2n $ を証明した。これは、以前の下界 $ n^2 + 2 $ よりも改善されたものである。