[논문 리뷰] A $2n^2-log(n)-1$ lower bound for the border rank of matrix multiplication

J. M. Landsberg, Mateusz Michałek|arXiv (Cornell University)|2016. 08. 26.

Complexity and Algorithms in Graphs참고 문헌 3인용 수 7

한 줄 요약

이 논문은 경계 카드에 대한 새로운 하한을 $2n^2 - \lceil \log_2 n \rceil - 1$로 설정한다. 이는 경계 치환 방법의 정교한 응용과 코스룰 평탄화를 결합하여 이루어지며, 이는 행렬 곱셈 텐서의 $n \times n$ 카드에 대해 성립한다. 결과적으로 이전의 하한을 향상시키며, 특히 압축 가능한 텐서와 그레망지안에서의 체른 클래스 계산을 통한 대수기하학적 분석을 통해 치환 방법의 한계를 보여준다.

ABSTRACT

Let M_n denote the matrix multiplication tensor for nxn matrices. We use the border substitution method combined with Koszul flattenings to prove the border rank lower bound of 2n^2-log(n)-1 for M_n.

연구 동기 및 목표

• 행렬 곱셈의 渐近 복잡도를 이해하는 데 핵심적인 $n \times n$ 행렬 곱셈 텐서의 경계 카드에 대해 더 강력한 하한을 확립하는 것.
• 이전에 랭크 및 경계 카드 하한에 사용된 바 있는 경계 치환 방법을 정교화하고 확장하기 위해, 코스룰 평탄화와 대수기하학 기법을 통합하는 것.
• 치환 방법이 경계 카드 설정에서 제한을 받는 이유를 $({\mathbb{a}}', {\mathbb{b}}', {\mathbb{c}}')$-압축 가능한 텐서의 다양체를 특성화하여 연구하는 것.
• 제품 그레망지안 위의 벡터 번들의 최상위 체른 클래스를 계산하여, 일반적인 텐서가 $({\mathbb{a}}', {\mathbb{b}}', {\mathbb{c}}')$-압축 가능한지 여부를 판단함으로써 이 방법의 효과성을 평가하는 것.

제안 방법

• 저자들은 행렬 곱셈 텐서 $M_{\langle n,n,n \rangle}$에 경계 치환 방법을 적용하며, $m < n$인 매개변수를 사용하여 소거 부분공간을 제어한다.
• 이를 코스룰 평탄화와 결합하여, 텐서와 관련된 특정 선형 사상의 랭크를 통해 경계 카드의 하한을 유도한다.
• 이 방법은 $G({\mathbb{a}}', A^*) \times G({\mathbb{b}}', B^*) \times G({\mathbb{c}}', C^*)$ 위에 정의된 벡터 번들의 $\mathcal{E}^*$를 구성하며, 그 절단들은 $A' \otimes B' \otimes C'$에 의해 소거되는 텐서에 대응한다.
• 최상위 체른 클래스는 리틀우드-리치드슨 규칙과 피에리의 공식을 사용하여 계산되며, 그레망지안 위의 셸터 클래스 기여를 포함한다.
• 하한은 $m = n - \lceil \log_2 n \rceil - 1$로 선택함으로써 최적화되며, 이는 이전 하한 대비 개선을 극대화한다.
• 이 방법은 $({\mathbb{a}}', {\mathbb{b}}', {\mathbb{c}}')$-압축 가능한 텐서의 다양체 $X({\mathbb{a}}', {\mathbb{b}}', {\mathbb{c}}')$를 식별하며, 이는 제로지 닫힘임을 보이고 기하학적 성질을 통해 치환 방법의 적용 가능성을 제약한다.

실험 결과

연구 질문

• RQ1 경계 치환 방법이 체계적으로 정교화되어 행렬 곱셈 텐서의 경계 카드에 대해 더 강력한 하한을 도출할 수 있는가?
• RQ2 코스룰 평탄화와 결합된 경계 치환 방법을 통해 달성 가능한 최대 개선은 무엇인가?
• RQ3 경계 치환 방법이 비자명한 하한을 제공하지 못하는 조건은 무엇이며, 기하학적으로는 어떻게 특성화할 수 있는가?
• RQ4 그레망지안 위의 쌍대 번들의 체른 클래스는 $({\mathbb{a}}', {\mathbb{b}}', {\mathbb{c}}')$-압축 가능한 텐서의 존재를 어떻게 결정하는가?
• RQ5 경계 카드 하한에 대한 정확한 渐近 개선은 $m = n - \lceil \log_2 n \rceil - 1$을 사용할 경우 어떻게 되는가?

주요 결과

• 논문은 $n \times n$ 행렬 곱셈 텐서의 경계 카드에 대해 새로운 하한 $\underline{\mathbb{R}}(M_{\langle n \rangle}) \geq 2n^2 - \lceil \log_2 n \rceil - 1$을 확립한다.
• 특히 $n = 10$일 경우 하한은 $196$이며, 이는 이전의 $2n^2 - n + 1$ 하한 대비 6 개선된 것이다.
• $n = 100$일 경우 하한은 $19,992$에 이르며, 이는 이전 하한 대비 92 개선된 것이다.
• $n = 1000$일 경우 하한은 $1,999,989$이며, 이는 이전 하한 대비 989 개선된 것이다.
• 이 방법은 $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ 내의 텐서에 대해 경계 치환 접근법이 $3m - 3$을 초월하는 하한을 달성하는 데 기하학적 제약을 받는다는 것을 드러낸다.
• 특정 케이스에서 $a = b = c = 5$, $a' = 2$, $b' = 1$, $c' = 5$일 때, 최상위 체른 클래스 계산 결과 피브어 디그리가 50이 되며, 이는 인cidense 다양체에서 프로젝티브 텐서 공간으로의 사상이 유한하고 전사임을 확인한다.