[论文解读] Expressive Power, Satisfiability and Equivalence of Circuits over Nilpotent Algebras

Kompatscher, Michael|arXiv (Cornell University)|Oct 9, 2017

Advanced Algebra and Logic参考文献 12被引用 1

一句话总结

该论文证明，带有 Mal'cev 项的有限超幂零代数上的方程可解性与恒等式检查问题属于 P，扩展了 Horvath 对幂零群与环的结果。然而，它表明对于幂零但非超幂零的代数——特别是像 $A_p$ 这类无限型代数——这些问题分别变为 NP-完全与 co-NP-完全，说明仅靠幂零性不足以保证可解性，因此在标准复杂性假设下，以否定方式回答了 Horvath 的问题。

ABSTRACT

By a result of Horváth the equation solvability problem over finite nilpotent groups and rings is in P. We generalize his result, showing that the equation solvability over every finite supernilpotent Mal'cev algebra is in P. We also give an example of a nilpotent, but not supernilpotent Mal'cev algebra, whose identity checking problem is coNP-complete.

研究动机与目标

• 确定 Horvath 对有限幂零群与环上方程可解性的 P 时间证明是否可推广至一般幂零代数。
• 研究在同余可交换范畴中，方程可解性与恒等式检查的计算复杂性，特别关注超幂零性的角色。
• 澄清仅靠幂零性是否足以保证可解性，还是超幂零性才是多项式时间可解性的正确结构条件。
• 构造具有 Mal'cev 项的幂零但非超幂零代数的显式例子，其方程可解性为 NP-完全，恒等式检查问题为 co-NP-完全。

提出的方法

• 该论文利用高阶交换子理论与 Mal'cev 项的性质，分析幂零与超幂零代数的结构。
• 引入一族代数 $A_p = (\mathbb{Z}_{p^2}, +, 0, -, (f_n)_{n \in \mathbb{N}})$，其中 $f_n(x_1, \dots, x_n) = p \cdot x_1 \cdots x_n$，以构造反例。
• 证明将图 $p$-着色问题归约至 $A_p$ 上的方程可解性问题，从而证明其 NP-完全性。
• 建立 $t_G((x_v)_{v \in V}) = 0$ 当且仅当存在某条边连接同一 $\mathbb{Z}_p$陪集中的顶点，从而将图着色与多项式可解性联系起来。
• 利用 $f_n$ 是 0-吸收但不恒为零的性质，证明 $A_p$ 不是超幂零的。
• 区分有限型与无限型代数，表明 $A_p$ 的有限限制是超幂零的，但完整代数不是。

实验结果

研究问题

• RQ1 Horvath 对幂零群与环上方程可解性的 P 时间证明能否推广至所有具有 Mal'cev 项的幂零代数？
• RQ2 超幂零性是否为同余可交换范畴中确保方程可解性与恒等式检查可解性的正确结构条件？
• RQ3 所有具有 Mal'cev 项的幂零但非超幂零代数是否必然导致方程可解性问题为 NP-完全？
• RQ4 这些问题的困难性是否可通过从已知 NP-完全问题（如图 $p$-着色）的归约来捕捉？
• RQ5 在无限型代数中，输入多项式的编码方式（例如作为项 vs. 电路）是否会影响复杂性分类？

主要发现

• 带有 Mal'cev 项的有限超幂零代数上的方程可解性问题属于 P，推广了 Horvath 对幂零环与群的结果。
• 此类代数上的恒等式检查问题也属于 P，且本文提供了同余可交换范畴中超幂零代数的新刻画。
• 对每个奇素数 $p$，代数 $A_p = (\mathbb{Z}_{p^2}, +, 0, -, (f_n)_{n \in \mathbb{N}})$，其中 $f_n(x_1, \dots, x_n) = p \cdot x_1 \cdots x_n$，是 2 阶幂零但非超幂零的。
• 方程可解性问题 $p\text{Eq}(A_p)$ 为 NP-完全，通过从图 $p$-着色问题的归约得以证明。
• 恒等式检查问题 $p\text{Id}(A_p)$ 为 co-NP-完全，因为当且仅当所有赋值下 $t_G((x_v)_{v \in V}) = 0$ 时，图不是 $p$-着色的。
• 即使输入以代数电路形式编码，这些困难性结果依然成立；但 $A_p$ 对有限个运算的有限限制是超幂零的，且产生可解问题。