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

**5**

votes

**0**answers

54 views

### General properties of the Ruelle operator

Recently I have read Parry and Pollicott's book, Zeta functions and the periodic orbit structure of hyperbolic dynamics.
I have been interested in some technical properties of the ...

**4**

votes

**1**answer

174 views

### What are the generating partitions of the odometer?

According to the countable generator theorem, every ergodic invertible measure-preserving transformation has a generating partition.
What are the generating partitions of the dyadic odometer ? I ...

**0**

votes

**0**answers

73 views

### weak-* versus entropy growth

General question. Let $\eta_{n}$ be a sequence of invariant measures on $\{0,1,2,...,p-1\}^{\mathbb{N}}$ and $B$ the Bernoulli uniform measure. Knowing that $\eta_{n} \rightarrow B$ in the weak-* ...

**0**

votes

**0**answers

32 views

### Transformations whose product with the odometer are ergodic

Let $T$ be an invertible ergodic transformation on a Lebesgue space $X$ and $O$ be the dyadic odometer on $(0,1)$. Is it true that $T\times O$ is ergodic if and only if $T^{2^n}$ is ergodic for every ...

**0**

votes

**0**answers

51 views

### Circular process ergodic?

Let us define a continuous-time Markov process on a circle consisting of $m-$ equally spaced points, i.e. every point has two neighbours.
Now, we define a space of functions $S:= ...

**1**

vote

**2**answers

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

**3**

votes

**1**answer

126 views

### Transformation extending all ergodic rotations

Is there an invertible measure-preserving transformation (preferably a nice one) admitting every irrational rotation as a factor ? I guess the spectrum is the relevant tool to address this question ...

**2**

votes

**1**answer

83 views

### Shift Invariance of Backward Martingales for tail trivial probability measures

Consider the infinite cartesian product $\Omega=\{0,1\}^{\mathbb{N}}$
as a measurable space endowed with the $\sigma$-algebra $\mathscr{F}$ generated by the cylinder sets and $\sigma:\Omega\to\Omega$ ...

**2**

votes

**1**answer

229 views

### Estimate of the number of rabbit integers with a given congruence

