[论文解读] 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状态自动机的结果推广至所有素数规模的可逆自动机。
• 状态集的素数性在证明中至关重要，尤其在控制∼-类与自提升分支的结构方面。