In this paper, we pay attention to a weaker version of Walters's question on the existence of non-uniform cocycles for uniquely ergodic minimal dynamical systems on non-degenerate connected spaces. We will classify such dynamical systems into three classes: not totally uniquely ergodic; totally uniquely ergodic but not topological weakly mixing; totally uniquely ergodic and topological weakly mixing. We will give an affirmative answer to such question for the first two classes. Also, we will show the existence of such dynamical systems in the first class with arbitrary topological entropy.
This paper proves various results concerning non-ergodic actions of locally compact groups and particularly Borel cocycles defined over such actions. The general philosophy is to reduce the study of the cocycle to the study of its restriction to each ergodic component of the action, while being careful to show that all objects arising in the analysis depend measurably on the ergodic component. This allows us to prove a version of the superrigidity theorems for cocycles defined over non-ergodic actions.
In the present paper, we consider random invariant densities and the mean ergodic theorem for Markov operator cocycles which are applicable to quenched type random dynamical systems. We give necessary and sufficient conditions for the existence of random invariant densities for Markov operator cocycles and establish the mean ergodic theorem for generalized linear operator cocycles over a weakly sequentially complete Banach space. The advantage of the result is that we show the implication of weak precompactness for almost every environment to strong convergence in the global sense.
In this article, we consider the ergodic optimization of the top Lyapunov exponent. We prove that there is a unique maximising measure of top Lyapunov expoent for typical matrix cocyles. By using the results we obtain, we prove that in any non-uniquely ergodic minimal dynamical system, the Lyapunov-irregular points are typical for typical matrix cocyles.
For a large class of transitive non-hyperbolic systems, we construct nonhyperbolic ergodic measures with entropy arbitrarily close to its maximal possible value. The systems we consider are partially hyperbolic with one-dimension central direction for which there are positive entropy ergodic measures whose central Lyapunov exponent is negative, zero, or positive. We construct ergodic measures with zero central Lyapunov exponent whose entropy is positive and arbitrarily close to the topological entropy of the set of points with central Lyapunov exponent zero. This provides a restricted variatio…
Consider the space of analytic, quasi-periodic cocycles on the higher dimensional torus. We provide examples of cocycles with nontrivial Lyapunov spectrum, whose homotopy classes do not contain any cocycles satisfying the dominated splitting property. This shows that the main result in the recent work "Complex one-frequency cocycles" by A. Ávila, S. Jitomirskaya and C. Sadel does not hold in the higher dimensional torus setting.
It is proved that each Gaussian cocycle over a mildly mixing Gaussian transformation is either a Gaussian coboundary or sharply weak mixing. The class of nonsingular infinite direct products $T$ of transformations $T_n$, $n\in\Bbb N$, of finite type (IDPFT) is studied. It is shown that if $T_n$ is mildly mixing, $n\in\Bbb N$, the sequence of the Radon-Nikodym derivatives of $T_n$ is asymptotically translation quasi-invariant and $T$ is conservative then the Maharam extension of $T$ is sharply weak mixing. This techniques provides a new approach to the nonsingular Gaussian transformations studi…
In this note we show existence of bounded, transitive cocycles over a transitive action of a finitely generated group, and bounded, ergodic cocycles over an ergodic, probability preserving action of $\Bbb Z^d$.
The main subject of the paper, motivated by a question raised by Boshernitzan, is to give criteria for a bounded complex-valued sequence to be uncorrelated to any strictly ergodic sequence. As a tool developed to study this problem we introduce the notion of correlation between two shift-invariant measures supported by the symbolic space with complex symbols. We also prove a "lifting lemma" for generic points: given a joining $ξ$ of two shift-invariant measures $μ$ and $ν$, every point $x$ generic for $μ$ lifts to a pair $(x,y)$ generic for $ξ$ (such $y$ exists in the full symbolic space). Thi…
By using a cocycle generated by the step function $φ_{β, γ} = 1_{[0, β]} - 1_{[0, β]} (. + γ)$ over an irrational rotation $x \to x + α\mod 1$, we present examples which illustrate different aspects of the general theory of cylinder maps. In particular, we construct non ergodic cocycles with ergodic compact quotients, cocycles generating an extension $T_{α, φ}$ with a small centralizer. The constructions are related to diophantine properties of $α, β, γ$.
The classical Multiplicative Ergodic Theorem (MET) of Oseledets is generalized here to cocycles taking values in a semi-finite von Neumann algebra. This allows for a continuous Lyapunov distribution.
It follows from Oseledec Multiplicative Ergodic Theorem (or Kingman's Sub-additional Ergodic Theorem) that the set of `non-typical' points for which the Oseledec averages of a given continuous cocycle diverge has zero measure with respect to any invariant probability measure. In strong contrast, for any H$\ddot{o}$der continuous cocycles over hyperbolic systems, in this article we show that either all ergodic measures have same Maximal Lyapunov exponents or the set of Lyapunov `non-typical' points have full topological entropy and packing topological entropy. Moreover, we give an estimate of B…
A result for subadditive ergodic cocycles is proved that provides more delicate information than Kingman's subadditive ergodic theorem. As an application we deduce a multiplicative ergodic theorem generalizing an earlier result of Karlsson-Ledrappier, showing that the growth of a random product of semi-contractions is always directed by some horofunction. We discuss applications of this result to ergodic cocycles of bounded linear operators, holomorphic maps and topical operators, as well as a random mean ergodic theorem.
We study the centraliser of locally compact group extensions of ergodic probability preserving transformations. New methods establishing ergodicity of group extensions are introduced, and new examples of squashable and non-coalescent group extensions are constructed. Smooth versions of some of the constructions are also given.
After relating the notion of $ω$-recurrence in skew products to the range of values taken by partial ergodic sums and Lyapunov exponents, ergodic $\mathbb{Z}$-valued cocycles over an irrational rotation are presented in detail. First, the generic situation is studied and shown to be $1/n$-recurrent. It is then shown that for any $ω(n) <n^{-ε}$, where $ε>1/2$, there are uncountably many infinite staircases (a certain specific cocycle over a rotation) which are \textit{not} $ω$-recurrent, and therefore have positive Lyapunov exponent. A further section makes brief remarks regarding cocycles over…
A volume growth-based proof of the Multiplicative Ergodic Theorem for Banach spaces is presented, following the approach of Ruelle for cocycles acting on a Hilbert space. As a consequence, we obtain a volume growth interpretation for the Lyapunov exponents of a Banach space cocycle.
Suppose $L$ is a semisimple Levi subgroup of a connected Lie group~$G$, $X$ is a Borel $G$-space with finite invariant measure, and $α\colon X \times G \to \GL_n(\real)$ is a Borel cocycle. Assume $L$ has finite center, and that the real rank of every simple factor of~$L$ is at least two. We show that if $L$ is ergodic on~$X$, and the restriction of~$α$ to~$X \times L$ is cohomologous to a homomorphism (modulo a compact group), then, after passing to a finite cover of~$X$, the cocycle $α$ itself is cohomologous to a homomorphism (modulo a compact group).
We prove that for semi-invertible and Hölder continuous linear cocycles $A$ acting on an arbitrary Banach space and defined over a base space that satisfies the Anosov Closing Property, all exceptional Lyapunov exponents of $A$ with respect to an ergodic invariant measure for base dynamics can be approximated with Lyapunov exponents of $A$ with respect to ergodic measures supported on periodic orbits. Our result is applicable to a wide class of infinite-dimensional dynamical systems.
We prove that, for semi-invertible linear cocycles, Lyapunov exponents of ergodic measures may be approximated by Lyapunov exponents on periodic points.
We study the fiber Lyapunov exponents of step skew-product maps over a complete shift of $N$, $N\ge2$, symbols and with $C^1$ diffeomorphisms of the circle as fiber maps. The systems we study are transitive and genuinely nonhyperbolic, exhibiting simultaneously ergodic measures with positive, negative, and zero exponents. Examples of such systems arise from the projective action of $2\times 2$ matrix cocycles and our results apply to an open and dense subset of elliptic $\mathrm{SL}(2,\bR)$ cocycles. We derive a multifractal analysis for the topological entropy of the level sets of Lyapunov ex…
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.
It follows from Oseledec Multiplicative Ergodic Theorem that the Lyapunov-irregular set of points for which the Oseledec averages of a given continuous cocycle diverge has zero measure with respect to any invariant probability measure. In strong contrast, for any dynamical system $f:X\rightarrow X$ with exponential specification property and a H$\ddot{\text{o}}$lder continuous matrix cocycle $A:X\rightarrow G (m,\mathbb{R})$, we show here that if there exist ergodic measures with different Lyapunov spectrum, then the Lyapunov-irregular set of $A$ is residual (i.e., containing a dense $G_δ$ set…
We construct an example of a quadratic differential whose vertical foliation is uniquely ergodic and such that the Teichmuller geodesic determined by the quadratic differential diverges in the moduli space of Riemann surfaces.
We study the problem of lifting various mixing properties from a base automorphism $T\in {\rm Aut}\xbm$ to skew products of the form $\tfs$, where $\va:X\to G$ is a cocycle with values in a locally compact Abelian group $G$, $\cs=(S_g)_{g\in G}$ is a measurable representation of $G$ in ${\rm Aut}\ycn$ and $\tfs$ acts on the product space $(X\times Y,\cb\ot\cc,μ\otν)$ by $$\tfs(x,y)=(Tx,S_{\va(x)}(y)).$$ It is also shown that whenever $T$ is ergodic (mildly mixing, mixing) but $\tfs$ is not ergodic (is not mildly mixing, not mixing), then on a non-trivial factor $\ca\subset\cc$ of $\cs$ the cor…
We show that the set of not uniquely ergodic d-IETs has Hausdorff dimension d-3/2 (in the (d-1)-dimension space of d-IETs) for d>4. For d=4 this was shown by Athreya-Chaika and for d=2,3 the set is known to have dimension d-2.
In this paper, we proved that for generic Tonelli Lagrangian, there always exists a residual set $\mathcal{G}\subset H^1(M,\mathbb{R})$ such that \[ \widetilde{\mathcal{M}}(c)=\widetilde{\mathcal{A}}(c)=\widetilde{\mathcal{N}}(c),\quad \forall c\in\mathcal{G} \] with $\widetilde{\mathcal{M}}(c)$ supports on a uniquely ergodic measure.
We show that for almost every (with respect to Masur-Veech measure) $ω\in \mathcal{H}(2)$, the set of angles $θ\in [0, 2π)$ so that $e^{iθ}ω$ has non-uniquely ergodic vertical foliation has Hausdorff dimension (and codimension) $1/2$.
We prove a nonuniformly hyperbolic version Livšic theorem, with cocycles taking values in the group of invertible bounded linear operators on a Banach space. The result holds without the ergodicity assumption of the hyperbolic measure. Moreover, We also prove a $μ$-continuous solution of the cohomological equation is actually Hölder continuous for the uniform hyperbolic system.
We study the behavior of diffeomorphisms, contained in the closure $\bar {\A_\a}$ (in the inductive limit topology) of the set $\A_\a$ of real-analytic diffeomorphisms of the torus $\Bbb T^2$, conjugated to the rotation $R_\a:(x,y)\mapsto (x + \a, y)$ by an analytic measure-preserving transformation. We show that for a generic $\a\in [0,1]$, $\bar {\A_\a}$ contains a dense set of uniquely ergodic diffeomorphisms. We also prove that $\bar {\A_\a}$ contains a dense set of diffeomorphisms that are minimal and non-ergodic.
Given a linear cocycle over an ergodic homeomorphism on a compact metric space, we show that the existence of a uniform gap between the $p$-th and $(p+1)$-th Lyapunov exponent on a $C^0$-neighbourhood implies the existence of a dominated splitting of index $p$.
In 1968, V.I. Oseledets formulated the question of convergence in the Birkhoff theorem and the multiplicative ergodic theorem for measurable cocycles over flows under the condition of integrability for each individual t. A.M. Stepin and the author established (2016) the convergence along subsets of time of density 1. In this note, we show that moreover the convergence is fulfilled modulo time subsets of finite measure.
We show that under some natural ergodicity assumptions extensions given by Rokhlin cocycles lift the multiplier property if the associated locally compact group extension has only countably many L^\infty-eigenvalues. We make use of some analogs of basic results from the theory of finite-rank modules associated to an extension of measure-preserving systems in the setting of a non-singular base.
Let H be an infinite dimensional separable Hilbert space, X a compact Hausdorff space and f : X \rightarrow X a homeomorphism which preserves a Borel ergodic measure which is positive on non-empty open sets. We prove that the non-uniformly Anosov cocycles are C0-dense in the family of partially hyperbolic f,H-skew products with non-trivial unstable bundles.
In this paper, we first prove the strong Birkhoff Ergodic Theorem for subharmonic functions with the irrational shift on the Torus. Then, it is applied to the analytic quasi-periodic Jacobi cocycles. We show that if the Lyapunov exponent of these cocycles is positive at one point, then it is positive on an interval centered at this point for suitable frequency and coupling numbers. We also prove that the Lyapunov exponent is Hölder continuous in $E$ on this interval and calculate the expression of its length. What's more, if the coupling number of the potential is large, then the Lyapunov expo…
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…
Karlsson and Margulis proved in the setting of uniformly convex geodesic spaces, which additionally satisfy a nonpositive curvature condition, an ergodic theorem that focuses on the asymptotic behavior of integrable cocycles of nonexpansive mappings over an ergodic measure-preserving transformation. In this note we show that this result holds true when assuming a weaker notion of uniform convexity.
This text is an expanded version of the lecture notes of a minicourse (with the same title of this text) delivered by the authors in the Bedlewo school "Modern Dynamics and its Interaction with Analysis, Geometry and Number Theory" (from 4 to 16 July, 2011). In the first part of this text, i.e., from Sections 1 to 5, we discuss the Teichmüller and moduli space of translation surfaces, the Teichmüller flow and the SL(2,R)-action on these moduli spaces and the Kontsevich-Zorich cocycle over the Teichmüller geodesic flow. We sketch two applications of the ergodic properties of the Teichmüller flo…
In the present paper we give a positive answer to a question posed by Viana on the existence of positive Lyapunov exponents for symplectic cocycles. Actually, we prove that for an open and dense set of Holder symplectic cocycles over a non-uniformly hyperbolic diffeomorphism there are non-zero Lyapunov exponents with respect to any invariant ergodic measure with the local product structure.
We construct a one-dimensional uniquely ergodic cellular automaton which is not nilpotent. This automaton can perform asymptotically infinitely sparse computation, which nevertheless never disappears completely. The construction builds on the self-simulating automaton of Gács. We also prove related results of dynamical and computational nature, including the undecidability of unique ergodicity, and the undecidability of nilpotency in uniquely ergodic cellular automata.
We study mixing properties of generalized $T, T^{-1}$ transformation. We discuss two mixing mechanisms. In the case the fiber dynamics is mixing, it is sufficient that the driving cocycle is small with small probability. In the case the fiber dynamics is only assumed to be ergodic, one needs to use the shearing properties of the cocycle. Applications include the Central Limit Theorem for sufficiently fast mixing systems and the estimates on deviations of ergodic averages.
We consider the action of $SL(2,\mathbb{R})$ on a vector bundle $\mathbf{H}$ preserving an ergodic probability measure $ν$ on the base $X$. Under an irreducibility assumption on this action, we prove that if $\hatν$ is any lift of $ν$ to a probability measure on the projectivized bunde $\mathbb{P}(\mathbf{H})$ that is invariant under the upper triangular subgroup, then $\hat ν$ is supported in the projectivization $\mathbb{P}(\mathbf{E}_1)$ of the top Lyapunov subspace of the positive diagonal semigroup. We derive two applications. First, the Lyapunov exponents for the Kontsevich-Zorich cocycl…
A smooth diffeomorphism is said to be distributionally uniquely ergodic (DUE for short) when it is uniquely ergodic and its unique invariant probability measure is the only invariant distribution (up to multiplication by a constant). Ergodic translations on tori are classical examples of DUE diffeomorphisms. In this article we construct DUE diffeomorphisms supported on closed manifolds different from tori, providing some counterexamples to a conjecture proposed by Forni in [For08].
Let $π$ be a non-degenerate permutation on at least $4$ symbols. We show that the set of uniquely ergodic interval exchange transformations with permutation $π$ is path-connected.
We consider infinite staircase translation surfaces with varying step sizes. For typical step sizes we show that the translation flow is uniquely ergodic in almost every direction. Our result also hold for typical configurations of the Ehrenfest wind-tree model endowed with the Hausdorff topology. In contrast, we show that the translation flow on a periodic translation surface can not be uniquely ergodic in any direction.
We show that for a closed surface of genus at least 5, or a surface of genus at least 2 with at least one marked point, the set of uniquely ergodic foliations and the set of cobounded foliations is path-connected and locally path-connected.
