[論文レビュー] Tensors with maximal symmetries

Austin Conner, Fulvio Gesmundo+2 more|arXiv (Cornell University)|Sep 20, 2019

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

ひとこと要約

この論文は、$m \geq 7$ の条件下で $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 内の複素テンソルを、1-一般性条件の下で最大対称性群および次に大きな対称性群に分類する。奇数次元では最大対称性次元が $\binom{m+1}{2}$ であり、これは唯一の大きなコッパースミス・ウィノグラードテンソルによって達成される。偶数次元では、より大きな対称性を持つ新しいテンソルが存在する。結果として、新しい幾何的構造が明らかになり、行列乗算の複雑さにおけるストラッセンのレーザー法の限界が明確化される。

ABSTRACT

We classify tensors with maximal and next to maximal dimensional symmetry groups under a natural genericity assumption (1-genericity), in dimensions greater than 7. In other words, we classify minimal dimensional orbits in the space of (m,m,m) tensors assuming 1-genericity. Our study uncovers new tensors with striking geometry. This paper was motivated by Strassen's laser method for bounding the exponent of matrix multiplication. The best known tensor for the laser method is the large Coppersmith-Winograd tensor, and our study began with the observation that it has a large symmetry group, of dimension m^2/2 +m/2. We show that in odd dimensions, this is the largest possible for a 1-generic tensor, but in even dimensions we exhibit a tensor with a larger dimensional symmetry group. In the course of the proof, we classify nondegenerate bilinear forms with large dimensional stabilizers, which may be of interest in its own right.

研究の動機と目的

• 1-一般性の下で $m \geq 7$ の条件下で $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 内のテンソルの最大および次に大きな対称性群を分類すること。
• 行列乗算の複雑さの文脈において、安定化部分群が大きなテンソルの幾何学的・代数的構造を理解すること。
• 大きな対称性を持つ新しいテンソルが、行列乗算の指数 $\omega$ の上限を求めるレーザー法を改善できるかどうかを特定すること。
• 表現論および代数幾何学の独立した関心事である、$\mathbb{C}^k$ 上の非退化な双一次形式で、安定化部分群の次元が $\binom{k}{2}$ 以上であるものの分類をすること。

提案手法

• 著者らは $GL_m^\times 3$ の $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ への作用を分析し、1-一般性条件の下で最小次元の軌道を分類する。
• 彼らは、安定化部分群の次元に注目して、テンソルの対称性リーリー代数を研究するためのリー理論的技法を用いる。
• 分類は、1-一般性仮定の下で、$T_A: A^* \to B \otimes C$、$T_B: B^* \to A \otimes C$、および $T_C: C^* \to A \otimes B$ の誘導写像の分析に依存する。
• 彼らはスケルタルテンソルとその関連する双一次形式 $\mathcal{B}$ を導入・研究し、ストラッセンの交換関係式を用いて対称性のリーリー代数を分析する。
• 証明には、対称性代数の構造を特定するために、コロケーター $[T(Y), T(Z)]$ の詳細な分析が含まれる。
• ALS などの数値的手法を用いて、候補となるテンソルの境界ランクを推定し、理論的結論を支援する。

実験結果

リサーチクエスチョン

• RQ1 1-一般性を満たす $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 内のテンソルについて、$m \geq 7$ のとき、最大対称性群の次元はいくつか？
• RQ2 偶数次元において、コッパースミス・ウィノグラードテンソルよりも大きな対称性群を持つテンソルは存在するか？
• RQ3 大きな対称性群を持つテンソルが、行列乗算の指数 $\omega$ の上限を求めるレーザー法を改善できるか？
• RQ4 $\mathbb{C}^k$ 上の非退化な双一次形式で、安定化部分群の次元が少なくとも $\binom{k}{2}$ であるものはどれか？
• RQ5 コッパースミス・ウィノグラードテンソルと同型でない最小境界ランクのテンソルは、レーザー法において同じ障壁に直面するか？

主な発見

• 1-一般性を満たす $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 内のテンソルについて、$m \geq 7$ かつ $m$ が奇数のとき、最大対称性次元は $\binom{m+1}{2}$ であり、これは唯一の大きなコッパースミス・ウィノグラードテンソルによって達成される。
• 偶数次元では、$\binom{m+1}{2}$ よりも厳密に大きな次元の対称性群を持つ新しいテンソルが存在し、奇数次元での境界が普遍的ではないことを示している。
• 安定化部分群の次元が $\binom{k}{2}$ 以上である非退化な双一次形式の分類が完了し、その結果、対称的または反対称的である形式のみがこの次元に達することが判明した。
• 小さなコッパースミス・ウィノグラードテンソルの反対称版 $T_{\text{skewcw},m-2}$ の境界ランクは、$m \leq 14$ のとき $\frac{3m}{2} - 1$ 未満であることが示唆され、レーザー法における潜在的な有用性が示唆される。
• すべての1-一般性を満たす最小境界ランク $m$ のテンソルについて、$\dim G_T \leq \binom{m+1}{2}$ が成り立ち、等号成立は大きなコッパースミス・ウィノグラードテンソルに限る。
• 任意の1-一般性を満たす最小境界ランクテンソルは $T_{\text{CW},m-1}$ に退化するため、このようなテンソルはレーザー法においてコッパースミス・ウィノグラードテンソルと同じ障壁に直面することが示された。