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

learn more… | top users | synonyms

43
votes
0answers
2k views

Alternating colors on a line: infinitely often or converge?

Suppose we have intervals of alternating color on $\mathbb{R}$ (say, red / blue / red / blue / ...). All intervals have independent length, with all red intervals distributed as $\mathbb{P}_{R}$, all ...
31
votes
2answers
2k views

Ergodic Theorem and Nonstandard Analysis

Here is a quote from Lectures on Ergodic Theory by Halmos: I cannot resist the temptation of concluding these comments with an alternative "proof" of the ergodic theorem. If $f$ is a complex ...
27
votes
3answers
1k views

Improving a sequence of 1s and -1s

Suppose you take a $\pm 1$ sequence and you want to "improve it" by taking pointwise limits of translates. What properties can you guarantee to get in the limit? Two examples illustrate what I think ...
26
votes
4answers
2k views

$\exists$ a shot in ideal pocket billiards?

Assume you have one shot with the cue ball in pocket billiards (a.k.a. pool), with the game idealized in that no spin is placed on the cue ball in the initial shot, all collisions between billiard ...
25
votes
4answers
2k views

Does anyone know an intuitive proof of the Birkhoff ergodic theorem?

For many standard, well-understood theorems the proofs have been streamlined to the point where you just need to understand the proof once and you remember the general idea forever. At this point I ...
21
votes
1answer
1k views

Furstenberg's Conjecture on 2-3-invariant continuous probability measures on the circle

Hillel Furstenberg conjectured that the only $2$-$3$-invariant probability measure on the circle without atoms is the Lebesgue measure. More precisely: Question: (Furstenberg) Let $\mu$ be a ...
20
votes
5answers
794 views

Iterated Circumcircle

Take three noncollinear points (a,b,c), compute the center of their circumcircle x, and replace a random one of a,b,c with x. Repeat. It seems this process may converge to a point, assuming no ...
20
votes
2answers
783 views

Billiard dynamics for multiple balls

I am interested to learn to what extent results on billiards in polygons have been extended to multiple balls. Assume the balls have equal radii and the same mass, the same initial speed, and all ...
17
votes
1answer
940 views

Generic points and local entropies

Let $X=\{1,\dots,p\}^\mathbb{N}$ be the space of sequences on a finite alphabet with a metric inducing the product topology, and let $\sigma\colon X\to X$ be the shift map. Let $\mu$ be a ...
16
votes
6answers
1k views

Quantitative versions of ergodic theorem

Are there any general theorems similar to Birkhoff's ergodic theorem, but giving quantitative estimates on the rate of convergence or average time of recurrence (perhaps with additional assumptions)? ...
14
votes
11answers
3k views

Importance of Poincaré recurrence theorem? Any example?

Recently I am learning ergodic theory and reading several books about it. Usually Poincaré recurrence theorem is stated and proved before ergodicity and ergodic theorems. But ergodic theorem does not ...
14
votes
3answers
457 views

Ergodic limits along subsets of $\mathbb{N}.$

Let say that an infinite subsets $A$ of $\mathbb{N}$ is "nice w.r.to ergodic limits", if it can replace $\mathbb{N}$ in the individual ergodic theorem, that is, if it is such that the following ...
13
votes
5answers
1k views

Category Theory and Ergodic Theory

I am very much interested in finding out about any category theoretical work on dynamical systems and on ergodic theory. On the face of it, it seems that a categorical language can go a long way, at ...
13
votes
1answer
806 views

Rokhlin lemma for arbitrary infinite groups.

Let $G$ be an at most countable discrete group acting freely on a standard probability measure space $X$ in a measure preserving way. It is well known that if $G$ is a finite group then this action ...
12
votes
5answers
2k views

Proof of Krylov-Bogoliubov Theorem

Where can I find a proof (in English) of the Krylov-Bogoliubov theorem, which states if $X$ is a compact metric space and $T\colon X \to X$ is continuous, then there is a $T$-invariant Borel ...
12
votes
3answers
796 views

Applications of and motivation for von Neumann's mean ergodic theorem

I stated von Neumann's mean ergodic theorem (VNMET) in a talk recently and someone in the audience asked what it was good for. The only application I knew of VNMET was to prove Birkhoff's ergodic ...
12
votes
2answers
1k views

