[논문 리뷰] On the geometry of border rank algorithms for matrix multiplication and other tensors with symmetry

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

Tensor decomposition and applications참고 문헌 20인용 수 7

한 줄 요약

이 논문은 행렬 곱셈과 대칭 텐서의 보더 랭크 알고리즘을 분석하기 위한 기하학적 프레임워크를 제안하며, 구점 힐베르트 스킴 상의 정규형으로 제한함으로써 보더 대체 방법을 개발하여, 행렬 곱셈의 보더 랭크에 대한 하한을 $2n^2 - n + 1$으로 향상시켰다. 이전의 하한보다 한 단계 높은 결과이다. 이 방법은 대칭성과代수기하학을 활용하여 복잡도 분석을 단순화하고, 시컨트 다양체에서 발생하는 구조적 장애물을 극복한다.

ABSTRACT

We establish basic information about border rank algorithms for the matrix multiplication tensor and other tensors with symmetry. We prove that border rank algorithms for tensors with symmetry (such as matrix multiplication and the determinant polynomial) come in families that include representatives with normal forms. These normal forms will be useful both to develop new efficient algorithms and to prove lower complexity bounds. We derive a border rank version of the substitution method used in proving lower bounds for tensor rank. We use this border-substitution method and a normal form to improve the lower bound on the border rank of matrix multiplication by one, to 2n^2- n+1. We also point out difficulties that will be formidable obstacles to future progress on lower complexity bounds for tensors because of the "wild" structure of the Hilbert scheme of points.

연구 동기 및 목표

• 보더 랭크 알고리즘을 행렬 곱셈과 대칭 텐서에 적용하기 위한 기하학적 프레임워크를 개발하기 위해 정규형에 초점을 맞춘다.
• 시컨트 다양체의 연구를 단순화하기 위해 구점 힐베르트 스킴으로 제한함으로써, 대수기하학 분석의 복잡도를 감소시킨다.
• 텐서 랭크 하한에 사용된 대체 방법의 보더 랭크 해석을 수립한다.
• 행렬 곱셈 텐서의 알려진 보더 랭크 하한을 향상시킨다.
• 보더 랭크 하한을 증명하는 데 장애가 되는 점들의 힐베르트 스킴의 구조적 장애를 규명한다.

제안 방법

• 대칭 텐서의 보더 랭크 알고리즘을 위한 정규형 보조정리 도입을 통해, 이들이 단일 점에 지지되는 표준형으로 단순화될 수 있음을 보여준다.
• 정규형을 행렬 곱셈과 행렬식 텐서에 적용하여, 시컨트 다양체의 연구를 구점 힐베르트 스킴으로 축소한다.
• 클래식한 텐서 랭크에서의 대체 방법에 유사한 보더 대체 방법을 개발한다.
• 대상 공간의 기저 순서와 외적을 통해 랭크를 분석하기 위해 맵 $ (M_{ ext{red}})^{igwedge(n-1)}_{A'} $ 를 사용한다.
• 대상 공간의 기저 원소에 사전순서를 정의하여, 이미지가 최대 원소를 제외한 모든 기저 벡터를 포함함을 귀납적으로 증명한다.
• 랭크 계산을 단순화하기 위해 차원이 $ 2n-1 $ 인 부분공간 $ A' o ilde{A} $ 로 제한한다.

실험 결과

연구 질문

• RQ1 행렬 곱셈과 같은 대칭 텐서의 보더 랭크 알고리즘은 표준 정규형으로 단순화될 수 있는가?
• RQ2 행렬 곱셈 텐서의 최소 보더 랭크는 얼마이며, 기하학적 기법을 통해 향상시킬 수 있는가?
• RQ3 점들의 힐베르트 스킴의 구조는 텐서 복잡도의 하한을 증명하는 데 어떤 방해가 되는가?
• RQ4 보더 랭크 해석의 대체 방법을 제안하고 적용하여 기존의 하한을 향상시킬 수 있는가?
• RQ5 교환 행렬과 대칭 구조는 시컨트 다양체 기하학을 단순화하는 데 어떤 역할을 하는가?

주요 결과

• 행렬 곱셈 텐서 $ M_{ ext{ extless}n ext{ extgreater}} $ 의 보더 랭크는 $ 2n^2 - n + 1 $ 이하로 하한이 설정되며, 이는 이전의 하한보다 한 단계 높은 결과이다.
• 정규형 보조정리에 따르면, 대칭 텐서의 보더 랭크 알고리즘은 단일 점에 지지된 것으로 간주할 수 있어 분석이 단순화된다.
• 보더 대체 방법은 대체 기법을 보더 랭크로 성공적으로 확장하여 새로운 하한을 도출할 수 있었다.
• 맵 $ (M_{ ext{red}})^{igwedge(n-1)}_{A'} $ 의 랭크는 $ n inom{2n-1}{n} - 1 $ 이며, 이는 $ n o 3 $ 일 때 향상된 하한을 확인한다.
• 핵심 맵의 이미지는 최대 원소 $ ([n], n) $ 를 제외한 모든 기저 벡터를 포함하며, 이는 랭크가 전체 차원보다 한 단계 낮음을 증명한다.
• 점들의 힐베르트 스킴의 복잡한 구조는 더 강력한 하한을 증명하는 데 있어 주요 장애물로 규명되었다.