Showing 1–44 of 44 results for author: Duarte, P

Hölder continuity of Lyapunov exponents for non-invertible and non-compact random cocycles

Authors: Pedro Duarte, Tomé Graxinha

Abstract: We study the regularity of Lyapunov exponents for random linear cocycles taking values in $\Mat_m(\R)$ and driven by i.i.d. processes. Under three natural conditions - finite exponential moments, a spectral gap between the top two Lyapunov exponents, and quasi-irreducibility of the associated semigroup - we prove that the top Lyapunov exponent is Hölder continuous with respect to the Wasserstein d… ▽ More We study the regularity of Lyapunov exponents for random linear cocycles taking values in $\Mat_m(\R)$ and driven by i.i.d. processes. Under three natural conditions - finite exponential moments, a spectral gap between the top two Lyapunov exponents, and quasi-irreducibility of the associated semigroup - we prove that the top Lyapunov exponent is Hölder continuous with respect to the Wasserstein distance. In the final section, we apply the main results to Schrödinger cocycles with unbounded potentials. △ Less

Submitted 4 June, 2025; originally announced June 2025.

MSC Class: 37H15; 37A30

Random 2D linear cocycles II: statistical properties

Authors: Pedro Duarte, Marcelo Durães, Tomé Graxinha, Silvius Klein

Abstract: Consider the space of two dimensional random linear cocycles over a shift in finitely many symbols, with at least one singular and one invertible matrix. We provide an explicit formula for the unique stationary measure associated to such cocycles and establish a Furstenberg-type formula characterizing the Lyapunov exponent. Using the spectral properties of the corresponding Markov operator and a p… ▽ More Consider the space of two dimensional random linear cocycles over a shift in finitely many symbols, with at least one singular and one invertible matrix. We provide an explicit formula for the unique stationary measure associated to such cocycles and establish a Furstenberg-type formula characterizing the Lyapunov exponent. Using the spectral properties of the corresponding Markov operator and a parameter elimination argument, we prove that Lebesgue almost every cocycle in this space satisfies large deviations estimates and a central limit theorem. △ Less

Submitted 30 April, 2025; originally announced May 2025.

Comments: 43 pages

MSC Class: 37A30

Random 2D linear cocycles I: dichotomic behavior

Authors: Pedro Duarte, Marcelo Durães, Tomé Graxinha, Silvius Klein

Abstract: In this paper we establish a Bochi-Mañé type dichotomy in the space of two dimensional, nonnegative determinant matrix valued, locally constant linear cocycles over a Bernoulli or Markov shift. Moreover, we prove that Lebesgue almost every such cocycle has finite first Lyapunov exponent, which then implies a break in the regularity of the Lyapunov exponent, from analyticity to discontinuity. In this paper we establish a Bochi-Mañé type dichotomy in the space of two dimensional, nonnegative determinant matrix valued, locally constant linear cocycles over a Bernoulli or Markov shift. Moreover, we prove that Lebesgue almost every such cocycle has finite first Lyapunov exponent, which then implies a break in the regularity of the Lyapunov exponent, from analyticity to discontinuity. △ Less

Submitted 26 March, 2025; originally announced March 2025.

Comments: 33 pages

MSC Class: 37H15

Isospectral Reductions of Non-negative Matrices

Authors: Alexandre Baraviera, Pedro Duarte, Longmei Shu, Maria Joana Torres

Abstract: Isospectral reduction is an important tool for network/matrix analysis as it reduces the dimension of a matrix/network while preserving its eigenvalues and eigenvectors. The main contribution of this manuscript is a proposed algorithmic scheme to approximate the stationary measure of a stochastic matrix based on isospectral reductions. We run numerical experiments that indicate this scheme is adva… ▽ More Isospectral reduction is an important tool for network/matrix analysis as it reduces the dimension of a matrix/network while preserving its eigenvalues and eigenvectors. The main contribution of this manuscript is a proposed algorithmic scheme to approximate the stationary measure of a stochastic matrix based on isospectral reductions. We run numerical experiments that indicate this scheme is advantageous when there is more than one eigenvalue near 1, precisely the case where iterative methods perform poorly. We give a partial explanation why this scheme should work well, showing that in some situations isospectral reduction improves the spectral gap. △ Less

Submitted 14 March, 2025; v1 submitted 31 July, 2023; originally announced August 2023.

MSC Class: 15A18; 05C50

Statistical properties for mixing Markov chains with applications to dynamical systems

Authors: Ao Cai, Pedro Duarte, Silvius Klein

Abstract: We establish an abstract, effective, exponential large deviations type estimate for Markov systems satisfying a weaker form of mixing. We employ this result to derive such estimates, as well as a central limit theorem, for the skew product encoding a random torus translation, a model we call a mixed random-quasiperiodic dynamical system. This abstract scheme is applicable to many other types of sk… ▽ More We establish an abstract, effective, exponential large deviations type estimate for Markov systems satisfying a weaker form of mixing. We employ this result to derive such estimates, as well as a central limit theorem, for the skew product encoding a random torus translation, a model we call a mixed random-quasiperiodic dynamical system. This abstract scheme is applicable to many other types of skew product dynamics, including systems for which the spectral gap property for the transition or the transfer operator does not hold. △ Less

Submitted 14 May, 2024; v1 submitted 30 October, 2022; originally announced October 2022.

