Dynamical systems on measure spaces, invariant measures, ergodic averages, mixing properties.

**2**

votes

**2**answers

162 views

### Mixing coded systems and period of their graph presentations

A coded system [see F. Blanchard, G. Hansel, Systèmes codés, Theoretical Computer Science, Vol. 44, 1986, pp. 17-49, http://dx.doi.org/10.1016/0304-3975(86)90108-8.
...

**6**

votes

**1**answer

295 views

### Lebesgue entropy zero and positive topological entropy

I am looking for examples of volume preserving $C^{\infty}$ diffeomorphisms $f$ of a surface, which have positive topological entropy ($h(f) > 0$), but that the Lebesgue measure entropy (metric ...

**3**

votes

**1**answer

141 views

### Automorphisms of strictly ergodic shift spaces

Let $X$ be a strictly ergodic shift space, and $\omega_1$, $\omega_2$ be two different points in $X$. Is there an automorphism $\Psi$ of $X$ such that $\Psi(\omega_1)=\omega_2$? By an automorphism I ...

**12**

votes

**2**answers

412 views

### Are rounded rectangle billiard dynamics ergodic?

Bunimovich proved that the billiard-ball dynamics in the Bunimovich stadium is ergodic.
(Image from this link.)
Q. Is it known that the ...

**14**

votes

**0**answers

419 views

### Blocking light with mirrored convex objects

There is a long-unsolved problem posed by Janos Pach,
sometimes known as the enchanted forest problem,
which asks if it is possible to block a point light source
in the plane
from reaching
infinity by ...

**5**

votes

**1**answer

166 views

### Is irreducibility sufficient for uniqueness of invariant distribution for a Feller Semigroup?

Let $(T_t)$ be a strongly continuous semigroup of positive operators on $C(K)$, where $K$ is a compact space. Assume also that $T_t1 =1 $ for every $t\geq 0$.
(This is also called a Feller Semigroup.)
...

**8**

votes

**1**answer

104 views

### Ergodicity of composition with a rotation

Let $T$ be an arbitrary Lebesgue measure-preserving automorphism of the unit interval $I$. Let $R_{\alpha}$ denote rotation by $\alpha$, i.e. $R_{\alpha}(x)=x+\alpha \pmod{1}$ for $x \in I$ and ...

**0**

votes

**0**answers

47 views

### absolute continuity of a measure given absolute continuity of conditionals

Situation is the following.
We have the two-dimensional torus $X$ and have partition $\xi$ into vertical circles $\{x\} \times S^1$.
We are given a measure $\mu$ on $X$ such that the projection ...

**2**

votes

**1**answer

123 views

### the union of local stable manifolds along local unstable manifolds

Let $f:M\rightarrow M$ be a $C^2$ hyperbolic diffeomorphism on compact connected riemannian manifold $M$. then there are local stable and unstable manifolds at each point denoted by $W^s_\delta(x), ...

**4**

votes

**1**answer

180 views

### A question about ergodicity

Let $X$ be a compact metric space, $T:X\rightarrow X$ a homeomorphism and $\mu$ be a $T$-invariant probability measure on $X$ such that the set of points with dense orbit in $supp(\mu)$ has full ...

**3**

votes

**2**answers

143 views

### Decay of Correlation, references for a non-standard way

In ergodic theory is common to use the decay of correlation property to deduce
properties analogues to those of i.i.d. random variables.
Call $X\doteq [0,1].$
Examples of decay of correlation ...

**2**

votes

**0**answers

91 views

### uniquely ergodic hyperbolic invariant set

The question is to classify uniformly hyperbolic invariant sets supporting uniquely ergodic invariant measure. The only examples that I expect are: fixed points, periodic orbits and Cantori(Denjoy ...

**0**

votes

**0**answers

148 views

### Express measurable entropy in terms of Fourier coefficients of the measure

Let $S^1$ be the unit circle , $\mu$ be a Borel probability measure on $S^1$ and
$T:S^1\to S^1$ is a measure-preserving map (not necessarily invertible) with respect to $\mu$. The Fourier ...

**6**

votes

**1**answer

143 views

### Is there a similar theorem in the partially hyperbolic case?

Theorem 5.10.3 from Introduction to dynamical systems, by Brin & Stuck:
Let $f:M\rightarrow M$ be an Anosov diffeomorphism. Then the following are equivalent:
$NW(f)=M$,
every unstable manifold ...

**3**

votes

**0**answers

97 views

### Any references on infinite-dimensional Fourier-Plancherel theory?

Let $M$ be a measure on an infinite-dimensional topological vector space (in fact, only the measure type matters), such that $M$ is quasi-invariant under a dense subspace $S$ of shifts (let's assume ...

**2**

votes

**1**answer

126 views

### Function from a compact metric space to the subsets of the naturals

Let $X$ be a compact metric space, and $\mu$ a Borel probability measure. For
$S\subset\mathbb{N}$ we denote the upper density with $\overline{D}(S).$
Let $f:X\rightarrow2^{\mathbb{N}}$ be a ...

**8**

votes

**2**answers

879 views

### Reference request: Geodesic flow on a manifold with negative curvature is ergodic

I'm reading about the Mostow's rigidity theorem, and the proof uses the following (maybe well-known) result:
The geodesic flow on a manifold with negative curvature is ergodic.
The lecture note that ...

**8**

votes

**2**answers

683 views

### Getting unique ergodicity from minimality

It is known that minimality does not imply unique ergodicity (Furstenberg example). I ask whether the implication holds in following particular situation:
Suppose $X$ is a compact space, $f:X \to ...

**3**

votes

**0**answers

111 views

### Pointwise ergodic theorem for amenable semigroups

Using tempered Folner sequences one may show a pointwise ergodic theorem for amenable groups.
(see http://www.aimsciences.org/journals/pdfsnews.jsp?paperID=2413&mode=full)
Is there a similar ...

**6**

votes

**1**answer

168 views

### Do syndetic sets on amenable semigroups have positive upper density?

Let $\mathbb{G}$ be a discrete amenable semigroup, and $\left\{ F_{n}\right\} $
a Folner sequence.
For $S\subset \mathbb{G}$ define the upper density as $D^{\ast
}(S)=\limsup_{n\rightarrow \infty ...

**3**

votes

**1**answer

249 views

### Uniform convergence of Birkhoff averages and unique ergodicity

I am looking for a proof or a reference for the following two facts (which appear proofless in my notes from an ergodic theory course- they might be easy but i am no expert in ET):
Let $T$ be a ...

**2**

votes

**1**answer

156 views

### Rate of convergence of the average of an equidistributed sequence

Let $f : \mathbb R\to\mathbb C$ be an $1$-periodic and sufficiently smooth function, which has zero average, and let $\alpha$ irrational. We know the following:
a. ...

**4**

votes

**1**answer

251 views

### Does equidistribution of zero average, due to irrationality, imply boundedness?

Let $f:\mathbb R\to\mathbb C$ be a sufficiently smooth and $1$-periodic function of average zero (i.e., $\int_0^{1}f(x)\,dx=0$), and let $\alpha\in(0,1)\smallsetminus\mathbb Q$. We know that
$$
...

**5**

votes

**1**answer

203 views

### “Ergodicity” for eigenvalues of random matrices?

Sorry if the wording of this question is sloppy, I have a weak background in probability theory (hence the quotation marks throughout).
Is there some "ergodicity-type" result for Wigner's semicircle ...

**1**

vote

**0**answers

82 views

### A argument related measurable partitions in dynamic system

$X$ is a compact metric space, and $T:X\rightarrow X$ be a continuous map, which is finite to one. Denoted by$ X_{0}$ the set of all points $x\in X$, such that for all sufficiently small ...

**5**

votes

**0**answers

125 views

### Using topological pressure to determine a subshift of finite type

I am interested in recognising graphs (or matrices, or subshifts of finite type) using topological pressure. Suppose that we play the following game:
${\bf Step 1:}$ I write down an irreducible n x n ...

**3**

votes

**0**answers

82 views

### Best convergence rate for convolutions on $\mathbb{Z}_p$

Suppose, that we have sequence of i.i.d variables $X_1,\ldots,X_n$ taking values in $\mathbb{Z}_p$ such that $d_{TV}(X_1,U) < \delta$.
How fast, in terms of $\delta$ and $n$ does the sum ...

**7**

votes

**2**answers

315 views

### Convergence rate of the convolution of almost uniform measures on $\mathbb{Z}_p$

Statement Given a finite abelian group $G$ and two independent random variables $X,Y$ taking values in $G$ and satisfying $d_{TV}(X,U_G)\leqslant \delta$ and $d_{TV}(Y,U_G)\leqslant \delta$ (where ...

**4**

votes

**0**answers

94 views

### Multifractal Analysis and Dimension Spectrum of Unions

Consider the classical Multifractal Analysis, and the decomposition of the state space $X$ into level sets
$$X=\bigcup_{\alpha}\left\{x\mid d_\mu(x)=\alpha\right\}\cup\left\{x\mid d_\mu(x) ...

**3**

votes

**1**answer

148 views

### Arithmetic Fuchsian lattices that are not finite index subgroups of Eichler orders?

Lindenstrauss' proof of AQUE (arithmetic quantum unique ergodicity) assumes that the Fuchsian lattice is an Eichler order or, if I understand it correctly, a finite index subgroup of an Eichler order. ...

**2**

votes

**0**answers

132 views

### Reference for and Properties of the $alpha$-entropy

Let $T : X \to X$ be a continuous map on, say, a compact metric space $X$. Let $\mu$ be an invariant borel measure. Under suitable conditions, a result of Brin and Katok states that $\mu$-almost ...

**6**

votes

**3**answers

353 views

### Poincare recurrence theorem and convergence on compact metric spaces

I am looking for a proof (or a reference to a proof) of the following theorem:
Let $X$ be a compact metric space with metric $d$, endow $X$ with the Borel $\sigma$-algebra and a probability measure ...

**2**

votes

**0**answers

107 views

### order of convergence of the conditional entropy (3)

I'm sorry for having open two questions which have been solved by elementary counter-examples provided by @AnthonyQuas. Actually I'm not an expert in information theory and I expected that a positive ...

**1**

vote

**1**answer

109 views

### order of convergence of the conditional entropy (2)

Let $X_n$ be a random variable distributed on $A_n:=\{1, \ldots, n\}$ and $g_n\colon A_n \to A_n$ such that $\Pr\big(X_n \neq g_n(X_n)\big) \to 0$. Putting $Y_n=g_n(X_n)$, then by Fano's inequality ...

**4**

votes

**1**answer

179 views

### Under what conditions can interval exchanges be approximated by periodic maps?

Under what conditions can an interval exchange be approximated by periodic maps? (in the weak topology for the Lebesgue measure on $[0,1]$ ).
Are there non-trivial examples of periodically ...

**9**

votes

**0**answers

376 views

### Poincaré recurrence and symplectic packings

Question. Is there any example of a path connected symplectic manifold $(M,\omega)$ that has infinite volume, but which cannot be packed by an infinite number of symplectic balls of a fixed radius ...

**5**

votes

**1**answer

225 views

### Dynamics of $3^x$ mod 1

Consider the map $f(x)=3^x$ mod 1. Using the the iterated function system $T_{0}x=\log_{3}(x+1), T_{1}x=\log_{3}(x+2)$ we see that $f$ is dynamical conjugated to a full shift on two symbols. Moreover ...

**1**

vote

**1**answer

105 views

### whether there are some books and original papers ergodic theory approach to ODE

Recently I become more and more interested in the field of ergodic theory, especially in the dimension theory and thermal formalism and its applications.
People always said that most of the ideas in ...

**2**

votes

**0**answers

198 views

### Reference request: stationary measures as convex combinations of ergodic measures

Does anyone know a good reference for the fact that a stationary probability measure is a convex combination of the stationary and ergodic probability measures?
I have found some references for the ...

**5**

votes

**1**answer

228 views

### inverse problem for ergodic measures

It is a basic fact in the weak-* topology, the set of invariant measures for a dynamical system is closed, compact, and convex in the weak-* topology. Furthermore, the set of ergodic measures is equal ...

**6**

votes

**1**answer

319 views

### What is known about dynamics on Grassmannians?

I have found myself becoming interested in dynamical systems given by homeomorphisms acting on $G(r,d)$, the space of $r$-dimensional subspaces of $\mathbb{R}^d$. I tried to do a literature search ...

**4**

votes

**1**answer

425 views

### Intuition of Kolmogorov-Sinai entropy

For a measurable entropy of measurable transformation $T$ from $(X,\mathcal{B},m)$ to itself.
For each finite measurable partition $\mathcal{A}=\{A_i\}_{i=1}^{m}$ of $X$, we can define
...

**2**

votes

**0**answers

82 views

### Ergodic actions with co-finite stabilizers

Let $G$ be a locally compact, second countable group acting on a standard probability space $(X,\nu)$, and let $\nu$ be $G$-invariant. Let $G_x = \{g \in G\,:\, gx=x\}$ denote the stabilizer of $x \in ...

**3**

votes

**1**answer

308 views

### Examples of transformations that are totally ergodic but not weakly mixing?

The most natural examples are irrational rotations. Are there other examples that are fundamentally different from irrational rotations? By the way, if $T$ is totally ergodic, but not weakly mixing, ...

**10**

votes

**2**answers

498 views

### Birkhoff ergodic theorem and the measure of the bad points

In the Birkhoff ergodic theorem we have a PMPS $(X,B,\mu,T)$ and that for any $f\in L^1(X,\mu)$ $\frac{1}{N}\sum_{n=0}^{N-1}f(T^n x)\to \int f \, d\mu,$ in measure, in $L^1$-norm and $\mu$-a.e.
My ...

**2**

votes

**1**answer

398 views

### Liouville's theorem: How to get an invariant measure?

Liouville's theorem states that the `natural' 2-from is preserved under the Hamiltonian flow. Apparently this leads to an invariant measure $\mu$ as follows
\begin{equation}
d\mu = \frac{d\sigma}{|| ...

**6**

votes

**1**answer

132 views

### Ergodic Mean for Schrodinger flow

Let us consider the linear Schrödinger equation in $\mathbb{R}^N$
$$ (i\partial _t+\Delta)\,u=0\mbox{ ,}\quad u(0,x)=f$$
with $f\in L^2(\mathbb{R}^N)$, and let $u(t,x)=e^{it\Delta}f$ be its ...

**3**

votes

**0**answers

163 views

### Markov operators and existence of ergodic measures

My question refers to the yesterday's question (see here)
of John Learner and goes as follows:
Can we deduce the existence of an ergodic measure if we know that an invariant measure exists, but the ...

**3**

votes

**1**answer

144 views

### Existence of ergodic measure for measurable maps

The existence of ergodic measures is usually proved under the assumptions that the space $\Omega$ is compact metric and the transformation $T: \Omega \rightarrow \Omega$ is continuous, by using ...

**4**

votes

**1**answer

142 views

### Is there a survey of recent work relating to the Hausdorff dimension of sets defined through some restriction of digits?

I am familiar with the work of Helmut Cajar, but his book is thirty years old and it's clear that there has been substantial progress since then. I have been spending a lot of time looking through ...