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

**8**

votes

**2**answers

381 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

**1**answer

424 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

**1**answer

151 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

**0**answers

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

**3**

votes

**3**answers

271 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

**0**answers

81 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

**3**answers

246 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

**0**answers

103 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

**1**answer

144 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

**1**answer

51 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

**2**answers

199 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

**2**answers

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

**2**

votes

**0**answers

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

**3**

votes

**0**answers

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

**5**

votes

**0**answers

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

**6**

votes

**1**answer

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

**3**

votes

**1**answer

189 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

**0**answers

155 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

**1**answer

200 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

**0**answers

122 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

**0**answers

159 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

**1**answer

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

**6**

votes

**1**answer

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

**3**

votes

**0**answers

116 views

### Under what conditions do time averages of ergodic transformations satisfy a central limit theorem?

Let $(X, \mu)$ be a probability space and $T:X\rightarrow X $ an ergodic transformation, i.e. $T$ is measure preserving and the only $T$ invariant subspaces have either measure $0$ or measure $1$ (...

**1**

vote

**0**answers

122 views

### Cesaro mean of products of converging matrices

Let $S$ be a finite set of states. Let $(M_n)$ be a sequence of transitions on $S$; that is, for every natural number $n$, $M_n$ is a non-negative $|S| \times |S|$ matrix whose rows sum up to 1. ...

**5**

votes

**0**answers

199 views

### Is Akcoglu's theorem for power bounded positive operators still an open problem?

I am reading Ulrich Krengel's book, Ergodic Theorems; the theorem of Akcoglu's he mentions of is on page 189, theorem 2.5.
" If $T$ is a positive contraction in a space $L_p$ with $1<p<\infty$, ...

**4**

votes

**1**answer

289 views

### Characterizing residually amenable groups

Let $G$ be a finitely generated group. The amenability of $G$ is equivalent to the existence of a certain "weak measure" on $G$. Is there such a characterization for residually amenable groups as well?...

**8**

votes

**2**answers

254 views

### limiting distribution of the random walk from irrational rotation

Motivation:
If I recall correctly, the simple symmetric random walk from i.i.d binary steps converges in distribution to the Wiener measure (if scaled with $a_n = \sqrt{n}$). What I am wondering is ...

**6**

votes

**2**answers

639 views

### Can ergodic theory help to prove ergodicity of general Markov chain?

I am a beginner in ergodic theory. I have read some lecture notes(such as this and this) about it in hope that I could find something which helps to prove the ergodicity of some Markov chain taking ...

**3**

votes

**1**answer

335 views

### invariant measures of the expanding maps on the circle

I would be very happy to know about original references for the following results;
For the expanding map $x \mapsto mx$ on the circle, (with $m$ some integer greater than 1)
(1) There exist ...

**0**

votes

**0**answers

65 views

### Proof that Markov shift is pointwise dual ergodic

I am looking for a reference of the proof that a Markov shift is pointwise dual ergodic, I tried google it but with no success.

**1**

vote

**1**answer

177 views

### Sectional curvature as a Hamiltonian on the Grassmanization of the tangent bundle

Edit: According to the comments to the previous version of this question, I remove my essential errors in the question. I thank the commenters very much.
Let $M$ be a n dimensional manifold. ...

**1**

vote

**0**answers

83 views

### combinatorial ergodicity and promotion

According to J. Propp, T. Roby, and (I believe) others, a cyclic action on a finite set $S$ given by a bijection $\zeta: S \longrightarrow S$ is said to be ${\it ergodic}$ with respect to a statistic ...

**12**

votes

**2**answers

456 views

### Closure of the orbits of the $SL(2,\mathbb{Z})$-action on $\mathbb{R}^2$

I'm coming with a very basic question for which I can't find an answer. Please forgive me if I didn't search efficiently enough.
What can the closure of an orbit of an element $X$ of $\mathbb{R}^2$ ...

**3**

votes

**0**answers

116 views

### Topological pressure for subshifts on a countable alphabet

Apologies for asking two similar questions within a week of each other, I had hoped that asking a finite alphabet version of this question would lead to enlightenment but unfortunately it didn't.
...

**4**

votes

**3**answers

211 views

### Approximating Subshifts From Below

I'm looking to understand how to approximate certain countable alphabet subshifts by Markov shifts, and realised that I don't know how to do it even in the finite alphabet case. My guess is that the ...

**1**

vote

**0**answers

146 views

### Properties of a function from its pullback

Edit: I have now removed the duplication previously referred to. Thank you.
Let $M$ and $N$ be smooth manifolds and $T: M \to N$ be a smooth map. Let $ \mathcal{F}(M,\mathbb{R})$ (resp.$ \mathcal{...

**2**

votes

**1**answer

147 views

### Eigenfunction of ergodic skew product fixed by commutator?

Background: Let $(Y, \mathcal{B},\mu,T)$ be an ergodic probability system and let $G$ be a compact metrizable group with compact subgroup $H$. Given a measurable map $\rho:Y \to G$. We may define the ...

**6**

votes

**0**answers

284 views

### Faithful and weakly-mixing representations of Property (T) groups in relation to left regular rep

Is it known that: Any countable Property (T) group (or more generally, a non-amenable group) has a faithful, weakly-mixing representation which is NOT weakly included in its left regular ...

**1**

vote

**1**answer

106 views

### Is it possible to define the density of the logistic map for $x<0$?

Probability density functions (PDF's) have inherent connections to the field of
Dynamical Systems.
The motivation for this question can be found in: http://www.stat.cmu.edu/~cshalizi/754/2006/notes/...

**-5**

votes

**1**answer

160 views

### A question regarding Kingman's theorem as described in “Ergodic Theorems” book written by Ulrich Krengel [closed]

Hi so I am reading Ulrich Krengel's book called Ergodic Theorems.
And in the proof of Kingman's theorem I don't understand why on page 48 $$d_n(1,1)\leq
d_n(r,r)^{-1/(r-1)}$$, how did he get this ...

**2**

votes

**1**answer

164 views

### Weak Convergence to Lebesgue Measure

I'm trying to understand the proof given by D. Rudolph in his paper "x2 and x3 invariant measures and entropy". I'm particularly trying to undestand the proof of lema 4.4.
Let's consider a secuence ...

**5**

votes

**0**answers

118 views

### Growth in families of trees

I'm hoping that the question below is simple thermodynamic formalism, but I can't quite make it work. Any help would be very welcome.
Let $\Sigma:=\{0,1\}^{\mathbb N}$ and let $\Sigma^*$ be the set ...

**1**

vote

**0**answers

87 views

### Uniform bounds of number of integral points on affine varieties

In Duke-Rudnick-Sarnak 93, Density of integer points on affine homogeneous varieties, one of the consequences is the following,
Consider the variety $V_{n,k} = \{A \in Mat_n(\mathbb{Z}): det(A) = ...

**3**

votes

**1**answer

162 views

### Substitutions and Sturmian sequences

We know that any substitution can generate sequence, for example the Fibonacci substitution:
$\sigma(0)=01, \sigma(1)=0$, then we can define a Sturmian sequence $\omega$, i.e., the fixed point of $\...

**2**

votes

**2**answers

199 views

### A question about transitivity

Recently in something that I'm studying, I needed to know if the following map is transitive: $\sigma: M^{\mathbb{N}}\to M^{\mathbb{N}}$ the unilateral shift, where $M$ is a uncountable compact metric ...

**7**

votes

**1**answer

523 views

### Is there a generalized Birkhoff ergodic theorem?

Is there a Birkhoff ergodic theorem for two measure preserving transformations $T$ and $S$ where $S\circ T= T \circ S$ so that $\frac{1}{n+1}\frac{1}{m+1}\sum_{i=0}^{n}\sum_{j=0}^{m}f \circ T^{i}\circ ...

**1**

vote

**1**answer

178 views

### Question about B. Host paper 'Nombres, normaux entropie, translations'

I put this question on mathstack but it seems more suitable to put it here:
I was reading this paper and I got stuck in a detail left for the reader that I couldn't figure out:
Let $X = \mathbb{R}/\...

**5**

votes

**1**answer

106 views

### Ferenczi: minimal, uniquely ergodic, sublinear complexity systems are not strongly mixing

The following result is on page 26 of this paper by Ferenczi [PDF].
Corollary 3. A minimal and uniquely ergodic system of sub-affine complexity cannot be strongly mixing (i.e., $\mu(T^nA \cap B) \...

**3**

votes

**1**answer

272 views

### Dynamics in the integers - Floor function

Let $\alpha$ be an irrational with $0<\alpha<1$. Consider the function given by \begin{align*}
f: &\mathbb{N}\longrightarrow \mathbb{N}\\ &x\longmapsto [ \alpha\cdot x]\end{align*} where ...