Topological Dynamics of Pullback Maps on Full Shifts

Technical Summary: Topological Dynamics of Pullback Maps on Full Shifts

Problem Statement
This paper investigates the topological dynamics of pullback maps $\phi^*: A^G \to A^G$ induced by endomorphisms $\phi: G \to G$ of a countable group $G$, where $A$ is a finite alphabet. These maps, defined by $\phi^*(x) = x \circ \phi$, serve as a canonical class of generalized cellular automata with the simplest possible local rules (identity local function and singleton memory set). While the local rule is trivial, the global dynamical behavior is non-trivial and reflects the algebraic properties of the iterates of $\phi$. The authors aim to explicitly characterize standard topological dynamical properties—specifically equicontinuity, sensitivity (and its stronger variant, cofinite sensitivity), transitivity, and mixing—in terms of the eventual periodicity of elements in $G$ under $\phi$.

Methodology
The analysis proceeds by establishing a correspondence between the dynamical properties of the shift space $(A^G, \phi^*)$ and the algebraic structure of the orbits of elements in $G$.

1. Topological Framework: The space $A^G$ is equipped with the prodiscrete topology (a Cantor space if $G$ is infinite and $|A| \ge 2$), generated by a metric based on an exhaustion of $G$ by finite sets.
2. Algebraic Conditions: The authors define and utilize the concepts of periodic and eventually periodic elements under $\phi$. An element $g$ is eventually periodic if its forward orbit $\{ \phi^n(g) \}_{n \ge 0}$ is finite.
3. Case Analysis:
   • One-Dimensional Case ($G=\mathbb{Z}$): The authors analyze the specific case where $\phi$ is multiplication by an integer $k$. They exploit the symmetry of the reversal map and the structure of integer multiplication to derive a sharp dichotomy.
   • General Countable Groups: The analysis is extended to arbitrary countable groups. The authors construct specific exhaustions of $G$ adapted to the orbits of $\phi$ to prove equivalence results. They distinguish between conditions required for equicontinuity (all elements eventually periodic) and mixing (no non-trivial elements eventually periodic).
4. Measure-Theoretic Extension: The final section adapts these results to the context of Bernoulli measures, analyzing measure preservation and strong mixing on the "punctured" configuration space (removing the fixed identity coordinate).

Key Contributions and Results

• One-Dimensional Classification ($G=\mathbb{Z}$):

  • For the map $\phi_k(n) = kn$, the pullback $\phi_k^*$ is equicontinuous if and only if $k \in \{-1, 0, 1\}$.
  • For $k \notin \{-1, 0, 1\}$, the map is cofinitely sensitive (separation of trajectories persists for all sufficiently large times) and possesses no equicontinuous points.
  • Due to the fixed coordinate at the origin ($x(0)$), the full shift is not transitive. However, restricted to the invariant components $X_a = \{x \in A^\mathbb{Z} : x(0) = a\}$, the map is topologically mixing if and only if $k \notin \{-1, 0, 1\}$.

• General Countable Groups:

  • Equicontinuity vs. Sensitivity: The map $\phi^*$ is equicontinuous if and only if every element of $G$ is eventually periodic under $\phi$. Conversely, $\phi^*$ is cofinitely sensitive (and has no equicontinuous points) if and only if there exists at least one element in $G$ with an infinite, non-eventually-periodic orbit.
  • Mixing on Invariant Components: The behavior of mixing is distinct from cofinite sensitivity in the general case. The system restricted to invariant components $X_c$ is topologically mixing if and only if no non-trivial element of $G$ is eventually periodic under $\phi$.
  • Dichotomy: Unlike the $\mathbb{Z}$ case where cofinite sensitivity and mixing on components coincide, in general groups, cofinite sensitivity requires only one "bad" element, while mixing requires all non-identity elements to be "bad" (non-eventually periodic).

• Measure-Theoretic Results:

  • A strictly positive Bernoulli measure $\mu_p$ is invariant under $\phi^*$ if and only if $\phi$ is injective.
  • Strong mixing is impossible on the full shift $A^G$ because the identity coordinate $e_G$ is fixed, creating a non-trivial invariant set.
  • On the punctured configuration space $X^\circ = A^{G \setminus \{e_G\}}$, strong mixing holds if and only if $\phi$ is injective and no element of $G \setminus \{e_G\}$ is eventually periodic.

Significance and Claims
The paper claims to make the relationship between the algebraic dynamics of group endomorphisms and the topological dynamics of the induced pullback maps explicit. It establishes that:

1. The dynamical complexity of these generalized cellular automata is entirely governed by the eventual periodicity of the underlying group elements.
2. There is a fundamental distinction between the one-dimensional integer case and general groups: in $\mathbb{Z}$, the conditions for sensitivity and mixing on invariant components are equivalent, whereas in general groups, they represent distinct algebraic constraints (existence of one non-periodic element vs. absence of all non-trivial periodic elements).
3. The measure-theoretic picture parallels the topological one but introduces injectivity as a prerequisite for invariance, and requires the removal of the fixed identity coordinate to recover strong mixing properties.

The authors conclude that while the local rules of these maps are trivial, their global dynamics provide a rich testing ground for understanding how algebraic properties of group homomorphisms manifest in dynamical systems. They identify the study of general $\phi$-cellular automata with non-trivial memory sets and local rules as the natural next step.