Comments: 42 pages, 1 figure. Compared to the previous version we added several references and rephrased the main result in a more general setting

Continuity of the Lyapunov exponents of non-invertible random cocycles with constant rank

Authors: Catalina Freijo, Pedro Duarte

Abstract: 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. 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. △ Less

Submitted 26 October, 2022; originally announced October 2022.

Comments: 19 pages

A dynamical Thouless formula

Authors: Jamerson Bezerra, Ao Cai, Pedro Duarte, Catalina Freijo, Silvius Klein

Abstract: In this paper we establish an abstract, dynamical Thouless-type formula for affine families of $\mathrm{GL} (2,\mathbb{R})$ cocycles. This result extends the classical formula relating, via the Hilbert transform, the maximal Lyapunov exponent and the integrated density of states of a Schrödinger operator. Here, the role of the integrated density of states will be played by a more geometrical quant… ▽ More In this paper we establish an abstract, dynamical Thouless-type formula for affine families of $\mathrm{GL} (2,\mathbb{R})$ cocycles. This result extends the classical formula relating, via the Hilbert transform, the maximal Lyapunov exponent and the integrated density of states of a Schrödinger operator. Here, the role of the integrated density of states will be played by a more geometrical quantity, the fibered rotation number. As an application of this formula we present limitations on the modulus of continuity of random linear cocycles. Moreover, we derive Hölder-type continuity properties of the fibered rotation number for linear cocycles over various base dynamics. △ Less

Submitted 19 September, 2022; v1 submitted 11 August, 2022; originally announced August 2022.

Comments: A couple of references added

Upper bound on the regularity of the Lyapunov exponent for random products of matrices

Authors: Jamerson Bezerra, Pedro Duarte

Abstract: We prove that if $μ$ is a finitely supported measure on $\text{SL}_2(\mathbb{R})$ with positive Lyapunov exponent but not uniformly hyperbolic, then the Lyapunov exponent function is not $α$-Hölder around $μ$ for any $α$ exceeding the Shannon entropy of $μ$ over the Lyapunov exponent of $μ$. We prove that if $μ$ is a finitely supported measure on $\text{SL}_2(\mathbb{R})$ with positive Lyapunov exponent but not uniformly hyperbolic, then the Lyapunov exponent function is not $α$-Hölder around $μ$ for any $α$ exceeding the Shannon entropy of $μ$ over the Lyapunov exponent of $μ$. △ Less

Submitted 6 August, 2022; originally announced August 2022.

Furstenberg Theory of Mixed Random-Quasiperiodic Cocycles

Authors: Ao Cai, Pedro Duarte, Silvius Klein

Abstract: We derive a criterion for the positivity of the maximal Lyapunov exponent of generic mixed random-quasiperiodic linear cocycles, a model introduced in a previous work. This result is applicable to cocycles corresponding to Schrödinger operators with randomly perturbed quasiperiodic potentials. Moreover, we establish an average uniform convergence to the Lyapunov exponent in the Oseledets theorem. We derive a criterion for the positivity of the maximal Lyapunov exponent of generic mixed random-quasiperiodic linear cocycles, a model introduced in a previous work. This result is applicable to cocycles corresponding to Schrödinger operators with randomly perturbed quasiperiodic potentials. Moreover, we establish an average uniform convergence to the Lyapunov exponent in the Oseledets theorem. △ Less

Submitted 22 February, 2022; v1 submitted 12 January, 2022; originally announced January 2022.

Comments: 46 pages

Hölder continuity of the Lyapunov exponents of linear cocycles over hyperbolic maps

Authors: Pedro Duarte, Silvius Klein, Mauricio Poletti

Abstract: Given a hyperbolic homeomorphism on a compact metric space, consider the space of linear cocycles over this base dynamics which are Hölder continuous and whose projective actions are partially hyperbolic dynamical systems. We prove that locally near any typical cocycle, the Lyapunov exponents are Hölder continuous functions relative to the uniform topology. This result is obtained as a consequence… ▽ More Given a hyperbolic homeomorphism on a compact metric space, consider the space of linear cocycles over this base dynamics which are Hölder continuous and whose projective actions are partially hyperbolic dynamical systems. We prove that locally near any typical cocycle, the Lyapunov exponents are Hölder continuous functions relative to the uniform topology. This result is obtained as a consequence of a uniform large deviations type estimate in the space of cocycles. As a byproduct of our approach, we also establish other statistical properties for the iterates of such cocycles, namely a central limit theorem and a large deviations principle. △ Less

Submitted 19 October, 2021; originally announced October 2021.

Mixed Random-Quasiperiodic Cocycles

Authors: Ao Cai, Pedro Duarte, Silvius Klein

Abstract: We introduce the concept of mixed random-quasiperiodic linear cocycles. We characterize the ergodicity of the base dynamics and establish a large deviations type estimate for certain types of observables. For the fiber dynamics we prove the uniform upper semicontinuity of the maximal Lyapunov exponent. This paper is meant to introduce a model to be studied in depth in further projects. We introduce the concept of mixed random-quasiperiodic linear cocycles. We characterize the ergodicity of the base dynamics and establish a large deviations type estimate for certain types of observables. For the fiber dynamics we prove the uniform upper semicontinuity of the maximal Lyapunov exponent. This paper is meant to introduce a model to be studied in depth in further projects. △ Less

