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

**3**

votes

**1**answer

245 views

### On the Birkhoff ergodic theorem for geodesic flows

Let $S$ be a closed surface endowed with a Riemannian metric of negative curvature and let $US$ be the unit tangent bundle. Let $\mu$ be the Liouville measure on $US$.
Let $f: ...

**3**

votes

**1**answer

234 views

### Measure Preserving Transformation Induced by a $*$-automorphism on $L^\infty(X,\mu)$

The following excerpt is from Connes' Noncommutative Geometry
Let $(X, \mathcal{B}, \mu)$ be a standard Borel space equipped with a probability measure $\mu$, and let $\ T$ be a Borel ...

**8**

votes

**1**answer

396 views

### Strange definition of ergodicity

I've already asked this question on math.stack a few days ago and haven't received an answer, so I'm asking here.
In an engineering course, a stationary process was defined to be ergodic if for all ...

**3**

votes

**0**answers

104 views

### Pointwise convergence of ergodic averages of unconventional conditional expectations

Let $(X_i,Y_i)_{i\in\mathbb{Z}}$ be a finite-valued stationary process whose $\sigma$-algebra of tail events is trivial. Let $\mathcal{F}_n^m$ be the $\sigma$-algebra generated by $X_n,\dots,X_m$ ...

**5**

votes

**1**answer

266 views

### “strongly mixing” action on dimers?

In Local Statistics of Lattice Dimers we study a nice familiar object, domino tilings in the plane extending out to infinity.
His paper is going to discuss the frequency of various "motifs" in ...

**1**

vote

**1**answer

116 views

### Non-convergence of ergodic measures with positive entropy

Let $T:X\to X$ be a continuous function on a compact metric space $X.$ Let $\mu$ be a $T$ invariant and ergodic probability measure on $X$ with strictly positive Sinai entropy $h_{\mu}(T).$ Let ...

**1**

vote

**1**answer

101 views

### Example of non-convergence of iteration of measures

Let $T:X\to X$ be a continuous function on a compact metric space $X.$ Let $\mu$ be a $T$ invariant and ergodic probability measure on $X.$ Let $F:X\to X$ be a continuos transformation that commutes ...

**3**

votes

**1**answer

205 views

### Natural extensions in ergodic theory / Measurability question

A useful "abstract nonsense" construction in ergodic theory takes a measure-preserving transformation
$T$ of a probability space $(X,\mathcal B,\mu)$ and extends it to an invertible measure-preserving ...

**1**

vote

**1**answer

182 views

### Ergodic decomposition and integral representation of functions that depends on a measure

Let $X$ be a compact metric space, $T:X \to X$ continuous, $M_T(X)$ the set of borel measure that are $T$-invariant and $E_T(X)\subseteq M_T(X)$ the set of ergodic measures.
The ergodic decomposition ...

**6**

votes

**2**answers

289 views

### What good is (strong) mixing in dynamical systems?

For measure-preserving dynamical systems, there exist several notions of mixing. The most basic ones are strong mixing, weak mixing and ergodicity (see the wikipedia page, for instance), asserting ...

**0**

votes

**0**answers

67 views

### Is an odometer action on a product space always conjugate to its inverse by an involution?

This is a follow on question from
Is an non-singualr invertable ergodic transformation on a measure space isomorphic to its inverse?
Given a measure $\mu$ on the product space $X = \prod_{i=1}^\infty ...

**2**

votes

**0**answers

105 views

### Is $\text{Bow}(X,T)$ a Banach Space?

