Questions tagged [ergodic-theory]

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

Filter by
Sorted by
Tagged with
13
votes
1answer
1k 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 ...
26
votes
0answers
713 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 ...
21
votes
5answers
4k 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
2answers
1k 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 ...
12
votes
6answers
2k 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 ...
9
votes
2answers
2k 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 ...
8
votes
4answers
1k views

Uniform convergence of Birkhoff averages and unique ergodicity

I am looking for a proof or a reference for the following two facts (which appear proofless in my notes from an ergodic theory course- they might be easy but i am no expert in ET): Let $T$ be a ...
7
votes
1answer
774 views

Density of strictly ergodic measures in the d-bar topology

I am currently studying a problem which deals with cocycles of highly noncompact operators on Hilbert space, with the base transformation being the full shift on two symbols. In my particular ...
6
votes
2answers
2k views

What's the probability distribution of a deterministic signal or how to marginalize dynamical systems? (functional integrals in probability theory)

Because I still have no idea how it is possible for me to write down seemingly important equations ... that don't make any sense (at least for me) and because I haven't got any helpful comment so far, ...
6
votes
1answer
293 views

A counterexample for the Mean Ergodic Theorem in $L_\infty$

The so-called Mean Ergodic Theorem goes back to von Neumann for Hilbert spaces. Later on, versions of this result in reflexive Banach spaces have also appeared (see, e.g., the book by Krengel, Ergodic ...
2
votes
0answers
86 views

Stochastic stability of "open" continuous-time stochastic systems: reference request

I'm looking for results on the stability of stochastic systems, e.g. SDEs, whose coefficients depend on a different process that is not necessarily stable. I'm calling those systems "open" here, but ...
2
votes
0answers
185 views

Do the Birkhoff averages of a measurable stationary homogeneous Markov process in continuous time "converge to the right limit"?

[I've decided to rewrite the question, to make the essential point clearer.] Let $\,\mathbb{R}^{[0,\infty)}:=\{(x_t)_{t \geq 0} : x_t \in \mathbb{R} \ \, \forall t\}$. We say that a set $Y \subset \...
6
votes
1answer
528 views

Non-existence of ergodic measures

Good afternoon. Can anybody give me an example of a continuous map $T:X\to X$ defined on a Polish space $X$ which admits an invariant Borel probability measure but no ergodic Borel probability ...
0
votes
1answer
334 views

joining or coupling

given two shift invariant measures in the Bernoulli space $\{0,1\}^{\mathbb{N}}$, is there a way to construct joinings of them? It's very diffcult, in general, to find exactly the minimal joining i.e, ...
46
votes
4answers
5k 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 ...
23
votes
10answers
9k 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 ...
15
votes
3answers
2k views

Connection between properties of dynamical and ergodic systems

While studying topological and ergodic dynamics, I've got quite perplexed by the different properties a system might have (minimality, regionally recurring, transitivity, mixing, ergodic, uniquely ...
16
votes
2answers
4k views

Reference request: Geodesic flow on a manifold with negative curvature is ergodic

I'm reading about the Mostow's rigidity theorem, and the proof uses the following (maybe well-known) result: The geodesic flow on a manifold with negative curvature is ergodic. The lecture note that ...
28
votes
1answer
3k 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 ...
33
votes
4answers
3k views

Does there exist 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 ...
16
votes
3answers
1k 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 $...
7
votes
4answers
2k 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 ...
21
votes
6answers
2k 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)? ...
15
votes
2answers
2k views

Are rounded rectangle billiard dynamics ergodic?

Bunimovich proved that the billiard-ball dynamics in the Bunimovich stadium is ergodic.             (Image from Microwave_billiards_and_quantum_chaos.)...
12
votes
2answers
828 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 ...
7
votes
2answers
481 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 ...
13
votes
3answers
775 views

Has dynamics on $G/\Gamma$ ever been used to prove interesting things about $\Gamma$?

Fix a Lie group $G$ and a discrete subgroup $\Gamma \subset G$. Homogeneous dynamics is about studying the actions of subgroups $H \subset G$ on the quotient $G/\Gamma$. Does anyone know of an ...
12
votes
1answer
346 views

Is there a physical/geometric proof for L^2 boundedness of Bourgain's maximal function along the squares?

One problem that has bugged me for some time (though I only seriously thought about it for a month several years ago) is to give a physical proof of the L^2 boundedness of Bourgain maximal function ...
10
votes
0answers
503 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 $r$,...
7
votes
2answers
291 views

Random suborbits of a rotation

Let $u_n = x + n\alpha \pmod 1$ with $\alpha$ irrational. We know that $(u_n)_{n \geq 0}$ is dense in $\mathbb{R}/\mathbb{Z}$ (equivalently $(u_n)_{n \geq 0}$ visits every open interval infinitely ...
6
votes
1answer
575 views

Aproximating dynamical systems by intrinsically ergodic systems

Let $X$ be a compact metric space and $f:X \to X$ a continuous map. We say that $(X,f)$ is approximated from below by a sequence of compact metric spaces $(X_i)_{i \geq 1}$ and a sequence of ...
5
votes
1answer
412 views

inverse problem for ergodic measures

It is a basic fact in the weak-* topology, the set of invariant measures for a dynamical system is closed, compact, and convex in the weak-* topology. Furthermore, the set of ergodic measures is equal ...
8
votes
1answer
195 views

Can a smooth diffeomorphism of a Riemannian manifold have only positive Lyapunov exponents on a large set?

Let $M$ be a compact Riemannian manifold, $f: M \to M$ a diffeomorphism, and $\mu$ an ergodic measure for $M$. Suppose that the support of $\mu$ is not a finite set. Is it possible that all the ...
6
votes
1answer
200 views

A property of rapid sequences of natural numbers

$\newcommand{\IR}{\mathbb R}$ $\newcommand{\IT}{\mathbb T}$ $\newcommand{\w}{\omega}$ $\newcommand{\e}{\varepsilon}$ Taras Banakh and me proceed a long quest answering a question of ougao at ...
5
votes
2answers
304 views

Liverani's CLT (a question)

Let $(\Omega,\mathcal{F},P)$ be a probability space where $\Omega$ is a complete separable metric space, let $T:\Omega\to \Omega$ ` be an ergodic transformation, let $\hat{T}:L^{2}_{_P}(\Omega)\to L^{...
5
votes
2answers
770 views

Is the distance function from a point to the Mandelbrot set computable?

There is at least one result saying that the Mandelbrot set is undecidable, and there might be more, but I think it (or they all) use real computation rather than Turing machines. This makes some ...
4
votes
2answers
347 views

Can a smooth diffeomorphisms of a Riemannian manifold have only positive Lyapunov exponents?

Let $\mu$ be some ergodic measure of our compact Riemannian manifold $M$, which is preserved by $f\in Diff^{1+\beta}(M)$. Is it possible that all the Lyapunov exponents of $\mu$ will be positive? ...
3
votes
2answers
225 views

Can one realize this as an ergodic process?

Consider the lattice $\mathbb Z^2$ and take iid random variables $Y_e$ on all edges $e$ of the graph. We then define random variables $X_i:=\sum_{e \text{ adjacent to } i}Y_e.$ In other words: For ...
3
votes
2answers
169 views

A Really Simple Stochastic Dynamic Billiard

Consider the following stochastic dynamical system. Fix $a > 0$, $b > 0$, $c>0$ and $v > 0$, and let $\mathbf{r}(t)=(x(t),y(t),z(t))$ be the position at time $t$ of a point which moves ...
3
votes
1answer
105 views

A Simple Stochastic Dynamic Billiard

Consider the following stochastic dynamical system. Fix $a > 0$, $b > 0$, and $v > 0$, and let $\mathbf{r}(t)=(x(t),y(t))$ be the position at time $t$ of a point which moves in the ...
2
votes
1answer
324 views

Rate of convergence of the average of an equidistributed sequence

Let $f : \mathbb R\to\mathbb C$ be an $1$-periodic and sufficiently smooth function, which has zero average, and let $\alpha$ irrational. We know the following: a. $\lim_{n\to\infty}\frac{1}{n}\sum_{...
2
votes
2answers
248 views

Transformations whose product with a given rotation are ergodic

I am interested in the ergodic (invertible) transformations $T$ such that $T\times R_\theta$ is ergodic where $R_\theta$ is the rotation on $S^1$ with a given irrational angle $\theta$ (not all $R_\...
6
votes
4answers
630 views

Transitive shifts with multiple fully supported MMEs

This is a sequel to my earlier question, where I asked for an example of a shift space that is mixing but not intrinsically ergodic -- that is, it has multiple measures of maximal entropy (MMEs). ...
5
votes
1answer
334 views

Discrete spectrum and almost periodicity

According to Vershik, an ergodic invertible measure-preserving transformation $T$ on a Lebesgue space $X$ has discrete spectrum if and only if for every bounded measurable function $f\colon X \to \...
5
votes
1answer
201 views

Is there a name for a "stable" physical measure?

Let $M$ be a Riemannian manifold with volume measure $\lambda$, let $f \colon M \to M$ be a continuous map, and let $\mu$ be a probability measure on $M$ with compact support. Definition. The ...
4
votes
1answer
297 views

Examples of topological dynamical systems with countably infinitely many ergodic invariant measures

Suppose a discrete group $\Gamma$ acts on a connected compact metrizable space $X$ by homeomorphisms. Denote such a topological dynamical system by $(X,\Gamma)$. Question: is there any $(X,\Gamma)$ ...
4
votes
0answers
106 views

Pocket billiards with balls in general position

There were at least two earlier MO questions about ideal pocket billiards. (Ideal: frictionless, perfectly elastic collisions.) Perfectly centered break of a perfectly aligned pool ball rack. Does ...
3
votes
1answer
307 views

Attractors in random dynamics

Let $\Delta$ be the interval $[-1,1]$, then we can consider the probability space $(\Delta , \mathcal{B}(\Delta),\nu)$, where $\mathcal{B}(\Delta)$ is the Borel $\sigma$-algebra and $\nu$ is equal ...
2
votes
1answer
138 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 ...
2
votes
1answer
200 views

Does an “almost mixing” transformation admit a non-null ergodic component?

Problem set up: Let $\mathbf X := (X, \mathcal A, \mu)$ be a standard probability space. We say that a measure preserving transformation $T$ on $\mathbf X$ is $\varepsilon$-almost mixing if for every $...