Submitted 20 September, 2021; originally announced September 2021.

Comments: 29 pages

MSC Class: 7D25; 37A05; 37A60; 37A50; 31A05; 32A10; 81Q10

Asymptotic Dynamics of Hamiltonian Polymatrix Replicators

Authors: Hassan Najafi Alishah, Pedro Duarte, Telmo Peixe

Abstract: In a previous paper [3] we have studied flows defined on polytopes, presenting a new method to encapsulate its asymptotic dynamics along the edge-vertex heteroclinic network. These results apply to the class of polymatrix replicator systems, which contains several important models in Evolutionary Game Theory. Here we establish the Hamiltonian character of the asymptotic dynamics of Hamiltonian pol… ▽ More In a previous paper [3] we have studied flows defined on polytopes, presenting a new method to encapsulate its asymptotic dynamics along the edge-vertex heteroclinic network. These results apply to the class of polymatrix replicator systems, which contains several important models in Evolutionary Game Theory. Here we establish the Hamiltonian character of the asymptotic dynamics of Hamiltonian polymatrix replicators. △ Less

Submitted 13 October, 2021; v1 submitted 23 February, 2021; originally announced February 2021.

Comments: Some notations are simplified with respect to the first version and some minor errors are fixed

A random cocycle with non Hölder Lyapunov exponent

Authors: Pedro Duarte, Silvius Klein, Manuel Santos

Abstract: We provide an example of a Schrödinger cocycle over a mixing Markov shift for which the integrated density of states has a very weak modulus of continuity, close to the log-Hölder lower bound established by W. Craig and B. Simon. This model is based upon a classical example due to Y. Kifer of a random Bernoulli cocycle with zero Lyapunov exponents which is not strongly irreducible. It follows that… ▽ More We provide an example of a Schrödinger cocycle over a mixing Markov shift for which the integrated density of states has a very weak modulus of continuity, close to the log-Hölder lower bound established by W. Craig and B. Simon. This model is based upon a classical example due to Y. Kifer of a random Bernoulli cocycle with zero Lyapunov exponents which is not strongly irreducible. It follows that the Lyapunov exponent of a Bernoulli cocycle near this Kifer example cannot be Hölder or weak-Hölder continuous, thus providing a limitation on the modulus of continuity of the Lyapunov exponent of random cocycles. △ Less

Submitted 6 November, 2018; originally announced November 2018.

Comments: 22 pages

Large deviations for products of random two dimensional matrices

Authors: Pedro Duarte, Silvius Klein

Abstract: We establish large deviation type estimates for i.i.d. products of two dimensional random matrices with finitely supported probability distribution. The estimates are stable under perturbations and require no irreducibility assumptions. In consequence, we obtain a uniform local modulus of continuity for the corresponding Lyapunov exponent regarded as a function of the support of the distribution.… ▽ More We establish large deviation type estimates for i.i.d. products of two dimensional random matrices with finitely supported probability distribution. The estimates are stable under perturbations and require no irreducibility assumptions. In consequence, we obtain a uniform local modulus of continuity for the corresponding Lyapunov exponent regarded as a function of the support of the distribution. This in turn has consequences on the modulus of continuity of the integrated density of states and on the localization properties of random Jacobi operators. △ Less

Submitted 18 October, 2018; originally announced October 2018.

On the attractor of piecewise expanding maps of the interval

Authors: Gianluigi Del Magno, João Lopes Dias, Pedro Duarte, José Pedro Gaivão

Abstract: We consider piecewise expanding maps of the interval with finitely many branches of monotonicity and show that they are generically combinatorially stable, i.e., the number of ergodic attractors and their corresponding mixing periods do not change under small perturbations of the map. Our methods provide a topological description of the attractor and, in particular, give an elementary proof of the… ▽ More We consider piecewise expanding maps of the interval with finitely many branches of monotonicity and show that they are generically combinatorially stable, i.e., the number of ergodic attractors and their corresponding mixing periods do not change under small perturbations of the map. Our methods provide a topological description of the attractor and, in particular, give an elementary proof of the density of periodic orbits. △ Less

Submitted 17 November, 2017; originally announced November 2017.

Comments: 19 pages, 2 figures

Topological obstructions to dominated splitting for ergodic translations on the higher dimensional torus

Authors: Pedro Duarte, Silvius Klein

Abstract: 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 h… ▽ More 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. △ Less

Submitted 10 April, 2017; originally announced April 2017.

Comments: 11 pages. arXiv admin note: text overlap with arXiv:1603.06851

Approximating Lyapunov exponents and stationary measures

Authors: Alexandre Baraviera, Pedro Duarte

Abstract: 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 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. △ Less

Submitted 5 April, 2017; originally announced April 2017.

Comments: 27 pages, 2 figures

MSC Class: 37H15; 37D25

Isospectral Reduction in Infinite Graphs

Authors: Pedro Duarte, Maria Joana Torres

