[论文解读] Freeness of automata groups vs boundary dynamics

Daniele D’Angeli, Emanuele Rodaro|arXiv (Cornell University)|Oct 22, 2014

semigroups and automata theory参考文献 15被引用 3

一句话总结

本文通过将自动机群的自由性这一代数性质与丰富化对偶移位器所生成群（或幺半群）的边界动力学相联系，建立了其动力学表征。结果表明，一个自动机群是自由的，当且仅当所有在本质上非平凡边界点处根植的Schreier图都是无限的；关键结果可推广至双可逆移位器，并产生算法、动力学与代数方面的推论。

ABSTRACT

We prove that the boundary dynamics of the (semi)group generated by the enriched dual transducer characterizes the algebraic property of being free for an automaton group. We specialize this result to the class of bireversible transducers and we show that the property of being not free is equivalent to have a finite Schreier graph in the boundary of the enriched dual pointed on some essentially non-trivial point. From these results we derive some consequences from the dynamical, algorithmic and algebraic point of view. In the last part of the paper we address the problem of finding examples of non-bireversible transducers defining free groups, we show examples of transducers with sink accessible from every state which generate free groups, and, in general, we link this problem to the nonexistence of certain words with interesting combinatorial and geometrical properties.

研究动机与目标

• 通过树边界上丰富化对偶移位器的动力学，表征自动机群的自由性。
• 研究双可逆移位器在生成自由群中的作用，特别是通过边界点处Schreier图的结构。
• 从动力学表征中推导出算法与代数推论，包括无正关系与无挠性的条件。
• 探索非双可逆移位器（特别是含汇点的）是否能生成自由群，尤其是非交换自由群。
• 解决关于稳定子、可约性以及自动机群中关系的组合结构等开放问题。

提出的方法

• 定义丰富化对偶移位器，以捕捉原始自动机更丰富的动力学行为，从而分析边界行为。
• 引入边界 $(Q \cup Q^{-1})^\omega$ 中‘本质上非平凡’点的概念，其代表自由群 $F_Q$ 的Gromov边界中的元素。
• 证明：在非本质上非平凡点处根植的Schreier图总是有限的，无论群结构如何。
• 建立由对偶移位器生成的群的自由性与在本质上非平凡边界点处根植的所有Schreier图为无限的等价性。
• 利用动力学表征推导代数推论，例如给出Burnside群在有界指数下为有限群的新证明。
• 将该框架应用于分析对偶半群中正关系（即 $u=1$）的存在性，表明其不存在是群为自由的必要条件。

实验结果

研究问题

• RQ1 自动机群的自由性是否等价于其丰富化对偶移位器在本质上非平凡边界点处根植的所有Schreier图为无限？
• RQ2 是否可存在含汇点的非双可逆移位器，生成作用在树上且传递的非交换自由自动机群？
• RQ3 ‘强脆弱’词的几何与组合结构如何？能否被完全表征？
• RQ4 在 $\mathbb{Z}_n$ 上的0-转移Cayley机的对偶所生成的群是自由群，还是有限群的自由积？
• RQ5 对于反向移位器，判断以边界点为根的Schreier图是否为有限图的问题是否可判定？

主要发现

• 一个自动机群是自由的，当且仅当其丰富化对偶移位器在本质上非平凡边界点处根植的所有Schreier图都是无限的。
• 对于双可逆移位器，其对偶所生成的群是自由的，当且仅当在本质上非平凡边界点处的Schreier图为无限，且在非本质上非平凡边界点处的Schreier图总是有限的。
• 对偶移位器半群中不存在正关系（即 $u=1$）是群为自由的必要条件。
• 若一个可逆移位器在边界上所有稳定子均为平凡，则其对偶半群无挠且无正关系。
• 本文提供了一种新的、初等的证明，表明具有有界指数的Burnside自动机群是有限的，且无需依赖Zelmanov定理。
• 在 $m$ 个字符出现的最短强脆弱词长度至少为 $3(2^{m-1}) - 2$，表明若存在关系，其长度将极为漫长且复杂。