[论文解读] Algebraic Metacomplexity and Representation Theory

Joshua A. Grochow|arXiv (Cornell University)|Jan 1, 2022

Complexity and Algorithms in Graphs被引用 1

一句话总结

本文提出了一种 VP 与 VNP 之间的代数自然证明障碍，表明若 VP 存在简洁命中集，则已知的代数电路下界无法将 VP 与 VNP 分离。关键结果建立了多项式恒等式测试（PIT）的去随机化与代数证明技术局限性之间的联系，类似于布尔复杂度中的 Razborov–Rudich 障碍。

ABSTRACT

In the algebraic metacomplexity framework we prove that the decomposition of metapolynomials into their isotypic components can be implemented efficiently, namely with only a quasipolynomial blowup in the circuit size. We use this to resolve an open question posed by Grochow, Kumar, Saks & Saraf (2017). Our result means that many existing algebraic complexity lower bound proofs can be efficiently converted into isotypic lower bound proofs via highest weight metapolynomials, a notion studied in geometric complexity theory. In the context of algebraic natural proofs, it means that without loss of generality algebraic natural proofs can be assumed to be isotypic. Our proof is built on the Poincaré-Birkhoff-Witt theorem for Lie algebras and on Gelfand-Tsetlin theory, for which we give the necessary comprehensive background.

研究动机与目标

• 在代数电路复杂度的背景下，形式化 Razborov–Rudich 自然证明障碍的代数类比。
• 识别出一类代数证明技术——特别是基于测试多项式和矩阵秩方法的——在去随机化假设下本质上存在局限性。
• 将 VP 的简洁命中集的存在性与当前代数方法无法证明强下界的可能性联系起来。
• 探索该障碍与几何复杂度理论（GCT）以及代数证明复杂度之间的联系。
• 通过利用命中集构造，为在代数证明系统（如几何 IPS）中证明下界提出新方向。

提出的方法

• 在代数设定中，将“广泛性”定义为扎里斯基开集，即多项式方程零点集的补集。
• 将“可构造性”定义为：测试多项式可通过输入多项式系数数量的多项式大小代数电路计算得到。
• 引入 VP 的“简洁命中集”概念，其中命中集若能由小规模代数电路描述，则称为简洁的。
• 证明：若 VP 存在此类简洁命中集，则所有基于测试多项式和秩方法的已知代数下界技术均无法将 VP 与 VNP 分离。
• 将此障碍与多项式恒等式测试（PIT）联系起来，论证在去随机化假设下，行列式的随机线性投影应产生 VP 的良好命中集。
• 使用与不可满足 3CNF 公式相关的多项式映射的像作为电路类的候选命中集，从而与几何理想证明系统（Geometric IPS）建立联系。

实验结果

研究问题

• RQ1 是否可以在代数电路的纯代数设定中形式化类似自然证明的障碍？
• RQ2 在何种条件下，已知的代数下界技术无法将 VP 与 VNP 分离？
• RQ3 多项式恒等式测试（PIT）与去随机化在限制代数证明技术能力方面起到什么作用？
• RQ4 能否利用多项式映射像构造的命中集在几何 IPS 中证明下界？
• RQ5 这些代数障碍与几何复杂度理论（GCT）以及多重性障碍的存在性有何关联？

主要发现

• 若 VP 存在简洁命中集，则一大类代数电路下界——特别是基于测试多项式和秩型方法的——无法将 VP 与 VNP 分离。
• VP 存在简洁命中集等价于受限电路类多项式恒等式测试（PIT）的去随机化。
• 本文建立了基于代数几何与电路复杂度的 Razborov–Rudich 自然证明障碍的正式代数类比。
• 若行列式的随机线性投影能为 VP 产生良好命中集，则当前代数技术无法证明强下界。
• 与几何 IPS 的联系已建立：若与 3CNF 公式相关的多项式映射的像构成电路类 Λ 的命中集，则不存在几何 Λ-IPS 证书。
• 结果表明，通过从不可满足的 3CNF 实例构造此类命中集，可能在几何 IPS 中证明下界。