Abstract: L. A. Bunimovich and B. Z. Webb developed a theory for transforming a finite weighted graph while preserving its spectrum, referred as isospectral reduction theory. In this work we extend this theory to a class of operators on Banach spaces that include Markov type operators. We apply this theory to infinite countable weighted graphs admitting a finite structural set to calculate the stationary me… ▽ More L. A. Bunimovich and B. Z. Webb developed a theory for transforming a finite weighted graph while preserving its spectrum, referred as isospectral reduction theory. In this work we extend this theory to a class of operators on Banach spaces that include Markov type operators. We apply this theory to infinite countable weighted graphs admitting a finite structural set to calculate the stationary measures of a family of countable Markov chains. △ Less

Submitted 26 June, 2018; v1 submitted 20 July, 2016; originally announced July 2016.

Continuity, positivity and simplicity of the Lyapunov exponents for quasi-periodic cocycles

Authors: Pedro Duarte, Silvius Klein

Abstract: An analytic quasi-periodic cocycle is a linear cocycle over a fixed ergodic torus translation of one or several variables, where the fiber action depends analytically on the base point. Consider the space of all such cocycles of any given dimension and endow it with the uniform norm. Assume that the translation vector satisfies a generic Diophantine condition. We prove large deviation type estimat… ▽ More An analytic quasi-periodic cocycle is a linear cocycle over a fixed ergodic torus translation of one or several variables, where the fiber action depends analytically on the base point. Consider the space of all such cocycles of any given dimension and endow it with the uniform norm. Assume that the translation vector satisfies a generic Diophantine condition. We prove large deviation type estimates for the iterates of such cocycles, which, moreover, are stable under small perturbations of the cocycle. As a consequence of these uniform estimates, we establish continuity properties of the Lyapunov exponents regarded as functions on this space of cocycles. This result builds upon our previous work on this topic and its proof uses an abstract continuity theorem of the Lyapunov exponents which we derived in a recent monograph. The new feature of this paper is extending the availability of such results to cocycles that are identically singular (i.e. non-invertible anywhere), in the several variables torus translation setting. This feature is exactly what allows us, through a simple limiting argument, to obtain criteria for the positivity and simplicity of the Lyapunov exponents of such cocycles. Specializing to the family of cocycles corresponding to a block Jacobi operator, we derive consequences on the continuity, positivity and simplicity of its Lyapunov exponents, and on the continuity of its integrated density of states. △ Less

Submitted 15 March, 2017; v1 submitted 22 March, 2016; originally announced March 2016.

Comments: 64 pages. Last section removed, references added, journal referee suggestions included. To appear in the Journal of the European Mathematical Society (JEMS)

MSC Class: 37D25; 37A05; 37A60; 37A50; 31A05; 32A10; 81Q10

Hyperbolic billiards on polytopes with contracting reflection laws

Authors: Pedro Duarte, José Pedro Gaivão, Mohammad Soufi

Abstract: We study billiards on polytopes in $\Rr^d$ with contracting reflection laws, i.e. non-standard reflection laws that contract the reflection angle towards the normal. We prove that billiards on generic polytopes are uniformly hyperbolic provided there exists a positive integer $k$ such that for any $k$ consecutive collisions, the corresponding normals of the faces of the polytope where the collisio… ▽ More We study billiards on polytopes in $\Rr^d$ with contracting reflection laws, i.e. non-standard reflection laws that contract the reflection angle towards the normal. We prove that billiards on generic polytopes are uniformly hyperbolic provided there exists a positive integer $k$ such that for any $k$ consecutive collisions, the corresponding normals of the faces of the polytope where the collisions took place generate $\Rr^d$. As an application of our main result we prove that billiards on generic polytopes are uniformly hyperbolic if either the contracting reflection law is sufficiently close to the specular or the polytope is obtuse. Finally, we study in detail the billiard on a family of $3$-dimensional simplexes. △ Less

Submitted 7 November, 2016; v1 submitted 2 February, 2016; originally announced February 2016.

Comments: 37 pages and 4 figures

MSC Class: 37D50

Conservative and Dissipative Polymatrix Replicators

Authors: Hassan Najafi Alishah, Pedro Duarte, Telmo Peixe

Abstract: In this paper we address a class of replicator dynamics, referred as polymatrix replicators, that contains well known classes of evolutionary game dynamics, such as the symmetric and asymmetric (or bimatrix) replicator equations, and some replicator equations for $n$-person games. Polymatrix replicators form a simple class of algebraic o.d.e.'s on prisms (products of simplexes), which describe the… ▽ More In this paper we address a class of replicator dynamics, referred as polymatrix replicators, that contains well known classes of evolutionary game dynamics, such as the symmetric and asymmetric (or bimatrix) replicator equations, and some replicator equations for $n$-person games. Polymatrix replicators form a simple class of algebraic o.d.e.'s on prisms (products of simplexes), which describe the evolution of strategical behaviours within a po\-pu\-lation stratified in $n\geq 1$ social groups. In the 80's Raymond Redheffer et al. developed a theory on the class of stably dissipative Lotka-Volterra systems. This theory is built around a reduction algorithm that "infers" the localization of the system' s attractor in some affine subspace. It was later proven that the dynamics on the attractor of such systems is always embeddable in a Hamiltonian Lotka-Volterra system. In this paper we extend these results to polymatrix replicators. △ Less

Submitted 28 July, 2015; originally announced July 2015.

MSC Class: 91A22; 37B25; 70G45

Journal ref: Journal of Dynamics and Games, v. 2, Issue 2, April 2015

Hyperbolic polygonal billiards with finitely many ergodic SRB measures

