[論文レビュー] On the complexity of computing Kronecker coefficients

Igor Pak, Greta Panova|arXiv (Cornell University)|Apr 2, 2014

Advanced Combinatorial Mathematics参考文献 41被引用数 22

ひとこと要約

本稿は、Kronecker係数 $g(\lambda,\mu,\nu)$ の計算における新しい複雑性上限を確立し、3つの分割のうち最小の第二部 $M$ が有界である場合、計算時間は $\log N$ に対して多項式的であり、部数 $\ell$ のみに対して指数的であることを示している。主な貢献は、大きな部のサイズの問題を、より小さいユニタリサイズの問題に変換できる還元補題であり、これにより多面体内の整数点数を数えるBarvinokのアルゴリズムを用いた効率的な計算が可能になる。

ABSTRACT

We study the complexity of computing Kronecker coefficients $g(λ,μ,ν)$. We give explicit bounds in terms of the number of parts $\ell$ in the partitions, their largest part size $N$ and the smallest second part $M$ of the three partitions. When $M = O(1)$, i.e. one of the partitions is hook-like, the bounds are linear in $\log N$, but depend exponentially on $\ell$. Moreover, similar bounds hold even when $M=e^{O(\ell)}$. By a separate argument, we show that the positivity of Kronecker coefficients can be decided in $O(\log N)$ time for a bounded number $\ell$ of parts and without restriction on $M$. Related problems of computing Kronecker coefficients when one partition is a hook, and computing characters of $S_n$ are also considered.

研究の動機と目的

• Kronecker係数の計算複雑性を理解すること。これは代数的組合せ論における最も謎めいた問題の一つのままである。
• これらの係数の計算が、部数 $\ell$ が小さい、または第二部が有界であるような条件下でどのようにして tractable になるかを特定すること。
• positivity と計算の可能性が成立する条件を、$\ell$、$N$（最大部のサイズ）、$M$（最小第二部）の観点から明示的な複雑性上限として提供すること。
• Geometric Complexity Theory プログラムを支援するために、Kronecker係数の positivity と計算の tractability を分析すること。
• Kronecker係数、削減されたKronecker係数、および特徴値の間の関係を、特に #P-完全性と半群性質の文脈で探求すること。

提案手法

• 3つの分割における最小第二部 $M$ を新たなパラメータとして導入し、$N$ と $\ell$ のみに依存する複雑性分析を超えて、複雑性解析を洗練する。
• 還元補題（補題 5.1）を考案し、$g(\lambda,\mu,\nu)$ の計算問題を、サイズ $O(\ell^3 M)$ のより小さなインスタンスに還元する。この還元により係数の値が保存される。
• Barvinokのアルゴリズムを用いて、3方向の連関表に符号化されたKronecker係数の整数点を数えることで、還元後のケースにおける効率的計算を可能にする。
• Kronecker係数の半群性質を用いて、$\ell$ が有界である場合、$O(\log N)$ 時間で positivity が決定可能であることを示す。
• Blasiakのフック型分割におけるKronecker係数の組合せ的解釈を活用し、このようなケースが #P に属することを示す。
• これらのツールを統合し、$g(\lambda,\mu,\nu)$ の計算に対する主要な複雑性上限を導出する：$O(\ell \log N + (\ell \log M)^{O(\ell^3 \log \ell)})$。

実験結果

リサーチクエスチョン

• RQ1 どの条件下で $\ell$、$N$、$M$ に対してKronecker係数が多項式時間で計算可能になるか？
• RQ2 $\ell$ が有界である場合、$M$ に制限がなくとも、Kronecker係数の positivity は $O(\log N)$ 時間で決定可能か？
• RQ3 第二部のサイズ（$M$）がKronecker係数の計算複雑性にどのように影響を与えるか、特に $M = O(1)$ の場合に。
• RQ4 分割の構造的性質を用いて、問題を二進入力からユニタリ入力にどの程度まで還元可能か？
• RQ5 この還元技術は、Geometric Complexity Theory の文脈における、p latteristic や他の対称関数一般化へ一般化可能か？

主な発見

• $M = O(1)$ の場合、$g(\lambda,\mu,\nu)$ の計算時間複雑性は $O(\ell \log N + (\ell \log M)^{O(\ell^3 \log \ell)})$ であり、これは $\log N$ に対して線形的だが、$\ell$ のみに対して指数的である。これは、部数 $\ell$ が主なボトルネックであることを示している。
• $M = O(1)$ の場合、$\ell$ と $\log M$ が $N$ に対してゆっくりと成長する場合、特に $\ell = O\left(\frac{(\log \log N)^{1/3}}{(\log \log \log N)^{2/3}}\right)$ のとき、多項式時間アルゴリズムが確立される。
• $\ell$ が有界である場合、$M$ に制限がなくとも、半群性質とBarvinokのアルゴリズムを用いて、Kronecker係数の positivity は $O(\log N)$ 時間で決定可能である。
• 還元補題により、$\nu_2$ が小さい場合、$g(\lambda,\mu,\nu) = 0$ であるか、またはサイズ $O(\ell^3 \nu_2)$ のより小さな還元された三つ組の係数に等しくなることが保証され、これにより効率的な計算が可能になる。
• 削減されたKronecker係数は、$n$ が十分に大きいと安定化し、本稿ではその安定化の明示的上限 $n \leq \max\{\lambda_1, \mu_1\} + |\nu| + |\lambda|$ を提供している。これは、以前の上限と一致またはそれを改善する。
• 本稿では、$S_n$ の特徴を計算することは #P-困難であることを示しており、Kronecker係数を計算するにあたり、特徴に基づくアプローチは効率的なアルゴリズムをもたらす可能性が低いことを示唆している。