首页/论文/1502.07981

arXiv 1502.079812015-02-27math.GRcs.FL

由双可逆自动机生成的点灯人群$\mathbb{Z}_3\wr\mathbb{Z}$

The lamplighter group $\mathbb{Z}_3\wr\mathbb{Z}$ generated by a bireversible automaton

I. Bondarenko, D. D'Angeli, E. Rodaro

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们构造了一个具有$3$状态的双可逆自对偶自动机，该自动机在一个具有$3$字母的字母表上生成点灯者群$\mathbb{Z}_3\wr\mathbb{Z}$。

英文摘要：

We construct a bireversible self-dual automaton with $3$ states over an alphabet with $3$ letters which generates the lamplighter group $\mathbb{Z}_3\wr\mathbb{Z}$.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

有限环上的Lighter群、双可逆自动机和有理级数

Lamplighter groups, bireversible automata and rational series over finite rings

通过对有限交换环中系数的幂级数环进行仿射变换，将点灯群$A\wr \mathbb Z$（其中$A$为有限交换群）实现为自动机群.我们的方法可以实现$A\wr \mathbb Z$作为一个双可逆的自动机群当且仅当$2$ -Sylow子群的$A$没有重数1和在其表达式为一个直和阶循环群的一个幂的$2$。

2019-11-29cs.FLmath.GR

生成点灯人群的双可逆自动机

Bireversible automata generating lamplighter groups

对于每个非平凡的有限阿贝尔群$A$，我们展示了一个双可逆自动机生成点灯群$A \wr \mathbb{Z}$。

2022-06-09math.GR

双可逆自动机生成的秩为2的点灯群

The lamplighter group of rank two generated by a bireversible automaton

我们构造了一个4状态2字母双可逆自动机，生成秩为2的点灯人群$(\mathbb Z_2^2)\wr\mathbb Z$。生成元在树的边界上的作用可以由$\mathbb Z_2$上形式幂级数环$\mathbb Z_2[[t]]$上的仿射变换导出。

2018-02-11math.GR

To Infinity and Beyond

我们证明了，如果一个由双可逆Mealy自动机生成的群包含一个无限阶的元素，则它的增长会爆炸，并且必然是指数增长。作为一个直接的结果，没有无限的虚拟幂零群可以产生的双可逆的Mealy自动机。

2017-09-04cs.FLmath.GR

关于生成灯夫群的可逆（双可逆）自动机

On (bi)reversible automata generating lamplighter groups

本文对任意非平凡阿贝尔群构造可逆（奇数阶时为双可逆）自动机，使其生成群为受限圈积，即灯夫群。

2023-08-10math.GR

素数大小的连通可逆Mealy自动机不能生成无限Burnside群

Connected reversible Mealy automata of prime size cannot generate infinite Burnside groups

无限伯恩赛德群最简单的例子出现在自动机群类中。然而，没有已知的例子，这样的一个组产生的可逆Mealy自动机。证明了对于一个连通自动机，如果它的大小不超过~3，或者它不是双可逆的，那么它的生成群就不可能是Burnside无穷的。在本文中，我们将这些结果推广到具有更大状态集的自动机，证明了，如果一个连接的可逆自动机有一个素数的状态，它不能生成一个无限Burnside群。

2016-04-12cs.FLmath.GR

更多相关论文收起更多论文

生成自由群的自相似群的动力学与阻碍

Freeness Obstructions for Self-Similar Groups Acting on Rooted Trees

Università degli Studi Niccolò Cusano（尼古拉·库萨诺大学）；Politecnico di Milano（米兰理工大学）

该研究证明自相似群自由性的两个一般阻碍，推导自动机群相关结论，明确自由性与双可逆性的关联，回答Grigorchuk问题并扩展Sidki的相关结果。

2026-08-18math.GR

无奇点自动机群的边界作用与Wang分块

Boundary action of automaton groups without singular points and Wang tilings

我们研究自动机组没有奇点，也就是说，在边界上的点，其稳定器的映射，关联到每个点，是不连续的。这是由Grigorchuk和Savchuk提出的，在边界上找到所有平凡稳定器的无限双可逆自动机群的例子的问题。我们证明，在一般情况下，该集的奇点有措施零。然后，我们把注意力集中在几类自动机。我们刻画了无奇点的收缩自动机生成群，并将此刻画应用于Basilica群。我们证明了生成无奇点的无限群的可逆自动机的潜在例子必然是双可逆的。然后给出了这类例子存在的必要条件，并研究了它们的Schreier图在边界上的动力学性质。最后，我们将这些自动机与非周期性平铺的离散平面通过王平铺。从算法和动力学的观点来看，这有一系列的后果，并且与格罗莫夫的一个问题有关，即寻找CAT（0）复形的例子，这些复形的基本群不是双曲的，并且不包含与$\mathbb{Z}^{2}$同构的子群。

2016-04-26cs.DMcs.FLmath.GR

变字母表上自相似自动机的概念及其生成的点灯人群

The concept of self-similar automata over a changing alphabet and lamplighter groups generated by such automata

