Specification

In the last post we saw that if {{\mathcal{M}_f}} is the space of invariant probability measures for the full shift, then the collection of ergodic measures {{\mathcal{M}_f^e}} (which are the extreme points of the simplex {{\mathcal{M}_f}}) has two remarkable properties:

  1. {{\mathcal{M}_f^e}} is dense in {{\mathcal{M}_f}};
  2. {{\mathcal{M}_f^e}} is arc-connected.

Moreover, it turned out that the first of these implies the second.

Arc-connectedness of {{\mathcal{M}_f^e}} gives a concrete sense in which the full shift is measure-theoretically indecomposable. It is natural to ask what the relationship is between the topological and measure-theoretic notions of irreducibility: does every topologically transitive system have the above properties? Do the above properties imply topological transitivity?

An extreme example of a non-transitive system is the disjoint union of two shifts. Here {{\mathcal{M}_f}} remains connected (as always), but the set {{\mathcal{M}_f^e}} becomes disconnected, and so we see that at least in certain extreme cases, topological and measure-theoretic irreducibility seem related. What happens in the middle?

We can take a step forward by recalling the paper of Sigmund quoted in the last post, which showed density of {{\mathcal{M}_f^e}} in {{\mathcal{M}_f}} for the full shift. In fact, Sigmund showed rather more — he showed that this density holds for every topological dynamical system with the specification property. To introduce this property, we first formulate topological transitivity in a mildly non-standard way.

Definition 1 Let {X} be a compact metric space and {f\colon X\rightarrow X} a continuous map. Given {x\in X}, {n\in {\mathbb N}}, and {\varepsilon>0}, the Bowen ball of order {n} and radius {\varepsilon} centred at {x} is

\displaystyle  B_n(x,\varepsilon) = \{ y\in X \mid d(f^k x, f^k y) < \varepsilon \text{ for all } 0\leq k \leq n \}.

Thus a Bowen ball contains all points that shadow the orbit of {x} for a given number of iterates with a given precision.

Proposition 2 {(X,f)} is topologically transitive if and only if for every {\varepsilon>0} and every {(x_1,n_1), \dots, (x_k,n_k)\in X\times {\mathbb N}} there exist {t_1,\dots,t_k\in{\mathbb N}} such that

\displaystyle  \bigcap_{j=1}^k f^{-\sum_{i=1}^{j-1} (n_i + t_i)}B_{n_j}(x_j,\varepsilon) \neq \emptyset. \ \ \ \ \ (1)

Proof: If {f} is transitive, then there exists {x\in X} such that {\{f^n(x) \mid n\in {\mathbb N}\}} is dense. In particular, since Bowen balls are open, for each {j} there exist arbitrarily large values of {m} such that {f^m(x) \in B_{n_j}(x_j,\varepsilon)}. Thus {x} lies in the given intersection for an appropriate choice of {t_i}.

On the other hand, if there always exist {t_i} such that the intersection in~(1) is non-empty, then for any two open sets {U} and {V} we can choose {x_1,x_2,\varepsilon} such that {B(x_1,\varepsilon)\subset U} and {B(x_2,\varepsilon)\subset V}. Taking {n_1=n_2=0} shows that {U \cap f^{-t_1}(V) \neq \emptyset} for some {t_1}, which gives transitivity. \Box

The proposition shows that topological transitivity can be thought of as the ability to shadow an arbitrary collection of orbit segments with a single orbit, provided one is willing to wait a while between one orbit segment and the next. To put it another way, arbitrary orbit segments can be concatenated into a single orbit, up to a small error (of size {\varepsilon}) and the insertion of a gap (of length {t_i}) between consecutive segments, during which time we have no control over the orbit.

Last time we saw that for the full shift, density of {{\mathcal{M}_f^e}} can be proved by showing density of {{\mathcal{M}_f^p}}, the collection of periodic orbits. In the proof that periodic orbits are dense in {{\mathcal{M}_f}}, most steps were standard manipulations that work for any topological dynamical system: decomposing a measure near {\mu} into a convex combination of ergodic measures {\mu_i}, finding generic points {x^i} for each {\mu_i}, and approximating {\mu} with a {\delta}-measure supported on the orbits of the {x^i}. The only place where we needed the system to be the full shift was when we took a collection of words, representing orbit segments, and concatenated them to obtain a periodic orbit that shadows each of those orbit segments in turn.

Two problems arise when we try to generalise this proof to arbitrary transitive systems. Transitivity guarantees the existence of such a shadowing orbit, but

  • the shadowing orbit need not be periodic, and
  • we may need to insert arbitrarily long gaps between the segments being shadowed.

The first of these means that it is not clear how to obtain an ergodic measure, since an orbit segment that is not a complete periodic orbit does not support an invariant measure. The second of these means that even if we obtain an ergodic measure {\nu} for which the shadowing orbit {\{f^n(z)\}} is generic, we will not be able to relate the integrals {\int \phi\,d\nu = \lim \frac 1n S_n\phi(z)} to the averages of {\phi} along the orbit segments {(x^i, \dots, f^{n_i}x^i)}, which was necessary to show that {\nu} is close to the original measure {\mu}. The problem is that because we have no control over the gap length {t_i}, the orbit segments along which we know what is happening may turn out to be statistically insignificant; this happens if {t_i \gg n_i}.

Both of these problems vanish if we replace transitivity with the specification property, introduced by Bowen in 1971, and this is the idea behind Sigmund’s approach.

Definition 3 {(X,f)} has specification if the conclusion of Proposition 2 holds uniformly — that is, for every {\varepsilon>0} there exists {\tau\in {\mathbb N}} such that for every {(x_1,n_1),\dots,(x_k,n_k)\in X\times {\mathbb N}}, the intersection in (1) is non-empty with {t_i=\tau} for all {i}, and moreover, the intersection contains a periodic point of period {\sum_i (n_i + \tau)}.

Now we can state the relevant result from Sigmund’s paper.

Theorem 4 If {X} is a compact metric space and {f\colon X\rightarrow X} is a continuous map with specification, then {{\mathcal{M}_f^p}} is dense in {{\mathcal{M}_f}}.

The idea is simple enough: although we cannot immediately jump from one orbit segment to the next, we can do so with a uniformly bounded gap, and since {\tau} remains fixed as the {n_i} get larger and larger, its effect on the statistical properties of the shadowing orbit is negligible. Since the shadowing orbit is periodic, we are able to find a periodic orbit measure near any invariant measure.

To summarise: If {(X,f)} has the specification property, then {{\mathcal{M}_f}} is the Poulson simplex. In particular, {{\mathcal{M}_f^e}} is dense and arc-connected.

Two questions immediately present themselves.

  1. Which dynamical systems satisfy the specification property, so that we can apply the above result?
  2. How tight is this result? Are there weaker properties that would do the job?

In future posts, we’ll see that while important classes of systems have specification (transitive Axiom A maps, for example), there are many interesting systems for which specification fails, but some weaker form of specification holds and allows us to obtain similar results.

Advertisements

About Vaughn Climenhaga

I'm an assistant professor of mathematics at the University of Houston. I'm interested in dynamical systems, ergodic theory, thermodynamic formalism, dimension theory, multifractal analysis, non-uniform hyperbolicity, and things along those lines.
This entry was posted in ergodic theory, topological dynamics and tagged , , . Bookmark the permalink.

2 Responses to Specification

  1. Pingback: Some questions on ergodic measures | Vaughn Climenhaga's Math Blog

  2. Pingback: Equidistribution for random rotations | Vaughn Climenhaga's Math Blog

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s