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

J. M. Landsberg|arXiv (Cornell University)|2012. 06. 07.

graph theory and CDMA systems참고 문헌 4인용 수 7

한 줄 요약

이 논문은 블록 행렬 내 공액 구조와 텐서 분해에서 유도된 다항식 불변량을 활용하여 행렬 곱셈의 질량에 대한 새로운 하한을 확립한다. 고차 텐서로 일반화된 스트라센 유형의 방정식을 기반으로 한 좌표 기반 분석을 통해, $ n \times n $ 행렬 곱셈의 질량이 $ (3 - \frac{1}{p+1})n^2 - (1 + 2p\binom{2p}{p-1})n $ 이상임을 증명한다. 이는 $ n > 84 $일 경우 이전 하한보다 크게 향상되며, 渐近 하한은 $ 3n^2 - o(n^2) $에 수렴한다.

ABSTRACT

The rank of the matrix multiplication operator for nxn matrices is one of the most studied quantities in algebraic complexity theory. I prove that the rank is at least n^2-o(n^2). More precisely, for any integer p\leq n -1, the rank is at least (3- 1/(p+1))n^2-(1+2p\binom{2p}{p-1})n. The previous lower bound, due to Blaser, was 5n^2/2-3n (the case p=1). The new bounds improve Blaser's bound for all n>84. I also prove lower bounds for rectangular matrices significantly better than the the previous bound.

연구 동기 및 목표

• 알제브라적 복잡도 이론에서 행렬 곱셈의 질량에 대한 날카로운 하한을 결정하는 오랜 열린 문제를 해결한다.
• 특히 큰 $ n $에 대해 최적화되지 않은 Bläser의 $ \frac{5}{2}n^2 - 3n $ 하한에 기인한 제약을 극복한다.
• 다중곱 $ p $-fold 와이드 곱과 블록 행렬 행렬식을 사용하여 스트라센의 방정식을 고차 텐서 불변량으로 일반화한다.
• 공액 블록의 행렬식이 0이 아님을 분석함으로써 더 강력한 질량 하한을 도출하는 프레임워크를 수립한다.
• 조합 계수와 기저 선택을 사용하여 하한 표현식의 오차 항을 체계적으로 계산하는 방법을 제공한다.

제안 방법

• 행렬 곱셈을 $ A \otimes B \otimes C $ 내의 원소로 표현하며, 여기서 $ A, B, C $ 는 행렬의 쌍대 공간이다.
• 텐서에 의해 유도된 사상 $ T_A^{\wedge p} $ 를 $ \Lambda^p A $ 에 적용하여 다항식 불변량을 제공하는 블록 행렬의 행렬식을 생성한다.
• $ \Lambda^p A $ 와 $ \Lambda^{p+1} A $ 의 기저를 순서화하여 0을 포함하는 인덱스와 포함하지 않는 인덱스를 분리함으로써 블록 분해를 가능하게 한다.
• 형태 $ \begin{pmatrix} 0 & Q \\ \tilde{Q} & R \end{pmatrix} $ 의 블록 행렬을 구성하며, $ R $ 은 $ X_0 $ 으로 구성된 블록 대각 행렬이고, $ Q, \tilde{Q} $ 는 $ X_1, \dots, X_{2p} $ 의 항목을 포함한다.
• $ X_0 $ 를 항등행렬로 가정하여 행렬식을 $ \det(Q\tilde{Q}) $ 로 단순화하며, 이는 공액 $ [X_i, X_j] $ 의 블록 행렬이 된다.
• 레마 2.2와 레마 2.3을 사용하여 $ \mathbb{n} $ 및 $ 2p\binom{2p}{p-1}\mathbb{n} $ 개의 기저 벡터를 선택하여 $ \det(Q\tilde{Q}) \neq 0 $ 가 되도록 하며, 이는 질량의 하한이 보장됨을 의미한다.

실험 결과

연구 질문

• RQ1 행렬 곱셈의 질량에 대한 최선의 가능한 하한은 무엇이며, 이는 기존 하한보다 어떻게 향상되는가?
• RQ2 특히 와이드 곱과 블록 행렬 행렬식에서 유도된 고차 텐서 불변량은 어떻게 더 강력한 질량 하한을 도출하는 데 사용될 수 있는가?
• RQ3 Bläser의 하한에서 오차 항은 공액 블록의 구조를 분석함으로써 어떻게 향상시킬 수 있는가?
• RQ4 텐서에 의해 유도된 사상에서 유도된 $ Q\tilde{Q} $ 의 행렬식이 0이 아닐 조건은 무엇이며, 이는 질량 하한과 어떻게 관련되는가?
• RQ5 표현식 $ (3 - \frac{1}{p+1})n^2 - (1 + 2p\binom{2p}{p-1})n $ 의 渐近 행동은 추측된 $ 3n^2 $ 극한과 어떻게 비교되는가?

주요 결과

• 모든 정수 $ p \leq n-1 $ 에 대해 $ n \times n $ 행렬 곱셈의 질량은 $ (3 - \frac{1}{p+1})n^2 - (1 + 2p\binom{2p}{p-1})n $ 이상임을 보장하며, 이는 이전 하한에 대한 시스템적 향상이다.
• $ p = 1 $ 일 경우 하한은 $ \frac{5}{2}n^2 - 3n $ 으로 수렴하며, Bläser의 결과와 일치하지만, $ n > 84 $ 일 경우 새로운 하한이 엄밀히 더 좋다.
• $ p = \lfloor \sqrt{\log n} \rfloor $ 를 선택함으로써 하한은 $ 3n^2 - o(n^2) $ 에 수렴하며, 이는 질량이 상수 분수 $ 3n^2 $ 에 수렴하는 하한으로 제한됨을 시사한다.
• 오차 항 $ 1 + 2p\binom{2p}{p-1} $ 는 레마 2.3에 따라 $ \det(Q\tilde{Q}) $ 가 0이 아님을 보장하기 위해 필요한 기저 벡터의 수에서 기인한다.
• 이 방법은 스트라센의 방정식을 고차 불변량으로 성공적으로 일반화하였으며, 특정 기저 선택 하에 $ \det(Q\tilde{Q}) $ 가 0이 아니므로 낮은 질량에 대한 강력한 다항식 장벽을 제공한다.
• 후속 연구에서 Massarenti와 Raviolo는 원래 하한의 오차 항에 오류를 수정하였으며, 이는 프레임워크의 정확성을 확인하면서 정량적 추정치를 보다 정밀하게 다듬었다.