推广Mealy自动机定义的自相似群的思想，引入了自相似自动机和变化字母表上的自相似群的概念.我们证明了任意无界变化字母表上的每个n-生成的剩余有限群都是自相似的。我们构造了一些自然定义的自相似自动机表示在一个无界的变化字母表的任何点灯人组$K\wr \mathbb{Z}$与任意的非线性生成的（有限或无限）阿贝尔群$K$。

2016-07-26math.GR

自动机群的自由度与边界动力学

Freeness of automata groups vs boundary dynamics

我们证明了由丰富对偶变换器生成的（半）群的边界动力学表征了自动机群自由的代数性质。我们专门这个结果的类的双可逆换能器，我们表明，不自由的属性是等价的，有一个有限的Schreier图在边界上的丰富的对偶点上的一些基本上非平凡的点。从这些结果中，我们得到一些后果的动力学，算法和代数的观点。在本文的最后一部分，我们解决的问题，找到非双可逆换能器定义的自由群的例子，我们显示的例子，从每个国家的接收器产生自由群，并在一般情况下，我们链接到这个问题的不存在某些字有趣的组合和几何性质。

2014-11-03cs.FLmath.GR

自动机群与完全平方复形

Automaton groups and complete square complexes

怀斯在小消去群、自动群和CAT（0）群的范畴中首次构造了非剩余有限群，作为具有12个正方形的完全正方形复形（简称CSC）的基本群。同时，Janzen和Wise证明了至多3个正方形、5个正方形或7个正方形的CSC具有剩余有限的基本群.最小的开放病例是具有四个正方形的CSC和具有六个正方形的定向完整VH复合物。我们证明了Janzen和Wise研究的四个正方形的CSC有一个非剩余有限的基本群。特别地，这给出了与$F_2\times F_2$等距的非剩余有限CAT（0）群。对于完全有向VH复形类，证明了存在两个具有非剩余有限基本群的六个正方形的复形。特别是，这积极回答了一个问题明智的主要例子是否从他的博士论文是非剩余有限。作为一个副产品，我们得到了无挠单群，它分解成自由群的合并自由积$F_7*_{F_{49}}F_7$。我们的方法依赖于Glasner和Mozes发现的方形复形和自动机之间的联系，其中具有一个顶点的完整VH复形对应于双可逆自动机。本文证明了与双可逆自动机相关联的平方复形具有非剩余有限的基本群，其中双可逆自动机具有两个状态或在生成无限自动机群的二进制字母表上。我们用四个正方形描述了与CSC相关的自动机群，得到了自由群$F_2$的两个简单自动机表示和自由积$C_3*C_3$的第一个自动机表示.

2017-07-01math.ATmath.GR

螺线管映射，自动序列，范德普特系列，和Mealy-Moore自动机

Solenoid Maps, Automatic Sequences, Van Der Put Series, and Mealy-Moore Automata

$d$ -进整数的环$\mathbb Z_d$具有作为有根$d$ -进树$T_d$的边界的自然解释。该树的自同态（即螺线管映射）与$\mathbb Z_d$到其自身的1-Lipschitz映射一一对应，并且$T_d$的自同构构成群$\mathrm{Isom}(\mathbb Z_d)$。在$d=p$是素数的情况下，Anashin证明了$f\in\mathrm{Lip}^1(\mathbb Z_p)$是由有限Mealy自动机定义的当且仅当其van der Put级数的约化系数在$\mathbb Z_p\cap\mathbb Q$的有限子集上构成$p$ -自动序列.我们将这个结果推广到任意整数$d\geq 2$，描述了产生这种序列的Moore自动机与诱导相应自同态的Mealy自动机之间的显式联系.沿着这个过程中，我们产生了两个算法，允许转换的Mealy自动机的自同态相应的Moore自动机生成的序列减少范德普特系数的诱导映射$\mathbb Z_d$，反之亦然。我们演示的情况下，这些算法的应用程序的例子时，系数序列是Thue-莫尔斯序列，也为一个发电机的标准自动机表示的点灯组。

2020-06-03cs.FLmath.GR

一些可解自动机群

Some solvable automaton groups

它表明，有限秩的自由阿尔贝群的某些上升HNN扩展，以及各种点灯群，可以实现为自动机群，即，可以被赋予自相似结构。这包括可解的Baumslag-Solitar群BS（1，m），其中m不是+/-1。此外，还证明了对任意互素整数m，n ≥ 2，Baumslag-Solitar群BS（1，m）和BS（1，n）对可由一对对偶自动机实现.然后，使用的例子来说明施赖尔图，自动机和对偶自动机的组合之间的更一般的连接。

2006-03-14math.GR

有根树的仿射自同构

Affine Automorphisms of Rooted Trees

我们引入了一类自同构的根$d$ -正则树所产生的仿射作用在其边界视为无限维向量空间。这类包括，特别是，许多自相似实现的点灯人群体的例子。我们表明，对于一个经常二叉树这个类符合规范化的组的所有球齐性自同构的这棵树：自同构的状态，在每个级别的所有顶点重合。我们详细研究了一个非平凡的例子，一个自动机组，包含一个指数2子群与元素从这个类，并表明它是同构的指数2扩展秩2点灯组$\mathbb Z_2^2\wr\mathbb Z$。

2015-10-28math.GR