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

**6**

votes

**1**answer

173 views

### Do syndetic sets on amenable semigroups have positive upper density?

Let $\mathbb{G}$ be a discrete amenable semigroup, and $\left\{ F_{n}\right\} $
a Folner sequence.
For $S\subset \mathbb{G}$ define the upper density as $D^{\ast
}(S)=\limsup_{n\rightarrow \infty ...

**3**

votes

**1**answer

279 views

### Uniform convergence of Birkhoff averages and unique ergodicity

I am looking for a proof or a reference for the following two facts (which appear proofless in my notes from an ergodic theory course- they might be easy but i am no expert in ET):
Let $T$ be a ...

**2**

votes

**1**answer

166 views

### Rate of convergence of the average of an equidistributed sequence

Let $f : \mathbb R\to\mathbb C$ be an $1$-periodic and sufficiently smooth function, which has zero average, and let $\alpha$ irrational. We know the following:
a. ...

**4**

votes

**1**answer

253 views

### Does equidistribution of zero average, due to irrationality, imply boundedness?

Let $f:\mathbb R\to\mathbb C$ be a sufficiently smooth and $1$-periodic function of average zero (i.e., $\int_0^{1}f(x)\,dx=0$), and let $\alpha\in(0,1)\smallsetminus\mathbb Q$. We know that
$$
...

**5**

votes

**1**answer

219 views

### “Ergodicity” for eigenvalues of random matrices?

Sorry if the wording of this question is sloppy, I have a weak background in probability theory (hence the quotation marks throughout).
Is there some "ergodicity-type" result for Wigner's semicircle ...

**1**

vote

**0**answers

85 views

### A argument related measurable partitions in dynamic system

$X$ is a compact metric space, and $T:X\rightarrow X$ be a continuous map, which is finite to one. Denoted by$ X_{0}$ the set of all points $x\in X$, such that for all sufficiently small ...

**5**

votes

**0**answers

137 views

### Using topological pressure to determine a subshift of finite type

I am interested in recognising graphs (or matrices, or subshifts of finite type) using topological pressure. Suppose that we play the following game:
${\bf Step 1:}$ I write down an irreducible n x n ...

**3**

votes

**0**answers

86 views

### Best convergence rate for convolutions on $\mathbb{Z}_p$

Suppose, that we have sequence of i.i.d variables $X_1,\ldots,X_n$ taking values in $\mathbb{Z}_p$ such that $d_{TV}(X_1,U) < \delta$.
How fast, in terms of $\delta$ and $n$ does the sum ...

**7**

votes

**2**answers

327 views

### Convergence rate of the convolution of almost uniform measures on $\mathbb{Z}_p$

Statement Given a finite abelian group $G$ and two independent random variables $X,Y$ taking values in $G$ and satisfying $d_{TV}(X,U_G)\leqslant \delta$ and $d_{TV}(Y,U_G)\leqslant \delta$ (where ...

**5**

votes

**1**answer

122 views

### Multifractal Analysis and Dimension Spectrum of Unions

Consider the classical Multifractal Analysis, and the decomposition of the state space $X$ into level sets
$$X=\bigcup_{\alpha}\left\{x\mid d_\mu(x)=\alpha\right\}\cup\left\{x\mid d_\mu(x) ...

**3**

votes

**1**answer

150 views

### Arithmetic Fuchsian lattices that are not finite index subgroups of Eichler orders?

Lindenstrauss' proof of AQUE (arithmetic quantum unique ergodicity) assumes that the Fuchsian lattice is an Eichler order or, if I understand it correctly, a finite index subgroup of an Eichler order. ...

**2**

votes

**0**answers

137 views

### Reference for and Properties of the $alpha$-entropy

Let $T : X \to X$ be a continuous map on, say, a compact metric space $X$. Let $\mu$ be an invariant borel measure. Under suitable conditions, a result of Brin and Katok states that $\mu$-almost ...

**6**

votes

**3**answers

370 views

### Poincare recurrence theorem and convergence on compact metric spaces

I am looking for a proof (or a reference to a proof) of the following theorem:
Let $X$ be a compact metric space with metric $d$, endow $X$ with the Borel $\sigma$-algebra and a probability measure ...

**2**

votes

**0**answers

110 views

### order of convergence of the conditional entropy (3)

I'm sorry for having open two questions which have been solved by elementary counter-examples provided by @AnthonyQuas. Actually I'm not an expert in information theory and I expected that a positive ...

**1**

vote

**1**answer

114 views

### order of convergence of the conditional entropy (2)

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_n(X_n)$, then by Fano's inequality ...

**4**

votes

**1**answer

189 views

### Under what conditions can interval exchanges be approximated by periodic maps?

Under what conditions can an interval exchange be approximated by periodic maps? (in the weak topology for the Lebesgue measure on $[0,1]$ ).
Are there non-trivial examples of periodically ...

**9**

votes

**0**answers

385 views

### Poincaré recurrence and symplectic packings

Question. Is there any example of a path connected symplectic manifold $(M,\omega)$ that has infinite volume, but which cannot be packed by an infinite number of symplectic balls of a fixed radius ...

**5**

votes

**1**answer

232 views

### Dynamics of $3^x$ mod 1

Consider the map $f(x)=3^x$ mod 1. Using the the iterated function system $T_{0}x=\log_{3}(x+1), T_{1}x=\log_{3}(x+2)$ we see that $f$ is dynamical conjugated to a full shift on two symbols. Moreover ...

**1**

vote

**1**answer

107 views

### whether there are some books and original papers ergodic theory approach to ODE

Recently I become more and more interested in the field of ergodic theory, especially in the dimension theory and thermal formalism and its applications.
People always said that most of the ideas in ...

**2**

votes

**0**answers

204 views

### Reference request: stationary measures as convex combinations of ergodic measures

Does anyone know a good reference for the fact that a stationary probability measure is a convex combination of the stationary and ergodic probability measures?
I have found some references for the ...

**5**

votes

**1**answer

235 views

### inverse problem for ergodic measures

It is a basic fact in the weak-* topology, the set of invariant measures for a dynamical system is closed, compact, and convex in the weak-* topology. Furthermore, the set of ergodic measures is equal ...

**6**

votes

**1**answer

328 views

### What is known about dynamics on Grassmannians?

I have found myself becoming interested in dynamical systems given by homeomorphisms acting on $G(r,d)$, the space of $r$-dimensional subspaces of $\mathbb{R}^d$. I tried to do a literature search ...

**4**

votes

**1**answer

490 views

### Intuition of Kolmogorov-Sinai entropy

For a measurable entropy of measurable transformation $T$ from $(X,\mathcal{B},m)$ to itself.
For each finite measurable partition $\mathcal{A}=\{A_i\}_{i=1}^{m}$ of $X$, we can define
...

**2**

votes

**0**answers

83 views

### Ergodic actions with co-finite stabilizers

Let $G$ be a locally compact, second countable group acting on a standard probability space $(X,\nu)$, and let $\nu$ be $G$-invariant. Let $G_x = \{g \in G\,:\, gx=x\}$ denote the stabilizer of $x \in ...

**3**

votes

**1**answer

324 views

### Examples of transformations that are totally ergodic but not weakly mixing?

The most natural examples are irrational rotations. Are there other examples that are fundamentally different from irrational rotations? By the way, if $T$ is totally ergodic, but not weakly mixing, ...

**10**

votes

**2**answers

521 views

### Birkhoff ergodic theorem and the measure of the bad points

In the Birkhoff ergodic theorem we have a PMPS $(X,B,\mu,T)$ and that for any $f\in L^1(X,\mu)$ $\frac{1}{N}\sum_{n=0}^{N-1}f(T^n x)\to \int f \, d\mu,$ in measure, in $L^1$-norm and $\mu$-a.e.
My ...

**2**

votes

**1**answer

453 views

### Liouville's theorem: How to get an invariant measure?

Liouville's theorem states that the `natural' 2-from is preserved under the Hamiltonian flow. Apparently this leads to an invariant measure $\mu$ as follows
\begin{equation}
d\mu = \frac{d\sigma}{|| ...

**6**

votes

**1**answer

134 views

### Ergodic Mean for Schrodinger flow

Let us consider the linear Schrödinger equation in $\mathbb{R}^N$
$$ (i\partial _t+\Delta)\,u=0\mbox{ ,}\quad u(0,x)=f$$
with $f\in L^2(\mathbb{R}^N)$, and let $u(t,x)=e^{it\Delta}f$ be its ...

**3**

votes

**0**answers

173 views

### Markov operators and existence of ergodic measures

My question refers to the yesterday's question (see here)
of John Learner and goes as follows:
Can we deduce the existence of an ergodic measure if we know that an invariant measure exists, but the ...

**3**

votes

**1**answer

150 views

### Existence of ergodic measure for measurable maps

The existence of ergodic measures is usually proved under the assumptions that the space $\Omega$ is compact metric and the transformation $T: \Omega \rightarrow \Omega$ is continuous, by using ...

**5**

votes

**1**answer

147 views

### Is there a survey of recent work relating to the Hausdorff dimension of sets defined through some restriction of digits?

I am familiar with the work of Helmut Cajar, but his book is thirty years old and it's clear that there has been substantial progress since then. I have been spending a lot of time looking through ...

**3**

votes

**1**answer

162 views

### Correspondence between fractal sets and trees

In Hillel Furstenberg's series lectures on ergodic theory in fractal geometry, he mentioned his search on finding a one-to-one correspondence between fractal sets and trees, however, I couldn't not ...

**3**

votes

**1**answer

306 views

### First integrals of a 3D incompressible flow

Let $\Omega$ be an unbounded periodic smooth domain of $\mathbb{R}^3$. We are Given an incompressible vector field $q:\Omega\subset\mathbb{R}^3\rightarrow \mathbb{R}^3$ (i.e. $\nabla\cdot q\equiv 0$ ...

**5**

votes

**0**answers

183 views

### Quasicompactness of transfer operators associated to IID matrix products

Let $P^1$ denote one-dimensional real projective space, and for each $A \in GL(2,\mathbb{R})$ let $\overline{A}$ denote the homeomorphism of $P^1$ induced by $A$. I am currently reading a paper which ...

**0**

votes

**0**answers

36 views

### Family of random sets represent all integers a.s.

Construct a family of sets $A_n$ such that $$|A_n|=\Theta\left((\log n)^2\right)$$
and the elements of $A_n$ are chosen uniformly at random mod $n$.
Say that a set $S$ represents $m\mod{n}$ if there ...

**6**

votes

**1**answer

849 views

### Characterization of amenable actions

Let $(X,\mu)$ be a $G$-space, i.e. a measure space with a Borel quasi-invariant $G$-action. Say that $X$ is amenable (equivalently, that the action is amenable) if there is a $G$-fixed point in every ...

**6**

votes

**2**answers

540 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 variational principle ...

**6**

votes

**1**answer

136 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 metric space, $T$ a ...

**0**

votes

**1**answer

115 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 Fano's inequality ...

**0**

votes

**1**answer

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

**3**

votes

**1**answer

134 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 short for ...

**8**

votes

**1**answer

248 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)=P(A_2)=0$, $f(A)$ ...

**2**

votes

**2**answers

473 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 manifold and ...

**7**

votes

**2**answers

344 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)>0$, one can find ...

**5**

votes

**2**answers

258 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}_{_P}(\Omega)\to ...

**2**

votes

**3**answers

240 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}(P)) = \frac{m(C_a ...

**5**

votes

**1**answer

354 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 Borel probability ...

**1**

vote

**1**answer

174 views

### power bounded adjacency matrices

A bounded linear operator $T$ on a Banach space $X$ is called power bounded if $\|T^k\|\le M$ for some $M>0$ and all $k\in \mathbb N$.
A classical result of Lorch says that if $X$ is reflexive, ...

**4**

votes

**1**answer

282 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 necessarily exist a Borel ...

**0**

votes

**1**answer

178 views

### On the affine property of entropy map

Theorem 8.1 in Wlaters' book "An introduction to ergodic theory" says the entropy map is affine. Namely, let $T:X\to X$ be a continuous map of a compact metrc sace. If $\mu, m\in M(X,T)$ and ...