We prove inequalities relating the measures of maximal entropy of two patterns u,v where the extender set of u is contained in the extender set of v. Our main results are two generalizations of a Theorem of Meyerovitch; the first applies to all such v,w when G=Z, and the second to v,w with the same shape and any countable amenable finitely generated torsion-free G. As a consequence of our results we give new and simpler proofs of several facts about synchronizing subshifts and we answer a question of Climenhaga.
In this note we give simple examples of a one-dimensional mixing subshift with positive topological entropy which have two distinct measures of maximal entropy. We also give examples of subshifts which have two mutually singular equilibrium states for Hölder continuous functions. We also indicate how the construction can be extended to yield examples with any number of measures of maximal entropy of equilibrium states.
Domino tilings have been studied extensively for both their statistical properties and their dynamical properties. We construct a subshift of finite type using matching rules for several types of dominos. We combine the previous results about domino tilings to show that our subshift of finite type has a measure of maximal entropy with which the subshift has completely positive entropy but is not isomorphic to a Bernoulli shift.
The family of symmetric one sided subshifts in two symbols given by a sequence $a$ is studied. We analyse some of their topological properties such as transitivity, the specification property and intrinsic ergodicity. It is shown that almost every member of this family admits only one measure of maximal entropy.
Any coded subshift X defined by a set C of code words contains a subshift, which we call L, consisting of limits of single code words. We show that when C satisfies a unique decomposition property, the topological entropy h(X) of X is determined completely by h(L) and the number of code words of each length. More specifically, we show that h(X) = h(L) exactly when a certain infinite series is less than or equal to 1, and when that series is greater than 1, we give a formula for h(X_C). In the latter case, an immediate corollary (using results of Climenhaga and Thompson) is that X has a unique …
We construct a family of ergodic measures on random substitution subshifts (RS-subshifts) associated to a primitive random substitution. In particular, the word frequencies of every finite legal word exist for almost every element of the random substitution subshift with respect to these measures. As an application, we show that for a certain class of random substitutions the measures of maximal entropy are frequency measures.
Given an irreducible subshift of finite type X, a subshift Y, a factor map π: X \to Y, and an ergodic invariant measure νon Y, there can exist more than one ergodic measure on X which projects to νand has maximal entropy among all measures in the fiber, but there is an explicit bound on the number of such maximal entropy preimages.
Since seminal work of Bowen, it has been known that the specification property implies various useful properties about a topological dynamical system, among them uniqueness of the measure of maximal entropy (often referred to as intrinsic ergodicity). Weakenings of the specification property called almost weak specification and almost specification have been defined and profitably applied in various works. However, it has been an open question whether either or both of these properties imply intrinsic ergodicity. We answer this question negatively by exhibiting examples of subshifts with multi…
We show that every subshift factor of a ($-β$)-shift is intrinsically ergodic, when $β\geq \frac{1+\sqrt{5}}{2}$ and the ($-β$)-expansion of $1$ is not periodic with odd period. Moreover, the unique measure of maximal entropy satisfies a certain Gibbs property. This is an application of the technique established by Climenhaga and Thompson to prove intrinsic ergodicity beyond specification. We also prove that there exists a subshift factor of a ($-β$)-shift which is not intrinsically ergodic in the cases other than the above.
In this work, we study the problem of finding the asymptotic growth rate of the number of of $d$-dimensional arrays with side length $n$ over a given alphabet which avoid a list of one-dimensional "forbidden" words along all cardinal directions, as both $n$ and $d$ tend to infinity. Louidor, Marcus, and the second author called this quantity the "limiting entropy"; it is the limit of a sequence of topological entropies of a sequence of isotropic $\mathbb{Z}^d$ subshifts with the dimension $d$ tending to infinity. We find an expression for this limiting entropy which involves only one-dimension…
For strongly positively recurrent countable state Markov shifts, we bound the distance between an invariant measure and the measure of maximal entropy in terms of the difference of their entropies. This extends an earlier result for subshifts of finite type, due to Kadyrov. We provide a similar bound for equilibrium measures of strongly positively recurrent potentials, in terms of the pressure difference. For measures with nearly maximal entropy, we have new, and sharp, bounds. The strong positive recurrence condition is necessary.
We consider suspension flows with continuous roof function over the full shift $Σ$ on a finite alphabet. For any positive entropy subshift of finite type $Y \subset Σ$, we explictly construct a roof function such that the measure(s) of maximal entropy for the suspension flow over $Σ$ are exactly the lifts of the measure(s) of maximal entropy for $Y$. In the case when $Y$ is transitive, this gives a unique measure of maximal entropy for the flow which is not fully supported. If $Y$ has more than one transitive component, all with the same entropy, this gives explicit examples of suspension flow…
To any periodic, unital and full C*-dynamical system (A, α, R) an invertible operator s acting on the Banach space of trace functionals of the fixed point algebra is canonically associated. KMS states correspond to positive eigenvectors of s. A Perron-Frobenius type theorem asserts the existence of KMS states at inverse temperatures equal the logarithms of the inner and outer spectral radii of s (extremal KMS states). Examples arising from subshifts in symbolic dynamics, self-similar sets in fractal geometry and noncommutative metric spaces are discussed. Certain subshifts are naturally associ…
We show that the $\mathscr{B}$-free subshift $(S,X_{\mathscr{B}})$ associated to a $\mathscr{B}$-free system is intrinsically ergodic, i.e.\ it has exactly one measure of maximal entropy. Moreover, we study invariant measures for such systems. It is proved that each ergodic invariant measure is of joining type, determined by a joining of the Mirsky measure of a $\mathscr{B}'$-free subshift contained in $(S,X_{\mathscr{B}})$ and an ergodic invariant measure of the full shift on $\{0,1\}^{\mathbb{Z}}$. Moreover, each ergodic joining type measure yields a measure-theoretic dynamical system with i…
We define weaker forms of topological and measure theoretical equicontinuity for topological dynamical systems and we study their relationships with systems with discrete spectrum and zero sequence entropy. In the topological category we show systems with zero topological sequence entropy are strictly contained in the diam-mean equicontinuous systems; and that transitive almost automorphic subshifts are diam-mean equicontinuous if and only if they are regular (i.e. the maximal equicontinuous factor map is 1-1 on a set of full Haar measure). In the measure category we show that for ergodic topo…
Consider a compact metric space $(M, d_M)$ and $X = M^{\mathbb{N}}$. We prove a Ruelle's Perron Frobenius Theorem for a class of compact subshifts with Markovian structure introduced in [Bull. Braz. Math. Soc. 45 (2014), pp. 53-72] which are defined from a continuous function $A : M \times M \to \mathbb{R}$ that determines the set of admissible sequences. In particular, this class of subshifts includes the finite Markov shifts and models where the alphabet is given by the unit circle $S^1$. Using the involution Kernel, we characterize the normalized eigenfunction of the Ruelle operator associa…
We consider the open set constructed by M. Shub in [42] of partially hyperbolic skew products on the space $\mathbb{T}^2\times \mathbb{T}^2$ whose non-wandering set is not stable. We show that there exists an open set $\mathcal{U}$ of such diffeomorphisms such that if $F_S\in \mathcal{U}$ then its measure of maximal entropy is unique, hyperbolic and, generically, describes the distribution of periodic points. Moreover, the non-wandering set of such an $F_S\in \mathcal{U}$ contains closed invariant subsets carrying entropy arbitrarily close to the topological entropy of $F_S$ and within which t…
We construct a family of shift spaces with almost specification and multiple measures of maximal entropy. This answers a question from Climenhaga and Thompson [Israel J. Math. 192 (2012), no. 2, 785--817]. Elaborating on our examples we also prove that some sufficient conditions for every subshift factor of a shift space to be intrinsically ergodic given by Climenhaga and Thompson are in some sense best possible, moreover, the weak specification property neither implies intrinsic ergodicity, nor follows from almost specification. We also construct a dynamical system with the weak specification…
