We characterize dendrites D such that a continuous selfmap of D is generically chaotic (in the sense of Lasota) if and only if it is generically ${\varepsilon }$-chaotic for some ${\varepsilon }>0$. In other words, we characterize dendrites on which generic chaos of a continuous map can be described in terms of the behaviour of subdendrites with non-empty interiors under iterates of the map. A dendrite D belongs to this class if and only if it is completely regular, with all points of finite order (that is, if and only if D contains neither a copy of the Riemann dendrite nor a copy of the $\omega $-star).

A probability measure is a characteristic measure of a topological dynamical system if it is invariant to the automorphism group of the system. We show that zero entropy shifts always admit characteristic measures. We use similar techniques to show that automorphism groups of minimal zero entropy shifts are sofic.

We bound the number of distinct minimal subsystems of a given transitive subshift of linear complexity, continuing work of Ormes and Pavlov [On the complexity function for sequences which are not uniformly recurrent. Dynamical Systems and Random Processes (Contemporary Mathematics, 736). American Mathematical Society, Providence, RI, 2019, pp. 125--137]. We also bound the number of generic measures such a subshift can support based on its complexity function. Our measure-theoretic bounds generalize those of Boshernitzan [A unique ergodicity of minimal symbolic flows with linear block growth. J. Anal. Math. 44(1) (1984), 77–96] and are closely related to those of Cyr and Kra [Counting generic measures for a subshift of linear growth. J. Eur. Math. Soc. 21(2) (2019), 355–380].

We prove that neither a prime nor an l-almost prime number theorem holds in the class of regular Toeplitz subshifts. But when a quantitative strengthening of the regularity with respect to the periodic structure involving Euler’s totient function is assumed, then the two theorems hold.

We consider continuous free semigroup actions generated by a family $(g_y)_{y \,\in \, Y}$ of continuous endomorphisms of a compact metric space $(X,d)$, subject to a random walk $\mathbb P_\nu =\nu ^{\mathbb N}$ defined on a shift space $Y^{\mathbb N}$, where $(Y, d_Y)$ is a compact metric space with finite upper box dimension and $\nu $ is a Borel probability measure on Y. With the aim of elucidating the impact of the random walk on the metric mean dimension, we prove a variational principle which relates the metric mean dimension of the semigroup action with the corresponding notions for the associated skew product and the shift map $\sigma $ on $Y^{\mathbb {N}}$, and compare them with the upper box dimension of Y. In particular, we obtain exact formulas whenever $\nu $ is homogeneous and has full support. We also discuss several examples to enlighten the roles of the homogeneity, of the support and of the upper box dimension of the measure $\nu $, and to test the scope of our results.

This paper is a continuation of the paper, Matsumoto [‘Subshifts, $\lambda $-graph bisystems and $C^*$-algebras’, J. Math. Anal. Appl. 485 (2020), 123843]. A $\lambda $-graph bisystem consists of a pair of two labeled Bratteli diagrams satisfying a certain compatibility condition on their edge labeling. For any two-sided subshift $\Lambda $, there exists a $\lambda $-graph bisystem satisfying a special property called the follower–predecessor compatibility condition. We construct an AF-algebra ${\mathcal {F}}_{\mathcal {L}}$ with shift automorphism $\rho _{\mathcal {L}}$ from a $\lambda $-graph bisystem $({\mathcal {L}}^-,{\mathcal {L}}^+)$, and define a $C^*$-algebra ${\mathcal R}_{\mathcal {L}}$ by the crossed product . It is a two-sided subshift analogue of asymptotic Ruelle algebras constructed from Smale spaces. If $\lambda $-graph bisystems come from two-sided subshifts, these $C^*$-algebras are proved to be invariant under topological conjugacy of the underlying subshifts. We present a simplicity condition of the $C^*$-algebra ${\mathcal R}_{\mathcal {L}}$ and the K-theory formulas of the $C^*$-algebras ${\mathcal {F}}_{\mathcal {L}}$ and ${\mathcal R}_{\mathcal {L}}$. The K-group for the AF-algebra ${\mathcal {F}}_{\mathcal {L}}$ is regarded as a two-sided extension of the dimension group of subshifts.

