[论文解读] Geometric Complexity Theory V: Equivalence between blackbox derandomization of polynomial identity testing and derandomization of Noether's Normalization Lemma

Ketan Mulmuley|arXiv (Cornell University)|Sep 26, 2012

Computability, Logic, AI Algorithms被引用 8

一句话总结

本文建立了多项式恒等式测试（PIT）的黑箱去随机化与显式代数簇上诺特正规化引理去随机化之间的等价性，特别是在一般线性群 GL 在矩阵元组上的伴随作用背景下。研究表明，符号迹恒等式测试（STIT）的黑箱去随机化将诺特引理的去随机化复杂度从 EXPSPACE 降低至特征零下的 P，且在 GRH 假设下可进一步降低至准-PH。

ABSTRACT

It is shown that black-box derandomization of polynomial identity testing (PIT) is essentially equivalent to derandomization of Noether’s Normalization Lemma for explicit algebraic varieties, the problem that lies at the heart of the foundational classification problem of algebraic geometry. Specifically: (1) It is shown that in characteristic zero black-box derandomization of the symbolic trace identity testing (STIT) brings the problem of derandomizing Noether’s Normalization Lemma for the ring of invariants of the adjoint action of the general linear group on a tuple of matrices from EXPSPACE (where it is currently) to P. Next it is shown that assuming the Generalized Riemann Hypothesis (GRH), instead of the blackbox derandomization hypothesis, brings the problem from EXPSPACE to quasi-PH, instead of P. Thus black-box derandomization

研究动机与目标

• 建立黑箱去随机化多项式恒等式测试（PIT）与显式代数簇上诺特正规化引理去随机化之间的基本等价性。
• 降低在一般线性群 GL 作用于矩阵元组的伴随表示下，不变量环上诺特正规化引理去随机化的复杂度。
• 探讨广义黎曼猜想（GRH）对诺特引理去随机化复杂度的影响。
• 通过符号迹恒等式测试（STIT）框架，连接代数几何与计算复杂性理论中的基础问题。

提出的方法

• 利用符号迹恒等式测试（STIT）作为黑箱 PIT 的变体，将代数复杂性中的去随机化与几何不变量理论联系起来。
• 将 GL 在矩阵元组上的伴随作用下诺特正规化引理的去随机化问题，约化为特征零下的 STIT 问题。
• 应用黑箱去随机化假设，证明 STIT 的去随机化可推出诺特正规化引理的 P 时间算法。
• 将广义黎曼猜想（GRH）作为替代假设，以获得准-PH 上界而非 P。
• 运用几何复杂性理论的技术，将代数几何时问题与计算复杂性类联系起来。
• 分析在由矩阵不变量定义的显式代数簇下，正规化引理的复杂度。

实验结果

研究问题

• RQ1 黑箱去随机化多项式恒等式测试是否等价于显式代数簇上诺特正规化引理的去随机化？
• RQ2 STIT 的去随机化能否将矩阵不变量上诺特正规化引理的去随机化复杂度从 EXPSPACE 降低至特征零下的 P？
• RQ3 在广义黎曼猜想（GRH）假设下，诺特正规化引理的去随机化复杂度是多少？
• RQ4 符号迹恒等式测试（STIT）框架如何作为代数几何与计算复杂性之间的桥梁？
• RQ5 在 GL 对矩阵元组的伴随作用背景下，PIT 去随机化与诺特引理去随机化之间的等价性在多大程度上成立？

主要发现

• 黑箱去随机化 STIT 意味着在特征零下，GL 作用于矩阵元组的伴随表示上诺特正规化引理的去随机化属于 P。
• 在广义黎曼猜想（GRH）假设下，同一设定下诺特正规化引理的去随机化属于准-PH，而非 P。
• 显式代数簇上诺特正规化引理的去随机化问题被证明等价于黑箱去随机化 PIT。
• 在给定不变量环下，诺特正规化引理去随机化的当前复杂度为 EXPSPACE，但在上述假设下显著降低。
• 该等价性建立了计算复杂性与代数几何基础问题（尤其是几何不变量理论）之间的深刻联系。
• 结果表明，通过黑箱方法在 PIT 去随机化上的进展，可为正规化引理的长期复杂度界限带来突破性进展。