[论文解读] Complexity and Completeness of Immanants

Jean-Luc Brylinski, Ranee Brylinski|ArXiv.org|Jan 23, 2003

Advanced Graph Theory Research参考文献 8被引用 10

一句话总结

本文证明了与分离度为 Ω(n^δ)（δ > 0）的杨图族相关的仿射函数是 VNP-完全的，推广了 Valiant 的永久函数完全性结果。作者引入了分离参数（最大行差）作为关键度量，表明高分离度意味着计算困难，从而以新证明确认了 Bürgisser 对一大类具有结构复杂性的仿射函数族的猜想。

ABSTRACT

Immanants are polynomial functions of n by n matrices attached to irreducible characters of the symmetric group S_n, or equivalently to Young diagrams of size n. Immanants include determinants and permanents as extreme cases. Valiant proved that computation of permanents is a complete problem in his algebraic model of NP theory, i.e., it is VNP-complete. We prove that computation of immanants is VNP-complete if the immanants are attached to a family of diagrams whose separation is $Ω(n^δ)$ for some $δ>0$. We define the separation of a diagram to be the largest number of overhanging boxes contained in a single row. Our theorem proves a conjecture of Buergisser for a large variety of families, and in particular we recover with new proofs his VNP-completeness results for hooks and rectangles.

研究动机与目标

• 解决 Bürgisser 关于具有显著结构复杂性的分拆族仿射函数 VNP-完全性的猜想。
• 识别一个精确的组合参数——分离度，以确定 Valiant 代数复杂性模型中仿射函数的计算困难性。
• 使用分离参数，为钩形和矩形仿射函数族的先前 VNP-完全性结果提供新的统一证明。
• 建立仿射函数族投影到永久函数族的一般准则，从而推导出 VNP-完全性。

提出的方法

• 将杨图的分离度定义为连续行长之差的最大值，即 k = max_i(λ_i - λ_{i+1})。
• 利用仿射函数的投影性质：IM_λ(A ⊕ P_q) = ∑_η (-1)^{r(λ,η)} IM_η(A)，其中 P_q 为 q-循环置换矩阵。
• 应用对称函数展开式 s_α p_q = ∑_λ f^λ_α s_λ，将仿射函数投影与对称函数系数关联起来。
• 利用 Littlewood-Richardson 法则的乘积展开，证明当 k 为 λ 的分离度时，IM_λ 可投影为 PER_k。
• 构造函数 t(n) = O(n^{1/δ})，使得 k(t(n)) ≥ n，从而保证 IM_λ^{(t(n))} 可投影为 PER_n。
• 利用 VNP 在投影和多项式时间归约下的封闭性，得出仿射函数族的 VNP-完全性。

实验结果

研究问题

• RQ1 在何种条件下，杨图族的对应仿射函数族是 VNP-完全的？
• RQ2 分离参数（最大行差）是否可作为仿射函数 VNP-完全性的充分条件？
• RQ3 Bürgisser 的猜想——宽度为 Ω(n^δ) 的仿射函数是 VNP-完全的——在更精细的分离参数下是否成立？
• RQ4 能否基于分离参数，以统一的证明框架重新获得钩形和矩形仿射函数族的 VNP-完全性？

主要发现

• 若 λ^{(n)} 的分离度 k(n) 满足 k(n) = Ω(n^δ)（δ > 0），则仿射函数族 (IM_λ^{(n)}) 是 VNP-完全的。
• 分离参数 k(n) 是 VNP-完全性的充分条件，推广了先前关于钩形和矩形的结果。
• 本文证明了 IM_λ 可投影为 PER_k，其中 k 为 λ 的分离度，通过涉及移除斜钩后获得的分拆的带符号和的投影公式。
• 存在函数 t(n) = O(n^{1/δ})，使得 IM_λ^{(t(n))} 可投影为 PER_n，从而实现从永久函数到仿射函数族的归约。
• 该证明确认了 Bürgisser 的猜想适用于一大类族，包括所有分离度关于 n 多项式增长的族。
• 结果为先前关于钩形和矩形的 VNP-完全性结果提供了新的统一证明，基于分离参数。