# Questions tagged [ergodic-theory]

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

59
questions

**13**

votes

**1**answer

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

**0**answers

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

**5**answers

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

**2**answers

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

**6**answers

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

**2**answers

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

**4**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**4**answers

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

**10**answers

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

**3**answers

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

**2**answers

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

**1**answer

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

**4**answers

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

**3**answers

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

**4**answers

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

**6**answers

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

**2**answers

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

**2**answers

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

**2**answers

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

**3**answers

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

**1**answer

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

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**2**answers

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

**2**answers

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

**2**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**4**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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