[论文解读] On P vs. NP, Geometric Complexity Theory, and the Riemann Hypothesis

Ketan Mulmuley|ArXiv.org|Aug 13, 2009

Algebraic structures and combinatorial models参考文献 24被引用 6

一句话总结

本文提出了一套几何复杂性理论（GCT）框架，用于在特征零下解决 P vs. NP 和 #P vs. NC 问题，通过表示理论与代数几何，将永久式与行列式问题约化为量子群的典范基中的正性问题。关键贡献在于，构想出一条连接有限域上的黎曼假设与通过非标准量子群构造解决基本复杂性下界问题的桥梁。

ABSTRACT

Geometric complexity theory (GCT) is an approach to the $P$ vs. $NP$ and related problems. A high level overview of this research plan and the results obtained so far was presented in a series of three lectures in the Institute of Advanced study, Princeton, Feb 9-11, 2009. This article contains the material covered in those lectures after some revision, and gives a mathematical overview of GCT. No background in algebraic geometry, representation theory or quantum groups is assumed.

研究动机与目标

• 建立一个几何与表示论框架，以解决特征零下的 P vs. NP 和 #P vs. NC 问题。
• 通过在量子群的典范基中利用正性，构建显式且可验证的困难性证明，以突破复杂性障碍。
• 通过量化表示，将 Littlewood-Richardson 法则推广至幂积（plethysm）与子群限制问题。
• 通过将经典结果提升至非标准量子群，为复杂性理论中的“翻转”策略提供数学基础。
• 将深刻的数论猜想——特别是有限域上的非标准黎曼假设——与复杂性理论中的计算下界联系起来。

提出的方法

• 通过群作用下的对称性，将永久式与行列式刻画为唯一不变的多项式，以此定义其复杂性类。
• 将永久式与行列式的问题表述为：GL_n 的 Weyl 模是否可嵌入到 GL_m 表示的对称幂中。
• 应用几何不变量理论，将永久式的轨道闭包定义为一类簇（class variety），并由此定义困难性假设（PH1）。
• 通过标准与非标准量子群，引入子群嵌入的量化，将经典表示提升至量子设置。
• 为非标准量子群的不可约表示构造典范基，其正性在子群作用下被猜想成立。
• 利用这些基的正性，证明困难性假设（PH1），该假设在特征零下蕴含 #P vs. NC 猜想。

实验结果

研究问题

• RQ1 永久式与行列式问题能否被约化为量子群典范基中的正性问题？
• RQ2 在非标准量子群构造下，张量积重数的 Littlewood-Richardson 法则能否推广至幂积？
• RQ3 有限域上的黎曼假设能否被推广至非标准量子群，以证明典范基的正性？
• RQ4 能否通过几何与表示论方法，构造出特征零下 #P vs. NC 猜想的显式、可构造性证明？
• RQ5 复杂性理论中的“翻转”策略能否通过子群嵌入的量化与非标准量子群中典范基的构造得以实现？

主要发现

• 在无位操作的非均匀情形下，P ≠ NC 的结果被确立为无条件下界，其推导基于几何方法，而非初等组合学。
• 在特征零下，永久式与行列式问题被约化为：证明与幂积映射相关的非标准量子群的正典范基的存在性。
• 通过量化，Littlewood-Richardson 正性结果（LR PH0）被推广至幂积情形，导出幂积 PH0 假设。
• GCT7 与 GCT8 提供了一个构想上正确的算法，用于构造非标准量子群的典范基，其正性猜想可推出困难性假设。
• GCT 的最终目标是通过一系列几何与表示论的约化，从有限域上的非标准黎曼假设推导出 P ≠ NP。