Doubling map on unit circle

1. Let \tau:x\mapsto 2x be the doubling map on the unit torus. We also consider the uneven doubling f_a(x)=x/a for 0\le x \le a and f(x)=(x-a)/(1-a) for a \le x \le 1. It is easy to see that the Lebesgue measure m is f_a-invariant, ergodic and the metric entropy h(f_a,m)=\lambda(m)=\int \log f_a'(x) dm(x)=-a\log a-(1-a)\log (1-a). In particular, h(f_a,m)\le h(f_{0.5},m)=\log 2 =h_{\text{top}}(f_a) and h(f_a,m)\to 0 when a\to 0.

2. Following is a theorem of Einsiedler–Fish here.

Proposition. Let \tau:x\mapsto 2x be the doubling map on the unit torus, \mu be an \tau-invariant measure with zero entropy. Then for any \epsilon>0, \beta>0, there exist \delta_0>0 and a subset E\subset \mathbb{T} with \mu(E) > 0, such that for all x \in E, and all \delta<\delta_0: \mu(B(x,\delta))\ge \delta^\beta.

A trivial observation is \text{HD}(\mu)=0, which also follows from general entropy-dimension formula.

Proof. Let \beta and \epsilon be fixed. Consider the generating partition \xi=\{I_0, I_1\}, and its refinements \xi_n=\{I_\omega: \omega\in\{0,1\}^n\} (separated by k\cdot 2^{-n})….

Furstenberg introduced the following notation in 1967

Definition. A multiplicative semigroup \Sigma\subset\mathbb{N} is lacunary, if \Sigma\subset \{a^n: n\ge1\} for some integer a. Otherwise, \Sigma is non-lacunary.

Example. Both \{2^n: n\ge1\} and \{3^n: n\ge1\} are lacunary semigroups. \{2^m\cdot 3^n: m,n\ge1\} is a non-lacunary semigroup.

Theorem. Let \Sigma\subset\mathbb{N} be a non-lacunary semigroup, and enumerated increasingly by s_i > s_{i+1}\cdot. Then \frac{s_{i+1}}{s_i}\to 1.

Example. \Sigma=\{2^m\cdot 3^n: m,n\ge1\}. It is equivalent to show \{m\log 2+ n\log 3: m,n\ge1\} has smaller and smaller steps.

Theorem. Let \Sigma\subset\mathbb{N} be a non-lacunary semigroup, and A\subset \mathbb{T} be \Sigma-invariant. If 0 is not isolated in A, then A=\mathbb{T}.

Furstenberg Theorem. Let \Sigma\subset\mathbb{N} be a non-lacunary semigroup, and \alpha\in \mathbb{T}\backslash \mathbb{Q}. Then \Sigma\alpha is dense in \mathbb{T}.

In the same paper, Furstenberg also made the following conjecture: a \Sigma-invariant ergodic measure is either supported on a finite orbit, or is the Lebesgue measure.

A countable group G is said to be amenable, if it contains at least one Følner sequence. For example, any abelian countable group is amenable. Note that for amenable group action G\ni g:X\to X, there always exists invariant measures and the decomposition into ergodic measures. More importantly, the generic point can be defined by averaging along the Følner sequences, and almost every point is a generic point for an ergodic measure. In a preprint, the author had an interesting idea: to prove Furstenberg conjecture, it suffices to show that every irrational number is a generic point of the Lebesgue measure. Then any other non-atomic ergodic measures, if exist, will be starving to death since there is no generic point for them 🙂

Post a comment or leave a trackback: Trackback URL.

Leave a Reply

Please log in using one of these methods to post your comment: Logo

You are commenting using your 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

%d bloggers like this: