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

**4**

votes

**1**answer

162 views

### Subadditive Kingmans theorem for lattices.

I am looking for a multidimensional version of Kingman's subadditive theorem. I found this but it is not exactely what I need.
I would rather have something like that:
Let us consider ...

**10**

votes

**1**answer

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

**3**

votes

**1**answer

385 views

### Example of a measure-preserving system with dense orbits that is not ergodic

Let $X$ be a Borel probability space (i.e. equipped with a measure $\mu$ on the Borel $\sigma$-algebra such that $\mu(X) = 1$) with a measure-preserving transformation $T$ such that every point has a ...

**3**

votes

**1**answer

208 views

### Accumulation points of the Birkhoff average of $m$

Let $M$ be a closed manifold, $m$ be the normalized volume measure on $M$, and $f:M\to M$ be a $C^2$ transitive Anosov diffeomorphism. Consider the pushforward $f^km$ defined by
...

**12**

votes

**3**answers

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

**2**

votes

**3**answers

248 views

### How long does it take a Brownian particle to achieve a uniform probability distribution across a space?

Imagine I have a point-like Brownian particle, with diffusion constant $D$, and I place it at some initial coordinate in a cage of known geometry. Assuming the volume $V$ of the cage is "everywhere" ...

**10**

votes

**3**answers

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

**6**

votes

**4**answers

534 views

### A follow up question related to entropy

For a self-map $\varphi:X\longrightarrow X$ of a space $X$, many important notions of entropy are defined through a limit of the form $$\lim_{n\rightarrow\infty}\frac{1}{n}\log a_n,$$ where in each ...

**11**

votes

**1**answer

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

**6**

votes

**1**answer

224 views

### Non-oscillatory behaviour in the subadditive ergodic theorem

I am currently reading an article in which the author goes to certain lengths which could be avoided if the following result were true:
Lemma (proposed): Let $T$ be an ergodic ...

**1**

vote

**1**answer

217 views

### Does specification implies that entropy map is upper semicontinuous?

Let (X,d) be a compact metric space and f a continuous transformation on X. f has the specification if one can always find a single orbit to interpolate between different pieces of orbits, up to a ...

**3**

votes

**0**answers

250 views

### A general Lipschtiz potential can be specified by a Gibbs specification ?

I want to consider one-dimensional system on the lattice $\mathbb{L}=\mathbb{N}$.
Let be $A:(\mathbb{S}^1)^{\mathbb{L}}\to\mathbb{R}$ a lipschtiz potential. Consider the Ruelle operator
$$
...

**12**

votes

**5**answers

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

**31**

votes

**2**answers

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

**21**

votes

**2**answers

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

**6**

votes

**0**answers

296 views

### “topological” conjugacy of group automorphisms

In the paper "Orbit Equivalence and Topological Conjugacy of Affine
Actions on Compact Abelian Groups", S. Bhattacharya shows (Theorem 3) the following:
Theorem. Given two actions $\alpha$ and ...

**3**

votes

**1**answer

433 views

### Ergodicity of Convoluted White Noise

I have a question regarding ergodicity in infinite dimensional spaces.
Let $\mathcal{D}$ be the space of distributions on a Schwartz space, and let $\mu$ be the white noise process which exists by ...

**2**

votes

**1**answer

207 views

### Multiple ergodic averages with varying number of terms

