[論文レビュー] A Universal Sequence of Tensors for the Asymptotic Rank Conjecture

Petteri Kaski, Mateusz Michałek|arXiv (Cornell University)|Apr 9, 2024

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)$ を達成する、明示的なゼロ・ワンテンソルの系列 $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)$ となるようにする。ここで $\sigma(d)$ は次元 $d$ 内のテンソル指数の上限である。
• 部分集合 $\Delta \subseteq [d]^3$ にサポートされるテンソルの最悪ケース指数 $\sigma(\Delta)$ を捉えるために、局所化された変種 $U_\Delta$ を導入する。
• $U_d$ と $U_\Delta$ を組み合わせて、$\sigma(T_d) = 1$ が成り立つのは、$d$ に対してストラッセンの漸近的ランク予想が成り立つ場合に限るというテンソル $T_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)$ は存在し、$D_d$ を $U_d$ の対角化とすると、$\lim_{d\to\infty} \sigma(d) = \lim_{d\to\infty} \sigma(D_d)$ に等しい。明示的構成により収束が確立される。
• セカント多様体上の多項式の消える条件を用いて、漸近的ランクの上界を導出する。もし部分空間 $W$ 内のランク-$n$ テンソル上で、次数 $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 以上であるならば、すべての such テンソルに対して $\sigma(T) < 18.25$ が成り立つ。これは、この手法が具体的な状況でも強力であることを示している。