[論文レビュー] Geometric Complexity Theory and Tensor Rank

Peter Buergisser, Christian Ikenmeyer|arXiv (Cornell University)|Nov 5, 2010

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)$は正規化された最高重量の凸包として定義される。
• 文献[4]のクリロネッカー係数に関する漸近的結果を用いて、行列乗算テンソルに対して$P^o(\langle n,n,n\rangle) = \Delta(n^2,n^2,n^2)$、つまり完全な単体が得られることを示す。
• 任意の$u_{\underline{m}} \in P(w)$に対して、$\ell$が存在して$\ell \varepsilon_{\underline{m}} \in S(w)$となることから、ポリトープ内の有理点が実際に表現に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 行列乗算のようなテンソルのボーダーランクに対して、$G_s$-表現のみで非自明な下界を得ることは可能か？
• RQ2 $G$-表現は、幾何的複雑性理論における$G_s$-表現の制限をどのように克服するか？
• 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)$の生成集合から得られる正規化された最高重量の凸包として証明され、$P(w)$内の有理点はこれらの重量の整数線形結合から生じる。
• 任意の$u_{\underline{m}} \in P(w)$に対して、$\ell$が存在して$\ell \varepsilon_{\underline{m}} \in S(w)$となることから、ポリトープが表現の漸近的挙動を捉えていることが保証される。