Hi. I've been stuck on the following question for some time.
Consider a sequence of functions $\left( f_n \right)$ from an ergodic space $\left( \mathsf{X}, \mathsf{S}, \mu \right)$ to $\left[ 0,1 ...

**7**

votes

**2**answers

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

**10**

votes

**2**answers

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

**3**

votes

**1**answer

296 views

### trivial map on $\sigma-$algebra $\mod{}0$ is trivial

Hi everyone!
I am currently studying the basic theory of measurable actions and need the following result, which I am not able to prove myself. It is stated without a proof, so probably it should not ...

**6**

votes

**1**answer

738 views

### Entropy of first return map and suspension flows

There are some well know formulas of Abramov about derived systems.
Firstly let $(X,\mu,f)$ be a probability preserving system and $A\subset X$ is measurable such that $\bigcup_{n\ge0}f^nA=X$. Let ...

**3**

votes

**1**answer

309 views

### Picking a representative in a continuous way

I'm hoping for some ideas/pointers here. I'm experimenting with a Livschitz theorem for functions on a locally compact Abelian group, where the periodic orbit sums take values in a closed subgroup.
...

**2**

votes

**1**answer

672 views

### Given a probability \mu, can we always find a transformation T s.t. \mu is T-invariant?

It is true that, under some conditions, given a measure-preserving transformation $T$, we can always construct a $T$-invariant probability. I am wondering whether we can do a converse. See Parry's ...

**6**

votes

**3**answers

1k views

### amenable equivalence relation generated by an action of a non-amenable group

Question. Give a (possibly elementary) example of a probability measure preserving action $\rho\colon G \curvearrowright X$ of a finitely-generated discrete group $G$ on a standard borel space $X$ ...

**3**

votes

**1**answer

528 views

### Example of a non-normal infinite index subgroup of a non-amenable group with certain properties.

This is an improved version of my previous question, where I forgot to put one of the assumptions.
Question. Let $G$ be a finitely generated non-amenable discrete group, and $H$ be a subgroup of ...

**15**

votes

**11**answers

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

**7**

votes

**2**answers

709 views

### [automatic continuity] measurable homomorphisms of (C,+)-->(C,+) or (C,+)-->(C,*) are continuous and admit an explicit description ?

I am interested in generalisation of the following fact [known as automatic continuity, as I have been pointed out below]. I am especially looking for references to papers dating back to 1920s---I ...

**5**

votes

**2**answers

270 views

### Entropy of nested compact invariant sets

Let $f$ be a homeomorphism on a compact metric space $X$. $K_1\supset K_2\supset\cdots \supset K$ are compact subsets of $X$ such that $f(K_n)=K_n$ and
$K=\bigcap K_n$. If $h(f, K_1)<\infty$, do we ...

**17**

votes

**1**answer

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

**4**

votes

**0**answers

369 views

### entropy preserving finitary factor maps of Bernoulli schemes

Let $X=\{0,1\}^\mathbb{Z}$ with measure $\mu=(p,1-p)^{\mathbb{Z}}$.
Let $(\phi(x))_i=(x_i+x_{i+1})$mod$2$.
If $p=1/2$, then $\phi(X)=X$. If $p \not = 1/2$, then $\phi(X)$ is not a Bernoulli scheme ...

**4**

votes

**1**answer

320 views

### Question about an early result on the mixing of geodesic flows

Let $T_t$ be the geodesic flow on a surface $S$ of constant negative curvature, and let $M(f,t) := \langle \bar f \cdot (f \circ T_t) \rangle$, where $\langle f \rangle := \int_S f(x) d\mu(x)$ and ...

**2**

votes

**2**answers

1k views

### Almost periodic functions in Tao's ergodic proof of Szemerédi's theorem

Do we say that a function $f$ is uniformly almost periodic in the aforementioned proof if $f$ is bounded (in the sense that $||f||_{L^\infty}\leq 1$) and that there exists a natural number $d>0$ ...

**4**

votes

**2**answers

706 views

### distribution of {na} when a is irrational number

(by $\{x\}$ I mean the fraction part of the real number $x$)
If $a$ is an irrational number and $n$ is a integral number, what is the distribution of $\{na\}$? I'm asking for some continuous function ...

**8**

votes

**2**answers

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

**4**

votes

**2**answers

672 views

### Poincaré recurrence; Time Return

Hello everybody! Recently I start a reading of a survey by Benoit Saussol,
AN INTRODUCTION TO QUANTITATIVE POINCARE RECURRENCE IN DYNAMICAL SYSTEMS, I am interested in references (Papers) Basics ...

**4**

votes

**2**answers

418 views

### Unique equilibrium states for systems without specification

Let $X$ be a compact metric space and let $f\colon X\to X$ be a continuous expansive map. Let $\mathcal{V}$ denote the space of Hölder continuous potential functions $\phi\colon X\to ...

**6**

votes

**3**answers

741 views

### Examples of transformations which are weak-mixing but not strong-mixing

I was reminded of this topic by some of the answers to this question, where it was noted that "typical" measure-preserving transformations are weak-mixing but not strong-mixing for several senses of ...

**6**

votes

**3**answers

527 views

### What do singular, atomless invariant measures of $\times d$ look like?

Consider the circle map $\times d:x\mapsto dx \mod 1$. The lebesgue measure is the only absolutely continuous invariant probability measure, but this map has many other invariant measures. Of course, ...

**5**

votes

**3**answers

539 views

### Poincare Recurrence and Dense Sets

This is kind of a spin-off of the question asked here. Take the interval $X:=[0,1]$ with $\mu$ being standard Lebesgue measure. Let $f$ be a measure preserving map $f:[0,1]\rightarrow [0,1]$. The ...

**7**

votes

**2**answers

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

**5**

votes

**0**answers

439 views

### Reference request: natural extensions of topological dynamical systems

I am currently writing a paper in which I need to use the following fact: if $T \colon X \to X$ is a uniquely ergodic transformation of a compact metric space, and $\mathcal{A}$ is a continuous ...

**5**

votes

**4**answers

500 views

### orbits in locally compact group

As everyone knows if $x\in S^1$, then the set $\{ x^n \}$ is either finite or dense. Under which condition is true for any other locally compact group, i.e if $G$ is a locally compact group, and $x\in ...

**8**

votes

**3**answers

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

**28**

votes

**4**answers

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

**22**

votes

**1**answer

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

**2**

votes

**1**answer

306 views

### Poincare Recurrence Theorem on Infinite Measure Space

Suppose that $(\Omega,\mathcal{A},\mu)$ is a $\sigma$-finite measure space of infinite measure and $T:\Omega\to\Omega$ a measure-preserving transformation with measurable inverse. Let be $\Omega_k\in ...

**1**

vote

**1**answer

182 views

### sum of Perron-Frobenius operators

My operator is the transfer operator $P$ on $L^1$ functions defined on compact $X$. It is the pre-dual of the operator $U:L^∞ \rightarrow L^∞$ defined by $U(ϕ)=ϕ\circ f$, for a fixed map f on X. I ...

**4**

votes

**0**answers

198 views

### links and interactions between different approaches to (super-)rigidity

By super-rigidity I mean some theorems concerning the arithmetic subgroups in semi-simple Lie groups. According to Margulis "Discrete subgroups of semi-simple Lie groups" (the book published by ...

**5**

votes

**4**answers

351 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). ...