Authors: Gianluigi Del Magno, João Lopes Dias, Pedro Duarte, José Pedro Gaivão

Abstract: 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. 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. △ Less

Submitted 22 July, 2015; originally announced July 2015.

Comments: 26 pages, 2 figures

Continuity of the Oseledets Decomposition

Authors: Pedro Duarte, Silvius Klein

Abstract: We consider an abstract space of measurable linear cocycles and we assume the availability in this space of some appropriate uniform large deviation type estimates. Under these hypotheses we establish the continuity of the Oseledets filtration and decomposition as functions of the cocycle. The same assumptions lead in [6] to a general continuity theorem for the Lyapunov exponents. This result and… ▽ More We consider an abstract space of measurable linear cocycles and we assume the availability in this space of some appropriate uniform large deviation type estimates. Under these hypotheses we establish the continuity of the Oseledets filtration and decomposition as functions of the cocycle. The same assumptions lead in [6] to a general continuity theorem for the Lyapunov exponents. This result and other technical estimates derived in [6], along with the inductive scheme based on the Avalanche Principle, are the main ingredients of the arguments in this paper. We also give a new proof of the classical Multiplicative Ergodic Theorem of V. Oseledets, using the Avalanche Principle (AP). This is a draft of a chapter in our forthcoming research monograph [6]. △ Less

Submitted 10 July, 2015; originally announced July 2015.

Comments: 53 pages

Large deviation type estimates for random cocycles

Authors: Silvius Klein, Pedro Duarte

Abstract: In this paper we prove the continuity of all Lyapunov exponents, as well as the continuity of the Oseledets decomposition, for a class of irreducible cocycles over strongly mixing Markov shifts. Moreover, gaps in the Lyapunov spectrum lead to a Hölder modulus of continuity for these quantities. This result is an application of the abstract continuity theorems obtained in [4], and generalizes a the… ▽ More In this paper we prove the continuity of all Lyapunov exponents, as well as the continuity of the Oseledets decomposition, for a class of irreducible cocycles over strongly mixing Markov shifts. Moreover, gaps in the Lyapunov spectrum lead to a Hölder modulus of continuity for these quantities. This result is an application of the abstract continuity theorems obtained in [4], and generalizes a theorem of E. Le Page on the Hölder continuity of the maximal LE for one-parameter families of strongly irreducible and contracting cocycles over a Bernoulli shift. This is a draft of a chapter in our forthcoming research monograph [4]. △ Less

Submitted 10 July, 2015; originally announced July 2015.

The Avalanche Principle and other estimates on Grassmann manifolds

Authors: Silvius Klein, Pedro Duarte

Abstract: The main result of this paper, called the Avalanche Principle (AP), relates the expansion of a long product of matrices with the product of expansions of the individual matrices. This principle was introduced by M. Goldstein and W. Schlag in the context of ${\rm SL}(2,\mathbb{C})$ matrices. Besides extending the AP to matrices of arbitrary dimension, possibly non-invertible, the geometric approach… ▽ More The main result of this paper, called the Avalanche Principle (AP), relates the expansion of a long product of matrices with the product of expansions of the individual matrices. This principle was introduced by M. Goldstein and W. Schlag in the context of ${\rm SL}(2,\mathbb{C})$ matrices. Besides extending the AP to matrices of arbitrary dimension, possibly non-invertible, the geometric approach we use here provides a relation between the most expanding (singular) directions of such a long product of matrices and the corresponding singular directions of the first and last matrices in the product. The AP along with other estimates on the action of matrices on Grassmann manifolds will play a fundamental role in [6] to establish the continuity the Lyapunov exponents and of the Oseledets decomposition for linear cocycles. This is the draft of a chapter in our forthcoming research monograph [6]. △ Less

Submitted 10 July, 2015; originally announced July 2015.

Hyperbolic polygonal billiards close to 1-dimensional piecewise expanding maps

Authors: Gianluigi Del Magno, João Lopes Dias, Pedro Duarte, José Pedro Gaivão

Abstract: We consider polygonal billiards with collisions contracting the reflection angle towards the normal to the boundary of the table. In previous work, we proved that such billiards has a finite number of ergodic SRB measures supported on hyperbolic generalized attractors. Here we study the relation of these measures with the ergodic absolutely continuous invariant probability measures (acips) of the… ▽ More We consider polygonal billiards with collisions contracting the reflection angle towards the normal to the boundary of the table. In previous work, we proved that such billiards has a finite number of ergodic SRB measures supported on hyperbolic generalized attractors. Here we study the relation of these measures with the ergodic absolutely continuous invariant probability measures (acips) of the slap map, the 1-dimensional map obtained from the billiard map when the angle of reflection is always equal to zero. Our main result states that for a generic polygon, if the reflection law has a Lipschitz constant sufficiently small, then there exists a one-to-one correspondence between the ergodic SRB measures of the billiard map and the ergodic acips of the corresponding slap map, and moreover that the number of Bernoulli components of each ergodic SRB measure equals the number of the exact components of the corresponding ergodic acip. The case of billiards in regular polygons and triangles is studied in detail. △ Less

Submitted 28 October, 2019; v1 submitted 15 January, 2015; originally announced January 2015.

Comments: 41 pages, 4 figure

Eigenvectors of isospectral graph transformations

