[논문 리뷰] On degeneration of tensors and algebras

Markus Bläser, Vladimir Lysikov|arXiv (Cornell University)|2016. 06. 14.

Tensor decomposition and applications참고 문헌 3인용 수 9

한 줄 요약

이 논문은 결합 대수의 기울기와 그 구조 텐서 사이의 연결을 수립하며, 최소 경계 랭크를 가진 텐서가 매끄럽게 만들 수 있는 교환 대수의 곱 텐서와 대응됨을 보여준다. Coppersmith-Winograd의 '간단한 구성' 텐서의 경계 랭크에 하한을 증명하여, $n$-중 텐서 곱에 대해 최소 $(q+1)^n + 2^n - 1$임을 밝히며, 이는 점근적 행렬 곱셈 지수 2를 배제하는 데에는 부족하다.

ABSTRACT

An important building block in all current asymptotically fast algorithms for matrix multiplication are tensors with low border rank, that is, tensors whose border rank is equal or very close to their size. To find new asymptotically fast algorithms for matrix multiplication, it seems to be important to understand those tensors whose border rank is as small as possible, so called tensors of minimal border rank. We investigate the connection between degenerations of associative algebras and degenerations of their structure tensors in the sense of Strassen. It allows us to describe an open subset of $n imes n imes n$ tensors of minimal border rank in terms of smoothability of commutative algebras. We describe the smoothable algebra associated to the Coppersmith-Winograd tensor and prove a lower bound for the border rank of the tensor used in the "easy construction" of Coppersmith and Winograd.

연구 동기 및 목표

• 최소 경계 랭크를 가진 텐서의 구조를 이해함으로써 빠른 행렬 곱셈 알고리즘에 기여하고자 한다.
• Strassen의 프레임워크 하에서 결합 대수의 기울기와 그 구조 텐서의 기울기 사이의 관계를 명확히 하고자 한다.
• 매끄럽게 만들 수 있는 교환 대수를 통해 $n\times n\times n$ 텐서의 열린 부분집합에 대한 기하적 특성화를 제공하고자 한다.
• Coppersmith-Winograd의 '간단한 구성' 텐서의 텐서 곱에 대한 비잔티움 랭크에 비잔티움 하한을 수립하고자 한다.

제안 방법

• 텐서 랭크와 경계 랭크의 기울기 개념을 사용하며, 특히 질량-1 분해의 극한에 중점을 둔다.
• 대수기하학 기법을 적용하여, 두 방향에서 랭크-$n$ 슬라이스를 가지는 최소 경계 랭크 텐서가 매끄럽게 만들 수 있는 교환 대수에서 유래됨을 보여준다.
• Landsberg와 Michałek의 접근 방식에서 유도된, 랭크 하한을 위한 한계 버전의 대입 방법을 도입한다.
• Corollary 4.3를 통해 경계 랭크 하한을 도출하기 위해 $m(T) = \min_{u \neq 0} \operatorname{rk}(Tu)$라는 불변량을 활용한다.
• Coppersmith-Winograd 대수 $A_{CW}$와 그 라디칼의 구조를 분석하여, 간단한 텐서에 해당하는 이항형 사상의 표현을 정의한다.
• 귀납법과 텐서 곱 성질을 적용하여 $m(T_{cw}^{\otimes n}) = 2^n$임을 도출하고, 최종 경계 랭크 하한에 이를 적용한다.

실험 결과

연구 질문

• RQ1 매끄럽게 만들 수 있는 교환 대수를 통해 기하학적으로 특성화할 수 있는 $n\times n\times n$ 최소 경계 랭크 텐서는 무엇인가?
• RQ2 Strassen의 프레임워크 하에서 결합 대수의 기울기와 그 구조 텐서의 기울기 사이의 관계는 어떠한가?
• RQ3 대수기하학적 방법을 통해 Coppersmith-Winograd의 '간단한 구성' 텐서의 경계 랭크를 하한으로 제시할 수 있는가?
• RQ4 간단한 Coppersmith-Winograd 텐서의 $n$-중 텐서 곱의 경계 랭크가 점근적 행렬 곱셈 지수 2를 배제할 수 있도록 증가하는가?
• RQ5 라디칼과 사영 $\rho$는 간단한 텐서의 이항형 사상 표현에서 정확히 어떤 역할을 하는가?

주요 결과

• 두 방향에서 랭크-$n$ 슬라이스를 가지는 최소 경계 랭크 텐서는 매끄럽게 만들 수 있는 교환 대수의 구조 텐서와 동치이다.
• Coppersmith-Winograd 텐서의 '간단한 구성'이 $A_{CW}$의 라디칼 위에 정의된 사영 $\rho$를 통해 $\varphi_{cw} \in M^* \otimes M^* \otimes R$ 형태의 이항형 사상과 동치임을 보였다.
• 간단한 Coppersmith-Winograd 텐서의 $n$-중 텐서 곱에 대해 $\underline{R}(T_{cw}^{\otimes n}) \geq (q+1)^n + 2^n - 1$의 경계 랭크 하한이 확립되었다.
• 이 방법을 통해 $m(T_{cw}^{\otimes n}) = 2^n$임을 증명하였으며, 이는 Corollary 4.3를 통해 경계 랭크 하한을 도출하는 데 핵심적이다.
• 이 하한은 비잔티움이지만, $T_{cw}^{\otimes n}$의 경계 랭크가 $\sim (q+1)^n$로 증가할 경우 점근적 지수 2가 여전히 가능할 수 있음을 배제하지 못한다.
• 논문은 매끄러움 조건을 활용하여 최소 경계 랭크 텐서의 열린 부분집합에 대한 기하학적 및 대수적 특성화를 제공한다.