In this work, we treat subshifts, defined in terms of an alphabet $\mathcal {A}$ and (usually infinite) forbidden list $\mathcal {F}$, where the number of n-letter words in $\mathcal {F}$ has ‘slow growth rate’ in n. We show that such subshifts are well behaved in several ways; for instance, they are boundedly supermultiplicative in the sense of Baker and Ghenciu [Dynamical properties of S-gap shifts and other shift spaces. J. Math. Anal. Appl. 430(2) (2015), 633–647] and they have unique measures of maximal entropy with the K-property and which satisfy Gibbs bounds on large (measure-theoretically) sets. The main tool in our proofs is a more general result, which states that bounded supermultiplicativity and a sort of measure-theoretic specification property together imply uniqueness of the measure of maximum entropy and our Gibbs bounds. We also show that some well-known classes of subshifts can be treated by our results, including the symbolic codings of $x \mapsto \alpha + \beta x$ (the so-called $\alpha $-$\beta $ shifts of Hofbauer [Maximal measures for simple piecewise monotonic transformations. Z. Wahrsch. verw. Geb. 52(3) (1980), 289–300]) and the bounded density subshifts of Stanley [Bounded density shifts. Ergod. Th. & Dynam. Sys. 33(6) (2013), 1891–1928].

Given a G-flow X, let $\mathrm{Aut}(G, X)$, or simply $\mathrm{Aut}(X)$, denote the group of homeomorphisms of X which commute with the G action. We show that for any pair of countable groups G and H with G infinite, there is a minimal, free, Cantor G-flow X so that H embeds into $\mathrm{Aut}(X)$. This generalizes results of [2, 7].

If $\mathcal {A}$ is a finite set (alphabet), the shift dynamical system consists of the space $\mathcal {A}^{\mathbb {N}}$ of sequences with entries in $\mathcal {A}$, along with the left shift operator S. Closed S-invariant subsets are called subshifts and arise naturally as encodings of other systems. In this paper, we study the number of ergodic measures for transitive subshifts under a condition (‘regular bispecial condition’) on the possible extensions of words in the associated language. Our main result shows that under this condition, the subshift can support at most $({K+1})/{2}$ ergodic measures, where K is the limiting value of $p(n+1)-p(n)$, and p is the complexity function of the language. As a consequence, we answer a question of Boshernitzan from 1984, providing a combinatorial proof for the bound on the number of ergodic measures for interval exchange transformations.

Let$(X,T)$ be a topological dynamical system consisting of a compact metric space X and a continuous surjective map $T : X \to X$. By using local entropy theory, we prove that $(X,T)$ has uniformly positive entropy if and only if so does the induced system $({\mathcal {M}}(X),\widetilde {T})$ on the space of Borel probability measures endowed with the weak* topology. This result can be seen as a version for the notion of uniformly positive entropy of the corresponding result for topological entropy due to Glasner and Weiss.

We prove that for $C^0$-generic homeomorphisms, acting on a compact smooth boundaryless manifold with dimension greater than one, the upper metric mean dimension with respect to the smooth metric coincides with the dimension of the manifold. As an application, we show that the upper box dimension of the set of periodic points of a $C^0$-generic homeomorphism is equal to the dimension of the manifold. In the case of continuous interval maps, we prove that each level set for the metric mean dimension with respect to the Euclidean distance is $C^0$-dense in the space of continuous endomorphisms of $[0,1]$ with the uniform topology. Moreover, the maximum value is attained at a $C^0$-generic subset of continuous interval maps and a dense subset of metrics topologically equivalent to the Euclidean distance.

This survey describes the recent advances in the construction of Markov partitions for non-uniformly hyperbolic systems. One important feature of this development comes from a finer theory of non-uniformly hyperbolic systems, which we also describe. The Markov partition defines a symbolic extension that is finite-to-one and onto a non-uniformly hyperbolic locus, and this provides dynamical and statistical consequences such as estimates on the number of closed orbits and properties of equilibrium measures. The class of systems includes diffeomorphisms, flows, and maps with singularities.

We introduce the notion of balanced strong shift equivalence between square non-negative integer matrices, and show that two finite graphs with no sinks are one-sided eventually conjugate if and only if their adjacency matrices are conjugate to balanced strong shift equivalent matrices. Moreover, we show that such graphs are eventually conjugate if and only if one can be reached by the other via a sequence of out-splits and balanced in-splits, the latter move being a variation of the classical in-split move introduced by Williams in his study of shifts of finite type. We also relate one-sided eventual conjugacies to certain block maps on the finite paths of the graphs. These characterizations emphasize that eventual conjugacy is the one-sided analog of two-sided conjugacy.

