[논문 리뷰] Pseudorandom Bits for Non-Commutative Programs

Bläser, Markus, Thomas M. Church|arXiv (Cornell University)|2017. 12. 06.

Tensor decomposition and applications참고 문헌 27인용 수 16

한 줄 요약

이 논문은 행렬 곱셈에서 ω = 2를 증명하기 위한 군론적 접근을 조사하며, 유한 지수를 가진 비아벨 군과 대칭군이 세 개의 영 양하군을 통해 ω = 2를 달성할 수 없음을 보여준다. 비아벨 군으로의 다항식 방법을 보다 일반화하기 위해 증폭 이상수의 거듭제곱을 사용하여, STPP 구성의 크기를 제한하는 수축 비율을 수립한다. 이로써 이 틀에서 유망한 군을 좁힐 수 있다.

ABSTRACT

Determining the exponent of matrix multiplication ω is one of the central open problems in algebraic complexity theory. All approaches to design fast matrix multiplication algorithms follow the following general pattern: We start with one "efficient" tensor T of fixed size and then we use a way to get a large matrix multiplication out of a large tensor power of T. In the recent years, several so-called barrier results have been established. A barrier result shows a lower bound on the best upper bound for the exponent of matrix multiplication that can be obtained by a certain restriction starting with a certain tensor. We prove the following barrier over C: Starting with a tensor of minimal border rank satisfying a certain genericity condition, except for the diagonal tensor, it is impossible to prove ω = 2 using arbitrary restrictions. This is astonishing since the tensors of minimal border rank look like the most natural candidates for designing fast matrix multiplication algorithms. We prove this by showing that all of these tensors are irreversible, using a structural characterisation of these tensors. To obtain our result, we relate irreversibility to asymptotic slice rank and instability of tensors and prove that the instability of block tensors can often be decided by looking only on the sizes of nonzero blocks.

연구 동기 및 목표

• Cohn–Umans 군론적 프레임워크에서 ω = 2를 증명할 수 있는 비아벨 군의 종류를 규명하는 것.
• Cap Set 추측에서 사용된 다항식 방법을 비아벨 군, 특히 비아벨 군에 대해 일반화하는 것.
• 세 개의 영 양하군을 사용할 경우 대칭군 Sn이 이러한 구성의 주체가 될 수 없음을 규명하는 것.
• ω = 2를 위한 탐색에서 군의 가족을 체계적으로 배제할 수 있는 방법을 개발하는 것. 이는 긍정적 결과와 부정적 결과의 균형을 유지하는 데 목적이 있음.

제안 방법

• 차수 순서를 증폭 이상수의 거듭제곱 I^k / I^{k+1}로 대체하여 비아벨 군으로 슬라이스 랭크와 다항식 방법을 일반화한다.
• 비아벨 군에서 I^k / I^{k+1}의 차원의 수축 비율을 분석하여 STPP 구성 크기를 제한하는 핵심 불변량으로 삼는다.
• 이 차원에 대한 집중 부등식을 적용하여 유한 지수를 가진 비아벨 군에서 STPP 구성의 상한을 증명한다.
• 세밀한 귀납법을 사용하여 대칭군이나 교대군에서 세 개의 영 양하군이 ω에 대한 비자명한 상한을 도출할 수 없음을 보인다.
• 대수적으로 닫힌 체 위에서 평탄한 랭크의 덧셈성과 조르지-오픈성 논증을 활용하여 비아贝尔 설정에서 기하학적 직관을 유지한다.
• 문제를 군 대수의 곱 텐서의 제한된 부분공간에서의 행렬 랭크로 환원하고, Flanders의 정리를 사용하여 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 유한 지수를 가진 비아벨 군이 약간의 추가 조건을 만족할 경우 Cohn–Umans 프레임워크에서 ω = 2를 증명할 수 있는가?
• RQ2 대칭군 Sn은 세 개의 영 양하군을 통해 STPP 구성이 가능하며, 이로 인해 ω에 대한 비자명한 상한을 도출할 수 있는가?
• RQ3 Cap Set 문제에서 사용된 다항식 방법을 증폭 이상수를 통해 비아벨 군으로 일반화할 수 있는가?
• RQ4 비아벨 군에서 I^k / I^{k+1}의 차원의 수축 비율이 STPP 구성 크기를 충분히 제한하여 ω = 2를 배제하는 데 충분한가?
• RQ5 대칭군에는 자연스러운 영 양하군 임bedding을 통해 ω = 2를 달성하는 것을 방해하는 구조적 장애물이 존재하는가?

주요 결과

• 유한 지수를 가진 비아벨 군이 약간의 추가 조건을 만족할 경우, STPP 구성의 크기가 |G|^{1−ε} 이하로 제한되므로 ω = 2를 증명할 수 없다 (ε > 0).
• 비아벨 군에서 I^k / I^{k+1}의 차원의 수축 비율이 STPP 구성 크기를 제한하는 핵심 요소임을 보여주며, 이는 다항식 방법을 비아벨 설정으로 일반화하는 데 기여한다.
• 세 개의 영 양하군을 통해 대칭군 Sn은 ω에 대한 비자명한 상한을 도출할 수 없으며, 자연스럽고 널리 사용되는 구성 전략을 배제한다.
• 행렬 곱셈 텐서 ⟨n,n,n⟩의 평탄한 랭크와 슬라이스 랭크는 모두 최대이므로, 비자명한 슬라이스 랭크 상한을 구하기 위해서는 |G|를 나누는 특성수를 가진 체에서 작업이 필요하다.
• 평탄한 랭크는 직합에 대해 덧셈이 가능하며, 이 성질을 사용하여 행렬 곱셈 텐서의 직합의 슬라이스 랭크가 최대임을 보이고, 이는 반단순 군 대수에서 슬라이스 랭크가 최대임을 의미한다.
• 순환군 Z/nZ의 경우, 임의의 특성수에서 군 대수의 평탄한 랭크와 슬라이스 랭크는 항상 |G|와 같다. 이는 이전의 p-군에 대한 상한이 날카로웠음을 확인한다.