We show the sum of the first $k$ Lyapunov exponents of linear cocycles is an upper semicontinuous function in the $L^p$ topologies, for any $1 \le p \le \infty$ and $k$. This fact, together with a result from Arnold and Cong, implies that the Lyapunov exponents of the $L^p$-generic cocycle, $p<\infty$, are all equal.
One knows that the set of quasi-periodic Schrödinger cocycles with positive Lyapunov exponent is open and dense in the analytic topology. In this paper, we construct cocycles with positive Lyapunov exponent which can be approximated by ones with zero Lyapunov exponent in the space of ${\cal C}^ l$ ($1 \le l\le \infty$) smooth quasi-periodic cocycles. As a consequence, the set of quasi-periodic Schrödinger cocycles with positive Lyapunov exponent is not ${\cal C}^ l$ open.
We prove that, for semi-invertible linear cocycles, Lyapunov exponents of ergodic measures may be approximated by Lyapunov exponents on periodic points.
We show that SL(2,R) cocycles with a positive Lyapunov exponent are dense in all regularity classes and for all non-periodic dynamical systems. For Schrödinger cocycles, we show prevalence of potentials for which the Lyapunov exponent is positive for a dense set of energies.
The Lyapunov exponents of GL(2)-cocycles over Markov shifts depend continuously on the underlying data, that is, on the matrix coefficients and the Markov measure transition probabilities.
In this paper we establish uniform large deviations estimates of exponential type and Hölder continuity of the Lyapunov exponents for random non-invertible cocycles with constant rank.
We prove a conjecture of Viana which states that Lyapunov exponents vary continuously when restricted to $GL(2,\mathbb{R})$-valued cocycles over a subshift of finite type which admit invariant holonomies that depend continuously on the cocycle.
We prove that in an open and dense set, Symplectic linear cocycles over time one maps of Anosov flows, have positive Lyapunov exponents for SRB measures.
A theorem of Viana says that almost all cocycles over any hyperbolic system have nonvanishing Lyapunov exponents. In this note we extend this result to cocycles on any noncompact classical semisimple Lie group.
We prove that Sp(2d;R), HSp(2d) and pseudo unitary cocycles with at least one non-zero Lyapunov exponent are dense in all usual regularity classes for non periodic dynamical systems. For Schrödinger operators on the strip, we prove a similar result for density of positive Lyapunov exponents.
We prove that generic fiber-bunched and Hölder continuous linear cocycles over a non-uniformly hyperbolic system endowed with a u-Gibbs measure have simple Lyapunov spectrum. This gives an affirmative answer to a conjecture proposed by Viana in the context of fiber-bunched cocycles.
This paper is concerned with the study of linear cocycles over uniformly ergodic Markov shifts on a compact space of symbols. We establish the joint Hölder continuity of the maximal Lyapunov exponent as a function of the cocycle and the transition kernel in the vicinity of any irreducible cocycle with simple maximal Lyapunov exponent. Our approach, via Furstenberg's formula, shows the Hölder continuous dependence on the data of the stationary measure of the projective cocycle and in particular provides a more computable Hölder exponent.
We show that linear analytic cocycles where all Lyapunov exponents are negative infinite are nilpotent. For such one-frequency cocycles we show that they can be analytically conjugated to an upper triangular cocycle or a Jordan normal form. As a consequence, an arbitrarily small analytic perturbation leads to distinct Lyapunov exponents. Moreover, in the one-frequency case where the $k$-th Lyapunov exponent is finite and the $k+1$st negative infinite, we obtain a simple criterion for domination in which case there is a splitting into a nilpotent part and an invertible part.
We provide conditions which imply the continuity of the Lyapunov exponents for non-uniformly fiber-bunched cocycles in $SL(2,\mathbb{R})$. The main theorem is an extension of the result of Backes, Brown and Butler and gives a partial answer to a conjecture of Marcelo Viana.
We show that for a large class of potential functions and big coupling constant $λ$ the Schrödinger cocycle over the expanding map $x\mapsto bx ~( \text{mod} 1)$ on $\mathbb{T}$ has a Lyapunov exponent $>(\logλ)/4$ for all energies, provided that the integer $b\geq λ^3$.
We consider symplectic cocycles over two classes of partially hyperbolic diffeomorphisms: having compact center leaves and time one maps of Anosov flows. We prove that the Lyapunov exponents are non-zero in an open and dense set in the Hölder topology.
We consider one-step cocycles of $2 \times 2$ matrices, and we are interested in their Lyapunov-optimizing measures, i.e., invariant probability measures that maximize or minimize a Lyapunov exponent. If the cocycle is dominated, that is, the two Lyapunov exponents are uniformly separated along all orbits, then Lyapunov-optimizing measures always exist, and are characterized by their support. Under an additional hypothesis of nonoverlapping between the cones that characterize domination, we prove that the Lyapunov-optimizing measures have zero entropy. This conclusion certainly fails without t…
We prove the Hölder continuity of the Lyapunov exponent for quasi-periodic Schrödinger cocycles with a $C^2$ cos-type potential and any fixed Liouvillean frequency, provided the coupling constant is sufficiently large. Moreover, the Hölder exponent is independent of the frequency and the coupling constant.
We show that the top Lyapunov exponent $λ_+(p)$ , $p = (p_1, \cdots, p_N)$ with $p_i >0$ for each $i$, associated with a random product of quasi-periodic cocycles depends real analytically on the transition probabilities $p$ whenever $λ_+(p)$ is simple. Moreover if the spectrum at $p$ is simple (all Lyapunov exponents having multiplicity one ) then all Lyapunov exponents depend real analytically on $p$.
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.
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 this paper, we study random Blaschke products, acting on the unit circle, and consider the cocycle of Perron-Frobenius operators acting on Banach spaces of analytic functions on an annulus. We completely describe the Lyapunov spectrum of these cocycles. As a corollary, we obtain a simple random Blaschke product system where the Perron-Frobenius cocycle has infinitely many distinct Lyapunov exponents, but where arbitrarily small natural perturbations cause a complete collapse of the Lyapunov spectrum, except for the exponent 0 associated with the absolutely continuous invariant measure. That…
We give examples of locally constant $SL(2,\mathbb{R})$-cocycles over a Bernoulli shift which are discontinuity points for Lyapunov exponents in the Hölder topology and are arbitrarily close to satisfying the fiber bunching inequality. Backes, Brown, and the author have shown that the Lyapunov exponents vary continuously when restricted to the space of fiber bunched Hölder continuous cocycles. Our examples give evidence that this theorem is optimal within certain families of Hölder cocycles.
We establish (i) stability of Lyapunov exponents and (ii) convergence in probability of Oseledets spaces for semi-invertible matrix cocycles, subjected to small random perturbations. The first part extends results of Ledrappier and Young to the semi-invertible setting. The second part relies on the study of evolution of subspaces in the Grassmannian.
We study the geometry of the action of SL(2,R) on the projective line in order to present a new and simpler proof of the Herman-Avila-Bochi formula. This formula gives the average Lyapunov exponent of a class of 1-families of SL(2,R)-cocycles.
We prove that the set of fiber-bunched $SL(2,\mathbb{R})$-valued Hölder cocycles with nonvanishing Lyapunov exponents over a volume preserving, accessible and center-bunched partially hyperbolic diffeomorphism is open. Moreover, we present an example showing that this is no longer true if we do not assume acessibility in the base dynamics.
Consider the Banach manifold of real analytic linear cocycles with values in the general linear group of any dimension and base dynamics given by a Diophantine translation on the circle. We prove a precise higher dimensional Avalanche Principle and use it in an inductive scheme to show that the Lyapunov spectrum blocks associated to a gap pattern in the Lyapunov spectrum of such a cocycle are locally Holder continuous. Moreover, we show that all Lyapunov exponents are continuous everywhere in this Banach manifold, irrespective of any gap pattern in their spectra. These results also hold for Di…
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.
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…
The Lyapunov exponents of locally constant GL(2;C)-cocycles over Bernoulli shifts depend continuously on the cocycle and on the invariant probability. The Oseledets decomposition also depends continuously on the cocycle, in measure.
In this work, we are interested in the study of the upper Lyapunov exponent $λ^+(θ)$ associated to the periodic family of cocycles defined by $$A_θ(x):=A(x)R_θ,\qquad x\in X,$$ where $A\::\: X\to \mathbb{GL}^+(2,\mathbb{R})$ is a linear cocycle orientation--preser\-ving and $R_θ$ is a rotation of angle $θ\in\mathbb{R}$. We show that if the cocycle $A$ has dominated splitting, then there exists a non empty open set $\mathcal{U}$ of parameters $θ$ such that the cocycle $A_θ$ has dominated splitting and the function $\mathcal{U}\niθ\mapstoλ^+(θ)$ is real analytic and strictly concave. As a conseq…
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 show that if the base frequency is Diophantine, then the Lyapunov exponent of a $C^{k}$ quasi-periodic $SL(2,\mathbb{R})$ cocycle is $1/2$-Hölder continuous in the almost reducible regime, if $k$ is large enough. As a consequence, we show that if the frequency is Diophantine, $k$ is large enough, and the potential is $C^k$ small, then the integrated density of states of the corresponding quasi-periodic Schrödinger operator is $1/2$-Hölder continuous.
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…
We consider linear cocycles over non-uniformly hyperbolic dynamical systems. The base system is a diffeomorphism $f$ of a compact manifold $X$ preserving a hyperbolic ergodic probability measure $μ$. The cocycle $A$ over $f$ is Holder continuous and takes values in $GL(d,R)$ or, more generally, in the group of invertible bounded linear operators on a Banach space. For a $GL(d,R)$-valued cocycle $A$ we prove that the Lyapunov exponents of $A$ with respect to $μ$ can be approximated by the Lyapunov exponents of $A$ with respect to measures on hyperbolic periodic orbits of $f$. In the infinite-di…
We prove that a locally constant $SL_{2}(\mathbb{R})$-valued cocycle over the shift generated by an irreducible collection of matrices is a continuity point for Lyapunov exponents in the $α$-Hölder topology for every $α> 0$. This gives negative answers to conjectures of Viana and the author; we pose a new conjecture to replace these conjectures. We show that an analogous continuity result also holds for $GL_{2}(\mathbb{R})$-valued cocycles that admit canonical holonomies.
Let $f$ be a $C^r$$(r>1)$ diffeomorphism of a compact Riemannian manifold $M$, preserving an ergodic hyperbolic measure $μ$ with positive entropy, and let $\mathcal{A}$ be a Hölder continuous cocycle of injective bounded linear operators acting on a Banach space $X$. We prove that there is a sequence of horseshoes for $f$ and dominated splittings for $\mathcal{A}$ on the horseshoes, such that not only the measure theoretic entropy of $f$ but also the Lyapunov exponents of $\mathcal{A}$ with respect to $μ$ can be approximated by the topological entropy of $f$ and the Lyapunov exponents of $\mat…
We consider a similar type of scenario for the disappearance of uniform of hyperbolicity as in Bjerklöv and Saprykina (2008, Nonlinearity 21), where it was proved that the minimum distance between invariant stable and unstable bundles has a linear power law dependence on parameters. In this scenario we prove that the Lyapunov exponent is sharp $\frac12$-Hölder continuous. In particular, we show that the Lyapunov exponent of Schrödinger cocycles with a potential having a unique non-degenerate minimum, is sharp $\frac12$-Hölder continuous below the lowest energy of the spectrum, in the large cou…
We study cocycles of compact operators acting on a separable Hilbert space, and investigate the stability of the Lyapunov exponents and Oseledets spaces when the operators are subjected to additive Gaussian noise. We show that as the noise is shrunk to 0, the Lyapunov exponents of the perturbed cocycle converge to those of the unperturbed cocycle; and the Oseledets spaces converge in probability to those of the unperturbed cocycle. This is, to our knowledge, the first result of this type with cocycles taking values in operators on infinite-dimensional spaces. The infinite dimensionality gives …
We show that for a class of $C^2$ quasiperiodic potentials and for any Diophantine frequency, the Lyapunov exponents of the corresponding Schrödinger cocycles are uniformly positive and weak Hölder continuous as function of energies. As a corollary, we also obtain that the corresponding integrated density of states (IDS) is weak Hölder continous. Our approach is of purely dynamical systems, which depends on a detailed analysis of asymptotic stable and unstable directions. We also apply it to more general $\mathrm{SL}(2,\mathbb R)$ cocycles, which in turn can be applied to get uniform positivit…
We show that on a dense open set of analytic one-frequency complex valued cocycles in arbitrary dimension Oseledets filtration is either dominated or trivial. The underlying mechanism is different from that of the Bochi-Viana Theorem for continuous cocycles, which links non-domination with discontinuity of the Lyapunov exponent. Indeed, in our setting the Lyapunov exponents are shown to depend continuously on the cocycle, even if the initial irrational frequency is allowed to vary. On the other hand, this last property provides a good control of the periodic approximations of a cocycle, allowi…
We consider group-valued cocycles over dynamical systems. The base system is a homeomorphism $f$ of a metric space satisfying a closing property, for example a hyperbolic dynamical system or a subshift of finite type. The cocycle $A$ takes values in the group of invertible bounded linear operators on a Banach space and is Hölder continuous. We prove that upper and lower Lyapunov exponents of $A$ with respect to an ergodic invariant measure $μ$ can be approximated in terms of the norms of the values of $A$ on periodic orbits of $f$. We also show that these exponents cannot always be approximate…
Criteria for the simplicity of the Lyapunov spectra of linear cocycles have been found by Furstenberg, Guivarc'h-Raugi, Gol'dsheid-Margulis and, more recently, Bonatti-Viana and Avila-Viana. In all the cases, the authors consider cocycles over hyperbolic systems, such as shift maps or Axiom A diffeomorphisms. In this paper we propose to extend such criteria to situations where the base map is just partially hyperbolic. This raises several new issues concerning, among others, the recurrence of the holonomy maps and the (lack of) continuity of the Rokhlin disintegrations of $u$-states. Our main …
Let $G$ be a semisimple Lie group acting on a space $X$, let $μ$ be a compactly supported measure on $G$, and let $A$ be a strongly irreducible linear cocycle over the action of $G$. We then have a random walk on $X$, and let $T$ be the associated shift map. We show that the cocycle $A$ over the action of $T$ is conjugate to a block conformal cocycle. This statement is used in the recent paper by Eskin-Mirzakhani on the classifications of invariant measures for the SL(2,R) action on moduli space. The ingredients of the proof are essentially contained in the papers of Guivarch and Raugi and als…
We study the problem of estimating the maximal Lyapunov exponent of dominated cocycles. In particular we are concerned with cocycles over Gibbs states on shifts of finite type for which both the function defining the cocycle and the potential defining the Gibbs state may depend on infinitely many coordinates but are still very regular. We show that when the $n$th variation of both the cocycle and the potential is $O(e^{-cn^{2}})$ for some $c>h_{\text{top}}$ then using periodic points of period less then $n$ the Lyapunov exponent can be approximated to an accuracy $O(n^{-kn})$ for some explicit…
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…
Given a finite set of quasi-periodic cocycles the random product of them is defined as the random composition according to some probability measure. We prove that the set of $C^r$, $0\leq r \leq \infty$ (or analytic) $k+1$-tuples of quasi periodic cocycles taking values in $SL_2(\mathbb{R})$ such that the random product of them has positive Lyapunov exponent contains a $C^0$ open and $C^r$ dense subset which is formed by $C^0$ continuity point of the Lyapunov exponent For $k+1$-tuples of quasi periodic cocycles taking values in $GL_d(\mathbb{R})$ for $d>2$, we prove that if one of them is diag…
We prove that the Bochi-Mañé theorem is false, in general, for linear cocycles over non-invertible maps: there are C0-open subsets of linear cocycles that are not uniformly hyperbolic and yet have Lyapunov exponents bounded from zero.
We give a new proof of E. Le Page's theorem on the Holder continuity of the first Lyapunov exponent in the class of irreducible Bernoulli cocycles. This suggests an algorithm to approximate the first Lyapunov exponent, as well as the stationary measure, for such random cocycles.
We prove a new characterization of uniform hyperbolicity for fiber-bunched cocycles. Specifically, we show that the existence of a uniform gap between the Lyapunov exponents of a fiber-bunched $SL(2,\mathbb{R})$-cocycle defined over a subshift of finite type or an Anosov diffeomorphism implies uniform hyperbolicity. In addition, we construct an $α$-Hölder cocycle which has uniform gap between the Lyapunov exponents, however it is not uniformly hyperbolic.