[논문 리뷰] The border rank of the multiplication of two by two matrices is seven

J. M. Landsberg|ArXiv.org|2004. 07. 13.

Tensor decomposition and applications참고 문헌 17인용 수 13

한 줄 요약

이 논문은 2×2 행렬 곱셈에 대한 이항 연산의 경계 랭크가 정확히 일곱임을 증명하며, 대수적 복잡도 이론에서 오랫동안 미해결된 문제를 해결한다. $\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3$의 세그레 매bedding의 시컨트 다양체에 대한 세부적인 케이스 분석과 하위다양체 위의 곡선의 고급 미분기하학을 사용하여, 행렬 곱셈 텐서가 제다섯 시컨트 다양체에 속하지 않고 제육제곱 시컨트 다양체에만 속한다는 것을 보여주며, 이로써 경계 랭크가 일곱으로 확정된다.

ABSTRACT

I show that 2x2 matrices cannot be approximately multiplied using less than seven multiplications. In other words I show that the matrix multiplication operator is not in the sixth secant variety of the Segre produt of three $P^3$'s.

연구 동기 및 목표

• 대수적 복잡도 이론에서 2×2 행렬 곱셈의 경계 랭크에 관한 오랫동안 미해결된 문제를 해결하기 위해.
• 2×2 행렬 곱셈 텐서의 경계 랭크가 정확히 일곱임을 입증하기 위해.
• 2×2 행렬 곱셈 텐서가 $\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3$의 세그레 매bedding의 제오차 시컨트 다양체에 속하지 않는다는 엄밀한 증명을 제공하기 위해.
• 시컨트 다양체와 그 성분을 연구하기 위해 하위다양체 위의 곡선을 분석하는 데에 사용할 수 있는 미분기하학적 프레임워크를 개발하고 적용하기 위해.

제안 방법

• 하위다양체 위의 해석적 곡선의 테일러 급수 전개를 사용하여 $\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3$의 세그레 다양체의 제트 공간을 특성화한다.
• 후비니 형식과 고차 미분 불변량을 사용하여 시컨트 다양체와 그 성분의 국소 기하학을 묘사한다.
• 접선 및 법선 공간의 질량과 구조에 기반하여 $\sigma_6(X) \setminus \sigma_5(X)$의 차집합을十六 개의 서로 다른 성분으로 분해한다.
• 각 성분에 대해 사례별 분석을 적용하며, 이중선형 사상 $M: A^* \times B^* \to C$의 랭크 조건과 소거 조건을 사용하여 $\sigma_5(X)$에 속하지 않음을 배제한다.
• 각 성분에 속하는 텐서의 표준형을 사용하고, 행렬 곱셈 텐서의 구조와의 일관성을 점검한다.
• 고차 형식의 소멸 조건(예: $II \equiv 0$ mod $A' \otimes B' \otimes C'$)을 적용하여, $\sigma_5(X)$에 잘못 포함될 수 있는 구성 요소를 제거한다.

실험 결과

연구 질문

• RQ1 2×2 행렬 곱셈 텐서의 경계 랭크는 정확히 일곱이며, 더 낮을 수는 없는가?
• RQ2 행렬 곱셈 텐서는 일곱 개 미만의 랭크-일곱 텐서들의 합으로 임의로 정밀하게 근사될 수 있는가?
• RQ3 세그레 매bedding $\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3$의 여섯 번째 시컨트 다양체의 정확한 구조는 무엇인가?
• RQ4 $\sigma_6(X) \setminus \sigma_5(X)$의 어떤 성분이 행렬 곱셈 텐서를 포함할 수 있으며, 이를 배제할 수 있는가?
• RQ5 하위다양체 위의 곡선의 미분기하학적 구조는 고차원 텐서 공간에서의 경계 랭크를 분석하는 데에 충분한 도구세트를 제공하는가?

주요 결과

• 2×2 행렬 곱셈 텐서의 경계 랭크는 정확히 일곱이며, 오랫동안 제기된 추측을 확인한다.
• 제오차 시컨트 다양체 $\sigma_5(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$에 속하지 않음을, $\sigma_6 \setminus \sigma_5$의 성분들에 대한 철저한 사례 분석을 통해 증명한다.
• 증명은 여섯 번째 시컨트 다양체 내에서 일곱 개 이하의 항으로 구성된 어떤 구성도 행렬 곱셈 텐서를 임의로 정밀하게 근사할 수 없다는 것을 입증한다.
• 후비니 형식과 하위다양체 위의 곡선의 테일러 전개에 기반한 미분기하학적 프레임워크는 이 설정에서 시컨트 다양체의 국소 구조를 성공적으로 특성화한다.
• 분석은 $\sigma_6 \setminus \sigma_5$의 모든 가능한 성분 유형을 배제하며, $a', b', c' \leq 2$ 또는 $\leq 3$인 경우들 역시 관련 이중선형 사상의 랭크에서 모순을 보여줌으로써 이를 배제한다.
• 결과적으로 스트라센의 알고리즘이 일곱 번의 곱셈을 사용하는 것은 경계 랭크의 관점에서 최적임을 확인하며, 더 낮은 경계 랭크로는 임의로 정밀한 근사를 얻을 수 없다.