4
votes
2answers
221 views
Variational Principle for the Entropy
Theorem: Let be $f$ a homeomorphism of a compact metric space $X$, then
$$
h_{top}(f)=\sup_{\mu\in \mathcal{M}_{f}}~ h _\mu (f)
$$
Question: The above theorem is the famous v …
3
votes
0answers
79 views
Are irrational multiples of central sets again central?
Let me begin by giving the relevant definitions. A set $A \subset \mathbb{N}$ is said to be central if and only if there exists a topological system $(X,T)$ (with $X$ a compact met …
0
votes
1answer
61 views
order of convergence of the conditional entropy
Let $X_n$ be a random variable distributed on $A_n:=\{1, \ldots, n\}$ and $g_n\colon A_n \to A_n$ such that $\Pr\big(X_n \neq g_n(X_n)\big) \to 0$. Putting $Y_n=g(X_n)$ then by Fan …
6
votes
2answers
239 views
Silly question about mixing
Let $T$ be a measure-preserving transformation on a probability space $(\Omega,\mathcal B,\mu)$. Assume that for any pair of measurable sets $A,B\in\mathcal B$ with $\mu(A), \mu(B) …
8
votes
1answer
191 views
Random variables invariant under almost automorphisms.
Let $\Omega$ be a standard atomless probability space, we can assume $\Omega=(0,1)$ with Lebesgue measure. A bijection $f:\Omega/A_1\to\Omega/A_2$ is almost automorphism, if $P(A_1 …
0
votes
1answer
133 views
Recurrence and transience of cocycle over a dynamical system
Let $X$ be a compact metric space, $T$ a homeomorphism on $X$ and $\mu$ a $T$-invariant probability measure. Let $\phi:X\to\mathbb{R}$ be a continuous function and $\phi_n(x)=\phi( …
1
vote
1answer
166 views
Convexity and semicontinuity of the relative entropy function
There are several different definitions of relative entropy, and some of them are not equivalent. Following is the definition we will use in this question.
Let $M$ be a closed man …
2
votes
1answer
88 views
The relations between conservative part and conservativity
I revised the question. In smooth ergodic theory, a diffeomorphism is said to be conservative (I), if it preserves the Lebesgue measure. So for some of us, conservativity is just s …
2
votes
3answers
191 views
The property of a Markov measure
Given $\sigma$ a shift map, $m$ - a Markov measure, $C_a$, $C_b$ - cylinder sets.
Suppose $P \in C_b$. The problem is to show the following
\begin{equation}
m(C_a \cap \sigma^{-1}( …
5
votes
2answers
186 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}_ …
4
votes
1answer
181 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 Bor …
3
votes
1answer
215 views
Characterising ergodicity of continuous maps
Hello all.
Suppose $X$ is a Polish space, $\mu$ is a Borel probability measure on $X$, and $T:X \to X$ is a continuous $\mu$-preserving map which is not ergodic.
Does there neces …
6
votes
7answers
486 views
Quantization of a classical system (e.g. the case of a billard)
There has been already several questions asking for an introduction to quantum mechanics
for a mathematician, but this ons is slightly different, and more restrictive. I know (some …
2
votes
1answer
208 views
Invariant measures for Cellular automata
An easy question that I have never been able to answer.
Suppose we have the CA on $\{ 0,1,2 \}^{\mathbb{N}}$ with local rule given by $f(x,y)=A_{x,y}$ and $A$ the $3\times 3$ matri …
1
vote
1answer
97 views
Ergodicity with respect to the shift
On the space $S=\{ 0,1,\ldots,m \}^{\mathbb{N}}$ for some $m\in \mathbb{Z}_{+}.$ And given a probability $\mu$ on it. Is it true that $\mu$ is fully supported if and only if it is …

