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

**-4**

votes

**1**answer

116 views

### A question regarding Kingman's theorem as described in “Ergodic Theorems” book written by Ulrich Krengel [closed]

Hi so I am reading Ulrich Krengel's book called Ergodic Theorems.
And in the proof of Kingman's theorem I don't understand why on page 48 $$d_n(1,1)\leq
d_n(r,r)^{-1/(r-1)}$$, how did he get this ...

**2**

votes

**1**answer

95 views

### Weak Convergence to Lebesgue Measure

I'm trying to understand the proof given by D. Rudolph in his paper "x2 and x3 invariant measures and entropy". I'm particularly trying to undestand the proof of lema 4.4.
Let's consider a secuence ...

**5**

votes

**0**answers

87 views

### Growth in families of trees

I'm hoping that the question below is simple thermodynamic formalism, but I can't quite make it work. Any help would be very welcome.
Let $\Sigma:=\{0,1\}^{\mathbb N}$ and let $\Sigma^*$ be the set ...

**1**

vote

**0**answers

56 views

### Uniform bounds of number of integral points on affine varieties

In Duke-Rudnick-Sarnak 93, Density of integer points on affine homogeneous varieties, one of the consequences is the following,
Consider the variety $V_{n,k} = \{A \in Mat_n(\mathbb{Z}): det(A) = ...

**3**

votes

**1**answer

84 views

### Substitutions and Sturmian sequences

We know that any substitution can generate sequence, for example the Fibonacci substitution:
$\sigma(0)=01, \sigma(1)=0$, then we can define a Sturmian sequence $\omega$, i.e., the fixed point of ...

**2**

votes

**2**answers

172 views

### A question about transitivity

Recently in something that I'm studying, I needed to know if the following map is transitive: $\sigma: M^{\mathbb{N}}\to M^{\mathbb{N}}$ the unilateral shift, where $M$ is a uncountable compact metric ...

**6**

votes

**1**answer

377 views

### Is there a generalized Birkhoff ergodic theorem?

Is there a Birkhoff ergodic theorem for two measure preserving transformations $T$ and $S$ where $S\circ T= T \circ S$ so that $\frac{1}{n+1}\frac{1}{m+1}\sum_{i=0}^{n}\sum_{j=0}^{m}f \circ T^{i}\circ ...

**1**

vote

**1**answer

141 views

### Question about B. Host paper 'Nombres, normaux entropie, translations'

I put this question on mathstack but it seems more suitable to put it here:
I was reading this paper and I got stuck in a detail left for the reader that I couldn't figure out:
Let $X = ...

**3**

votes

**0**answers

127 views

### Almost periodic sequence

Say that a real sequence ${(x_k)}_{k \in \mathbb{Z}}$ is almost periodic if the set of all its shifted sequences ${\left\{{(x_k)}_{k+n \in \mathbb{Z}}\right\}}_{n \in \mathbb{Z}}$ is relatively ...

**3**

votes

**0**answers

48 views

### Ferenczi: minimal, uniquely ergodic, sublinear complexity systems are not strongly mixing

The following result is on page 26 of this paper by Ferenczi [PDF].
Corollary 3. A minimal and uniquely ergodic system of sub-affine complexity cannot be strongly mixing (i.e., $\mu(T^nA \cap B) ...

**0**

votes

**0**answers

115 views

### A doubt on Balaji Meyn's ergodic theorem paper

I have a question regarding the classic paper by Balaji and Meyn: "Multiplicative ergodicity and Large Deviations for an Irreducible Markov Chain".
Consider a recurrent aperiodic irreducible Markov ...

**3**

votes

**1**answer

227 views

### Dynamics in the integers - Floor function

Let $\alpha$ be an irrational with $0<\alpha<1$. Consider the function given by \begin{align*}
f: &\mathbb{N}\longrightarrow \mathbb{N}\\ &x\longmapsto [ \alpha\cdot x]\end{align*} where ...

**2**

votes

**1**answer

104 views

### Stationary distribution of Markov chain

Suppose I have a discrete time Markov chain $\boldsymbol{X}$ with state space $\mathbb{R}^+$. The chain is $\psi$-irreducible, aperiodic, atomless and has an invariant measure $\pi$.
If $\pi$ is ...

**2**

votes

**3**answers

130 views

### Positivity of the top Lyapunov exponent

I have a general question about the Oseledets Multiplicative Ergodic Theorem. In the context of the MET I'd like to know if there is some reasonably general sufficient condition which implies that the ...

**4**

votes

**1**answer

217 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

208 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

145 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

210 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

132 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

109 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

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

**1**

vote

**1**answer

124 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

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

**18**

votes

**2**answers

703 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 = ...

**0**

votes

**0**answers

83 views

### Transversal theory in ergodic theory

I was taking a glance at the original paper by Donald Ornstein, Bernoulli Shifts with the Same Entropy are Isomorphic, and I came across The Marriage Problem and a paper with the same name by P. ...

**5**

votes

**1**answer

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

**2**

votes

**1**answer

129 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

173 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

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

**2**

votes

**0**answers

86 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

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

**0**

votes

**1**answer

96 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

82 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

127 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

120 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

181 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

52 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

98 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

185 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

96 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

367 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

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

**2**

votes

**2**answers

207 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

**3**answers

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

**6**

votes

**6**answers

593 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

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

**3**

votes

**2**answers

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

**5**

votes

**0**answers

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

**0**

votes

**1**answer

124 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

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