[论文解读] 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)$ 的新复杂度界，表明当三个分划的第二部分最小值 $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$ 较小或第二部分有界时。
• 以 $\ell$、$N$（最大部分大小）和 $M$（最小第二部分）为参数，提供明确的复杂度界，推进对正性与计算可行性条件的理解。
• 通过分析Kronecker系数正性与计算的可行性，支持几何复杂度理论计划。
• 探索Kronecker系数、约化Kronecker系数与特征值之间的联系，尤其在#P-完全性与半群性质的背景下。

提出的方法

• 引入新参数 $M$，即三个分划中第二部分的最小值，以超越仅基于 $N$ 和 $\ell$ 的复杂度分析。
• 提出约化引理（引理5.1），将计算 $g(\lambda,\mu,\nu)$ 的问题转化为大小为 $O(\ell^3 M)$ 的更小实例，同时保持系数值不变。
• 应用Barvinok算法来计数编码Kronecker系数的三重列联表中的整数点，从而在约化情况下实现高效计算。
• 利用Kronecker系数的半群性质，证明当 $\ell$ 有界时，正性可在 $O(\log N)$ 时间内判定。
• 借助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系数的正性都可在 $O\left(\log N\right)$ 时间内判定？
• RQ3 第二部分的大小（$M$）在多大程度上影响Kronecker系数的计算复杂度，特别是当 $M = O(1)$ 时？
• RQ4 在何种程度上可利用分划的结构性质，将问题从二进制输入约化为一元输入？
• RQ5 该约化技术能否推广至几何复杂度理论中的plethystic或其它对称函数推广？

主要发现

• 当 $M = O(1)$ 时，计算 $g(\lambda,\mu,\nu)$ 的时间复杂度为 $O(\ell \log N + (\ell \log M)^{O(\ell^3 \log \ell})}$，在 $\log N$ 上为线性，仅在 $\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算法在 $O(\log N)$ 时间内判定Kronecker系数的正性。
• 约化引理确保：当 $\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系数计算方法不太可能产生高效算法。