[论文解读] Knottedness is in NP, modulo GRH

Greg Kuperberg|arXiv (Cornell University)|Dec 5, 2011

Linguistics and Discourse Analysis被引用 11

一句话总结

该论文在广义黎曼猜想（GRH）的假设下，证明了判断一个绳结是否非平凡（即打结）属于复杂度类 NP。它构造了一个多项式长度的证明证书，由一个素数 $ p $ 和一个从绳结群到 $ \mathrm{SL}(2,\mathbb{Z}/p\mathbb{Z}) $ 的非交换表示组成，该证书可在多项式时间内验证，且 GRH 确保该素数足够小，从而使证书长度保持多项式规模。

ABSTRACT

Given a tame knot K presented in the form of a knot diagram, we show that the problem of determining whether K is knotted is in the complexity class NP, assuming the generalized Riemann hypothesis (GRH). In other words, there exists a polynomial-length certificate that can be verified in polynomial time to prove that K is non-trivial. GRH is not needed to believe the certificate, but only to find a short certificate. This result complements the result of Hass, Lagarias, and Pippenger that unknottedness is in NP. Our proof is a corollary of major results of others in algebraic geometry and geometric topology.

研究动机与目标

• 在广义黎曼猜想（GRH）的假设下，建立判断绳结是否打结的问题属于 NP 复杂度类。
• 提供一个长度为多项式的打结性证明证书，该证书可在多项式时间内验证，且 GRH 确保证书大小为多项式。
• 通过证明在相同假设下打结性属于 coNP，来补充 Hass、Lagarias 和 Pippenger 的结果（即未打结性属于 NP），从而将未打结性置于 NP ∩ coNP 中。
• 展示短证书的存在性依赖于 GRH，尽管证书本身在无条件情况下依然有效且具有说服力。
• 探讨复杂度理论的含义，特别是基于标准猜想，打结性不太可能是 NP-难的。

提出的方法

• 利用 Kronheimer 和 Mrowka 的结果：任何非平凡绳结均存在一个到 $ \mathrm{SU}(2) \subset \mathrm{SL}(2,\mathbb{C}) $ 的非交换表示。
• 借助 Koiran 定理：若代数方程组在复数域中有解，则在 GRH 下，存在一个较小的素数 $ p $，使得该方程组在模 $ p $ 下有解。
• 构造一个由素数 $ p $ 和绳结群生成元在 $ \mathbb{Z}/p\mathbb{Z} $ 上的 $ 2 \times 2 $ 矩阵表示组成的证书。
• 验证这些矩阵表示满足绳结群的关系，且为非交换（或在 Wirtinger 表示中不全相等），从而确认其非平凡性。
• 利用在有限域上存在非交换表示这一事实，推导出该绳结不是单位绳结。
• 应用广义黎曼猜想来界定 $ p $ 的大小，从而确保证书长度在输入规模的多项式范围内。

实验结果

研究问题

• RQ1 在 GRH 假设下，判断绳结是否打结的问题是否属于 NP 复杂度类？
• RQ2 能否利用有限群表示构造一个短且可高效验证的打结性证书？
• RQ3 GRH 在确保证书长度为多项式规模方面起什么作用？这一依赖是否可无条件去除？
• RQ4 打结性的复杂度与因数分解或图同构等中间问题有何关联？
• RQ5 能否通过其他证书或算法（如量子算法）将打结性置于 BQP 或 SZK 等复杂度类中？

主要发现

• 在广义黎曼猜想（GRH）假设下，打结性属于 NP，与 Hass、Lagarias 和 Pippenger 的结果共同完成完整图景：未打结性属于 NP。
• 证书由一个素数 $ p $ 和绳结群在 $ \mathrm{SL}(2,\mathbb{Z}/p\mathbb{Z}) $ 上的非交换表示组成，且在 GRH 下，$ p $ 的大小被限制为输入规模的多项式函数。
• 验证者可在多项式时间内检查群关系及表示的非交换性，从而确认绳结为非平凡。
• 若无 GRH，证书长度将增长至 $ \exp(\exp(\mathrm{poly}(\ell))) $，其中 $ \ell $ 为交叉数或单形数，但证书本身依然有效。
• 该结果意味着在 GRH 下，未打结性属于 NP ∩ coNP，暗示其不太可能是 NP-难的，可能位于中间复杂度类中。
• 该方法为绳结群的有限商群大小提供了有效界：在 GRH 下为 $ |G| = \exp(\mathrm{poly}(\ell)) $，无条件时为 $ \exp(\exp(\mathrm{poly}(\ell))) $。