Authors: Pedro Duarte, Maria Joana Torres

Abstract: L.A. Bunimovich and B.Z. Webb developed a theory for isospectral graph reduction. We make a simple observation regarding the relation between eigenvectors of the original graph and its reduction, that sheds new light on this theory. As an application we propose an updating algorithm for the maximal eigenvector of the Markov matrix associated to a large sparse dynamical network. L.A. Bunimovich and B.Z. Webb developed a theory for isospectral graph reduction. We make a simple observation regarding the relation between eigenvectors of the original graph and its reduction, that sheds new light on this theory. As an application we propose an updating algorithm for the maximal eigenvector of the Markov matrix associated to a large sparse dynamical network. △ Less

Submitted 29 January, 2015; v1 submitted 22 December, 2014; originally announced December 2014.

Asymptotic Poincaré Maps along the edges of Polytopes

Authors: Hassan Najafi Alishah, Pedro Duarte, Telmo Peixe

Abstract: For a class of flows on polytopes, including many examples from Evolutionary Game Theory, we describe a piecewise linear model which encapsulates the asymptotic dynamics along the heteroclinic network formed out of the polytope's vertexes and edges. This piecewise linear flow is easy to compute even in higher dimensions, which allows the usage of numeric algorithms to find invariant dynamical stru… ▽ More For a class of flows on polytopes, including many examples from Evolutionary Game Theory, we describe a piecewise linear model which encapsulates the asymptotic dynamics along the heteroclinic network formed out of the polytope's vertexes and edges. This piecewise linear flow is easy to compute even in higher dimensions, which allows the usage of numeric algorithms to find invariant dynamical structures such as periodic, homoclinic or heteroclinic orbits, which if robust persist as invariant dynamical structures of the original flow. We apply this method to prove the existence of chaotic behavior in some Hamiltonian replicator systems on the five dimensional simplex. △ Less

Submitted 19 November, 2018; v1 submitted 23 November, 2014; originally announced November 2014.

Comments: Major modifications have been applied with respect to second version

Journal ref: Nonlinearity, v. 33, Issue 1, January 2020

Large deviations for quasi-periodic cocycles with singularities

Authors: Pedro Duarte, Silvius Klein

Abstract: We derive large deviations type (LDT) estimates for linear cocycles over an ergodic multifrequency torus translation. These models are called quasi-periodic cocycles. We make the following assumptions on the model: the translation vector satisfies a generic Diophantine condition, and the fiber action is given by a matrix valued analytic function of several variables which is not identically singul… ▽ More We derive large deviations type (LDT) estimates for linear cocycles over an ergodic multifrequency torus translation. These models are called quasi-periodic cocycles. We make the following assumptions on the model: the translation vector satisfies a generic Diophantine condition, and the fiber action is given by a matrix valued analytic function of several variables which is not identically singular. The LDT estimates obtained here depend on some uniform measurements on the cocycle. Our general results derived in [9] regarding the continuity properties of the Lyapunov exponents (LE) and of the Oseledets filtration and decompositions are then applicable, and we obtain local weak-Holder continuity of these quantities in the presence of gaps in the Lyapunov spectrum. The main new feature of this work is allowing a cocycle depending on several variables to have singularities, i.e. points of non invertibility. This requires a careful analysis of the set of zeros of certain analytic functions of several variables and of the singularities (i.e. negative infinity values) of pluri-subharmonic functions related to the iterates of the cocycle. A refinement of this method in the one variable case leads to a stronger LDT estimate and in turn to a stronger, nearly-Holder modulus of continuity of the LE, Oseledets filtration and Oseledets decomposition. This is a draft of a chapter in our forthcoming research monograph [9]. △ Less

Submitted 10 July, 2015; v1 submitted 3 October, 2014; originally announced October 2014.

Comments: 42 pages

An abstract continuity theorem of the Lyapunov exponents

Authors: Pedro Duarte, Silvius Klein

Abstract: We devise an abstract, modular scheme to prove continuity of the Lyapunov exponents for a general class of linear cocycles. The main assumption is the availability of appropriate large deviation type (LDT) estimates which are uniform in the data. We provide a modulus of continuity that depends explicitly on the sharpness of the LDT estimate. Our method uses an inductive procedure based on the dete… ▽ More We devise an abstract, modular scheme to prove continuity of the Lyapunov exponents for a general class of linear cocycles. The main assumption is the availability of appropriate large deviation type (LDT) estimates which are uniform in the data. We provide a modulus of continuity that depends explicitly on the sharpness of the LDT estimate. Our method uses an inductive procedure based on the deterministic, general Avalanche Principle in [4]. The main advantage of this approach, besides the fact that it provides quantitative estimates, is its versatility, as it applies to quasi-periodic cocycles (one and multivariable torus translations), to random cocycles (i.i.d. and Markov systems) and to any other types of base dynamics as long as appropriate LDT estimates are satisfied. Moreover, compared to other available quantitative results for quasi-periodic or random cocycles, this method allows for weaker assumptions. This is a draft of a chapter in our forthcoming research monograph [4]. △ Less

Submitted 10 July, 2015; v1 submitted 2 October, 2014; originally announced October 2014.

Comments: 32 pages

Hamiltonian Evolutionary Games

Authors: Hassan Najafi Alishah, Pedro Duarte

