[論文レビュー] 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$ のセグレ埋め込みのセカント多様体の詳細なケース解析を用いて、行列積テンソルが第6セカント多様体上にあるが第5セカント多様体上にないことを示し、境界ランクが七であることを確立した。

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行列の積テンソルの境界ランクが正確に七であることを確立すること。
• 2×2行列積テンソルが $\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3$ のセグレ埋め込みの第5セカント多様体に属さないという厳密な証明を提供すること。
• セカント多様体およびその成分を解析するための微分幾何的枠組みを構築し、それを適用すること。

提案手法

• 部分多様体上での解析的曲線のテイラー展開を用いて、$\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3$ のセグレ多様体のジェット空間を特徴付ける。
• フビーニ形式と高階微分不変量を用いて、セカント多様体およびその成分の局所幾何を記述する。
• 接空間および正規空間のランクと構造に基づき、差集合 $\sigma_6(X) \setminus \sigma_5(X)$ を16の異なる成分に分解する。
• 各成分に対してケースバイケースの解析を実施し、双線形写像 $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 行列積テンソルは、7つ未満のランク1テンソルの和によって、任意に近い近似が可能か？
• RQ3 セグレ埋め込み $\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3$ の第6セカント多様体の正確な構造は何か？
• RQ4 どの成分が $\sigma_6(X) \setminus \sigma_5(X)$ に行列積テンソルを含む可能性を示し、それらを除外できるか？
• RQ5 部分多様体上での曲線の微分幾何的構造は、高次元テンソル空間における境界ランクを解析するのに十分なツールキットを提供するか？

主な発見

• 2×2行列積テンソルの境界ランクは正確に七であり、長年の予想が裏付けられた。
• 第6セカント多様体と第5セカント多様体の差集合 $\sigma_6 \setminus \sigma_5$ の成分に対する包括的なケース解析により、行列積テンソルが $\sigma_5(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ に属さないことが証明された。
• 境界ランクが7未満の構成では、行列積テンソルを任意の精度で近似できないことが証明された。
• フビーニ形式と部分多様体上での曲線のテイラー展開に基づく微分幾何的枠組みは、この文脈におけるセカント多様体の局所構造を的確に特徴づけた。
• ランク $a', b', c' \leq 2$ または $\leq 3$ の場合を含む、$\sigma_6 \setminus \sigma_5$ のすべての可能な成分タイプが、関連する双線形写像のランクに矛盾が生じることを示して除外された。
• ストラッセンのアルゴリズムが7つの乗算を用いることは、境界ランクの意味で最適であり、任意に良い近似を得るにはより低い境界ランクでは不可能であると確認された。