[논문 리뷰] A Universal Sequence of Tensors for the Asymptotic Rank Conjecture

Petteri Kaski, Mateusz Michałek|arXiv (Cornell University)|2024. 04. 09.

Tensor decomposition and applications인용 수 2

한 줄 요약

이 논문은 $F^d \otimes F^d \otimes F^d$ 내에서 최악의 경우 텐서 지수 $\sigma(d) = \sup_{T \in F^d \otimes F^d \otimes F^d} \sigma(T)$를 달성하는 0-1 텐서의 명시적 보편 수열 $U_d$를 구축한다. 이는 점근적 랭크의 초보적 특성화를 제공하며, 이중 공간 스펙트럼 점에 의존하지 않는다. 또한 국소화 및 대각화된 변형을 도입하여 점근적 랭크 추측을 포괄하고, 명시적 텐서 수열을 통해 $\lim_{d\to\infty} \sigma(d)$의 존재성을 증명한다.

ABSTRACT

The exponent $σ(T)$ of a tensor $T\in\mathbb{F}^d\otimes\mathbb{F}^d\otimes\mathbb{F}^d$ over a field $\mathbb{F}$ captures the base of the exponential growth rate of the tensor rank of $T$ under Kronecker powers. Tensor exponents are fundamental from the standpoint of algorithms and computational complexity theory; for example, the exponent $ω$ of matrix multiplication can be characterized as $ω=2σ(\mathrm{MM}_2)$, where $\mathrm{MM}_2\in\mathbb{F}^4\otimes\mathbb{F}^4\otimes\mathbb{F}^4$ is the tensor that represents $2 imes 2$ matrix multiplication. Our main result is an explicit construction of a sequence $\mathcal{U}_d$ of zero-one-valued tensors that is universal for the worst-case tensor exponent; more precisely, we show that $σ(\mathcal{U}_d)=σ(d)$ where $σ(d)=\sup_{T\in\mathbb{F}^d\otimes\mathbb{F}^d\otimes\mathbb{F}^d}σ(T)$. We also supply an explicit universal sequence $\mathcal{U}_Δ$ localised to capture the worst-case exponent $σ(Δ)$ of tensors with support contained in $Δ\subseteq [d] imes[d] imes [d]$; by combining such sequences, we obtain a universal sequence $\mathcal{T}_d$ such that $σ(\mathcal{T}_d)=1$ holds if and only if Strassen's asymptotic rank conjecture [Progr. Math. 120 (1994)] holds for $d$. Finally, we show that the limit $\lim_{d ightarrow\infty}σ(d)$ exists and can be captured as $\lim_{d ightarrow\infty} σ(D_d)$ for an explicit sequence $(D_d)_{d=1}^\infty$ of tensors obtained by diagonalisation of the sequences $\mathcal{U}_d$. As our second result we relate the absence of polynomials of fixed degree vanishing on tensors of low rank, or more generally asymptotic rank, with upper bounds on the exponent $σ(d)$. Using this technique, one may bound asymptotic rank for all tensors of a given format, knowing enough specific tensors of low asymptotic rank.

연구 동기 및 목표

• 다음에서 최악의 경우 텐서 지수를 캡처하는 명시적 보편 텐서 수열을 구성하는 것: $F^d \otimes F^d \otimes F^d$.
• 이중 공간 스펙트럼 점에 의존하지 않는 점근적 랭크의 초보적 특성화 제공.
• 낮은 랭크 텐서 위에 사라지는 낮은 차수의 다항식의 부재를 점근적 랭크 상한에 연결하는 것.
• 보편 텐서 수열의 존재성과 스트라센의 점근적 랭크 추측의 진리성 간의 연결 고리 수립.

제안 방법