Random walk is to diffusion as self-avoiding random walk is to …?

One can view a random walk as a discrete process whose continuous analog is diffusion. For example, discretizing the heat diffusion equation (in both time and space) leads to random walks. Is there a ...
11
votes
9answers
2k views

Book recommendation for ergodic theory and/or topological dynamics?

Hello, I'd like to hear your opinion for ergodic theory books which would suit a beginner (with background in measure theory, real analysis and topological groups). I am looking for something well ...
11
votes
1answer
269 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 ...
11
votes
2answers
286 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 ...
11
votes
3answers
611 views

Looking for at least one beautiful and not too technical result in asymptotic group theory

We have a student seminar devoted to the problems of asymptotic group theory with some connections to ergodic theory and measure theory in general. Each talk concerns one of the problems of this ...
11
votes
1answer
401 views

Measure conjugacy and ergodic decomposition

Roughly speaking, this question asks whether there is a measure-conjugacy between two transformations if there are measure-conjugacies between their ergodic components. Suppose $(X,\mu)$ is a ...
11
votes
0answers
330 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 ...
10
votes
2answers
385 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 ...
10
votes
2answers
660 views

Connectedness of space of ergodic measures

Let $X = \Sigma_p^+ = \{1,\dots,p\}^\mathbb{N}$ and let $f=\sigma\colon X\to X$ be the shift map. Let $\mathcal{M}$ be the space of Borel $f$-invariant probability measures on $X$ endowed with the ...
10
votes
3answers
793 views

Alternative proofs of the Krylov-Bogolioubov theorem

The Krylov-Bogolioubov theorem is a fundamental result in the ergodic theory of dynamical systems which is typically stated as follows: if $T$ is a continuous transformation of a nonempty compact ...
10
votes
2answers
721 views

Non-integrable ergodic theory

Can anyone help me out with proofs/counterexamples? I'm working on an operator-valued multiplicative ergodic theorem and need what may(?) be a well-known fact. This fact (if true) would help me get ...
10
votes
2answers
490 views

Invariant measures and recurrent sets.

Suppose $T:X \to X$ is a homeomorphism of a compact metric space. The recurrent set is the set of all points $x \in X$ such that for every $\epsilon>0$ there exists an $n\in \mathbb{Z}$, $n \ne 0$, ...
10
votes
1answer
1k views

System with invariant measure, but no ergodic measure.

Question Examples of continuous transformations $T: X \to X$ such that the family of invariant probability measures $M(T)$ is NOT empty but there is no ergodic measure ($E(T) = \emptyset$). Notice ...
10
votes
3answers
709 views

Supremum amongst Kolmogorov-Sinai entropies: ergodic or just invariant measures.

Cases where $sup_{\mu \in E(T)} h_\mu(T) \neq \sup_{\mu \in M(T)} h_\mu(T)$. Background For a topological space $X$, let $T: X \to X$ be a continuous application. Then, call the set of ...
10
votes
0answers
445 views

Centralizers of group actions

Let a locally compact group $G$ act on a probability space $(X,\mu)$. Define the centralizer by $C(G)=\{\Delta\in Aut(X,\mu)\mid \Delta(gx)=g\Delta(x)\text{ almost everywhere}\}$. $Aut(X,\mu)$ denotes ...
9
votes
3answers
989 views

A random walk on random lines

I am wondering if this random walk remains finite with positive probability. Start with three lines $A,B,C$ that are extensions of an equilateral triangle. Let $p_0$ be one corner. Generate a line ...
9
votes
1answer
611 views

Different uses of the word “ergodic”

There appear to be two definitions of the word ergodic. The dynamical systems definition says that a measure space $(X,\mathit B, \mu)$ and measure preserving transformation $T: X \mapsto X$ is ...
9
votes
2answers
349 views

Is the composition of non-wandering maps still non-wandering?

Let $M$ be a compact space and $f,g:M \to M$ whose non-wandering sets satisfy $\Omega(f)=\Omega(g)=M$. Can we have $\Omega(f \circ g)=M$? Or more specifically, if $\Omega(f)=M$, can we have ...
9
votes
2answers
525 views

