Related papers: No Tits alternative for cellular automata
Let $G$ be a connected, reductive group over a non-archimedean local field $F$. Let $\breve F$ be the completion of the maximal unramified extension of $F$ contained in a separable closure $F_s$. In this article, we construct a Tits group…
The notion of an automaton over a changing alphabet $X=(X_i)_{i\geq 1}$ is used to define and study automorphism groups of the tree $X^*$ of finite words over $X$. The concept of bi-reversibility for Mealy-type automata is extended to…
Building on the seminal work of Gromov on endomorphisms of symbolic algebraic varieties [10], we introduce a notion of cellular automata over schemes which generalize affine algebraic cellular automata in [7]. We extend known results to…
In a probabilistic cellular automaton in which all local transitions have positive probability, the problem of keeping a bit of information indefinitely is nontrivial, even in an infinite automaton. Still, there is a solution in 2…
A new infinite series of rational affine algebraic varieties is constructed whose automorphism group contains the automorphism group ${\rm Aut}(F_n)$ of the free group $F_n$ of rank $n$. The automorphism groups of such varieties are…
In this paper, we study algorithmic problems for automaton semigroups and automaton groups related to freeness and finiteness. In the course of this study, we also exhibit some connections between the algebraic structure of automaton…
We show that a cellular automaton (or shift-endomorphism) on a transitive subshift is either almost equicontinuous or sensitive. On the other hand, we construct a cellular automaton on a full-shift (hence a transitive subshift) that is…
While for synchronous deterministic cellular automata there is an accepted definition of reversibility, the situation is less clear for asynchronous cellular automata. We first discuss a few possibilities and then investigate what we call…
We study two-dimensional subshifts whose horizontal trace (a.k.a. projective subdynamics) contains only points of finite support. Our main result is a classification result for such subshifts satisfying a minimality property. As…
We establish several extensions of the well-known Garden of Eden theorem for non-uniform cellular automata over the full shifts and over amenable group universes. In particular, our results describe quantitatively the relations between the…
It is shown how to model any automorphism of a totally disconnected, locally compact group by a symbolic dynamical system. The model is an inverse limit of a product of a full-shift, on a finite number of symbols, with one of two types of…
Suppose $(X,\sigma)$ is a subshift, $P_X(n)$ is the word complexity function of $X$, and ${\rm Aut}(X)$ is the group of automorphisms of $X$. We show that if $P_X(n)=o(n^2/\log^2 n)$, then ${\rm Aut}(X)$ is amenable (as a countable,…
We study the holographic dual of a topological symmetry operator in the context of the AdS/CFT correspondence. Symmetry operators arise from topological field theories localized on a subspace of the boundary CFT spacetime. We use bottom up…
Given an affine algebraic variety X of dimension at least 2, we let SAut (X) denote the special automorphism group of X i.e., the subgroup of the full automorphism group Aut (X) generated by all one-parameter unipotent subgroups. We show…
Topological dynamics of cellular automata (CA), inherited from classical dynamical systems theory, has been essentially studied in dimension 1. This paper focuses on higher dimensional CA and aims at showing that the situation is different…
The groups QF, QT, and QV are groups of quasi-automorphisms of the infinite binary tree. Their names indicate a similarity with Thompson's well-known groups F, T, and V. We will use the theory of diagram groups over semigroup presentations…
Using a deterministic version of the self-similar (or hierarchical, or fixed-point ) method for constructing 2-dimensional subshifts of finite type (SFTs), we construct aperiodic 2D SFTs with a unique direction of non-expansiveness and…
We study the stabilized automorphism group of a subshift of finite type with a certain gluing property called the eventual filling property, on a residually finite group $G$. We show that the stabilized automorphism group is simply…
We prove that an automorphism of order 3 of a putative binary self-dual [120, 60, 24] code C has no fixed points. Moreover, the order of the automorphism group of C divides 2^a.3.5.7.19.23.29 where a is a nonegative integer. Automorphisms…
For a locally compact metrizable group $G$, we consider the action of ${\rm Aut}(G)$ on ${\rm Sub}_G$, the space of all closed subgroups of $G$ endowed with the Chabauty topology. We study the structure of groups $G$ admitting automorphisms…