[論文レビュー] 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

ひとこと要約

この論文は、双曲的群における方程式および不等式の解集合—短いlex geodesic語として表現されたもの—がEDT0L言語であることを確立している。torsion-free群の場合、指定はNSPACE(n² log n)で計算可能であり、torsionを含む群の場合には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.

研究の動機と目的

• 双曲的群における方程式および不等式の系のすべての解の形式言語的特徴付けを提供すること。
• 短いlex geodesic語としての解集合の記述を計算するために必要な正確な空間計算量を特定すること。
• 自由群および virtually free 群における方程式を解く既存のPSPACEアルゴリズムを、より広い双曲的群のクラスへ統合・拡張すること。
• torsion-freeおよびtorsionを含む両ケースにおいて、解集合がEDT0Lである、驚くべきほど低く構造的な言語クラスであることを示すこと。
• 双曲的群の存在論的理論が、解集合の計算と同一の空間境界内で決定可能であることを確立すること。

提案手法

• torsion-freeな双曲的群におけるRipsとSelaの標準的代表元を活用し、方程式を自由群における同値な系に還元する。
• Plandowskiの圧縮に基づくPSPACEアルゴリズムを適用し、自由群における還元済み系を解き、被覆的解集合を得る。
• EDT0L言語の閉包性質を用いて、置換およびホモトピー簡約を介して解集合を元の双曲的群へ持ち上げる。
• torsionを含む群の場合、DahmaniとGuirardelの構成を用い、双曲的群のケイリー図の埋め込みを含むvirtually free群における標準的代表元を構築する。
• 標準的代表元の各可能な配置に対応する、virtually free群上の系の有限集合を構築する。
• 先行研究のEDT0Lアルゴリズムを各部分系に適用し、結果を合併することで、最終的な言語がEDT0Lであり、指定された空間境界内での計算が可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 双曲的群における方程式および不等式の系の全解集合は、EDT0L言語として記述可能か？
• RQ2 短いlex geodesic語としての解集合の記述を計算するために必要な正確な空間計算量は何か？
• RQ3 双曲的群における解集合は、解の構造を保ちつつ、自由群またはvirtually free群における解集合へ効果的に還元可能か？
• RQ4 双曲的群の存在論的理論は、解集合の計算と同一の空間計算量内で決定可能か？
• RQ5 解集合は、標準的代表元および準地図的制約から導かれるEDT0L言語の和集合として特徴付け可能か？

主な発見

• torsion-freeな双曲的群における方程式および不等式の系のすべての解集合—短いlex geodesic語として表現されたもの—はEDT0L言語を形成する。
• torsion-freeな双曲的群の場合、解集合のEDT0L文法の指定は、入力サイズnに対してNSPACE(n² log n)で計算可能である。
• torsionを含む双曲的群の場合、解集合もEDT0Lであり、その指定はNSPACE(n⁴ log n)で計算可能である。
• 双曲的群の存在論的理論は、torsion-freeの場合NSPACE(n² log n)、torsionを含む群の場合NSPACE(n⁴ log n)で決定可能である。
• 解集合の空集合、有限性、無限性の判定も、文法構築と同一の空間計算量で行える。
• 解集合は、virtually free群における準地図的経路から導かれるEDT0L言語の和集合として捉えられ、置換およびホモトピー簡約により正しさと言語の閉包性が保証される。