In this paper it is proved that if a minimal system has the property that its sequence entropy is uniformly bounded for all sequences, then it has only finitely many ergodic measures and is an almost finite to one extension of its maximal equicontinuous factor. This result is obtained as an application of a general criteria which states that if a minimal system is an almost finite to one extension of its maximal equicontinuous factor and has no infinite independent sets of length $k$ for some $k\ge 2$, then it has only finitely many ergodic measures.
We study polygonal billiards with reflection laws contracting the reflected angle towards the normal. It is shown that if a polygon does not have parallel sides facing each other, then the corresponding billiard map has finitely many ergodic SRB measures whose basins cover a set of full Lebesgue measure.
Let $M$ be a smooth compact surface of nonpositive curvature, with genus $\geq 2$. We prove the ergodicity of the geodesic flow on the unit tangent bundle of $M$ with respect to the Liouville measure under the condition that the set of points with negative curvature on $M$ has finitely many connected components. Under the same condition, we prove that a non closed "flat" geodesic doesn't exist, and moreover, there are at most finitely many flat strips, and at most finitely many isolated closed "flat" geodesics.
We show that the measure of the spectrum of Schrödinger operator with potential defined by non-constant function over any minimal aperiodic finite subshift tends to zero, as the coupling constant tends to infinity. We also obtained a quantitative upper bound for the measure of the spectrum. This follows from a result we proved for ergodic Schrödinger operators with finitely valued potentials under two conditions on the recurrence property of the shift. We also show that one of these conditions is necessary for such result.
We consider finitely generated groups of real-analytic circle diffeomorphisms. We show that if such a group admits an exceptional minimal set (i.e., a minimal invariant Cantor set), then its Lebesgue measure is zero; moreover, there are only finitely many orbits of connected components of its complement. For the case of minimal actions, we show that if the underlying group is (algebraically) free, then the action is ergodic with respect to the Lebesgue measure. This provides first answers to questions due to É. Ghys, G. Hector and D. Sullivan.
We show some results about the Hausdorff dimension of particular minimal but not uniquely ergodic interval exchange transformations. There is an appendix which shows that typical points for two different ergodic measures of an interval exchange can approximate each other differently.
We prove that the family of measured dynamical systems which can be realised as uniquely ergodic minimal homeomorphisms on a given manifold (of dimension at least two) is stable under measured extension. As a corollary, any ergodic system with an irrational eigenvalue is isomorphic to a uniquely ergodic minimal homeomorphism on the two-torus. The proof uses the following improvement of Weiss relative version of Jewett-Krieger theorem: any extension between two ergodic systems is isomorphic to a skew-product on Cantor sets.
For a weakly mixing bounded rank-one construction the disjointness of its powers is proved. For non-rigid constructions we get minimal self-joinings. Examples of non-mixing rank one actions with explicit weak closure are proposed.
We prove that for every $ε>0$ there exists a minimal diffeomorphism $f:\T^{2}\rightarrow\T^{2}$ of class $C^{3-ε}$ and semiconjugate to an ergodic traslation, and have the following properties: zero entropy, sensitivity with respect to initial conditions and Li-Yorke chaos. These examples are obtained through the holonomy of the unstable foliation of Mañé's example of derived from Anosov diffeomorphism on $\T^3.$
We study deviation of ergodic averages for dynamical systems given by self-similar tilings on the plane and in higher dimensions. The main object of our paper is a special family of finitely-additive measures for our systems. An asymptotic formula is given for ergodic integrals in terms of these finitely-additive measures, and, as a corollary, limit theorems are obtained for dynamical systems given by self-similar tilings.
This work is devoted to the study of minimal, smooth actions of finitely generated groups on the circle. We provide a sufficient condition for such an action to be ergodic (with respect to the Lebesgue measure), and we illustrate this condition by studying two relevant examples. Under an analogous hypothesis, we also deal with the problem of the zero Lebesgue measure for exceptional minimal sets. This hypothesis leads to many other interesting conclusions, mainly concerning the stationary and conformal measures. Moreover, several questions are left open. The methods work as well for codimensio…
Mary Rees has constructed a minimal homeomorphism of the 2-torus with positive topological entropy. This homeomorphism f is obtained by enriching the dynamics of an irrational rotation R. We improve Rees construction, allowing to start with any homeomorphism R instead of an irrational rotation and to control precisely the measurable dynamics of f. This yields in particular the following result: Any compact manifold of dimension d>1 which carries a minimal uniquely ergodic homeomorphism also carries a minimal uniquely ergodic homeomorphism with positive topological entropy. More generally, give…
In this paper, we consider the dynamics of a skew-product map defined on the Cartesian product of the symbolic one-sided shift space on $N$ symbols and the complex sphere where we allow $N$ rational maps, $R_{1}, R_{2}, \cdots, R_{N}$, each with degree $d_{i};\ 1 \le i \le N$ and with at least one $R_{i}$ in the collection whose degree is at least $2$. We obtain results regarding the distribution of pre-images of points and the periodic points in a subset of the product space (where the skew-product map does not behave normally). We further explore the ergodicity of the Sumi-Urbanskii (equilib…
In 1985, Boshernitzan showed that a minimal (sub)shift satisfying a linear block growth condition must have a bounded number of ergodic probability measures. Recently, this bound was shown to be sharp through examples constructed by Cyr and Kra. In this paper, we show that under the stronger assumption of eventually constant growth, an improved bound exists. To this end, we introduce special Rauzy graphs. Variants of the well-known Rauzy graphs from symbolic dynamics, these graphs provide an explicit description of how a Rauzy graph for words of length n relates to the one for words of length …
In this paper, we consider finitely many interval maps simultaneously acting on the unit interval $I = [0, 1]$ in the real line $\mathbb{R}$; each with utmost finitely many jump discontinuities and study certain important statistical properties. Even though we use the symbolic space on $N$ letters to reduce the case of simultaneous dynamics to maps on an appropriate space, our aim in this paper remains to resolve ergodicity, rates of recurrence, decay of correlations and invariance principles leading upto the central limit theorem for the dynamics that evolves through simultaneous action. In o…
An asymptotic expansion is established for time averages of translation flows on flat surfaces. This result, which extends earlier work of A.Zorich and G.Forni, yields limit theorems for translation flows. The argument, close in spirit to that of G.Forni, uses the approximation of ergodic integrals by holonomy-invariant Hoelder cocycles on trajectories of the flows. The space of holonomy-invariant Hoelder cocycles is finite-dimensional, and is given by an explicit construction. First, a symbolic representation for a uniquely ergodic translation flow is obtained following S.Ito and A.M. Vershik…
We prove a structure theorem for topologically recurrent real skew product extensions of distal minimal compact metric flows with a compactly generated Abelian acting group (e.g. $\Z^d$-flows and $\R^d$-flows). The main result states that every such extension apart from a coboundary can be represented by a perturbation of a so-called Rokhlin skew product. We obtain as a corollary that the topological ergodic decomposition of the skew product extension into prolongations is continuous and compact with respect to the Fell topology on the hyperspace. The right translation acts minimally on this d…
We generalize a result of Lindenstrauss on the interplay between measurable and topological dynamics which shows that every separable ergodic measurably distal dynamical system has a minimal distal model. We show that such a model can, in fact, be chosen completely canonically. The construction is performed by going through the Furstenberg--Zimmer tower of a measurably distal system and showing that at each step, there is a simple and canonical distal minimal model. This hinges on a new characterization of isometric extensions in topological dynamics.
We construct a minimal topological action $\wp$ of a non-amenable group on a Cantor set $C$, which is non-uniquely ergodic and furthermore there exist ergodic invariant measures $μ_1$ and $μ_2$ such that $(\wp,C,μ_1)$ and $(\wp,C,μ_2)$ are not orbit equivalent measurable equivalence relations.
We introduce the fundamental group ${\mathcal F}(\mathcal{R}_{G, ϕ})$ of a uniquely ergodic Cantor minimal $G$-system $\mathcal{R}_{G, ϕ}$ where $G$ is a countable discrete group. We compute fundamental groups of several uniquely ergodic Cantor minimal $G$-systems. We show that if $\mathcal{R}_{G, ϕ}$ arises from a free action $ϕ$ of a finitely generated abelian group, then there exists a unital countable subring $R$ of $\mathbb{R}$ such that $\mathcal{F}(\mathcal{R}_{G, ϕ})=R_{+}^\times$. We also consider the relation between fundamental groups of uniquely ergodic Cantor minimal $\mathbb{Z}^n…
In this paper we prove the existence of minimal non uniquely ergodic flipped IETs. In particular, we build explicitly minimal non uniquely ergodic $(10,k)$-IETs for any $1\leq k \leq 10$. This answers an open question posed in [C.~Gutierrez, S.~Lloyd, V.~Medvedev, B.~Pires, and E.~Zhuzhoma.Transitive circle exchange transformations with flips. Discrete Contin. Dyn. Syst.,26 (1):251--263, 2010]. As a consequence, we also derive the existence of transitive non uniquely ergodic $(n,k)$-IETs, for any $n\geq 10$ and $1\leq k\leq n$ if $n$ is even, and $1\leq k\leq n-1$ if $n$ is odd.
We show that a sectional-hyperbolic attracting set for a Hölder-$C^1$ vector field admits finitely many physical/SRB measures whose ergodic basins cover Lebesgue almost all points of the basin of topological attraction. In addition, these physical measures depend continuously on the flow in the $C^1$ topology, that is, sectional-hyperbolic attracting sets are statistically stable. To prove these results we show that each central-unstable disk in a neighborhood of this class of attracting sets is eventually expanded to contain a ball whose inner radius is uniformly bounded away from zero.
Let Gamma be a finitely generated nilpotent group. We consider three closely related problems: (i) the asymptotic cone for an equivariant ergodic family of inner metrics on Gamma, generalizing Pansu's theorem; (ii) the limit shapes for First Passage Percolation for general (not necessarily independent) ergodic processes on edges of a Cayley graph of Gamma; (iii) a sub-additive ergodic theorem over a general ergodic Gamma-action. The limiting objects are given in terms of a Carnot-Caratheodory metric on the graded nilpotent group associated to the Mal'cev completion of Gamma.
In this paper it is shown that every non-periodic ergodic system has two topologically weakly mixing, fully supported models: one is non-minimal but has a dense set of minimal points; and the other one is proximal. Also for independent interests, for a given Kakutani-Rokhlin tower with relatively prime column heights, it is demonstrated how to get a new taller Kakutani-Rokhlin tower with same property, which can be used in Weiss's proof of the Jewett-Krieger's theorem and the proofs of our theorems. Applications of the results are given.
Thanks to works by M. Kontsevich and A. Zorich followed by C. Boissy, we have a classification of all Rauzy Classes of any given genus. It follows from these works that Rauzy Classes are closed under the operation of inverting the permutation. In this paper, we shall prove the existence of self-inverse permutations in every Rauzy Class by giving an explicit construction of such an element satisfying the sufficient conditions. We will also show that self-inverse permutations are Lagrangian, meaning any suspension has its vertical cycles span a Lagrangian subspace in homology. This will simplify…
It is well-known that on any Veech surface, the dynamics in any minimal direction is uniquely ergodic. In this paper it is shown that for any genus 2 translation surface which is not a Veech surface there are uncountably many minimal but not uniquely ergodic directions.
A subshift with linear block complexity has at most countably many ergodic measures, and we continue of the study of the relation between such complexity and the invariant measures. By constructing minimal subshifts whose block complexity is arbitrarily close to linear but has uncountably many ergodic measures, we show that this behavior fails as soon as the block complexity is superlinear. With a different construction, we show that there exists a minimal subshift with an ergodic measure whose slow entropy grows slower than any given rate tending to infinitely but faster than any other rate m…
A classification of intrinsic ergodicity for recognisable random substitution systems
Faculty of Mathematics and Computer Science, Friedrich Schiller University（耶拿弗里德里希·席勒大学数学与计算机科学学院）；Department of Mathematical Sciences, Loughborough University（拉夫堡大学数学科学系）
We show that every finitely-generated non-amenable linear group over a field of characteristic zero admits an ergodic action which is rigid in the sense of Popa. If this group has trivial solvable radical, we prove that these actions can be chosen to be free. Moreover, we give a positive answer to a question raised by Ioana and Shalom concerning the existence of such a free action for $\mathbb{F}_2\times\Z$. More generally, we show that for groups $Γ$ considered by Fernos in \cite{Fer}, e.g. Zariski-dense subgroups in PSL$_n(\R)$, the product group $Γ\times \Z$ admit a free ergodic rigid actio…
This paper is a survey devoted to the study of probability and infinite ergodic invariant measures for aperiodic homeomorphisms of a Cantor set. We focus mostly on the cases when a homeomorphism has either a unique ergodic invariant measure or finitely many such measures (finitely ergodic homeomorphisms). Since every Cantor dynamical system $(X,T)$ can be realized as a Vershik map acting on the path space of a Bratteli diagram, we use combinatorial methods developed in symbolic dynamics and Bratteli diagrams during the last decade to study the simplex of invariant measures.
Downarowicz and Maass (2008) proposed topological ranks for all homeomorphic Cantor minimal dynamical systems using properly ordered Bratteli diagrams. In this study, we adopt this definition to the case of all essentially minimal zero-dimensional systems. We consider the cases in which topological ranks are 2 and unique minimal sets are fixed points. Akin and Kolyada (2003), in their study of Li--Yorke sensitivity, showed that if the unique minimal set of an essentially minimal system is a fixed point, then the system must be proximal. However, a finite topological rank implies expansiveness;…
I show that there exist minimal interval exchange transformations with an ergodic measure whose Hausdorff dimension is arbitrarily small, even 0. I will also show that in particular cases one can bound the Hausdorff dimension between $\frac 1 {2r+4}$ and $\frac 1 r$ for any r greater than 1.
We describe a method for constructing Teichmüller geodesics where the vertical measured foliation $ν$ is minimal but is not uniquely ergodic and where we have a good understanding of the behavior of the Teichmüller geodesic. The construction depends on various parameters, and we show that one can adjust the parameters to ensure that the set of accumulation points of such a geodesic in the Thurston boundary is exactly the set of all possible measured foliations in the homotopy class of $ν$. With further adjustment of the parameters, one can even take $ν$ to be an ergodic measure on a non-unique…
We study the ratio ergodic theorem (RET) of Hopf for group actions. Under a certain technical condition, if a sequence of sets {F_n} in a group satisfy the RET, then there is a finite set E such that {EF_n} satisfies the Besicovitch covering property. Consequently for free abelian groups of infinite rank there is no sequence F_n along which the RET holds, and in many finitely generated groups, including the discrete Heisenberg group and the free group on d>1 generators, there is no (sub)sequence of balls, in the standard generators, along which the RET holds. On the other hand, in groups with …
Let $ Γ< PSL_2(\mathbb{C}) $ be a Zariski dense finitely generated Kleinian group. We show all Radon measures on $ PSL_2(\mathbb{C}) / Γ$ which are ergodic and invariant under the action of the horospherical subgroup are either supported on a single closed horospherical orbit or quasi-invariant with respect to the geodesic frame flow and its centralizer. We do this by applying a result of Landesberg and Lindenstrauss together with fundamental results in the theory of 3-manifolds, most notably the Tameness Theorem by Agol and Calegari-Gabai.
In this article we mainly aim to know what kind of asymptotic behavior of typical orbits can display. For example, we show in any transitive system, the emprical measures of a typical orbit can cover all emprical measures of dense orbits and can intersect some physical-like measures. In particular, if the union set of emprical measures of all dense orbits is not singleton, then the typical orbit will display historic behavior simultaneously for typical continuous functions and the limit set of ergodic average along every continuous function equals to a closed interval composed by the union of …
It has been shown by Le Jan that, given a memoryless-noise random dynamical system together with an ergodic distribution for the associated Markov transition probabilities, if the support of the ergodic distribution admits locally asymptotically stable trajectories, then there is a random attracting set consisting of finitely many points, whose basin of forward-time attraction includes a random full measure open set. In this paper, we present necessary and sufficient conditions for this attracting set to be a singleton; our result does not require the state space to be compact, but holds on ge…
We study the dynamics of piecewise affine surface homeomorphisms from the point of view of their entropy. Under the assumption of positive topological entropy, we establish the existence of finitely many ergodic and invariant probability measures maximizing entropy and prove a multiplicative lower bound for the number of periodic points. This is intended as a step towards the understanding of surface diffeomorphisms. We proceed by building a jump transformation, using not first returns but carefully selected "good" returns to dispense with Markov partitions. We control these good returns throu…
Theorem 2 of A. Kercheval, "Denjoy minimal sets are far from affine", Ergodic Theory and Dynamical Systems 22 (2002), 1803-1812 is corrected by adding a C^2 bound to the hypotheses.
The main result of this paper is a construction of finitely additive measures for higher rank abelian actions on Heisenberg nilmanifolds. Under a full measure set of Diophantine conditions for the generators of the action, we construct \emph{Bufetov functionals} on rectangles on $(2g+1)$-dimensional Heisenberg manifolds. We prove that deviation of the ergodic integral of higher rank actions is described by the asymptotic of Bufetov functionals for a sufficiently smooth function. As a corollary, the distribution of normalized ergodic integrals which have variance 1, converges along certain subs…
We consider diffeomorphisms in the $C^\infty$-closure of the conjugancy class of translations of the 2-torus. By a theorem of Fathi and Herman, a generic diffeomorphism in that space is minimal and uniquely ergodic. We define a new mixing-like property, which takes into account the "directions" of mixing, and we prove that generic elements of the space in question satisfy this property. As a consequence, we show that there is a residual set of strictly ergodic diffeomorphisms without invariant foliations of any kind. We also obtain an analytic version of these results.
Let G=PSL(2, F) where F= R or C, and consider the space Z=(Γ_1 x Γ_2)\ (G x G) where Γ_1<G is a co-compact lattice and Γ_2<G is a finitely generated discrete Zariski dense subgroup. The work of Benoist-Quint gives a classification of all ergodic invariant Radon measures on Z for the diagonal G-action. In this paper, for a horospherical subgroup N of G, we classify all ergodic, conservative, invariant Radon measures on Z for the diagonal N-action, under the additional assumption that Γ_2 is geometrically finite.
This is a self-contained introduction to the applications of ergodic theory of nonsingular (also known as quasi-invariant) group actions and the structure theorem for finitely generated abelian groups on the extreme values of stationary symmetric stable random fields indexed by $\mathbb{Z}^d$. It is based on a mini course given in the Eighth Lectures on Probability and Stochastic Processes (held in the Bangalore Centre of Indian Statistical Institute during December 6-10, 2013) except that a few recent references have been added in the concluding part. This article is a survey of existing work…
We completely elucidate the relationship between two invariants associated with an ergodic probability measure-preserving (pmp) equivalence relation, namely its cost and the minimal number of topological generators of its full group. It follows that for any free pmp ergodic action of the free group on $n$ generators, the minimal number of topological generators for the full group of the action is $n+1$, answering a question of Kechris.
We explain the Curie Weiss model in Statistical Mechanics within the Ergodic viewpoint. More precisely, we simultaneously define in $\{-1,+1\}^{\mathbb{N}}$, on the one hand a generalized Curie Weiss model within the Statistical Mechanics viewpoint and on the other hand, quadratic free energy and quadratic pressure within the Ergodic Theory viewpoint. We show that there are finitely many invariant measures which maximize the quadratic free energy. They are all Dynamical Gibbs Measures. Moreover, the Probabilistic Gibbs measures for generalized Curie Weiss model converge to a determined combina…
