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

learn more… | top users | synonyms

-1
votes
0answers
56 views

Rising Sun Inequality (Dunford-Schwartz maximal inequality) [migrated]

Let $f:\mathbb{R} \rightarrow \mathbb{R}$ be an absolutely integrable function, and let $f^*:\mathbb{R} \rightarrow \mathbb{R}$ be the one-sided signed Hardy-Littlewood maximal function $$f^*(x) := ...
3
votes
4answers
338 views

Reference for Kronecker-Weyl theorem in full generality

The Kronecker-Weyl theorem asserts the following: fix real numbers $\theta_1,\dots,\theta_d$, and consider the infinite ray $t(\theta_1,\dots,\theta_d)$ $(t\in\Bbb R)$ inside the $d$-dimensional torus ...
6
votes
6answers
465 views

Furstenberg $\times 2 \times 3$ conjecture, bibliography

Furstenberg $\times 2 \times 3$ original conjecture states that the unique continuous invariant probability measure for $2x$ mod $1$ and $3x$ mod $1$ is the Lebesgue measure. I wanted to have a ...
4
votes
1answer
94 views

Automorphism group of compact abelian group

I am looking for references on the automorphism group $\mathrm{Aut}(X)$ of a compact abelian group $X$. By automorphisms I mean topological group automorphisms. Some particular questions are as ...
3
votes
2answers
101 views

Mixing property of first return map

Let $(X,\mathcal{X},\mu)$ be a probability measure system, $T:X\to X$ be a $\mu$-preserving isomorphism on $X$. Let $A\in \mathcal{X}$ such that $\mu(\bigcup_{n\ge 0}T^nA)=1$, and $\mu_A$ be the ...
5
votes
0answers
67 views

Short examples that are/are not quantum-ergodic

Are there any considerably short examples of manifolds that are/aren't quantum ergodic, or quantum unique ergodic? Note that a (compact) Riemannian manifold is said to be quantum ergodic if ...
0
votes
2answers
113 views

The Book for ergodic theory on SFT in dimension $D>1.$

I have been unable to find a good reference for a book that study in details ergodic theory on sub shifts of finite type in dimension $D>1.$ The only reference that I got was actually a book by ...
1
vote
1answer
124 views

Physical Measure Vs. SRB measures

Anybody can help me to have an idea about an example showing the difference of a Physical measur with compare to an SRB measure? By a Physical measure i mean in the sense of $\nu$ a ...
4
votes
2answers
163 views

Invariant measures on a compact metric space

I'm dealing with a continuous flow on a compact metric space $X$, and $\mu$, $\nu$ are two invariant Borel probability measures on $X$. If I know that $\mu(A)=\nu(A)$ for all the invariant Borel ...
11
votes
1answer
271 views

Is $\lfloor \log(n!)\rfloor \alpha$ equidistributed on the unit circle?

In this question $\lfloor a\rfloor$ means the greatest integer not exceeding $a$. Using van der Corput's inequalities one is able to show that $\log(n!)\alpha$ is equidistributed on the unit circle ...
6
votes
1answer
174 views

Renewal systems: Intrinsic ergodicity and a question related to the Adler's conjecture

Consider the alphabet $\mathcal{A} = \{0,1\}$ and consider a finite set of words $W = \{\omega_1, \ldots , \omega_n\}$ over $\mathcal{A}$. Then the renewal system $\Sigma_{W}$ generated by $W$ is ...
5
votes
3answers
203 views

A weak-mixing, zero entropy measure on the 2-shift which gives equal weight to both symbols

I am currently sketching a paper in the general area of symbolic dynamics in which I would like to be able to use the following fact: Proposition (proposed): there exists a shift-invariant ...
2
votes
0answers
64 views

Null sets visited infinitely often by trajectories of the shift dynamical system

Let $(G,\circ)$ be a Polish group, with identity $e$. Let $\Omega$ be the set of continuous functions $\omega:\mathbb{R} \to G$ such that $\omega(0)=e$. For each $t \in \mathbb{R}$, define the ...
6
votes
2answers
218 views

Ergodic theory and dynamical systems books references

I am arranging a weekly meeting of 2 hours with postgraduate students in ergodic theory (for a period of 3 weeks). I am asking here for an advice of a book (or maybe a set of papers) to look at ...
3
votes
1answer
146 views

Real analytic ergodic diffeomorphisms of the two sphere

Does there exists a real analytic area preserving ergodic diffeomorphism on $S^2$? (Possibly by perturbing a rotation in the real-analytic topology?)
1
vote
1answer
65 views

Halmos recurrence theorem for a locally compact group

The recurrence theorem of Halmos is well known in the case of a non-singular endomorphism $T$ of a measured space $(X,\mathcal B,\mu)$. A measurable subset $A$ is contained in the conservative part ...
2
votes
1answer
107 views

Does conjugacy preserve the set of synchronizing blocks?

A synchronized system is a transitive shift space $X$ which has a synchronizing block $v$, that is $v$ is an admissible block for $X$ and whenever $vw$ and $uv$ are admissible blocks in $X$, then ...
2
votes
1answer
114 views

Mixing coded systems and period of their graph presentations

