[Paper Review] On generalized shift transformation semigroups

Fatemah Ayatollah Zadeh Shirazi, Fatemeh Ebrahimifar|arXiv (Cornell University)|Nov 29, 2017

Holomorphic and Operator Theory3 references3 citations

TL;DR

This paper establishes necessary and sufficient conditions for equicontinuity, distality, sensitivity, and expansivity in generalized shift transformation semigroups $({ mf S}, X^\Gamma)$, where $X$ is a finite discrete space with at least two elements and $\Gamma$ is infinite. The key result shows that equicontinuity (or having an equicontinuous point) holds if and only if the image set $\{\varphi(w) : \sigma_\varphi \in {\mathcal{S}}\}$ is finite for each $w \in \Gamma$, with additional bijectivity conditions required for distality.

ABSTRACT

In the following text we prove that for finite discrete $X$ with at least two elements and infinite $Γ$, the generalized shift transformation semigroup $({\mathcal S},X^Γ)$ is equicontinuous (resp. has at least an equicontinuous point, is not sensitive) if and only if for all $w\inΓ$, $\{φ(w):σ_φ\in{\mathcal S}\}$ is finite. We continue our study regarding distality and expansivity of $({\mathcal S},X^Γ)$.

Motivation & Objective

• To characterize equicontinuity and distality in generalized shift transformation semigroups $({\mathcal{S}}, X^\Gamma)$ for finite discrete $X$ and infinite $\Gamma$.
• To determine conditions under which such semigroups are sensitive or expansive.
• To clarify the relationship between dynamical properties (equicontinuity, distality, sensitivity, expansivity) in the context of generalized shifts.
• To establish a complete classification of these properties via structural conditions on the underlying maps $\varphi: \Gamma \to \Gamma$.

Proposed method

• Uses uniform space theory and compatible uniformities to define equicontinuity and sensitivity in transformation semigroups.
• Applies the enveloping semigroup $E({\mathcal{S}}, X^\Gamma)$ to analyze dynamical properties and establish equivalence conditions.
• Employs product topology on $X^\Gamma$ and analyzes the action of generalized shifts $\sigma_\varphi$ defined by $\sigma_\varphi((x_\alpha)_{\alpha \in \Gamma}) = (x_{\varphi(\alpha)})_{\alpha \in \Gamma}$.
• Establishes equivalence between equicontinuity and finiteness of $\{\varphi(w) : \sigma_\varphi \in {\mathcal{S}}\}$ for each $w \in \Gamma$, under bijectivity of $\varphi$.
• Uses finite subsets $H \subset \Gamma$ to characterize expansivity via the condition $\Gamma = {\mathcal{T}}H$, where ${\mathcal{T}}$ is the set of maps inducing shifts in ${\mathcal{S}}$.
• Constructs explicit examples to illustrate the distinctions between equicontinuous, distal, sensitive, and expansive behaviors in generalized shift semigroups.

Experimental results

Research questions

• RQ1 When is the generalized shift transformation semigroup $({\mathcal{S}}, X^\Gamma)$ equicontinuous, and what structural condition on the maps $\varphi \in {\mathcal{T}}$ ensures this?
• RQ2 What conditions on the maps $\varphi: \Gamma \to \Gamma$ make $({\mathcal{S}}, X^\Gamma)$ distal or not?
• RQ3 Under what conditions is $({\mathcal{S}}, X^\Gamma)$ expansive, and how does this relate to the image of finite subsets under iterated maps?
• RQ4 How do sensitivity and expansivity relate in this class of semigroups, and is expansivity strictly stronger than sensitivity?
• RQ5 What is the precise role of bijectivity of $\varphi$ in achieving distality or equicontinuity?

Key findings

• The transformation semigroup $({\mathcal{S}}, X^\Gamma)$ is equicontinuous if and only if $\{\varphi(w) : \sigma_\varphi \in {\mathcal{S}}\}$ is finite for every $w \in \Gamma$, provided $X$ is finite discrete with at least two elements and $\Gamma$ is infinite.
• Equicontinuity holds if and only if all $\varphi \in {\mathcal{T}}$ are bijective and the image set $\{\varphi(w)\}$ is finite for each $w \in \Gamma$, which also characterizes distality.
• The semigroup $({\mathcal{S}}, X^\Gamma)$ is distal if and only if all $\varphi \in {\mathcal{T}}$ are bijective and $\{\varphi(w)\}$ is finite for each $w \in \Gamma$, establishing a tight link between bijectivity and distality.
• Expansivity holds if and only if there exists a finite subset $H \subset \Gamma$ such that $\Gamma = {\mathcal{T}}H$, meaning the images of $H$ under $\varphi \in {\mathcal{T}}$ cover $\Gamma$.
• Sensitivity is implied by expansivity, but not all sensitive systems are expansive; for example, the semigroup generated by $\varphi(n) = n^2$ on $\mathbb{Z}$ is sensitive but not expansive.
• Examples confirm that equicontinuity does not imply distality unless bijectivity of $\varphi$ is also satisfied, and that non-surjective shifts (e.g., $\varphi(n) = |n|$) can be equicontinuous but not distal.