Topological and Ergodic properties of symmetric subshifts
Rafael Alcaraz Barrera
备注:
30 pages. V2 is a shortened version of V1. Proposition 3.1 and Lemma 3.2 were included to clarify the connection between beta expansions and attractors of the doubling map with a centred symmetric hole
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.
We prove that a shift ergodic measure on a topologically mixing sub-shift is isomorphic to a Bernoulli shift whenever it is quasi invariant under permutations of finite number of coordinates. We prove also that Gibbs measures on topologically mixing subshift of finite type are quasi invariant.
A subshift with linear block complexity has at most countably many ergodic measures, and we continue of the study of the relation between such complexity and the invariant measures. By constructing minimal subshifts whose block complexity is arbitrarily close to linear but has uncountably many ergodic measures, we show that this behavior fails as soon as the block complexity is superlinear. With a different construction, we show that there exists a minimal subshift with an ergodic measure whose slow entropy grows slower than any given rate tending to infinitely but faster than any other rate m…
It is well-known that any $\mathbb{Z}$ subshift with the specification property has the property that every factor is intrinsically ergodic, i.e., every factor has a unique factor of maximal entropy. In recent work, other $\mathbb{Z}$ subshifts have been shown to possess this property as well, including $β$-shifts and a class of $S$-gap shifts. We give two results that show that the situation for $\mathbb{Z}^d$ subshifts with $d >1 $ is quite different. First, for any $d>1$, we show that any $\mathbb{Z}^d$ subshift possessing a certain mixing property must have a factor with positive entropy w…
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 $\frac{K+1}{2}$ er…
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.
We investigate uniform ergodic type theorems for additive and subadditive functions on a subshift over a finite alphabet. We show that every strictly ergodic subshift admits a uniform ergodic theorem for Banach-space-valued additive functions. We then give a necessary and sufficient condition on a minimal subshift to allow for a uniform subadditive ergodic theorem. This provides in particular a sufficient condition for unique ergodicity.
A recent result of Downarowicz and Serafin (DS) shows that there exist positive entropy subshifts satisfying the assertion of Sarnak's conjecture. More precisely, it is proved that if $y=(y_n)_{n\ge 1}$ is a bounded sequence with zero average along every infinite arithmetic progression (the Möbius function is an example of such a \sq\ $y$) then for every $N\ge 2$ there exists a subshift $Σ$ over $N$ symbols, with entropy arbitrarily close to $\log N$, uncorrelated to $y$. In the present note, we improve the result of (DS). First of all, we observe that the uncorrelation obtained in (DS) is \em…
We consider ergodic families of Schrödinger operators over base dynamics given by strictly ergodic subshifts on finite alphabets. It is expected that the majority of these operators have purely singular continuous spectrum supported on a Cantor set of zero Lebesgue measure. These properties have indeed been established for large classes of operators of this type over the course of the last twenty years. We review the mechanisms leading to these results and briefly discuss analogues for CMV matrices.
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.
We show that a synchronized coded system $X$ is intrinsically ergodic of full support if and only if $ h(Y)$, the topological entropy of $Y$, is less than $h(X) $ whenever $Y$ is a proper subsystem of $ X $. We also show that like systems with specification property, SVGL's the non-mixing extension of systems with specification property, are intrinsically ergodic of full support. Moreover, we compute the entropy of the underlying graph of the Fischer cover of a synchronized system.
The notion of entropy dimension has been introduced to measure the subexponential complexity of zero entropy systems. In this work we present a general construction of a strictly ergodic subshift of topological entropy dimension $α$ for each $α\in (0,1)$. It is shown that the system satisfies some sort of regularity in the size of atoms and the first return time. Moreover, we modify the construction to obtain a variant system that is weakly mixing.
We investigate generic properties (i.e. properties corresponding to residual sets) in the space of subshifts with the Hausdorff metric. Our results deal with four spaces: the space $\mathbf{S}$ of all subshifts, the space $\mathbf{S}^{\prime}$ of non-isolated subshifts, the closure $\overline{\mathbf{T}^{\prime}}$ of the infinite transitive subshifts, and the closure $\overline{\mathbf{T}\mathbf{T}^{\prime}}$ of the infinite totally transitive subshifts. In the first two settings, we prove that generic subshifts are fairly degenerate; for instance, all points in a generic subshift are biasympt…
We give sufficient conditions for a shift space $(Σ,σ)$ to be intrinsically ergodic, along with sufficient conditions for every subshift factor of $Σ$ to be intrinsically ergodic. As an application, we show that every subshift factor of a $β$-shift is intrinsically ergodic, which answers an open question included in Mike Boyle's article "Open problems in symbolic dynamics". We obtain the same result for $S$-gap shifts, and describe an application of our conditions to more general coded systems. One novelty of our approach is the introduction of a new version of the specification property that …
This paper is concerned with uniform convergence in the multiplicative ergodic theorem on aperiodic subshifts. If such a subshift satisfies a certain condition, originally introduced by Boshernitzan, every locally constant SL(2,R)-valued cocycle is uniform. As a consequence, the corresponding Schrödinger operators exhibit Cantor spectrum of Lebesgue measure zero. An investigation of Boshernitzan's condition then shows that these results cover all earlier results of this type and, moreover, provide various new ones. In particular, Boshernitzan's condition is shown to hold for almost all circle …
Using results relating the complexity of a two dimensional subshift to its periodicity, we obtain an application to the well-known conjecture of Furstenberg on a Borel probability measure on $[0,1)$ which is invariant under both $x\mapsto px \pmod 1$ and $x\mapsto qx \pmod 1$, showing that any potential counterexample has a nontrivial lower bound on its complexity.
We define a random walk adic transformation associated to an aperiodic random walk on $G=\mathbb{Z}^{k}\times\mathbb{R}^{D-k}$ driven by a $β$-transformation and study its ergodic properties. In particular, this transformation is conservative, ergodic, infinite measure preserving and we prove that it is asymptotically distributionally stable and bounded rationally ergodic. Related earlier work appears in [AS] and [ANSS] for random walk adic transformations associated to an aperiodic random walk driven by a subshift of finite type.
We study the dynamics of a transformation that acts on infinite paths in the graph associated with Pascal's triangle. For each ergodic invariant measure the asymptotic law of the return time to cylinders is given by a step function. We construct a representation of the system by a subshift on a two-symbol alphabet and then prove that the complexity function of this subshift is asymptotic to a cubic, the frequencies of occurrence of blocks behave in a regular manner, and the subshift is topologically weak mixing.
Consider a subshift over a finite alphabet, $X\subset Λ^{\mathbb Z}$ (or $X\subsetΛ^{\mathbb N_0}$). With each finite block $B\inΛ^k$ appearing in $X$ we associate the empirical measure ascribing to every block $C\inΛ^l$ the frequency of occurrences of $C$ in $B$. By comparing the values ascribed to blocks $C$ we define a metric on the combined space of blocks $B$ and probability measures $μ$ on $X$, whose restriction to the space of measures is compatible with the weak-$\star$ topology. Next, in this combined metric space we fix an open set $\mathcal U$ containing all ergodic measures, and we…
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…
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.
Let $σ:\boldsymbolΣ\to\boldsymbolΣ$ be the left shift acting on $ \boldsymbolΣ $, a one-sided Markov subshift on a countable alphabet. Our intention is to guarantee the existence of $σ$-invariant Borel probabilities that maximize the integral of a given locally Hölder continuous potential $ A : \boldsymbolΣ \to \mathbb R $. Under certain conditions, we are able to show not only that $A$-maximizing probabilities do exist, but also that they are characterized by the fact their support lies actually in a particular Markov subshift on a finite alphabet. To that end, we make use of objects dual to …
We prove that certain Gibbs measures on subshifts of finite type are nonsingular and ergodic for certain countable equivalence relations, including the orbit relation of the adic transformation (the same as equality after a permutation of finitely many coordinates). The relations we consider are defined by cocycles taking values in groups, including some nonabelian ones. This generalizes (half of) the identification of the invariant ergodic probability measures for the Pascal adic transformation as exactly the Bernoulli measures---a version of de Finetti's Theorem. Generalizing the other half,…
We consider skew-products with concave interval fiber maps over a certain subshift obtained as the projection of orbits staying in a given region. It generates a new type of (essentially) coded shift. The fiber maps have expanding and contracting regions which dynamically interact. The dynamics also exhibits pairs of horseshoes of different type of hyperbolicity which, in some cases, are cyclically related. The space of ergodic measures on the base is an entropy-dense Poulsen simplex. Those measures lift canonically to ergodic measures for the skew-product. We explain when and how the spaces o…
We study a class of strongly irreducible, multidimensional, topological Markov shifts, comparing two notions of "symmetric measure": exchangeability and the Gibbs (or conformal) property. We show that equilibrium measures for such shifts (unique and weak Bernoulli in the one dimensional case) exhibit a variety of spectral properties.
An infinite word x is said to be quasiperiodic if there exists a finite word q such that x is covered by occurrences of q (such a q is called a quasiperiod of x). Using the notion of derivation, we show that this definition is not sufficient to imply any symmetry in an infinite word. Therefore we introduce multi-scale quasiperiodic words, i.e. quasiperiodic words that admit an infinite number of quasiperiods. Such words are uniformly recurrent, this allows us to study the subshift they generate. We prove that multi-scale quasiperiodic subshifts are uniquely ergodic and have zero topological en…
We define an infinite measure-preserving transformation to have infinite symmetric ergodic index if all finite Cartesian products of the transformation and its inverse are ergodic, and show that infinite symmetric ergodic index does not imply that all products of powers are conservative, so does not imply power weak mixing. We provide a sufficient condition for $k$-fold and infinite symmetric ergodic index and use it to answer a question on the relationship between product conservativity and product ergodicity. We also show that a class of rank-one transformations that have infinite symmetric …
We show that there exists a universal gap in the failure of the ergodic theorem for symmetric Birkhoff sums in infinite ergodic theory. In addition, an application of this result to a question of fluctuations of the Birkhoff integrals of horocyclic flows on geometrically finite surfaces is given.
Let $A(x): =(A_{i, j}(x))$ be a continuous function defined on some subshift of $Ω:= \{0,1, \cdots, m-1\}^\mathbb{N}$, taking $d\times d$ non-negative matrices as values and let $ν$ be an ergodic $σ$-invariant measure on the subshift where $σ$ is the shift map. Under the condition that $ A(x)A(σx)\cdots A(σ^{\ell-1} x)$ is a positive matrix for some point $ x$ in the support of $ν$ and some integer $\ell\ge 1$ and that every entry function $A_{i,j}(\cdot)$ is either identically zero or bounded from below by a positive number which is independent of $i$ and $j$, it is proved that for any $ν$-ge…
We prove that local rank of an ergodic symmetric power $T^{\odot n}$ does not exceed $n!n^{-n}$. A. Katok's old results show that this upper bound is exact. We prove also that $T^{\odot n}$ has infinite Rank as $n>1$.
We study random walk on topological full groups of subshifts, and show the existence of infinite, finitely generated, simple groups with the Liouville property. Results by Matui and Juschenko-Monod have shown that the derived subgroups of topological full groups of minimal subshifts provide the first examples of finitely generated, simple amenable groups. We show that if the (not necessarily minimal) subshift has a complexity function that grows slowly enough (e.g. linearly), then every symmetric and finitely supported probability measure on the topological full group has trivial Poisson-Furst…
We prove that the ergodic deviation of a degenerate $\mathbb{Z}^2$-action on the torus $\mathbb{T}^2$ relative to a symmetric, strictly convex body can be decomposed into two parts, and that each part admits a limit distribution after choosing a suitable normalizer. Specifically, the first part is similar to an ergodic sum of smooth observables after being normalized by $N$, and the second part is similar to the case of a random toral translation, i.e., the $\mathbb{Z}$-action, but with a normalizer of $N^{\frac{1}{2}}$. The key difference is that we employ the product flow on the product spac…
In this paper we show that the natural action of the symmetric group acting on the product space $\{0, 1 \}^{\mathbb{N}} $ endowed with a symmetric measure is approximately transitive. We also extend the result to a larger class of probability measures.
We show that the absolutely normalized, symmetric Birkhoff sums of positive integrable functions in infinite, ergodic systems never converge pointwise even though they may be almost surely bounded away from zero and infinity.
We study the spectral properties of ergodic Schrödinger operators that are associated to a certain family of non-primitive substitutions on a binary alphabet. The corresponding subshifts provide examples of dynamical systems that go beyond minimality, unique ergodicity and linear complexity. In some parameter region, we are naturally in the setting of an infinite ergodic measure. The almost sure spectrum is singular and contains an interval. Some criteria for the exclusion of eigenvalues are fully characterized, including the existence of strongly palindromic sequences. Many of our structural …
We study a one-parameter family of interval maps $\{T_α\}_{α\in[1,β]}$, with $β$ the golden mean, defined on $[-1,1]$ by $T_α(x)=β^{1+|t|}x-tβα$ where $t\in\{-1,0,1\}$. For each $T_α,\ α>1$, we construct its unique, absolutely continuous invariant measure and show that on an open, dense subset of parameters $α$, the corresponding density is a step function with finitely many jumps. We give an explicit description of the maximal intervals of parameters on which the density has at most the same number of jumps. A main tool in our analysis is the phenomenon of matching, where the orbits of the le…
Given a positive integer $M$ and $q \in (1, M+1]$ we consider expansions in base $q$ for real numbers $x \in \left[0, {M}/{q-1}\right]$ over the alphabet $\{0, \ldots, M\}$. In particular, we study some dynamical properties of the natural occurring subshift $(\mathbf{V}_q, σ)$ related to unique expansions in such base $q$. We characterise the set of $q \in (1,M+1]$ such that $(\mathbf{V}_q, σ)$ has the specification property and the set of $q \in (1,M+1]$ such that $(\mathbf{V}_q, σ)$ is a synchronised subshift. Such properties are studied by analysing the combinatorial and dynamical propertie…
In this work we propose a generalization of the concept of Ruelle operator for one dimensional lattices used in thermodynamic formalism and ergodic optimization, which we call generalized Ruelle operator, that generalizes both the Ruelle operator proposed in [BCLMS] and the Perron Frobenius operator defined in [Bowen]. We suppose the alphabet is given by a compact metric space, and consider a general a-priori measure to define the operator. We also consider the case where the set of symbols that can follow a given symbol of the alphabet depends on such symbol, which is an extension of the orig…
Let $A$ be a finite set and $ϕ:A^Z\to R$ be a locally constant potential. For each $β>0$ ("inverse temperature"), there is a unique Gibbs measure $μ_{βϕ}$. We prove that, as $β\to+\infty$, the family $(μ_{βϕ})_{β>0}$ converges (in weak-$^*$ topology) to a measure we characterize. It is concentrated on a certain subshift of finite type which is a finite union of transitive subshifts of finite type. The two main tools are an approximation by periodic orbits and the Perron-Frobenius Theorem for matrices á la Birkhoff. The crucial idea we bring is a "renormalization" procedure which explains conve…
In this paper we present a combinatorial machinery, consisting of a graph tower $\overleftarrow Γ$ and vector towers $\overleftarrow v$ on $\overleftarrow Γ$, which allows us to efficiently describe all invariant measures $μ= μ^{\overleftarrow v}$ on any given shift space over a finite alphabet. The new technology admits a number of direct applications, in particular concerning invariant measures on non-primitive substitution subshifts, minimal subshifts with many ergodic measures, or an efficient calculation of the measure of a given cylinder. It also applies to currents on a free group $F_N$…
Let $F$ be a non-discrete non-Archimedean locally compact field such that the characteristic $\mathrm{ch}(F)\ne 2$ and let $\mathcal{O}_F$ be the ring of integers in $F$. The main results of this paper are Theorem 1.2 that classifies ergodic probability measures on the space $\mathrm{Skew}(\mathbb{N}, F)$ of infinite skew-symmetric matrices with respect to the natural action of the group $\mathrm{GL}(\infty,\mathcal{O}_F)$ and Theorem 1.4, that gives an unexpected natural correspondence between the set of $\mathrm{GL}(\infty,\mathcal{O}_F)$-invariant Borel probability measures on $\mathrm{Sym}…
We classify the ergodic invariant random subgroups of block-diagonal limits of symmetric groups in the cases when the groups are simple and the associated dimension groups have finite dimensional state spaces. These block-diagonal limits arise as the transformation groups (full groups) of Bratteli diagrams that preserve the cofinality of infinite paths in the diagram. Given a simple full group $G$ admitting only a finite number of ergodic measures on the path-space $X$ of the associated Bratteli digram, we prove that every non-Dirac ergodic invariant random subgroup of $G$ arises as the stabil…