[論文レビュー] On the generalized membership problem in relatively hyperbolic groups

Olga Kharlampovich, Pascal Weil|arXiv (Cornell University)|Aug 9, 2019

Geometric and Algebraic Topology参考文献 31被引用数 1

ひとこと要約

この論文は、相対的に擬凸部分群の一般化された属 membership 問題の決定可能性を、比較的有限提示された相対的に双曲的群において、ややきつい外周構造条件のもとで、スターリングス図と自動構造に基づく半アルゴリズムを用いて確立する。主な貢献は、部分群が相対的に擬凸である場合にのみ停止し、正しく属 membership を決定する部分アルゴリズムを提供することである。これは、相対的に双曲的群の幾何学的およびアルゴリズム的性質と、外周の有限性条件を活用したものである。

ABSTRACT

The aim of this short note is to provide a proof of the decidability of the generalized membership problem for relatively quasi-convex subgroups of finitely presented relatively hyperbolic groups, under some reasonably mild conditions on the peripheral structure of these groups. These hypotheses are satisfied, in particular, by toral relatively hyperbolic groups.

研究の動機と目的

• 組合せ的群論における長年の未解決問題である、相対的に双曲的群における一般化された属 membership 問題の決定可能性を扱う。
• 相対的に双曲的群の外周構造にどのような条件を課すと、相対的に擬凸部分群の属 membership 問題が決定可能になるかを特定する。
• 自由群や双曲的群に限らない、より広いクラスの相対的に双曲的群へと、特にスターリングス図と自動構造のアルゴリズム的手法を拡張する。
• 与えられた要素の属 membership を正しく決定し、部分群が相対的に擬凸である場合にのみ停止する半アルゴリズムを提供する。

提案手法

• 入力語の生成する部分群に対して、自由群におけるスターリングスに類似した図を構築し、その後群提示からの関係式をラベルとするループを追加して変更する。
• スターリングス折りたたみを繰り返し適用して、有限でラベル付けされ、向き付けられた図を維持し、これにより周囲群内の部分群を表現する。
• 有限指数の外周部分群への拡張を探索することで、属 membership をテストする非決定的半アルゴリズムを適用する。
• 外周生成子を含む拡張されたアルファベットにおける自動構造を用いて、測地的代表元を表現し、擬凸性を検証する。
• Hruska や Manning-Martínez-Pedroza、Antolin-Ciobanu の結果を活用して、外周の有限指数を計算し、拡張された部分群における属 membership を検証する。
• これらの要素を統合し、部分群が相対的に擬凸である場合にのみ停止し、属 membership または非属 membership を証明する部分アルゴリズムを構築する。

実験結果

リサーチクエスチョン

• RQ1 相対的に双曲的群の外周構造にどのような条件を課すと、相対的に擬凸部分群の一般化された属 membership 問題が決定可能になるか？
• RQ2 自由群から外周部分群が非自明な相対的に双曲的群へと、スターリングス図に基づく手法を拡張できるか？
• RQ3 相対的に擬凸部分群における属 membership を正しく決定し、部分群がこの幾何的条件を満たす場合にのみ停止する半アルゴリズムは存在するか？
• RQ4 自動構造と外周の有限指数条件をどのように用いて、このような部分群における非属 membership を証明できるか？

主な発見

• ややきつい外周仮定のもとで、有限提示された相対的に双曲的群における相対的に擬凸部分群の一般化された属 membership 問題は決定可能であり、トーラル相対的に双曲的群を含む。
• 部分群が相対的に擬凸である場合にのみ停止し、正しく属 membership を決定する半アルゴリズムが構築された。
• このアルゴリズムは、有限指数の外周拡張に関する非決定的探索に依存しており、測地的代表元を備えた自動構造の存在に依存する。
• 部分群 H が相対的に擬凸であり、g ∉ H であるとき、H₁ は外周的に有限指数を持ち、g ∉ H₁ となるような有限指数の外周拡張 H₁ が存在する。これにより、アルゴリズムは停止し、非属 membership を証明できる。
• この手法は、スターリングス折りたたみと図に基づく部分群表現を、相対的に双曲的群の文脈に一般化し、それらのアルゴリズム的有用性を拡張する。
• 仮定 (H1)–(H4) の下で構成は有効であり、これはトーラル相対的に双曲的群やその他の自然な群のクラスで満たされる。