Characterization and Topological Behavior of Homomorphism Tree-Shifts
Jung-Chao Ban, Chih-Hung Chang, Wen-Guei Hu, Guan-Yu Lai and, Yu-Liang Wu

TL;DR
This paper explores the properties of homomorphism tree-shifts, demonstrating their equivalence to classical shift spaces in terms of finite type and mixing properties, and establishing connections between their dynamical behaviors.
Contribution
It establishes the equivalence of shift of finite type and mixing properties between one-sided shifts and their associated hom tree-shifts, extending classical results to tree-shift contexts.
Findings
Equivalence of shift of finite type between one-sided shifts and hom tree-shifts.
Coincidence of mixing properties across different definitions for tree-shifts.
Correspondence between irreducibility and mixing properties of $X_A$ and $ ext{T}_A$.
Abstract
The purpose of this article is twofold. On one hand, we reveal the equivalence of shift of finite type between a one-sided shift and its associated hom tree-shift , as well as the equivalence in the sofic shift. On the other hand, we investigate the interrelationship among the comparable mixing properties on tree-shifts as those on multidimensional shift spaces. They include irreducibility, topologically mixing, block gluing, and strong irreducibility, all of which are defined in the spirit of classical multidimensional shift, complete prefix code (CPC), and uniform CPC. In summary, the mixing properties defined in all three manners coincide for . Furthermore, an equivalence between irreducibility on and irreducibility on are seen, and so is one between topologically mixing on and mixing property on ,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsCellular Automata and Applications · Algorithms and Data Compression · DNA and Biological Computing
