[论文解读] The further chameleon groups of Richard Thompson and Graham Higman: Automorphisms via dynamics for the Higman groups $G_{n,r}$

Collin Bleak, Peter J‎. Cameron+3 more|arXiv (Cornell University)|May 30, 2016

semigroups and automata theory参考文献 10被引用 7

一句话总结

本文通过鲁宾定理和移位机理论，将希格曼-汤普森群 $G_{n,r}$ 的自同构群刻画为康托空间 $τ_{n,r}$ 上的同胚群。关键结果精确地将 $Δ\text{Aut}(G_{n,r})$ 识别为双同步移位机——即在相同条件下同时具备同步性和可逆性的有限状态机器——从而完成了对最后一只“变色龙”群 $V = G_{2,1}$ 的自同构分类长达二十年的探索。

ABSTRACT

We describe, through the use of Rubin's theorem, the automorphism groups of the Higman-Thompson groups $G_{n,r}$ as groups of specific homeomorphisms of Cantor spaces $\mathfrak{C}_{n,r}$. This continues a thread of research begun by Brin, and extended later by Brin and Guzmán: to characterise the automorphism groups of the `Chameleon groups of Richard Thompson,' as Brin referred to them in 1996. The work here completes the first stage of that twenty-year-old program, containing (amongst other things) a characterisation of the automorphism group of $V$, which was the `last chameleon.' The homeomorphisms which arise fit naturally into the framework of Grigorchuk, Nekrashevich, and Suschanskii's rational group $\mathscr{R}$: they are exactly those homeomorphisms which are induced by bi-sychronizing transducers, which we define in the paper. This result appears to offer insight into the nature of Brin and Guzman's exotic automorphisms, while also uncovering connections with the theory of reset words for automata (arising in the Road Colouring Problem) and with the theory of automorphism groups of the full shift.

研究动机与目标

• 完成对希格曼-汤普森群 $G_{n,r}$ 自同构群的分类，特别是 $V = G_{2,1}$，该问题自布林1996年的研究以来一直悬而未决。
• 解决长期悬而未决的难题：刻画 $V$ 的自同构群，即汤普森家族中最后一只“变色龙”群。
• 通过有限状态移位机及其在康托空间上的作用，建立自同构的动力刻画。
• 将 $G_{n,r}$ 中的奇异自同构理论与自动机理论中的重置词及全移位自同构群联系起来。
• 证明 $G_{n,r}$ 的自同构恰好是由 $Σ_{n,r}$ 中的双同步移位机诱导的同胚群。

提出的方法

• 应用鲁宾定理，将 $Δ\text{Aut}(G_{n,r})$ 识别为康托空间 $τ_{n,r}$ 上同胚群的子群，利用群在空间上的作用。
• 通过具有有限多个局部作用的性质刻画自同构，从而确保其可由有限状态移位机表示。
• 引入并分析双同步移位机的概念——即自身及其逆均具有同步性的移位机——并证明它们恰好诱导出 $G_{n,r}$ 的自同构。
• 利用格里戈里奇、涅克拉舍维奇和苏申茨基开发的有理群 $Σ_{n,r}$ 框架，实现自同构群的嵌入与分类。
• 证明 $G_{n,r}$ 的任意自同构均源自双同步移位机，且反之，每个此类移位机均诱导出一个自同构。
• 通过图像集和单射性的组合与拓扑约束，证明自同构群 $Δ\text{Aut}(G_{n,r})$ 同构于 $Σ_{n,r}$ 中双同步移位机的子群。

实验结果

研究问题

• RQ1 希格曼-汤普森群 $G_{n,r}$ 的自同构群 $Δ\text{Aut}(G_{n,r})$ 的精确结构是什么，特别是对 $V = G_{2,1}$？
• RQ2 自同构如何通过其在康托空间 $τ_{n,r}$ 上的作用实现动力刻画？
• RQ3 移位机——特别是双同步移位机——在实现 $G_{n,r}$ 自同构中起什么作用？
• RQ4 对于固定的 $n$，自同构群 $Δ\text{Aut}(G_{n,r})$ 如何依赖于参数 $r$？不同 $r$ 的群是否同构？
• RQ5 $G_{n,r}$ 的自同构与自动机理论中的重置词之间存在何种联系，特别是在道路着色问题的背景下？

主要发现

• 自同构群 $Δ\text{Aut}(G_{n,r})$ 同构于有理群 $Σ_{n,r}$ 中双同步移位机的子群。
• $G_{n,r}$ 的所有自同构均由同时具备强同步性且其逆也具有强同步性的有限状态移位机诱导。
• 群 $Δ\text{Aut}(G_{n,r})$ 作为康托空间 $τ_{n,r}$ 上同胚群的子群作用，其作用通过固定由公共无限后缀定义的等价类来刻画。
• 本文证明，任何具有特定图像与图像并集性质的移位机完成构造时，必有 $r \equiv 0 \mod 3$，特别地，$Σ_{4,1}$ 和 $Σ_{4,2}$ 严格嵌入于 $Σ_{4,3}$，表明不同 $r$ 对应的群具有非同构的同构类型。
• 对于 $n > 2$ 的奇异自同构的存在性，可通过双同步移位机动态解释，将其与重置词及全移位理论联系起来。
• 任一双同步移位机的逆可通过递归图像分解与状态转移规则组合构造，确保其在有理群框架内的可逆性。