A coded system [see F. Blanchard, G. Hansel, Systèmes codés, Theoretical Computer Science, Vol. 44, 1986, pp. 17-49, http://dx.doi.org/10.1016/0304-3975(86)90108-8. ...
5
votes
2answers
207 views

Lebesgue entropy zero and positive topological entropy

I am looking for examples of volume preserving $C^{\infty}$ diffeomorphisms $f$ of a surface, which have positive topological entropy ($h(f) > 0$), but that the Lebesgue measure entropy (metric ...
3
votes
1answer
109 views

Automorphisms of strictly ergodic shift spaces

Let $X$ be a strictly ergodic shift space, and $\omega_1$, $\omega_2$ be two different points in $X$. Is there an automorphism $\Psi$ of $X$ such that $\Psi(\omega_1)=\omega_2$? By an automorphism I ...
11
votes
2answers
286 views

Are rounded rectangle billiard dynamics ergodic?

Bunimovich proved that the billiard-ball dynamics in the Bunimovich stadium is ergodic.            (Image from this link.) Q. Is it known that the ...
11
votes
0answers
330 views

Blocking light with mirrored convex objects

There is a long-unsolved problem posed by Janos Pach, sometimes known as the enchanted forest problem, which asks if it is possible to block a point light source in the plane from reaching infinity by ...
5
votes
1answer
116 views

Is irreducibility sufficient for uniqueness of invariant distribution for a Feller Semigroup?

Let $(T_t)$ be a strongly continuous semigroup of positive operators on $C(K)$, where $K$ is a compact space. Assume also that $T_t1 =1 $ for every $t\geq 0$. (This is also called a Feller Semigroup.) ...
8
votes
1answer
85 views

Ergodicity of composition with a rotation

Let $T$ be an arbitrary Lebesgue measure-preserving automorphism of the unit interval $I$. Let $R_{\alpha}$ denote rotation by $\alpha$, i.e. $R_{\alpha}(x)=x+\alpha \pmod{1}$ for $x \in I$ and ...
0
votes
0answers
37 views

absolute continuity of a measure given absolute continuity of conditionals

Situation is the following. We have the two-dimensional torus $X$ and have partition $\xi$ into vertical circles $\{x\} \times S^1$. We are given a measure $\mu$ on $X$ such that the projection ...
2
votes
1answer
100 views

the union of local stable manifolds along local unstable manifolds

Let $f:M\rightarrow M$ be a $C^2$ hyperbolic diffeomorphism on compact connected riemannian manifold $M$. then there are local stable and unstable manifolds at each point denoted by $W^s_\delta(x), ...
3
votes
1answer
156 views

A question about ergodicity

Let $X$ be a compact metric space, $T:X\rightarrow X$ a homeomorphism and $\mu$ be a $T$-invariant probability measure on $X$ such that the set of points with dense orbit in $supp(\mu)$ has full ...
2
votes
1answer
98 views

Decay of Correlation, references for a non-standard way

In ergodic theory is common to use the decay of correlation property to deduce properties analogues to those of i.i.d. random variables. Call $X\doteq [0,1].$ Examples of decay of correlation ...
2
votes
0answers
71 views

uniquely ergodic hyperbolic invariant set

The question is to classify uniformly hyperbolic invariant sets supporting uniquely ergodic invariant measure. The only examples that I expect are: fixed points, periodic orbits and Cantori(Denjoy ...
0
votes
0answers
106 views

Express measurable entropy in terms of Fourier coefficients of the measure

Let $S^1$ be the unit circle , $\mu$ be a Borel probability measure on $S^1$ and $T:S^1\to S^1$ is a measure-preserving map (not necessarily invertible) with respect to $\mu$. The Fourier ...
5
votes
1answer
121 views

Is there a similar theorem in the partially hyperbolic case?

Theorem 5.10.3 from Introduction to dynamical systems, by Brin & Stuck: Let $f:M\rightarrow M$ be an Anosov diffeomorphism. Then the following are equivalent: $NW(f)=M$, every unstable manifold ...
3
votes
0answers
87 views

Any references on infinite-dimensional Fourier-Plancherel theory?

Let $M$ be a measure on an infinite-dimensional topological vector space (in fact, only the measure type matters), such that $M$ is quasi-invariant under a dense subspace $S$ of shifts (let's assume ...
2
votes
1answer
117 views

Function from a compact metric space to the subsets of the naturals

Let $X$ be a compact metric space, and $\mu$ a Borel probability measure. For $S\subset\mathbb{N}$ we denote the upper density with $\overline{D}(S).$ Let $f:X\rightarrow2^{\mathbb{N}}$ be a ...
6
votes
2answers
377 views

Reference request: Geodesic flow on a manifold with negative curvature is ergodic

I'm reading about the Mostow's rigidity theorem, and the proof uses the following (maybe well-known) result: The geodesic flow on a manifold with negative curvature is ergodic. The lecture note that ...
6
votes
2answers
287 views

Getting unique ergodicity from minimality

It is known that minimality does not imply unique ergodicity (Furstenberg example). I ask whether the implication holds in following particular situation: Suppose $X$ is a compact space, $f:X \to ...
2
votes
0answers
89 views

Pointwise ergodic theorem for amenable semigroups

Using tempered Folner sequences one may show a pointwise ergodic theorem for amenable groups. (see http://www.aimsciences.org/journals/pdfsnews.jsp?paperID=2413&mode=full) Is there a similar ...
6
votes
1answer
136 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 ...
2
votes
1answer
150 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
1answer
124 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
1answer
226 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
1answer
160 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
0answers
71 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
0answers
95 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 ...
4
votes
0answers
66 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
2answers
290 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 ...
4
votes
0answers
77 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
1answer
117 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
0answers
105 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
3answers
274 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
0answers
79 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 ...