Abstract: We introduce a class of o.d.e.'s that generalizes to polymatrix games the replicator equations on symmetric and asymmetric games. We also introduce a new class of Poisson structures on the phase space of these systems, and characterize the corresponding subclass of Hamiltonian polymatrix replicator systems. This extends known results for symmetric and asymmetric replicator systems. We introduce a class of o.d.e.'s that generalizes to polymatrix games the replicator equations on symmetric and asymmetric games. We also introduce a new class of Poisson structures on the phase space of these systems, and characterize the corresponding subclass of Hamiltonian polymatrix replicator systems. This extends known results for symmetric and asymmetric replicator systems. △ Less

Submitted 2 May, 2014; v1 submitted 23 April, 2014; originally announced April 2014.

Comments: 23 pages, one figure

MSC Class: 91A22; 70G45

Journal ref: Journal of Dynamics and Games, v2, Issue 1, Jan. 2015

r-Regularity

Authors: Pedro Duarte, Maria Joana Torres

Abstract: We provide a characterization of r-regular sets in terms of the Lipschitz regularity of normal vector fields to the boundary. We provide a characterization of r-regular sets in terms of the Lipschitz regularity of normal vector fields to the boundary. △ Less

Submitted 19 February, 2014; v1 submitted 18 February, 2014; originally announced February 2014.

MSC Class: 53B21; 65D18

Ergodicity of polygonal slap maps

Authors: Gianluigi Del Magno, João Lopes Dias, Pedro Duarte, José Pedro Gaivão

Abstract: Polygonal slap maps are piecewise affine expanding maps of the interval obtained by projecting the sides of a polygon along their normals onto the perimeter of the polygon. These maps arise in the study of polygonal billiards with non-specular reflections laws. We study the absolutely continuous invariant probabilities of the slap maps for several polygons, including regular polygons and triangles… ▽ More Polygonal slap maps are piecewise affine expanding maps of the interval obtained by projecting the sides of a polygon along their normals onto the perimeter of the polygon. These maps arise in the study of polygonal billiards with non-specular reflections laws. We study the absolutely continuous invariant probabilities of the slap maps for several polygons, including regular polygons and triangles. We also present a general method for constructing polygons with slap maps having more than one ergodic absolutely continuous invariant probability. △ Less

Submitted 4 December, 2013; originally announced December 2013.

Comments: 17 pages, 6 figures

A Class of Morse Functions on Flag Manifolds

Authors: Pedro Duarte

Abstract: Given a positive definite symmetric matrix in one of the groups SL(n, R) or Sp(n, R), we analyse its actions on Flag Manifolds, proving these are diffeomorphisms which admit as strict Lyapunov functions a special class of quadratic functions, all of them Z2 -perfect Morse functions. Stratifications on the Flag Manifolds are provided which are invariant under both the diffeomorphisms and the gradie… ▽ More Given a positive definite symmetric matrix in one of the groups SL(n, R) or Sp(n, R), we analyse its actions on Flag Manifolds, proving these are diffeomorphisms which admit as strict Lyapunov functions a special class of quadratic functions, all of them Z2 -perfect Morse functions. Stratifications on the Flag Manifolds are provided which are invariant under both the diffeomorphisms and the gradient flows of the Lyapunov functions. △ Less

Submitted 6 November, 2013; originally announced November 2013.

Continuity of the Lyapunov exponents for quasiperiodic cocycles

Authors: Pedro Duarte, Silvius Klein

Abstract: 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 loca… ▽ More 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 Diophantine translations on higher dimensional tori, albeit with a loss in the modulus of continuity of the Lyapunov spectrum blocks. △ Less

Submitted 16 August, 2013; v1 submitted 31 May, 2013; originally announced May 2013.

Comments: 63 pages, 1 figure

Journal ref: Comm. Math. Phys. 332 (2014), no. 3, 1113 - 1166

SRB measures for hyperbolic polygonal billiards

Authors: Gianluigi Del Magno, João Lopes Dias, Pedro Duarte, José Pedro Gaivão, Diogo Pinheiro

Abstract: We prove that polygonal billiards with contracting reflection laws exhibit hyperbolic attractors with countably many ergodic SRB measures. These measures are robust under small perturbations of the reflection law, and the tables for which they exist form a generic set in the space of all polygons. Specific polygonal tables are studied in detail. We prove that polygonal billiards with contracting reflection laws exhibit hyperbolic attractors with countably many ergodic SRB measures. These measures are robust under small perturbations of the reflection law, and the tables for which they exist form a generic set in the space of all polygons. Specific polygonal tables are studied in detail. △ Less

Submitted 6 February, 2013; originally announced February 2013.

Comments: 41 pages, 5 figures

Positive Lyapunov exponents for higher dimensional quasiperiodic cocycles

Authors: Pedro Duarte, Silvius Klein

Abstract: We consider an m-dimensional analytic cocycle with underlying dynamics given by an irrational translation on the circle. Assuming that the d-dimensional upper left corner of the cocycle is typically large enough, we prove that the d largest Lyapunov exponents associated with this cocycle are bounded away from zero. The result is uniform relative to certain measurements on the matrix blocks forming… ▽ More We consider an m-dimensional analytic cocycle with underlying dynamics given by an irrational translation on the circle. Assuming that the d-dimensional upper left corner of the cocycle is typically large enough, we prove that the d largest Lyapunov exponents associated with this cocycle are bounded away from zero. The result is uniform relative to certain measurements on the matrix blocks forming the cocycle. As an application of this result, we obtain nonperturbative (in the spirit of Sorets-Spencer theorem) positive lower bounds of the nonnegative Lyapunov exponents for various models of band lattice Schroedinger operators. △ Less