Consider the Fibonacci words $B_n$:
$B_1 = 1$
$B_2 = 10$
$B_3 = 101$
$B_4 = 10110$
$B_5 = 10110101$
(start with $B_1=1$, and go from $B_n$ to $B_{n+1}$ by replacing every occurence of $1$ in ...

**4**

votes

**1**answer

125 views

### Is there a mixing condition to get the decay property I want?

Let $(X,\mu)$ be a probability measure space and $T:X\to X$ an ergodic invertible measure preserving transformation.
Consider a measurable set $A\subset X$ with $0<\mu(A)<1$
For each $N$ define ...

**1**

vote

**0**answers

90 views

### Strict factor of a dynamical system with the same entropy [closed]

Say that a factor of an invertible measure-preserving transformation $T$ is strict if it is not isomorphic to $T$. Does there exist an invertibe mpt $T$ such that $0 < h(T) < \infty$ and ...

**7**

votes

**0**answers

232 views

### Generator of a $\bigoplus_{n=0}^\infty \mathbb{Z}/2\mathbb{Z}$-action

Let $T$ be a measure-preserving action of a group $G$ on a Lebesgue space $X$. That means that $T$ associates an automorphism (i.e. an invertible measure-preserving transformation) $T^g$ of $X$ to ...

**8**

votes

**1**answer

116 views

### The scope of correspondence principle in quantum chaos

My understanding of the so-called correspondence principle in quantum chaos, is that it is a connection between the behaviour of a classical Hamiltonian system (chaotic/completely integrable) and the ...

**6**

votes

**1**answer

113 views

### Generator determined by finitely many translates implies zero entropy

Let $T$ be a measure preserving transformation of a standard probability space $(X,\mathcal{B},\mu)$. A partition $\alpha$ of $X$ is said to be a generator for $T$ if the smallest $T$ invariant ...

**3**

votes

**1**answer

75 views

### Iterative renormalizations of a rotation

(Underlying job: I am trying to construct an adic representation of a rotation.)
The question involves an iterative construction. At step $n$, one constructs a partition $P_n$ of $(0,1)$ and a map ...

**5**

votes

**0**answers

359 views

### Sort-of Converse of Kolmogorov Zero-One Theorem

Let $(\Omega, \mathscr F, \mathbb P)$ be a probability space. The Kolmogorov Zero-One Theorem states that
Suppose we have independent random variables $X_1, X_2, ...$. Then $\forall \ A \in ...

**4**

votes

**1**answer

77 views

### Two-side deviations for ergodic sums

Let $(X,\mu)$ be a probability space and $f\colon (X,\mu)\to (X,\mu)$ be an ergodic automorphism. Let $\phi\in L^\infty(X,\mu)$ be such that $\int\phi d\mu=0$.
Suppose that for $\mu$-a.e. $x\in X$, ...

**3**

votes

**0**answers

60 views

### Almost sure convergence of double nonconventional ergodic averages with respect to $L^p$ function

A famous result of J. Bourgain says that for a probability measure preserving system $(X,\beta,\mu,T)$, with $T_1$ and $T_2$ powers of $T$, we have that for $f_1$, $f_2\in ...

**7**

votes

**2**answers

148 views

### Characterizing when matrices are 'dissipative'

An $n$ by $n$ matrix A is said to be dissipative with respect to a norm $\|\cdot \|$ if for all $x$ and $t\geq 0$, we have $\|e^{At}x\|\leq\|x\|$. Two matrices $A$ and $B$ are said to be jointly ...

**7**

votes

**1**answer

85 views

### List of Bernoulli chaotic systems

Which discrete chaotic systems are known to be Bernoulli (i.e. measure theoretically isomorphic to a Bernoulli shift, one-sided or two-sided)?
I am aware that it is known for some uniformly ...

**6**

votes

**0**answers

187 views

### Cartesian square root of a measure preserving action

Let $G \curvearrowright (X,\nu)$ be probability measure preserving action of a countable discrete group. When does there exist a probability measure preserving action $G \curvearrowright (Y,\mu)$ such ...

**5**

votes

**3**answers

277 views

### Ergodic theory: from Dynamics to Gibbs measure

I'm trying to understand the ergodic theory approach to statistical mechanics, namely how ergodic measure preserving dynamics lead to the Gibbs measure.
I have a compact space $X$, a probability ...

**0**

votes

**0**answers

155 views

### On a certain set of probability measures on a shift

Denote by $\mathbb{Z}_2=\{0,1\}$ the integers modulo 2.
Let $S:\mathbb{Z}_{2}^{\mathbb{N}}\times\mathbb{Z}_{2}^{\mathbb{N}} \rightarrow \mathbb{Z}_{2}^{\mathbb{N}}$ be the sum $S(a,b) = a+b$, where ...

**2**

votes

**2**answers

94 views

### “Dynamical” spectral gap for the orignal system out of the spectral gap for the induced system

I would like to prove presence of a spectral gap for the transfer (Ruelle-Perron-Frobenius) operator for some non-uniformly hyperbolic dynamical system on the unit interval. Suppose that I know how to ...

**0**

votes

**1**answer

109 views

### entropy growth of invariant measures - General question

In general, given a sequence of shift-invariant measures $\eta_{n}$ on $\{0,1\}^{\mathbb{N}}$ what to do to guarantee this convergence of entropies: $$h(\eta_{n}) \rightarrow \log2?$$
Because I'm ...

**1**

vote

**1**answer

104 views

### entropy and d-bar: how do we estimate continuity?

Let $G = \{0,1\}^{\mathbb{N}} = \mathbb{Z}_{2}^{\mathbb{N}}$ be the Bernoulli space of two symbols, let $\sigma$ be the shift map and $M(G)$ the set of $\sigma$-invariant probabilities. Let $\bar{d}$ ...

**0**

votes

**0**answers

82 views

### when the composition of two ergodic maps is ergodic?

I would like to know if there are sufficient criteria for the composition of two ergodic maps to be still ergodic.
My context is piecewise affine transformations of the torus in arbitrary dimensions

**19**

votes

**2**answers

598 views

### Distribution of the Error term in GH Hardy's “curious result” $\sum_{\nu \leq n } \{ \nu \theta \}^2 = \tfrac{1}{12} n + O(1)$

In an early paper, GH Hardy talks about the distribution of "curious" sum:
$$ \sum_{\nu \leq n } \{ \nu \theta \}^2 = \tfrac{1}{12} n + O(1)$$
where $\{x\}:=x-\left \lfloor x \right \rfloor -1/2$. ...

**5**

votes

**0**answers

73 views

### What statistical data/quantities are known about the time spent by a generic orbit of an ergodic system in a fixed set?

By the ergodic theorem, we know that for almost every point, the average time spent by an orbit in a set is equal to the relative measure of that set.
What other information about that time can we ...

**3**

votes

**2**answers

244 views

### Entropy equals zero?

Imagine you have a shift invariant ($\sigma$-invariant) probability measure $\eta$
in the Bernoulli space $\{0,1\}^{\mathbb{N}}$. Define
$\mathcal{P} = \{[0],[1]\}$;
$\mathcal{P}^{n} = ...

**7**

votes

**2**answers

209 views

### Estimating entropy conditional to an event

Take for example the measure $\mu(n)=n^2$ on $\{1, \ldots, N\}$ and a random variable $X$ distributed according to the probability obtained by normalizing $\mu$.
Does there exists a constant ...

**2**

votes

**1**answer

104 views

### Rate of convergence of ergodic averages related to irrational rotation

Let $\alpha$ be an irrational number, consider the basic dynamical system $T^{n}(0) = \{n \alpha\}$ where $\{.\}$ denotes the fractional part.
Let $a < b$ be two numbers in $[0, 1]$. Then by ...

**5**

votes

**1**answer

223 views

### Importance of Ornstein's isomorphism theorem

"Perhaps the most important parts of the Ornstein theory are criteria for determining whether or not a shift or flow is Bernoulli (a Bernoulli shift, $B_{ct}$ , or $B_{t}^{\infty}$) because it allows ...

**2**

votes

**0**answers

56 views

### Entropy of the Scenery factor in the $T,T^{-1}$ transformation (RWRS)

The $T,T^{-1}$ transformation is an example of a $K$ automorphism which is not Bernoulli (not isomorphic to a shift of an I.I.D. sequence).
Hoffman in ...

**4**

votes

**1**answer

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

**2**

votes

**1**answer

72 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

**1**answer

105 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

**1**answer

128 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

**1**answer

71 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

**1**answer

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

**1**

vote

**2**answers

133 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

**0**answers

45 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

**2**answers

211 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

**0**answers

59 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

**0**answers

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

**2**

votes

**2**answers

204 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

**0**answers

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

**1**

vote

**0**answers

54 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

**1**answer

158 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

**0**answers

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