[论文解读] On P vs. NP, Geometric Complexity Theory, and the Flip I: a high level view

Ketan Mulmuley|ArXiv.org|Sep 5, 2007

Advanced Combinatorial Mathematics参考文献 51被引用 5

一句话总结

本文以高阶视角概述了几何复杂性理论（GCT），作为一种通过“对偶化”原理将困难的下界问题转化为较易的存在性问题的策略，以解决P与NP问题。该理论提出，证明在ℂ上P ≠ NP可归约为在代数几何与表示论中建立正性猜想，而这些猜想又与有限域上的广义黎曼假设相关联。

ABSTRACT

Geometric complexity theory (GCT) is an approach to the $P$ vs. $NP$ and related problems through algebraic geometry and representation theory. This article gives a high-level exposition of the basic plan of GCT based on the principle, called the flip, without assuming any background in algebraic geometry or representation theory.

研究动机与目标

• 为计算机科学家提供几何复杂性理论（GCT）的高层、易懂的阐述，且无需具备代数几何或表示论的背景知识。
• 解释GCT中“对偶化”原则的核心思想——将非存在性（下界）问题转化为存在性（上界）问题。
• 说明为何复杂性理论中的P-障碍可通过将其简化为表示论与代数几何中的决策问题而被跨越，而这些决策问题可能属于P。
• 论证GCT中数学正性假设的有效性与有限域上的黎曼假设及量子群理论存在深刻联系。
• 探讨是否存在一种更简单的、可由P验证的P ≠ NP证明技术，且GCT是否属于此类方法中“最简”者之一。

提出的方法

• 对偶化原理将ℂ上的P vs. NP问题简化为证明表示论与代数几何中某些决策问题属于P。
• 该方法将否定性假设（例如，NP-完全问题不存在多项式时间算法）转化为存在性断言：即代数簇中存在障碍。
• 障碍被定义为特定不可约表示或不变量，用以证明高效算法的非存在性。
• 该方法依赖于将复杂性理论中的正性假设简化为数学正性猜想——不含交替符号的公式，类似于永久行列式的公式。
• 引入非标准量子群，作为标准量子群的推广，以支持这些正性猜想的证明。
• 该框架通过标准与非标准量子群的理论，与代数几何中的深刻结果（如有限域上的黎曼假设）相联系。

实验结果

研究问题

• RQ1 P vs. NP问题能否被简化为表示论与代数几何时的若干决策问题，且这些决策问题属于P？
• RQ2 ‘对偶化’原理是否足以将困难的下界问题转化为可处理的存在性问题？
• RQ3 代数几何与表示论中的数学正性猜想（如结构函数非负且具有正性公式）是否成立？
• RQ4 有限域上的黎曼假设及其向非标准量子群的推广，能否用于证明这些正性猜想？
• RQ5 是否存在一种可由P验证且P-可构造的P ≠ NP证明技术？若存在，GCT是否属于此类方法中最简者之一？

主要发现

• ℂ上的P vs. NP问题可被简化为证明表示论中某些决策问题（如Littlewood-Richardson、Kronecker与plethysm问题）属于P。
• 对偶化原理将NP-完全问题不存在多项式大小电路的非存在性，转化为代数簇中障碍存在的存在性。
• GCT中数学正性假设的有效性等价于有限域上的广义黎曼假设，而这些假设在标准情形下已被证明成立。
• 非标准量子群被构造出来，以扩展标准量子群理论，并支持GCT中正性猜想的证明。
• GCT在ℂ上被猜想为P-可验证且P-可构造，表明其可能是目前已知P-可验证方法中“最简”者之一。
• GCT中障碍的显式构造复杂度预计属于P，且其验证复杂度也被猜想属于P，使其成为一种可行证明技术的候选。