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

learn more… | top users | synonyms

-4
votes
0answers
87 views

Axiomatic Ergodic Theory (book) [closed]

Is there any book which is axiomatic in its approach? Like in axiomatic set theory, or first order logic, but in ergodic theory? I'm not sure it's too rigorous as I would like it to be, but this can ...
-4
votes
1answer
115 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
1answer
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
0answers
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
0answers
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
1answer
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
2answers
171 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
1answer
376 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
1answer
140 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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
103 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
3answers
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
1answer
199 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
3answers
206 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
1answer
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
2answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
702 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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
2answers
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
2answers
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
2answers
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
1answer
95 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
2answers
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
3answers
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
6answers
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
1answer
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
2answers
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
0answers
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
1answer
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 ...