• 입력이 \{0,1\}인 보편 텐서 수열 $U_d$를 구성하여 $\sigma(U_d) = \sigma(d)$가 되도록 하며, 이는 차원 $d$에서의 텐서 지수의 상한이다.
• 지지 집합 $\Delta \subseteq [d]^3$ 내에서 최악의 경우 지수 $\sigma(\Delta)$를 캡처하기 위해 국소화된 변형 $U_\Delta$를 도입한다.
• $U_d$와 $U_\Delta$를 조합하여 $\sigma(T_d) = 1$이 되는 텐서 $T_d$를 구성하며, 이는 스트라센의 점근적 랭크 추측이 차원 $d$에서 참일 때이고 뿐이다.
• 보편 텐서 수열 $U_d$를 대각화하여 얻은 대각화된 텐서 수열 $D_d$를 정의하고, $\lim_{d\to\infty} \sigma(d) = \lim_{d\to\infty} \sigma(D_d)$임을 보여, 명시적 구성에 의한 수렴성 입증.
• 대수기하 기법 적용: 세컨턴트 다양체 위에서 다항식의 사라짐 조건과 버로네제 매핑을 사용하여 점근적 랭크를 상한한다.
• GL(d)^3의 표현 이론을 활용하여 랭크-$r$ 텐서의 세컨턴트 다양체 위에서 사라지는 동차 다항식의 공간 분석.

실험 결과

연구 질문

• RQ1 보편적 텐서 수열을 명시적으로 구성할 수 있는가? 이는 $F^d \otimes F^d \otimes F^d$ 내에서 최악의 경우 지수를 캡처할 수 있어야 한다.
• RQ2 이러한 보편적 수열이 스트라센의 점근적 랭크 추측의 진리성을 감지할 수 있는가?
• RQ3 점근적 랭크 $\sigma(d)$의 극한이 $d \to \infty$일 때 명시적 텐서 구성에 의해 존재함을 입증할 수 있는가?
• RQ4 특히 세컨턴트 다양체 위의 다항식 방정식을 사용한 대수기하 도구가 점근적 랭크 상한을 어떻게 유도할 수 있는가?
• RQ5 낮은 랭크 텐서 위에서 사라지는 낮은 차수의 다항식이 존재하지 않음을 바탕으로 $\sigma(d)$에 대한 효과적인 상한을 도출할 수 있는가?

주요 결과

• 구성된 텐서 수열 $U_d$는 $\sigma(U_d) = \sigma(d)$를 만족하며, 최악의 경우 텐서 지수에 대한 첫 번째 명시적 보편 초보적 특성화를 제공한다.
• 국소화된 수열 $U_\Delta$는 $\sigma(U_\Delta) = \sigma(\Delta)$를 달성하여 제한된 지지 집합 내에서 텐서 지수 상한 분석을 타겟팅할 수 있게 한다.
• 스트라센의 점근적 랭크 추측이 차원 $d$에서 참일 때이고 뿐이면 $\sigma(T_d) = 1$이 되는 텐서 $T_d$를 구성하였으며, 이는 추측을 구체적인 텐서 성질과 직접 연결한다.
• 극한 $\lim_{d\to\infty} \sigma(d)$가 존재하며, 이는 $U_d$의 대각화된 형태인 $D_d$에 대해 $\lim_{d\to\infty} \sigma(D_d)$와 같음을 보여, 명시적 구성에 의한 수렴성을 확립한다.
• 세컨턴트 다양체 위에서 다항식의 사라짐 조건을 사용하여 점근적 랭크 상한을 도출한다: 만약 부분공간 $W$ 내에서 랭크-$n$ 텐서 위에 degree-$p$ 다항식이 사라지지 않는다면, 모든 $T \in W$에 대해 $\sigma(T) \leq n \binom{\dim W - 1 + p}{\dim W - 1}^{1/p}$이다.
• $\mathbb{C}^7 \otimes \mathbb{C}^7 \otimes \mathbb{C}^7$ 공간에서 국소 랭크 18인 초곡면이 존재하고, 그 정의 방정식의 차수가 최소 187000 이상이면, 모든 이러한 텐서에 대해 $\sigma(T) < 18.25$임을 도출한다. 이는 구체적 설정에서 이 방법의 강력함을 보여준다.