[논문 리뷰] Geometric Complexity Theory and Tensor Rank

Peter Buergisser, Christian Ikenmeyer|arXiv (Cornell University)|2010. 11. 05.

Advanced Algebra and Geometry참고 문헌 17인용 수 11

한 줄 요약

이 논문은 군 작용과 표현 이론을 통해 텐서의 랭크와 보더 랭크를 분석함으로써 기하학적 복잡도 이론을 발전시킨다. $G_s$-표현만으로는 보더 랭크에 대한 비자명한 하한을 얻을 수 없으며, $G$-표현과 모멘트 다면체를 더 강력한 프레임워크로 제안한다. 이는 $G$-표현을 사용하여 행렬 곱셈 텐서의 보더 랭크에 대해 처음으로 비자명한 하한을 확립함으로써 $G_s$-장벽을 극복함을 보여준다.

ABSTRACT

Mulmuley and Sohoni (GCT1 in SICOMP 2001, GCT2 in SICOMP 2008) proposed to view the permanent versus determinant problem as a specific orbit closure problem and to attack it by methods from geometric invariant and representation theory. We adopt these ideas towards the goal of showing lower bounds on the border rank of specific tensors, in particular for matrix multiplication. We thus study specific orbit closure problems for the group $G = GL(W_1) imes GL(W_2) imes GL(W_3)$ acting on the tensor product $W=W_1\otimes W_2\otimes W_3$ of complex finite dimensional vector spaces. Let $G_s = SL(W_1) imes SL(W_2) imes SL(W_3)$. A key idea from GCT2 is that the irreducible $G_s$-representations occurring in the coordinate ring of the $G$-orbit closure of a stable tensor $w\in W$ are exactly those having a nonzero invariant with respect to the stabilizer group of $w$. However, we prove that by considering $G_s$-representations, as suggested in GCT1-2, only trivial lower bounds on border rank can be shown. It is thus necessary to study $G$-representations, which leads to geometric extension problems that are beyond the scope of the subgroup restriction problems emphasized in GCT1-2. We prove a very modest lower bound on the border rank of matrix multiplication tensors using $G$-representations. This shows at least that the barrier for $G_s$-representations can be overcome. To advance, we suggest the coarser approach to replace the semigroup of representations of a tensor by its moment polytope. We prove first results towards determining the moment polytopes of matrix multiplication and unit tensors.

연구 동기 및 목표

• 기하학적 복잡도 이론에서 $G_s$-표현이 텐서의 보더 랭크에 대해 오직 자명한 하한만을 제공하는 한계를 극복하기 위해.
• 특히 행렬 곱셈 텐서에 대해 보더 랭크에 대한 비자명한 하한을 도출하기 위해 $G$-표현과 모멘트 다면체를 기반으로 한 프레임워크를 개발하기 위해.
• $G = \mathrm{GL}(W_1) \times \mathrm{GL}(W_2) \times \mathrm{GL}(W_3)$ 작용 하에서 행렬 곱셈 텐서와 유닛 텐서의 안정자군과 궤도 폐쇄를 분석하기 위해.
• 좌표환의 궤도 폐쇄에서 기약 $G_s$-표현을 크로네커 계수를 사용하여 특성화하고, 이들이 강력한 하한을 제공하는 데 부적절함을 보여주기 위해.
• 표현 이론적 복잡도 하한의 점진적 접근을 위한 더 굵은, 점근적 방법으로서 행렬 곱셈과 유닛 텐서의 모멘트 다면체를 연구를 시작하기 위해.

제안 방법

• 행렬 곱셈과 유닛 텐서에 대해 $G = \mathrm{GL}(W_1) \times \mathrm{GL}(W_2) \times \mathrm{GL}(W_3)$ 작용 하에서의 궤도 폐쇄를 분석한다.
• 안정자군 $H = \mathrm{stab}(w)$ 와 그 관계를 통해 $G_s = \mathrm{SL}(W_1) \times \mathrm{SL}(W_2) \times \mathrm{SL}(W_3)$ 를 이용해 표현 이론적 불변량을 연구한다.
• 최고 무게 벡터 이론과 궤도 폐쇄 위의 정칙 함수를 적용하여, $m \geq 5$ 일 때 $\det_w^2$ 가 궤도 폐쇄로 정규적으로 확장되지 않음을 보이며, 이는 특정 크로네커 계수의 영이 아님을 시사한다.
• 반복된 표현의 세미군 대신 더 굵은 불변량인 모멘트 다면체 $P(w)$ 를 도입하며, $P(w)$ 는 정규화된 최고 무게의 볼록 hull 이다.
• 참고 문헌 [4] 의 크로네커 계수에 대한 점근적 결과를 활용하여, 행렬 곱셈 텐서에 대해 $P^o(\langle n,n,n\rangle) = \Delta(n^2,n^2,n^2)$, 즉 전체 단체임을 보인다.
• 모멘트 다면체의 유리점 $u_{\underline{m}} \in P(w)$ 이 존재하면, $\ell \varepsilon_{\underline{m}} \in S(w)$ 인 $\ell$ 가 존재함을 이용하여 다면체의 유리점이 실제 표현과 연결됨을 보여준다.

실험 결과

연구 질문

• RQ1 행렬 곱셈과 같은 텐서의 보더 랭크에 대해 $G_s$-표현만으로 비자명한 하한을 얻을 수 있는가?
• RQ2 $G_s$-표현의 한계를 극복하는 데 있어 $G$-표현의 역할은 무엇인가?
• RQ3 텐서의 모멘트 다면체는 어떻게 특성화할 수 있으며, 점근적 표현 이론적 불변량을 어떻게 드러내는가?
• RQ4 궤도 위의 정칙 함수가 그 폐쇄로 정규적으로 확장되기 위한 조건은 무엇이며, 이는 표현 이론적 차단 요소와 어떻게 관련되는가?
• RQ5 행렬 곱셈 텐서 $\langle n,n,n \rangle$ 의 모멘트 다면체는 점근적 크로네커 계수 결과를 사용해 완전히 결정될 수 있는가?

주요 결과

• 논문은 $G_s$-표현만을 사용할 경우 보더 랭크에 대해 비자명한 하한을 얻을 수 없음을 증명하며, 이는 정리 4.6 에서 보여진다.
• 이 논문은 $G$-표현을 사용하여 행렬 곱셈 텐서의 보더 랭크에 대해 처음으로 비자명한 하한을 확립함으로써 $G_s$-장벽을 극복함을 보여준다.
• 행렬 곱셈 텐서 $\langle n,n,n \rangle$ 에 대해, 점근적 크로네커 계수 결과를 바탕으로 모멘트 다면체 $P^o(\langle n,n,n \rangle)$ 가 전체 단체 $\Delta(n^2,n^2,n^2)$ 임을 보여준다.
• $m \geq 5$ 일 때 $\det_w^2$ 가 궤도 폐쇄 $\overline{Gw}$ 로 정규적으로 확장되지 않는 것은 특정 $G_s$-표현이 존재하지 않음을 시사하며, 이는 낙관적인 기대와 모순된다.
• 모멘트 다면체 $P(w)$ 는 세미군 $S(w)$ 의 생성 집합에서 온 정규화된 최고 무게의 볼록 hull 임을 증명하였으며, $P(w)$ 의 유리점은 이러한 무게의 정수 조합으로부터 유래한다.
• 모든 $u_{\underline{m}} \in P(w)$ 에 대해 $\ell \varepsilon_{\underline{m}} \in S(w)$ 인 $\ell$ 가 존재함을 보여, 다면체가 표현의 점근적 행동을 포괄함을 보장한다.