[论文解读] Solutions Sets to Systems of Equations in Hyperbolic Groups Are EDT0L in PSPACE (Track B: Automata, Logic, Semantics, and Theory of Programming)

Laura Ciobanu, Murray Elder|arXiv (Cornell University)|Jan 1, 2019

Geometric and Algebraic Topology参考文献 30被引用 4

一句话总结

该论文证明了在双曲群中，以短字典序测地线词表示的方程与不等式组的解集是EDT0L语言，对于无挠群，其规范可计算于NSPACE(n² log n)；对于有挠群，其规范可计算于NSPACE(n⁴ log n)。该结果结合了几何群论、基于压缩的算法与语言理论分析，实现了最优空间复杂度，并对所有解进行了精确的形式语言刻画。

ABSTRACT

We show that the full set of solutions to systems of equations and inequations in a hyperbolic group, with or without torsion, as shortlex geodesic words, is an EDT0L language whose specification can be computed in $\mathsf{NSPACE}(n^2\log n)$ for the torsion-free case and $\mathsf{NSPACE}(n^4\log n)$ in the torsion case. Our work combines deep geometric results by Rips, Sela, Dahmani and Guirardel on decidability of existential theories of hyperbolic groups, work of computer scientists including Plandowski, Jeż, Diekert and others on $\mathsf{PSPACE}$ algorithms to solve equations in free monoids and groups using compression, and an intricate language-theoretic analysis. The present work gives an essentially optimal formal language description for all solutions in all hyperbolic groups, and an explicit and surprising low space complexity to compute them.

研究动机与目标

• 为双曲群中方程与不等式组的所有解提供形式语言理论刻画。
• 确定以短字典序测地线词表示的解集完整描述所需的确切空间复杂度。
• 将先前针对自由群与拟自由群解方程的PSPACE算法统一并推广至更广泛的双曲群类。
• 证明在无挠与有挠情况下，解集均为EDT0L语言——这一出人意料的低阶且结构化的语言类。
• 建立双曲群的纯存在理论在与解集计算相同的空间界内是可判定的。

提出的方法

• 利用Rips与Sela在无挠双曲群中的典范表示，将方程约化为自由群中的等价系统。
• 应用Plandowski的基于压缩的PSPACE算法求解自由群中的约化系统，生成覆盖解集。
• 利用EDT0L语言的封闭性质，通过代换与同伦约化将解集回传至原始双曲群。
• 对于有挠群，采用Dahmani与Guirardel在包含双曲群Cayley图的拟自由群中构造的典范表示。
• 构建一组有限的系统，每个系统对应于典范表示的一种可能配置。
• 对每个子系统应用先前工作的EDT0L算法，并合并结果，确保最终语言为EDT0L且可在所述空间界内计算。

实验结果

研究问题

• RQ1 双曲群中方程与不等式组的完整解集能否以EDT0L语言描述？
• RQ2 以短字典序测地线词表示的解集描述，其精确空间复杂度是多少？
• RQ3 如何有效将双曲群中的解集约化为自由群或拟自由群中的解集，同时保持解的结构？
• RQ4 双曲群的纯存在理论是否可在与解集计算相同的空间复杂度内判定？
• RQ5 解集能否被刻画为由典范表示与拟测地线约束导出的EDT0L语言的并集？

主要发现

• 在无挠双曲群中，以短字典序测地线词表示的方程与不等式组的所有解集构成一个EDT0L语言。
• 对于无挠双曲群，解集EDT0L语法的规范可在NSPACE(n² log n)内计算，其中n为输入大小。
• 对于有挠双曲群，解集同样是EDT0L语言，其规范可在NSPACE(n⁴ log n)内计算。
• 双曲群的纯存在理论在无挠情况下可判定于NSPACE(n² log n)，在有挠情况下可判定于NSPACE(n⁴ log n)。
• 解集的空性、有限性或无限性判断，可在与语法构造相同的空间复杂度内完成。
• 解集被捕捉为拟自由群中拟测地线路径导出的EDT0L语言的并集，通过代换与同伦约化确保正确性与语言封闭性。