Further results on generalized cellular automata

Alonso Castillo-Ramirez,Luguis de los Santos Baños
DOI: https://doi.org/10.1080/00927872.2023.2301538
2024-01-15
Communications in Algebra
Abstract:Given a finite set A and a group homomorphism φ:H→G , a φ -cellular automaton is a function T:AG→AH that is continuous with respect to the prodiscrete topologies and φ -equivariant in the sense that h·T(x)=T(φ(h)·x) , for all x∈AG,h∈H , where · denotes the shift actions of G and H on A G and A H , respectively. When G = H and φ=id , the definition of id -cellular automata coincides with the classical definition of cellular automata. The purpose of this paper is to expand the theory of φ -cellular automata by focusing on the differences and similarities with their classical counterparts. After discussing some basic results, we introduce the following definition: a φ -cellular automaton T:AG→AH has the unique homomorphism property (UHP) if T is not ψ -equivariant for any group homomorphism ψ:H→G,ψ≠φ . We show that if the difference set Δ(φ,ψ) is infinite, then T is not ψ -equivariant; it follows that when G is torsion-free abelian, every non-constant T has the UHP. Furthermore, inspired by the theory of classical cellular automata, we study φ -cellular automata over quotient groups, as well as their restriction and induction to subgroups and supergroups, respectively.
mathematics
What problem does this paper attempt to address?