Let $X=\{0,1\}^{\mathbb{N}}$ be the sequence space and $T:X\to X$ the left shift mapping. Define the vector space $\text{Bow}(X,T)$ as
$$
\text{Bow}(X,T)=\{f\in C^{0}(X);~\sup_{n\in ...

**2**

votes

**2**answers

229 views

### Birkhoff Ergodic Theorem or Counterexample

The Birkhoff Ergodic Theorem states:
Let $(X,\mathcal{B},m)$ be a finite or sigma finite measure space. Suppose $T:(X,\mathcal{B},m)\to (X,\mathcal{B},m)$ is measure-preserving and $f\in L^1(m)$. ...

**1**

vote

**2**answers

117 views

### Is an non-singualr invertable ergodic transformation on a measure space isomorphic to its inverse?

A non-singular, invertable, ergodic transformation is the quadriple $(X,\mathcal B, \mu, T)$ where $(X,\mathcal B, \mu)$ is a measure space and $T$ is an invertable, measurable automorphism where ...

**1**

vote

**2**answers

386 views

### $\{\phi:\int \phi d\mu=0\}$ for a fixed shift invariant $\mu$

Given a shift invariant probability measure $\mu$ on a mixing subshift of finite type.
What are the Lipschitz functions with zero integral with respect to the measure $\mu?$
Clearly any ...

**0**

votes

**1**answer

190 views

### Is any invariant, ergodic measure with full support on an irreducible Markov shift a Markov measure?

I have this question I have been struggling with for a while. It seems rather intuitive, however, I was not able to proof it yet:
Let $\Omega = \{1,2,\cdots,N\}$ a finite alphabet, $\Sigma \subset ...

**3**

votes

**2**answers

227 views

### Classes of dynamical systems

A consequence of Birkhoff ergodic theorem tells us that ergodicity is equivalent to:
$\forall A,B \in \mathcal{B} \quad \frac{1}{N}\sum_{n=0}^{N-1}\mu(A\cap T^{-n}(B))\stackrel{N\to ...

**4**

votes

**2**answers

640 views

### Reference for Kronecker-Weyl theorem in full generality

The Kronecker-Weyl theorem asserts the following: fix real numbers $\theta_1,\dots,\theta_d$, and consider the infinite ray $t(\theta_1,\dots,\theta_d)$ $(t\in\Bbb R)$ inside the $d$-dimensional torus ...

**8**

votes

**6**answers

954 views

### Furstenberg $\times 2 \times 3$ conjecture, bibliography

Furstenberg $\times 2 \times 3$ original conjecture states that the unique continuous invariant probability measure for $2x$ mod $1$ and $3x$ mod $1$ is the Lebesgue measure.
I wanted to have a ...

**4**

votes

**1**answer

134 views

### Automorphism group of compact abelian group

I am looking for references on the automorphism group $\mathrm{Aut}(X)$ of a compact abelian group $X$. By automorphisms I mean topological group automorphisms. Some particular questions are as ...

**4**

votes

**2**answers

207 views

### Mixing property of first return map

Let $(X,\mathcal{X},\mu)$ be a probability measure system, $T:X\to X$ be a $\mu$-preserving isomorphism on $X$. Let $A\in \mathcal{X}$ such that $\mu(\bigcup_{n\ge 0}T^nA)=1$, and $\mu_A$ be the ...

**6**

votes

**1**answer

138 views

### Short examples that are/are not quantum-ergodic

Are there any considerably short examples of manifolds that are/aren't quantum ergodic, or quantum unique ergodic?
Note that a (compact) Riemannian manifold is said to be quantum ergodic if ...

**1**

vote

**1**answer

166 views

### Find a sequence with uniform frequencies and recurrent property

Given any 4 positive numbers $p_{00}\,,p_{01}=p_{10}\,,p_{11}$,such that the sum of the 4 numbers is 1, now I want to find a sequence in $\{0\,,1\}^\mathbb{N}$
such that this sequence has uniform ...

**0**

votes

**2**answers

187 views

### The Book for ergodic theory on SFT in dimension $D>1.$

I have been unable to find a good reference for a book that study in details ergodic theory on sub shifts of finite type in dimension $D>1.$ The only reference that I got was actually a book by ...

**3**

votes

**2**answers

863 views

### Physical Measure Vs. SRB measures

Anybody can help me to have an idea about an example showing the difference of a Physical measur with compare to an SRB measure?
By a Physical measure i mean in the sense of $\nu$ a ...

**4**

votes

**2**answers

233 views

### Invariant measures on a compact metric space

I'm dealing with a continuous flow on a compact metric space $X$, and $\mu$, $\nu$ are two invariant Borel probability measures on $X$. If I know that $\mu(A)=\nu(A)$ for all the invariant Borel ...

**12**

votes

**1**answer

371 views

### Is $\lfloor \log(n!)\rfloor \alpha$ equidistributed on the unit circle?

In this question $\lfloor a\rfloor$ means the greatest integer not exceeding $a$.
Using van der Corput's inequalities one is able to show that $\log(n!)\alpha$ is equidistributed on the unit circle ...

**6**

votes

**1**answer

226 views

### Renewal systems: Intrinsic ergodicity and a question related to the Adler's conjecture

Consider the alphabet $\mathcal{A} = \{0,1\}$ and consider a finite set of words $W = \{\omega_1, \ldots , \omega_n\}$ over $\mathcal{A}$. Then the renewal system $\Sigma_{W}$ generated by $W$ is ...

**6**

votes

**3**answers

488 views

### A weak-mixing, zero entropy measure on the 2-shift which gives equal weight to both symbols

I am currently sketching a paper in the general area of symbolic dynamics in which I would like to be able to use the following fact:
Proposition (proposed): there exists a shift-invariant ...

**2**

votes

**0**answers

81 views

### Null sets visited infinitely often by trajectories of the shift dynamical system

Let $(G,\circ)$ be a Polish group, with identity $e$.
Let $\Omega$ be the set of continuous functions $\omega:\mathbb{R} \to G$ such that $\omega(0)=e$.
For each $t \in \mathbb{R}$, define the ...

**7**

votes

**2**answers

645 views

### Ergodic theory and dynamical systems books references

I am arranging a weekly meeting of 2 hours with postgraduate students in ergodic theory (for a period of 3 weeks).
I am asking here for an advice of a book (or maybe a set of papers) to look at ...

**3**

votes

**1**answer

195 views

### Real analytic ergodic diffeomorphisms of the two sphere

Does there exists a real analytic area preserving ergodic diffeomorphism on $S^2$?
(Possibly by perturbing a rotation in the real-analytic topology?)

**1**

vote

**1**answer

121 views

### Halmos recurrence theorem for a locally compact group

The recurrence theorem of Halmos is well known in the case of a non-singular endomorphism $T$ of a measured space $(X,\mathcal B,\mu)$. A measurable subset $A$ is contained in the conservative part ...

**2**

votes

**1**answer

127 views

### Does conjugacy preserve the set of synchronizing blocks?

A synchronized system is a transitive shift space $X$ which has a synchronizing block $v$, that is $v$ is an admissible block for $X$ and whenever $vw$ and $uv$ are admissible blocks in $X$, then ...

**2**

votes

**2**answers

172 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

351 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

156 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

561 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 ...

**17**

votes

**0**answers

461 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

202 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

120 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

63 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

140 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

191 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

159 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

100 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

181 views

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

Let $S^1$ be the unit circle and $T:S^1\to S^1$ be a continuous map. Suppose $\mu$ is a $T$-invariant Borel probability measure on $S^1$, that is, $\mu(T^{-1}A)=\mu(A)$ for every Borel subset $A$ of ...

**6**

votes

**1**answer

158 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

105 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

129 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 ...