Let $\mathcal {G}$ be a second countable, Hausdorff topological group. If $\mathcal {G}$ is locally compact, totally disconnected and T is an expansive automorphism then it is shown that the dynamical system $(\mathcal {G}, T)$ is topologically conjugate to the product of a symbolic full-shift on a finite number of symbols, a totally wandering, countable-state Markov shift and a permutation of a countable coset space of $\mathcal {G}$ that fixes the defining subgroup. In particular if the automorphism is transitive then $\mathcal {G}$ is compact and $(\mathcal {G}, T)$ is topologically conjugate to a full-shift on a finite number of symbols.

The purpose of this article is to study the relation between combinatorial equivalence and topological conjugacy, specifically how a certain type of combinatorial equivalence implies topological conjugacy. We introduce the concept of kneading sequences for a setting that is more general than one-dimensional dynamics: for the two-dimensional toy model family of Hénon maps introduced by Benedicks and Carleson, we define kneading sequences for their critical lines, and prove that these sequences are a complete invariant for a natural conjugacy class among the toy model family. We also establish a version of Singer’s theorem for the toy model family.

We consider a locally path-connected compact metric space K with finite first Betti number $\textrm {b}_1(K)$ and a flow $(K, G)$ on K such that G is abelian and all G-invariant functions $f\,{\in}\, \textrm{C}(K)$ are constant. We prove that every equicontinuous factor of the flow $(K, G)$ is isomorphic to a flow on a compact abelian Lie group of dimension less than ${\textrm {b}_1(K)}/{\textrm {b}_0(K)}$. For this purpose, we use and provide a new proof for Theorem 2.12 of Hauser and Jäger [Monotonicity of maximal equicontinuous factors and an application to toral flows. Proc. Amer. Math. Soc. 147 (2019), 4539–4554], which states that for a flow on a locally connected compact space the quotient map onto the maximal equicontinuous factor is monotone, i.e., has connected fibers. Our alternative proof is a simple consequence of a new characterization of the monotonicity of a quotient map $p\colon K\to L$ between locally connected compact spaces K and L that we obtain by characterizing the local connectedness of K in terms of the Banach lattice $\textrm {C}(K)$.

It is shown that the Ellis semigroup of a $\mathbb Z$-action on a compact totally disconnected space is completely regular if and only if forward proximality coincides with forward asymptoticity and backward proximality coincides with backward asymptoticity. Furthermore, the Ellis semigroup of a $\mathbb Z$- or $\mathbb R$-action for which forward proximality and backward proximality are transitive relations is shown to have at most two left minimal ideals. Finally, the notion of near simplicity of the Ellis semigroup is introduced and related to the above.

This paper is concerned with the asymptotic behaviour of solutions to a class of non-autonomous stochastic nonlinear wave equations with dispersive and viscosity dissipative terms driven by operator-type noise defined on the entire space $\mathbb {R}^n$. The existence, uniqueness, time-semi-uniform compactness and asymptotically autonomous robustness of pullback random attractors are proved in $H^1(\mathbb {R}^n)\times H^1(\mathbb {R}^n)$ when the growth rate of the nonlinearity has a subcritical range, the density of the noise is suitably controllable, and the time-dependent force converges to a time-independent function in some sense. The main difficulty to establish the time-semi-uniform pullback asymptotic compactness of the solutions in $H^1(\mathbb {R}^n)\times H^1(\mathbb {R}^n)$ is caused by the lack of compact Sobolev embeddings on $\mathbb {R}^n$, as well as the weak dissipativeness of the equations is surmounted at light of the idea of uniform tail-estimates and a spectral decomposition approach. The measurability of random attractors is proved by using an argument which considers two attracting universes developed by Wang and Li (Phys. D 382: 46–57, 2018).

Higher-dimensional binary shifts of number-theoretic origin with positive topological entropy are considered. We are particularly interested in analysing their symmetries and extended symmetries. They form groups, known as the topological centralizer and normalizer of the shift dynamical system, which are natural topological invariants. Here, our focus is on shift spaces with trivial centralizers, but large normalizers. In particular, we discuss several systems where the normalizer is an infinite extension of the centralizer, including the visible lattice points and the k-free integers in some real quadratic number fields.