[論文レビュー] Connected reversible Mealy automata of prime size cannot generate infinite Burnside groups

Thibault Godin, Ines Klimann|arXiv (Cornell University)|Apr 12, 2016

Algebraic structures and combinatorial models参考文献 3被引用数 4

ひとこと要約

この論文は、素数個の状態をもつ連結で可逆なメイリー自己同型が無限のバーンサイド群を生成できないことを証明する。新たに導入された『ジャングルツリー』という道具と、軌道ツリーにおける自己持ち上げ可能な分岐の解析を通じて、すべての群元が一様に有界な有限位数を持つことを示し、ゼルマンォフの定理により群の有限性が示され、素数サイズの可逆自己同型に対して長年の予想が解決される。

ABSTRACT

The simplest example of an infinite Burnside group arises in the class of automaton groups. However there is no known example of such a group generated by a reversible Mealy automaton. It has been proved that, for a connected automaton of size at most~3, or when the automaton is not bireversible, the generated group cannot be Burnside infinite. In this paper, we extend these results to automata with bigger stateset, proving that, if a connected reversible automaton has a prime number of states, it cannot generate an infinite Burnside group.

研究の動機と目的

• 可逆メイリー自己同型が無限のバーンサイド群を生成できないという予想を解決すること。
• 2状態および3状態の可逆自己同型に関する先行結果を、すべての素数サイズの連結可逆メイリー自己同型に拡張すること。
• 軌道ツリーとジャングルツリーの解析を通じて、このクラスにおける無限位数群の構造的障害を確立すること。
• 自己同型群の構造を研究するための新規ツールとして、特にジャングルツリーと自己持ち上げ可能な分岐の解析を考案すること。

提案手法

• 根付き木上の自己同型群作用のダイナミクスを分析するため、軌道ツリーの拡張としてジャングルツリーを導入する。
• 先行研究のラベル付き軌道ツリーを基盤として、ジャングルツリー構造を構築する。
• 自己持ち上げ可能な分岐および茎の概念を用いて、群元が木の各レベルに与える作用を制御する。
• 再帰的構成を用いて、状態集合内の任意の語がジャングルツリー内での巡回語と同じ作用をもたらすことを示す。
• 巡回ジャングル語が一様に有界な位数の元をもたらすことに着目し、状態集合の有限性を活用する。
• 残余有限群において指数が一様に有界である場合のゼルマンォフの定理を適用し、群の有限性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 連結で可逆なメイリー自己同型が素数サイズである場合、無限のバーンサイド群を生成できるか？
• RQ2 軌道ツリーおよびその拡張が、このような群に無限位数元が存在しないのを防ぐ構造的性質は何か？
• RQ3 3状態自己同型からp状態自己同型（pは素数）への自己持ち上げ可能な分岐の概念をどのように一般化できるか？
• RQ4 状態集合の対称性（例えば、素数性）は、自己同型群の構造をどの程度制限するか？
• RQ5 ジャングルツリー構成は、非素数サイズの自己同型や非連結自己同型へも拡張可能か？

主な発見

• 素数サイズの連結で可逆なメイリー自己同型は、無限のバーンサイド群を生成できない。
• 生成群のすべての元は、ジャングルツリー構造にのみ依存する定数で有界な有限位数を持つ。
• ゼルマンォフの定理による残余有限性と一様指数の有界性から、群は必然的に有限である。
• ジャングルツリー構成により、木のすべてのレベルにおける群元作用の均一な解析が可能になる。
• 2状態および3状態自己同型に関する先行結果が、すべての素数サイズの可逆自己同型に一般化される。
• 状態集合の素数性は、証明において本質的であり、特に〜-類および自己持ち上げ可能な分岐の構造を制御する上で重要である。