[论文解读] The border rank of the multiplication of two by two matrices is seven

J. M. Landsberg|ArXiv.org|Jul 13, 2004

Tensor decomposition and applications参考文献 17被引用 13

一句话总结

本文证明了两个 2×2 矩阵相乘的双线性映射的边界秩恰好为七，解决了代数复杂性理论中一个长期悬而未决的问题。通过使用子流形上曲线的微分几何以及对 $\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3$ 的 Segre 嵌入的切触簇的详细案例分析，作者证明了矩阵乘法张量属于第六个切触簇但不属于第五个，从而确立了边界秩为七。

ABSTRACT

I show that 2x2 matrices cannot be approximately multiplied using less than seven multiplications. In other words I show that the matrix multiplication operator is not in the sixth secant variety of the Segre produt of three $P^3$'s.

研究动机与目标

• 解决代数复杂性理论中关于 2×2 矩阵乘法边界秩的长期悬而未决问题。
• 确立 2×2 矩阵乘法张量的边界秩恰好为七。
• 提供严格的证明，表明矩阵乘法张量不属于 $\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3$ 的 Segre 嵌入的第五个切触簇。
• 开发并应用一种基于子流形上曲线的微分几何框架，以研究切触簇及其分量。

提出的方法

• 利用子流形上解析曲线的泰勒展开来刻画 $\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3$ 的 Segre 流形的喷射空间。
• 使用 Fubini 型式和高阶微分不变量来描述切触簇及其分量的局部几何结构。
• 根据切空间和法空间的秩与结构，将差集 $\sigma_6(X) \setminus \sigma_5(X)$ 分解为十六个不同的分量。
• 对每个分量进行逐案分析，利用双线性映射 $M: A^* \times B^* \to C$ 的秩条件和消去子条件，排除其属于 $\sigma_5(X)$ 的可能性。
• 为每个分量中的张量使用标准型，并验证其与矩阵乘法张量结构的一致性。
• 应用关于高阶形式消失的引理（例如 $II \equiv 0$ mod $A' \otimes B' \otimes C'$），以排除可能错误地将张量置于 $\sigma_5(X)$ 中的配置。

实验结果

研究问题

• RQ1 2×2 矩阵乘法张量的边界秩是否恰好为七，还是可能更低？
• RQ2 矩阵乘法张量能否通过少于七个的秩一张量之和任意逼近？
• RQ3 Segre 嵌入 $\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3$ 的第六个切触簇的精确结构是什么？
• RQ4 哪些 $\sigma_6(X) \setminus \sigma_5(X)$ 的分量可能包含矩阵乘法张量，且能否被排除？
• RQ5 子流形上曲线的微分几何结构是否足以提供分析高维张量空间中边界秩的充分工具集？

主要发现

• 2×2 矩阵乘法张量的边界秩恰好为七，证实了一个长期存在的猜想。
• 通过 $\sigma_6 \setminus \sigma_5$ 分量的详尽案例分析，证明了矩阵乘法张量不属于 $\sigma_5(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$。
• 该证明表明，在第六个切触簇中，任何少于七个项的配置都无法以任意精度逼近矩阵乘法张量。
• 基于 Fubini 型式和子流形上曲线的泰勒展开的微分几何框架，成功刻画了该设定下切触簇的局部结构。
• 该分析排除了 $\sigma_6 \setminus \sigma_5$ 中所有可能的分量类型，包括 $a', b', c' \leq 2$ 或 $\leq 3$ 的情形，通过揭示相关双线性映射秩的矛盾。
• 结果证实，Strassen 算法使用七次乘法在边界秩意义下是最优的，因为任何更小的边界秩都无法实现任意精度的逼近。