Name this periodic tiling

Hello MO, I've been working on a problem I'm working on in ergodic theory (finding Alpern lemmas for measure-preserving $\mathbb R^d$ actions) and have found some neat tilings, that I presume were ...
9
votes
0answers
342 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 ...
8
votes
5answers
773 views

What are the zero entropy invariant measures for an Anosov geodesic flow?

Let $M$ be the double-torus with a hyperbolic Riemannian metric. The geodesic flow on the unit tangent bundle $T^1M$ has many invariant Borel probability measures. In particular there are closed ...
8
votes
3answers
462 views

non-integrable subadditive ergodic theorem

Dear MO_World, I have (another) question about relaxing the assumptions in the sub-additive ergodic theorem. Apologies if this is something I should know already... There are a number of statements ...
8
votes
1answer
85 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 ...
8
votes
2answers
291 views

What time does it take for irrational rotations to hit an interval?

Hi, Consider $\theta_n = (\theta_0 + n \theta) \mod 1$, $\theta$ being an irrational number, and $\theta_0$ an uniform random variable in $(0,1)$. Is there any estimates for the time it will take ...
8
votes
2answers
404 views

proofs of ergodicity of Sl(2, Z) action on R^2 without using duality

The group $ G=SL(2, R)$ acts linearly on $\mathbb R^2$. The Lebesgue measure of $\mathbb R^2$ is invariant and ergodic for $G$. There is a proof using duality theorem: Let $U$ be the upper triangular ...
8
votes
2answers
677 views

Fourier transform of x2 invariant measure

Let $T:\mathbb{R}/\mathbb{Z}\rightarrow \mathbb{R}/\mathbb{Z}$ be the map defined by $T(x)=2x$, and suppose that $\mu$ is a $T$ invariant and ergodic Borel probability measure on the space, which is ...
8
votes
2answers
521 views

How does the mixing time of a geodesic flow on a surface vary with the genus?

I have been looking at the numerical behavior of a particular quantity (of no direct importance here, though if you must know the gory details start with figure 17 here) associated to the geodesic ...
8
votes
1answer
234 views

Random variables invariant under almost automorphisms.

Let $\Omega$ be a standard atomless probability space, we can assume $\Omega=(0,1)$ with Lebesgue measure. A bijection $f:\Omega/A_1\to\Omega/A_2$ is almost automorphism, if $P(A_1)=P(A_2)=0$, $f(A)$ ...
8
votes
0answers
202 views

resampling over Bowen balls

Hello MO World I'm working on a paper involving embedding your favourite measure-preserving transformation into a topological model (think Krieger generator theorem: embedding in a full shift) and ...
7
votes
2answers
500 views

Is this ergodic inequality true?

Is anything similar to the following inequality true, $\displaystyle P\{\max_{n \leq k \leq m} |A_k f - A_n f| > \epsilon\} \leq C \frac{||A_m f - A_n f||_1}{\epsilon}$ where $A_n f = ...
7
votes
2answers
429 views

How quickly will billiard trajectories cluster?

Suppose you launch $n$ point-particles on distinct reflecting nonperiodic billiard trajectories inside a convex polygon. Assume they all have the same speed. Define an $\epsilon$-cluster as a ...
7
votes
3answers
721 views

Decomposition of a dynamical system into ergodic componenents

Quick version of the question. Let $(X, \mu)$ be a probability measure space and let $Z$, the group of integers, act on $X$ in a measure preserving way. How can I decompose $X$ into ergodic ...
7
votes
2answers
292 views

Silly question about mixing

Let $T$ be a measure-preserving transformation on a probability space $(\Omega,\mathcal B,\mu)$. Assume that for any pair of measurable sets $A,B\in\mathcal B$ with $\mu(A), \mu(B)>0$, one can find ...
7
votes
2answers
413 views

A non-standard ergodic limit

Suppose $T$ is an ergodic measure-preserving transformation on a measure space $(X,\Sigma,\mu)$, and $f\in L^1(\mu)$. Does the limit $\lim_{X\to\infty} \pi(X)^{-1}\sum_{p\leq X} f(T^{p}x)$ exist ...