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

**6**

votes

**2**answers

575 views

### Birkhoff Ergodic Theorem and Ergodic Decomposition Theorem for Continuous-Time Markov Processes

I have a couple of questions regarding ergodicity for Markov processes in continuous time. (In particular, the first question seems like it should be particularly basic, and yet I haven't managed to ...

**3**

votes

**3**answers

301 views

### Do regular conditional distributions almost surely assign trivial measure to all members of the conditioning $\sigma$-algebra?

Let $(X,\Sigma)$ be a standard measurable space, let $\rho$ be a probability measure on $(X,\Sigma)$, and let $\mathcal{E}$ be a sub-$\sigma$-algebra of $\Sigma$. We will say that a stochastic kernel $...

**1**

vote

**1**answer

181 views

### Can ergodic theorem be used here [closed]

Suppose I have an ergodic Markov Chain $\{X_n\}$ where $X_n$ are bounded. Now, Can I say anything on the limit
$$ \lim_{n\to\infty} \frac{1}{n}\ln E\left[e^{\sum_{i=0}^{n} X_i}\right]$$
I don't ...

**5**

votes

**2**answers

262 views

### Ergodic theory reference for converging sequences of matrices

I have been told that the following is a well known theorem in ergodic theory & have been given the book by Furstenberg as a reference. However, I cannot find such a statement in it. Would anyone ...

**3**

votes

**1**answer

202 views

### Are there $0$ entropy non-atomic invariant measures for $2x$ and $3x$ modulo $1?$

This question appears for first time (to my knowledge) in
×2 and ×3 invariant measures and entropy
Daniel J. Rudolph
Ergodic Theory and Dynamical Systems / Volume 10 / Issue 02 / June 1990, pp 395 - ...

**1**

vote

**0**answers

116 views

### Name/terminology for a relationship between group actions

Let $G$ and $H$ be groups, both acting on a set $X$. Suppose that there is a homomorphism $\phi:G\to H$ such that for every $g\in G$ and $x\in X$, $g\cdot x = \phi(g)\cdot x$. Is there a name for this ...

**6**

votes

**0**answers

177 views

### Measure theoretic entropy

I don't know if this is an elementary question or not. In what follows all maps are continuous
Suppose that $P:\mathbb{C}\rightarrow\mathbb{C}$ is a complex polynomial of degree $d>1$ and let $\mu$...

**1**

vote

**1**answer

158 views

### Ratner theorem and dense geodesic planes in hyperbolic manifolds

Suppose we have a closed hyperbolic $3$-manifold $M$. For any $x\in M$ and plane $\pi$ in $T_xM$ we consider $P$ the geodesic plane exp$(\pi)$ originating from $\pi$. For any $p\in \pi$ we consider ...

**3**

votes

**0**answers

110 views

### Equidistribution of double coset

Let $G=PGL_n(\mathbb{R})$, $K=PO_n(\mathbb{R})$ and $X=G/K$. Also suppose $\Gamma=SL_n(\mathbb{Z})$ acts on the left of $X$. We define a typical Hecke operator on $L^2(\Gamma\backslash X)$ by the ...

**19**

votes

**3**answers

980 views

### Central Limit Theorem(s) for irrational rotation

Let $\alpha$ be irrational and $T: S^1 \rightarrow S^1$ be the rotation by $\alpha$. I'm interested in what type of Central Limit Theorem (if any) can hold for sums $Y_n = \frac{1}{\sqrt{n}}\sum_{k=1}^...

**5**

votes

**1**answer

186 views

### Symplectic Koopmanism

Let $(M, \omega)$ be a $2n$-dimensional symplectic manifold and let $L_2(M,|\omega^n|)$ be the Hilbert space of complex-valued functions on $M$ that are square integrable with respect to the Liouville ...

**3**

votes

**1**answer

257 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: US\rightarrow\mathbb{R}$...

**3**

votes

**1**answer

242 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

402 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

105 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$ ($n,...

**5**

votes

**1**answer

267 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

118 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 $F:X\...

**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

210 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

191 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

306 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

69 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 \mathbb{N}}\sup_{...

**2**

votes

**2**answers

233 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 $\mu$...

**1**

vote

**2**answers

388 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 $\phi\in\{-u+...

**0**

votes

**1**answer

194 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

238 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 \infty}{\...

**4**

votes

**2**answers

649 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

980 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

136 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

218 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

187 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 almost ...

**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

188 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

920 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 hyperbolic(non-...

**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

372 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

228 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

495 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

678 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

196 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

125 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

128 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 $uvw$...

**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.
(http://www.sciencedirect.com/...

**6**

votes

**1**answer

356 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

158 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

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

**18**

votes

**0**answers

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