[论文解读] Tree-Shifts: Irreducibility, mixing, and the chaos of tree-shifts

Jung‐Chao Ban, Chih-Hung Chang|arXiv (Cornell University)|Sep 4, 2015

Cellular Automata and Applications参考文献 6被引用 3

一句话总结

本文引入了树移位——在无限树上定义的符号动力系统——作为一维移位与多维移位之间的中间类。通过图和带标签图表示，将不可约性和混合性转化为矩阵性质，并利用邻接矩阵与符号邻接矩阵实现有限步验证，从而为这些性质提供可判定的有界算法。结果表明，有限型不可约与混合树移位在Devaney意义下是混沌的。

ABSTRACT

Topological behavior, such as chaos, irreducibility, and mixing of a one-sided shift of finite type, is well elucidated. Meanwhile, the investigation of multidimensional shifts, for instance, textile systems is difficult and only a few results have been obtained so far. This paper studies shifts defined on infinite trees, which are called tree-shifts. Infinite trees have a natural structure of one-sided symbolic dynamical systems equipped with multiple shift maps and constitute an intermediate class in between one-sided shifts and multidimensional shifts. We have shown not only an irreducible tree-shift of finite type, but also a mixing tree-shift that are chaotic in the sense of Devaney. Furthermore, the graph and labeled graph representations of tree-shifts are revealed so that the verification of irreducibility and mixing of a tree-shift is equivalent to determining the irreducibility and mixing of matrices, respectively. This extends the classical results of one-sided symbolic dynamics. A necessary and sufficient condition for the irreducibility and mixing of tree-shifts of finite type is demonstrated. Most important of all, the examination can be done in finite steps with an upper bound.

研究动机与目标

• 研究树移位中的拓扑复杂性，包括不可约性、混合性与混沌性，作为一维与多维符号系统之间的中间类。
• 通过引入图与带标签图表示，将经典符号动力系统的结果推广至树移位。
• 为验证有限型树移位的不可约性与混合性提供有限且有界的算法。
• 建立混合与不可约有限型树移位在Devaney意义下为混沌的结论。
• 探讨树移位中规范性、熵与混沌性方面的开放问题。

提出的方法

• 使用邻接矩阵与符号邻接矩阵表示有限型树移位，以编码树节点之间的转移规则。
• 通过邻接矩阵上的矩阵运算定义树移位的不可约性与混合性，扩展一维移位理论。
• 引入带标签图表示以可视化与分析树移位动力学，实现性质的有限步验证。
• 利用符号矩阵幂判断完全前缀集（CPS）的存在性，以认证混合行为。
• 应用对矩阵指数的上界（例如，至 $ n^3 2^{2(n-1)} $）以确保混合性与不可约性的有限步验证。
• 利用树移位与顶点树移位之间的共轭关系，将基于矩阵的分析方法转移至等价系统。

实验结果

研究问题

• RQ1 每个混合有限型树移位是否在Devaney意义下都是混沌的？
• RQ2 每个不可约有限型树移位是否在Devaney意义下都是混沌的？
• RQ3 是否可以对有限型树移位的不可约性与混合性进行有限步验证，并给出上界？
• RQ4 如何利用符号邻接矩阵刻画树移位的规范性？
• RQ5 树移位中正拓扑熵是否蕴含混沌性？其是否由混合性所蕴含？

主要发现

• 不可约与混合的有限型树移位在Devaney意义下是混沌的，将经典一维移位结果推广至新情形。
• 有限型树移位的不可约性等价于其关联邻接矩阵的不可约性，从而实现基于矩阵的验证。
• 有限型树移位的混合性等价于符号矩阵幂中完全前缀集（CPS）的存在性，且对所需指数存在有限上界。
• 不可约性与混合性的验证可在有限步内完成，符号邻接矩阵指数的上界为 $ n^3 2^{2(n-1)} $。
• 提供了带标签图表示，使树移位可进行可视化与代数分析，邻接矩阵完整捕获所有转移规则。
• 本文确立了混合性蕴含混沌性，且不可约有限型树移位为混沌系统，确认了该新系统类的拓扑复杂性。