Submitted 5 July, 2013; v1 submitted 16 November, 2012; originally announced November 2012.

Comments: 37 pages

Journal ref: Comm. Math. Phys. 332 (2014), no. 1, 189 - 219

Formulas for Lyapunov exponents

Authors: A. T. Baraviera, P. Duarte

Abstract: We derive a series summation formula for the average logarithm norm of the action of a matrix on the projective space. This formula is shown to be useful to evaluate some Lyapunov exponents of random $\SL$-matrix cocycles, which include a special class for which H. Furstenberg had provided an explicit integral formula. We derive a series summation formula for the average logarithm norm of the action of a matrix on the projective space. This formula is shown to be useful to evaluate some Lyapunov exponents of random $\SL$-matrix cocycles, which include a special class for which H. Furstenberg had provided an explicit integral formula. △ Less

Submitted 23 July, 2012; originally announced July 2012.

Comments: 15 pages, 1 figure

MSC Class: 37D25

Chaos in the square billiard with a modified reflection law

Authors: Gianluigi Del Magno, João Lopes Dias, Pedro Duarte, José Pedro Gaivão, Diogo Pinheiro

Abstract: The purpose of this paper is to study the dynamics of a square billiard with a non-standard reflection law such that the angle of reflection of the particle is a linear contraction of the angle of incidence. We present numerical and analytical arguments that the nonwandering set of this billiard decomposes into three invariant sets, a parabolic attractor, a chaotic attractor and a set consisting o… ▽ More The purpose of this paper is to study the dynamics of a square billiard with a non-standard reflection law such that the angle of reflection of the particle is a linear contraction of the angle of incidence. We present numerical and analytical arguments that the nonwandering set of this billiard decomposes into three invariant sets, a parabolic attractor, a chaotic attractor and a set consisting of several horseshoes. This scenario implies the positivity of the topological entropy of the billiard, a property that is in sharp contrast with the integrability of the square billiard with the standard reflection law. △ Less

Submitted 29 March, 2012; v1 submitted 7 December, 2011; originally announced December 2011.

Comments: 17 figures

Rank of Stably Dissipative Graphs

Authors: Pedro Duarte, Telmo Peixe

Abstract: For the class of stably dissipative Lotka-Volterra systems we prove that the rank of its defining matrix, which is the dimension of the associated invariant foliation, is completely determined by the system's graph. For the class of stably dissipative Lotka-Volterra systems we prove that the rank of its defining matrix, which is the dimension of the associated invariant foliation, is completely determined by the system's graph. △ Less

Submitted 9 May, 2011; v1 submitted 4 April, 2011; originally announced April 2011.

Journal ref: Linear Algebra and its Applications, Volume 437, Issue 10, 15 November 2012, Pages 2573-2586

A new proof of the Herman-Avila-Bochi formula for Lyapunov exponents of SL(2,R)-cocycles

Authors: Alexandre T. Baraviera, Joao Lopes Dias, Pedro Duarte

Abstract: 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 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. △ Less

Submitted 27 April, 2010; originally announced April 2010.

Comments: 13 pages, 2 figures

Extension of functions with bounded finite differences

Authors: P. Duarte, M. J. Torres

Abstract: We prove that functions defined on a lattice in a finite dimensional torus with bounded finite differences can be smoothly extended to the whole torus, and relate the bounds on the extension's derivatives with bounds on the original function's finite differences. We prove that functions defined on a lattice in a finite dimensional torus with bounded finite differences can be smoothly extended to the whole torus, and relate the bounds on the extension's derivatives with bounds on the original function's finite differences. △ Less

Submitted 26 November, 2008; originally announced November 2008.

MSC Class: 58C25; 26B35

A discrete Faa di Bruno's formula

Authors: P. Duarte, M. J. Torres

Abstract: We derive some formulas that rule the behaviour of finite differences under composition of functions with vector values and arguments. We derive some formulas that rule the behaviour of finite differences under composition of functions with vector values and arguments. △ Less

Submitted 26 November, 2008; originally announced November 2008.

MSC Class: 26B12; 65D25

Abundance of elliptic dynamics on conservative 3-flows

Authors: Mario Bessa, Pedro Duarte

Abstract: We consider a compact 3-dimensional boundaryless Riemannian manifold M and the set of divergence-free (or zero divergence) vector fields without singularities, then we prove that this set has a C1-residual such that any vector field inside it is Anosov or else its elliptical orbits are dense in the manifold M. We consider a compact 3-dimensional boundaryless Riemannian manifold M and the set of divergence-free (or zero divergence) vector fields without singularities, then we prove that this set has a C1-residual such that any vector field inside it is Anosov or else its elliptical orbits are dense in the manifold M. △ Less

Submitted 5 September, 2007; originally announced September 2007.

MSC Class: 37D20; 37D30; 37C20

Journal ref: Dynamical Systems - An international Journal, Vol 23, n° 4, 409-424, 2008