[논문 리뷰] New lower bounds for the border rank of matrix multiplication

J. M. Landsberg, Giorgio Ottaviani|arXiv (Cornell University)|2011. 12. 27.

Tensor decomposition and applications참고 문헌 12인용 수 26

한 줄 요약

이 논문은 대수기하학과 표현론을 이용하여 행렬 곱셈의 경계 랭크에 대한 새로운 하한을 확립한다. 외적의 형태를 띤 선형 사상에서 유도된 명시적 다항방정식을 통해 낮은 경계 랭크를 가진 텐서들이 만족해야 할 조건을 구성함으로써, $ n \times n $ 행렬 곱셈의 경계 랭크가 $ 2n^2 - n $ 이상임을 증명한다. 이는 모든 $ n \geq 3 $ 에 대해 이전까지의 최선 하한인 $ \frac{3}{2}n^2 + \frac{n}{2} - 1 $ 보다 향상된 결과이다.

ABSTRACT

The border rank of the matrix multiplication operator for n by n matrices is a standard measure of its complexity. Using techniques from algebraic geometry and representation theory, we show the border rank is at least 2n^2-n. Our bounds are better than the previous lower bound (due to Lickteig in 1985) of 3/2 n^2+ n/2 -1 for all n>2. The bounds are obtained by finding new equations that bilinear maps of small border rank must satisfy, i.e., new equations for secant varieties of triple Segre products, that matrix multiplication fails to satisfy.

연구 동기 및 목표

• 계산 복잡도의 핵심 척도인 행렬 곱셈의 경계 랭크에 대해 강력한 하한을 확립하는 오랜 도전 과제를 해결한다.
• 작은 경계 랭크를 가진 텐서들이 만족해야 할 새로운 대수적 제약 조건을 도입함으로써 이전 방법의 한계를 극복한다.
• 더 낮은 하한을 이전보다 더 낮게 이끌어내기 위한 기하학적 및 표현론적 프레임워크를 제공한다.
• 이중 세그레 곱의 단면 다양체를 이용해 행렬 곱셈 이외의 이항 연산자에도 적용 가능한 일반적인 방법을 수립한다.
• 1985년 리크타이그가 제시한 하한 $ \frac{3}{2}n^2 + \frac{n}{2} - 1 $ 을 $ n \geq 3 $ 에 대해 개선하며, 수십 년간 개선되지 않은 상태로 남아 있었다.

제안 방법

• 외적의 형태를 띤 선형 사상 $ (M_{\langle m,n,l\rangle})_A^{\wedge p} $ 의 가족을 정의하여 행렬 곱셈 텐서의 구조를 외적의 형태로 표현한다.
• 표현론을 이용해 이러한 사상의 구조를 분석하며, 특히 그 랭크를 분석함으로써 경계 랭크에 대한 하한을 도출한다.
• 특정 임계값 이하의 경계 랭크를 가진 임의의 텐서가 만족해야 할 명시적 방정식(이들 선형 사상의 소수)을 구성한다.
• 일부 부분공간에서의 단사성을 확보하기 위해 적절한 $ p $ 를 특별히 선택함으로써 랭크 기반 하한을 강화한다.
• Pieri 규칙과 Schur-Weyl 대칭을 이용해 텐서 곱의 대칭 및 외적의 형태를 기약 표현으로 분해한다.
• 행렬 곱셈이 이러한 방정식을 만족하지 못함을 이용해, 낮은 경계 랭크를 가질 수 없음을 증명한다.

실험 결과

연구 질문

• RQ1 행렬 곱셈 텐서 $ n \times n \times n $ 의 최소 경계 랭크는 얼마이며, 대수기하학을 통해 어떻게 하한을 구할 수 있는가?
• RQ2 외적의 형태를 띤 선형 사상에서 유도된 새로운 다항방정식이 이항 연산자의 경계 랭크에 어떻게 제약을 가하는가?
• RQ3 표현론적 기법이 스트라센의 공액기법과 같은 전통적 선형대수적 방법보다 더 강력한 하한을 제공할 수 있는가?
• RQ4 행렬 곱셈이 삼중 세그레 곱의 단면 다양체에서 유도된 특정 방정식을 만족하지 못한다는 것은 그 경계 랭크에 엄격한 하한이 있음을 의미하는가?
• RQ5 이 방법은 경계 랭크를 넘어서 행렬 곱셈의 텐서 랭크에 대해 향상된 하한을 도출하는 데 일반화될 수 있는가?

주요 결과

• 행렬 곱셈 텐서 $ M_{\langle n,n,n \rangle} $ 의 경계 랭크는 $ 2n^2 - n $ 이상이며, 이는 모든 $ n \geq 3 $ 에 대해 리크타이그의 1985년 하한 $ \frac{3}{2}n^2 + \frac{n}{2} - 1 $ 보다 향상된 결과이다.
• $ m \times n \times l $ 행렬 곱셈에 대해서는 $ \underline{\mathbb{R}}(M_{\langle m,n,l \rangle}) \geq \frac{nl(n + m - 1)}{m} $ 이 성립하며, 이는 주요 결과의 일반화이다.
• 보조정리 1.2는 $ \underline{\mathbb{R}}(M_{\lang n,n,l \rangle}) \geq 2nl - l $ 을 보여주며, $ l = n $ 일 때 주요 하한으로 특수화된다.
• 하한 $ 2n^2 - n $ 는 1983년 스트라센의 기초적 연구 이후로 $ \frac{3}{2}n^2 $ 기준을 넘어서는 첫 번째 개선이다.
• 유사한 방법을 적용하여 후속 연구들은 이 하한을 텐서 랭크로 확장하여 $ \mathbb{R}(M_{\langle n,n,n \rangle}) \geq 3n^2 - 2\sqrt{2}n^{3/2} - 3n $ 을 도출함으로써, 이 방법의 광범위한 영향력을 보여준다.
• 이 방법은 낮은 경계 랭크를 가진 텐서에서 영이 되는 명시적 방정식(선형 사상의 소수를 통한 구성)을 만들며, 이 방정식들이 행렬 곱셈에서는 영이 되지 않음을 이용해 기하학적 장벽을 통해 하한을 증명한다.