Related papers: On images of sofic systems
We show that the image of a subshift $X$ under various injective morphisms of symbolic algebraic varieties over monoid universes with algebraic variety alphabets is a subshift of finite type, resp. a sofic subshift, if and only if so is…
A sofic approximation to a countable group is a sequence of partial actions on finite sets that asymptotically approximates the action of the group on itself by left-translations. A group is sofic if it admits a sofic approximation. Sofic…
For an aperiodic subshift of finite type $Y$ and for a subshift $X$ with topological entropy less than the topological entropy of $Y$, a theorem is proved in Krieger: On the subsystems of topological Markov chains, Ergodic Theory \&…
We consider left shift transform S on the space $X=\Sigma^{\mathbb Z}$ of two-sided sequences over a compact alphabet $\Sigma$. We give an important and sufficient condition on $x \in X$ which guarantees the restriction of S onto orbit…
We address the problem of necessary conditions and topological obstructions for the existence of robustly transitive maps on surfaces. Concretely, we show that partial hyperbolicity is a necessary condition in order to have $C^1$ robustly…
We give some basic properties of strongly topologically transitive, supermixing, and hypermixing maps on general topological spaces. Then we present some other results for which our mappings need to be continuous.
A topologized semilattice $X$ is called complete if each non-empty chain $C\subset X$ has $\inf C\in\bar C$ and $\sup C\in\bar C$. We prove that for any continuous homomorphism $h:X\to Y$ from a complete topologized semilattice $X$ to a…
This paper investigates sufficient and necessary conditions for the existence of a homotopy equivalence between two finite simplicial complexes from an algorithmic point of view. As a result, the conditions are formulated in terms of the…
Given a countable group $G$ and two subshifts $X$ and $Y$ over $G$, a continuous, shift-commuting map $\phi : X \to Y$ is called a homomorphism. Our main result states that if every finitely generated subgroup of $G$ has polynomial growth,…
Let A be a finite alphabet and f: A^* --> A^* be a morphism with an iterative fixed point f^\omega(\alpha), where \alpha{} is in A. Consider the subshift (X, T), where X is the shift orbit closure of f^\omega(\alpha) and T: X --> X is the…
We consider shift spaces in which elements of the alphabet may overlap nontransitively. We define a notion of entropy for such spaces, give several techniques for computing lower bounds for it, and show that it is equal to a limit of…
Transitivity, the existence of periodic points and positive topological entropy can be used to characterize complexity in dynamical systems. It is known that for graphs that are not trees, for every $\varepsilon>0,$ there exist (complicate)…
We consider extensions of the notion of topological transitivity for a dynamical system $(X,f)$. In addition to chain transitivity, we define strong chain transitivity and vague transitivity. Associated with each there is a notion of…
The purpose of this work is to bound sofic topological entropy of Toeplitz systems over residually finite groups and to prove the Krieger Theorem about attaining arbitrary entropy by the Toeplitz systems. To achieve these results, we…
For every simplicial complex K there exists a vertex-transitive simplicial complex homotopy equivalent to a wedge of copies of K with some copies of the circle. It follows that every simplicial complex can occur as a homotopy wedge summand…
In this work we study the entropies of subsystems of shifts of finite type (SFTs) and sofic shifts on countable amenable groups. We prove that for any countable amenable group $G$, if $X$ is a $G$-SFT with positive topological entropy $h(X)…
We derive a necessary and sufficient condition for a homeomorphism with the shadowing property to be topologically transitive: to have an invariant subset $A$, dense in the non-wandering set, where the barycenter property holds. To…
We obtain necessary and sufficient conditions for a non-autonomous system to be $\mathcal{F}$-transitive and $\mathcal{F}$-mixing, where $\mathcal{F}$ is a Furstenberg family. We also obtain some characterizations for topologically ergodic…
We find necessary and sufficient conditions for a dynamical system to be topologically conjugate to any given substitution minimal system, thus extending the results in [CKL] for the Morse and Toeplitz substitutions.
In this paper, we consider two questions about topological entropy of dynamical systems. We propose to resolve these questions by the same approach of using \'etale analogs of topological and algebraic dynamical systems. The first question…