[논문 리뷰] Tensors with maximal symmetries

Austin Conner, Fulvio Gesmundo외 2명|arXiv (Cornell University)|2019. 09. 20.

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$ 를 유 bounds하는 데 레이저 방법을 향상시킬 수 있는지 확인하는 것.
• 표현 이론과代数기하학에서 별개의 관심사인, 대칭군의 차원이 적어도 $\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$ 를 유 bounds하는 데 레이저 방법을 향상시킬 수 있습니까?
• RQ4 표현 이론과 대수기하학에서 별개의 관심사인, $\mathbb{C}^k$ 에서 대칭군의 차원이 적어도 $\binom{k}{2}$ 이상인 비퇴화된 이항형식은 무엇입니까?
• RQ5 코퍼스미스-윈그라도프 텐서와 동형이 아닌 최소 경계 랭크 텐서는 레이저 방법에서 동일한 장벽에 직면합니까?

주요 결과

• 1-일반성 텐서가 $m \geq 7$ 이고 홀수일 때, $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 내 최대 대칭 차원은 $\binom{m+1}{2}$이며, 이는 오직 큰 코퍼스미스-윈그라도프 텐서에서만 달성된다.
• 짝수 $m$ 에서는 $\binom{m+1}{2}$ 보다 더 큰 대칭군을 갖는 새로운 텐서가 존재함을 보여주며, 이는 홀수 차원에서의 경계가 일반적이지 않음을 시사한다.
• 대칭군의 차원이 적어도 $\binom{k}{2}$ 이상인 비퇴화된 이항형식의 분류가 완료되었으며, 이는 오직 대칭형 또는 반대칭형 이항형식에서만 달성됨을 드러낸다.
• $T_{\text{skewcw},m-2}$ 의 반대칭 형제 텐서의 경계 랭크는 $m \leq 14$ 일 때 $\frac{3m}{2} - 1$ 이하이며, 이는 레이저 방법에서 잠재적으로 유용할 수 있음을 시사한다.
• 모든 1-일반성 최소 경계 랭크 텐서는 $\dim G_T \leq \binom{m+1}{2}$ 를 만족하며, 등호는 오직 큰 코퍼스미스-윈그라도프 텐서에서만 성립한다.
• 모든 1-일반성 최소 경계 랭크 텐서는 $T_{\text{CW},m-1}$ 으로 분해되며, 이는 이러한 텐서들이 레이저 방법에서 코퍼스미스-윈그라도프 텐서와 동일한 장벽에 직면해 있음을 시사한다.