[论文解读] On the conjugacy problem for finite-state automorphisms of regular rooted trees

Ievgen Bondarenko, Nataliya Bondarenko+2 more|arXiv (Cornell University)|Nov 9, 2010

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

一句话总结

该论文在满足收缩条件和轨道信号器有限性条件下，证明了正则根树的有限状态自同构的共轭问题具有可判定性，并进一步证明在此条件下，全自同构群 Aut(T) 中的共轭关系与子群 FAut(T) 中的共轭关系一致。该结果可推广至有界自同构，其中同时共轭问题也具有可判定性。

ABSTRACT

We study the conjugacy problem in the automorphism group $Aut(T)$ of a regular rooted tree $T$ and in its subgroup $FAut(T)$ of finite-state automorphisms. We show that under the contracting condition and the finiteness of what we call the orbit-signalizer, two finite-state automorphisms are conjugate in $Aut(T)$ if and only if they are conjugate in $FAut(T)$, and that this problem is decidable. We prove that both these conditions are satisfied by bounded automorphisms and establish that the (simultaneous) conjugacy problem in the group of bounded automata is decidable.

研究动机与目标

• 解决正则根树的自同构群 Aut(T) 及其有限状态自同构子群 FAut(T) 中的共轭问题。
• 确定 Aut(T) 中的共轭关系蕴含 FAut(T) 中共轭关系的条件，以确保可判定性。
• 将可判定性结果推广至有界自同构群，这是自相似群论中的关键类群。
• 阐明轨道信号器与收缩条件在实现共轭问题算法解法中的作用。

提出的方法

• 通过半直积结构 Aut(T) ≅ Aut(T) ≀ Sym(X) 建立正则根树自同构与有限状态自动机之间的对应关系。
• 将轨道信号器定义为捕捉自同构作用下状态共轭相关动力学的有限不变量。
• 应用收缩条件以确保状态动力学稳定，从而实现对共轭路径的有界分析。
• 将共轭问题约化为自动机作用的矩阵表示中轨迹有界的判定问题。
• 采用迭代算法计算可达状态与转移矩阵，当不再新增元素时终止。
• 使用矩阵变换 σ(A) 和向量映射 τ(v) 建模状态演化，并测试序列 A^t v 的有界性。

实验结果

研究问题

• RQ1 在何种条件下，有限状态自同构在 Aut(T) 中的共轭关系等价于在 FAut(T) 中的共轭关系？
• RQ2 对于有界自同构这一有限状态自同构的重要子类，共轭问题是否可判定？
• RQ3 哪些结构性质——如轨道信号器与收缩条件——使得共轭问题具有可判定性？
• RQ4 在各种矩阵元素约束下，作为共轭测试基础的有界轨迹问题是否可判定或不可判定？
• RQ5 共轭问题能否约化为矩阵序列有界性的检查？该检查是否具有算法可行性？

主要发现

• 在收缩条件与轨道信号器有限性成立的前提下，两个有限状态自同构在 Aut(T) 中共轭当且仅当在 FAut(T) 中共轭。
• 在上述两个条件下，FAut(T) 中的共轭问题具有可判定性，且有界自同构满足这两个条件。
• 有界自同构群中的同时共轭问题具有可判定性，从而将可判定性结果推广至多个元素。
• 在非负矩阵与向量约束下，有界轨迹问题具有可判定性，其基于可达状态迭代闭包的有限时间算法可实现。
• 当矩阵元素为非负时，有界轨迹问题为 NP-难；当允许负元素时，其不可判定，该结果通过归约至矩阵可消亡问题得以证明。
• 该算法通过分析 σ(A)^t τ(v) 正确测试 A^t v 的有界性，利用矩阵与向量的有限状态闭包确保算法终止。