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

learn more… | top users | synonyms

2
votes
0answers
45 views

The converse of von Neumann's mean ergodic theorem

Recall that the Hilbert space version of von Neumann's mean ergodic theorem says the following. Let $\{F_n\}_{n=1}^\infty$ be a right Følner sequence of a countable discrete amenable group $\Gamma$ ...
1
vote
1answer
48 views

Is there a way to find $\limsup$ and $\liminf$ for ergodic processes almost surely?

Let $\{X_k\}$ be an ergodic process. I know that if $f$ is a smooth real valued function then by Birkoff's ergodic theorem, $$\lim_{n\to \infty}\frac{1}{n}\sum_{k=1}^n f(X_k)=\mathbb{E}(f(X_1))\ ...
0
votes
1answer
90 views

A regular variation in infinite ergodic theory

I would like to know if there is a notion or an example related to the following situation: a transform $T$ on a space $E$, which is equipped with an infinite measure $\mu$, satisfies $\mu(A\cap ...
0
votes
1answer
73 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, ...
2
votes
1answer
60 views

Rajchman measures via strong mixing systems

A Rajchman measure on the unit circle $\mathbb{T}$ is a Borel probability measure $\mu$ with $\lim_{n\to\infty}\hat{\mu}(n)=0$. Where $\hat{\mu}(n)=\mu(z^n)$ for $n\in\mathbb{Z}$ are Fourier ...
4
votes
1answer
75 views

When is the time one map of a suspension flow ergodic?

I'm sure the answer to the following question is well known but I couldn't find the answer I needed. Let $(\Sigma,\sigma)$ denote the full shift on $k$ symbols and let $\mu$ be an invariant measure ...
0
votes
1answer
59 views

Ergodic automorphisms of a compact metric abelian group are Bernoulli

In the literature, such as in this article, it is proved that every ergodic automorphism of a compact metric abelian group is Bernoulli. A rotation is not isomorphic to a Bernoulli shift because it ...
0
votes
1answer
88 views

Do ergodicity, minimality and equicontinuity on a compact space imply total ergodicity?

Is it true than an aperiodic, ergodic, minimal and equicontinuous dynamical system on a compact metric space is totally ergodic ? According to some results I found in some books, a rotation on a ...
1
vote
0answers
42 views

Small open sets around a point intersecting pieces of orbits

Let $T$ be an ergodic rotation on a compact Abelian group. Can one always find a point $x_0$ and a decreasing sequence of open sets $O_n \searrow \{x_0\}$ such that for every $n$ there exists $K \geq ...
7
votes
2answers
193 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 ...
2
votes
0answers
58 views

Decomposition of the space according to the Ergodic Theorem

Given a space $(X, T)$, it is well known that for every $T$-invariant ergodic measure $\mu$, there exists a set $E_\mu$ of $\mu$-measure $1$ s.t. for every "nice" function $f$ $$ ...
2
votes
0answers
125 views

binomial coefficients and irrationals

The following, probably either currently impossible to deal with, or having a negative solution, arose from an ergodic theory question, presumably itself currently intractible. I am not a number ...
0
votes
1answer
89 views

Can I use Birkhoff's Ergodic Theorem for Vector Valued Process?

I have a stationary process $\{u_n\}$ and I have a function $f:\mathbb{R}^L\to \mathbb{R}^+$. I want to evaluate the following limit $$\lim_{n\to \infty}\frac{1}{n}\sum_{k=1}^n g(f(\mathbf{u}_{k}))$$ ...
0
votes
0answers
64 views

Entropy, convergence and invariant measures

Could you give conditions that a sequence of shift invariant measures $\eta_{n}$ has to satisfy in order to happen this convergence in terms of entropies $h(\eta_{n})$: $h(\eta_{n}) \rightarrow ...
0
votes
0answers
44 views

Ergodic Markov Operator

Given a $\sigma$-additive measure space $(E,\Sigma,\mu)$. A Markov operator $P : L^1(\mu) \to L^1(\mu)$ is a linear operator with $ f \geq 0 \Rightarrow Pf \geq 0 $ $ f \geq 0 \Rightarrow ||Pf|| = ...
1
vote
1answer
86 views

Entropy, Convergence

imagine you have a sequence $\eta_{n}$ of (shift) invariant measures in the Bernoulli space $\{0,1\}^{\mathbb{N}}$ that satisfy the following: there are a $0<\delta <1$ and an $N$ such that $$n ...
5
votes
0answers
180 views

Paths in Pascal's triangle; or balanced $0-1$ initial segments

Here is a problem arising (via a tortuous path) from trying to determine the spectrum of Vershik's adic map on Pascal's triangle (a moderately well-known question: is the spectrum trivial, that is, is ...
0
votes
3answers
94 views

Invariant and periodic measures of the random dynamical system on the circle generated by $d\theta_t=dW_t$

Here, I am considering one of the simplest random dynamical systems that one can consider, and yet I realise that I do not know the answer to one of the most basic questions that one can ask about it! ...
5
votes
0answers
80 views

Quantitative approximation of invariant measures by periodic ones

It is well known that many strongly chaotic dynamical systems have the property that periodic measures are (weak-star) dense in the space of all invariant probability measures. Is there some knowledge ...
4
votes
0answers
122 views

Equidistribution of spheres in $\mathbb{R^2}/\mathbb{Z^2}$

Let $\mathbb{H^2}$ be the hyperbolic upper half place, and let $\Gamma$ be a lattice in $SL(2,\mathbb{R})$ acting on $\mathbb{H^2}$. A proof of the equidistribution of spheres on $\mathbb{H^2/\Gamma}$ ...
2
votes
0answers
47 views

Any minimal WAP dynamical system is distal

I'm trying to show that any minimal WAP dynamical system $(X, G)$ is almost periodic. By Ellis's joint continuity theorem, it suffices to show that any minimal WAP system is distal. There are many ...
9
votes
1answer
337 views

Time averages and differentiability

Let $\varphi_t : M \rightarrow M$ be a smooth flow on a smooth manifold $M$. We may assume (although I'm not sure if this is important) that the flow preserves a smooth volume form on $M$. Given a ...
0
votes
1answer
68 views

Asymptotically full stationary process

Let $(X_n)_{n \in \mathbb{Z}}$ be a stationary process on a finite set $A$. Say that it is asymptotically full if for every increasing sequence of subsets $B_n \subset A^n$ such that ...
2
votes
0answers
91 views

Equivalence relations that are both not treeable and amenable

Hyperfinite equivalence relations are treeable. For the case of uncountable relations, I was wondering if there is a reference to (or simple proof of) the following statement: Let $E$ be a (possibly ...
0
votes
1answer
82 views

Link between Harris recurrence and Ergodicity

Is it possible to obtain Harris recurrent Markov chain from Ergodic chain (in Birkhoff sense) under certain assumption? That is, suppose we know a Markov chain is ergodic (in Birkhoff sense); is it ...
4
votes
2answers
297 views

“Typical” convergence rate for the von Neumann mean ergodic theorem

The von-Neumann theorem states that for a unitary operator $U: {\cal H} \mapsto {\cal H}$, where ${\cal H}$ is a Hilbert space, the following holds: $$ \lim_{N\to \infty} \frac{1}{N} \sum_{n=1}^N U^n ...
8
votes
2answers
329 views

An algorithm for Poincare recurrence time

Define the function $[0,+\infty) \rightarrow R$: $$ f = \cos (t) + \cos (\sqrt{2} t) + \cos (\sqrt{3} t) + \cos (\sqrt{5} t ) . $$ I want a number $t $ bigger than $10^7$ such that $$ f(t) > 4 ...
6
votes
1answer
377 views

Who introduced the concept of topological mixing?

I am writing an introduction and I want to know who introduced the concept of topological mixing?
6
votes
1answer
131 views

Decay of cusps in geometrically finite groups

Let $X=\mathbb{H}^{n}/\Gamma$ be a quotient of hyperbolic space of a geometric finite subgroup. Let $\mu$ be the Bowen-Margulis measure on the unit tangent bundle, and $m$ its projection to $X$. Fix ...
5
votes
0answers
246 views

Koopman representation, weakly compact action, Ozawa Popa

Given a weakly compact action (Ozawa-Popa) of a discrete group $\Gamma$ on p.m space $X$, consider the Koopman representation $\pi$ on $L^2(X)$. Compose this representation with the Calkin projection. ...
2
votes
2answers
181 views

How to show that there's a continuous function separating convex sets of Radon measures?

First, the setup: $X$ is a compact set. By Riesz's representation theorem $C(X)^*=${all Radon measures on $X$}. $K$ is a convex, closed set of probability measures. $m$ is a probability measure out of ...
2
votes
0answers
73 views

Non-ergodic Dye Theorem for orbit equivalent automorphisms

The Dye Theorem states that any two free ergodic p.m.p automorphisms of a standard probability space are orbit-equivalent. Question: Is there a version of the above theorem for non-ergodic ...
8
votes
3answers
186 views

Uniquely ergodicity and polynomial ergodic average

Let $(X,T)$ be a uniquely ergodic system (here X is compact, T is a continuous map form $X$ to itself), so for any continuous function $f:X\rightarrow\mathbb{R}$ we have for any $x\in X$, the ergodic ...
0
votes
0answers
89 views

Invariant mesures for expanding maps of the circle

Is there any characterization for the support of T-invariant measures? where T is a C¹ expanding map of the circle i.e. T'(x)>Lambda>1 for all x in the circle. I know there are periodic and total ...
9
votes
1answer
130 views

Nonconventional ergodic averages for commuting transformations

Let $S$ and $T$ be commuting measure-preserving transformations of a standard probability space $(X,\mu)$, so $S$ and $T$ define an action of $\mathbb{Z}^2$ on $(X,\mu)$. I am wondering about ...
1
vote
1answer
49 views

Can real-valued Markov processes with continuous surjective sample paths admit a non-trivial “forward-invariant” set?

I have both a more general question (concerning stopping times), and then a more specific application (as described in the title). Let $(\Omega,\mathcal{F},(\mathcal{F}_t)_{t \geq 0},\mathbb{P})$ be ...
1
vote
2answers
142 views

Density of periodic points and density of periodic measures

There are many results (usually connected to specification-like properties) about density of periodic measures in the space of all invariant ones. However some questions that seem to be easy (at first ...
1
vote
2answers
100 views

Lyapunov exponents of dual / adjoint / transpose random dynamical system (RDS)

Consider the the state of a system at time $n$, $X_n$, as the action of a product of i.i.d. $d\times d$ random matrices acting on a $d$ dimensional vector $X_0$, so we have $$X_n = A_n \cdots ...
2
votes
0answers
87 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 ...
2
votes
0answers
154 views

Discontinuity of Radon-Nikodym derivative for Patterson-Sullivan measures for word metrics on Gromov hyperbolic groups

Let $\Gamma$ be a Gromov hyperbolic group coming endowed with a word metric coming from some finite generating set. Let $\nu$ be an associated Patterson-Sullivan measure (quasi-conformal density). I ...
6
votes
0answers
212 views

When is a word metric on a CAT(-1) group a bounded distance from the orbit map of an isometric action on some CAT(-k) metric space?

Let $\Gamma$ be a group admitting a discrete and cocompact action on a CAT(-1) space. Let $d$ a word metric on $\Gamma$ coming from some finite set of generators. My question is: Does there exist a ...
5
votes
1answer
146 views

Classification of ergodic measures for circle expanding maps

Let us consider the classical self-covering of the circle $S^1=\mathbb{R}/\mathbb{Z}$ given by $$\times_d(x) = dx \mod 1$$ where the degree $d$ is any integer greater than $1$. There are a wealth of ...
2
votes
1answer
152 views

Lyapunov exponent for circle diffeomorphisms

Let $f:S^1\to S^1$ be an orientation-preserving circle diffeomorphism with irrational rotation number (see here). Then the system $(S^1,f)$ admits a unique invariant measure, say $\mu_f$. Let ...
3
votes
0answers
131 views

On the decay of correlations of an ergodic sequence over the set $X_{0}=0$

The following question arose while I was trying to explore possible further extensions of a CLT by Liverani which I mentioned here already (see this link, I can tell you more details upon request). It ...
3
votes
1answer
184 views

invariant measure of uniquely ergodic horocycle flow

Let $S$ be a compact connected orientable surface of variable negative curvature, and let $M=T^1S$ be the unit tangent bundle of $S$. Then, we know from the paper of Brian Marcus (*) that the negative ...
2
votes
0answers
116 views

A question related to metric Diophantine approximation

In metric Diophantine approximation you are often interested in finding conditions on $(\phi(q))_{q \geq 1}$ which guarantee that $$ \left| \alpha - \frac{p}{q} \right| < \frac{\phi(q)}{q} $$ has ...
5
votes
0answers
146 views

Characterizations of an exotic measure on the open sets in the circle $S^{1}$

Suppose that $U\subseteq S^{1}$ is open where $S^{1}=\{z\in\mathbb{Z}:|z|=1\}$. Then define $\mu_{n}(U)=\max_{t\in S^{1}}\frac{1}{n}\cdot|\{k\in\{1,...,n\}|t\cdot e^{\frac{2\pi ik}{n}}\in U\}|$. ...
11
votes
1answer
336 views

Krein Milman theorem without the axiom of choice

The Krein-Milman theorem asserts that in a locally convex topological vector space, a nonvoid compact convex subset is the closed convex envelope of its extreme points. But I would like to know when ...
0
votes
0answers
48 views

Weak convergence of SDE

Let $(X_t,Y_t)$ be the solution to the SDE \begin{equation} \begin{split} dX_t &= f(X_t,Y_t)dt + \sigma_1 X_t dW^1_t\\ dY_t &= g(X_t,Y_t)dt + \sigma_2 Y_t dW^2_t \end{split} \end{equation} ...
6
votes
1answer
180 views

Mean value of Maass forms

Let $X = SL_2(\mathbb{Z}) \backslash \mathbb{H}$ be the modular surface. Consider a basis of $L^2$-normalized Hecke-Maass cusps forms $\phi_j$ on $X$ with $-\Delta$-eigenvalue $\lambda_j$. ...