Showing 1–38 of 38 results for author: Luzzatto, S

Finite Time Hyperbolic Coordinates

Authors: Stefano Luzzatto, Dominic Veconi, Khadim War

Abstract: We define finite-time hyperbolic coordinates, describe their geometry, and prove various results on both their convergence as the time scale increases, and on their variation in the state space. Hyperbolic coordinates reframe the classical paradigm of hyperbolicity: rather than define a hyperbolic dynamical system in terms of a splitting of the tangent space into stable and unstable subspaces, we… ▽ More We define finite-time hyperbolic coordinates, describe their geometry, and prove various results on both their convergence as the time scale increases, and on their variation in the state space. Hyperbolic coordinates reframe the classical paradigm of hyperbolicity: rather than define a hyperbolic dynamical system in terms of a splitting of the tangent space into stable and unstable subspaces, we define hyperbolicity in terms of the co-eccentricity of the map. The co-eccentricity describes the distortion of unit circles in the tangent space under the differential of the map. Finite-time hyperbolic coordinates have been used to demonstrate the existence of SRB measures for the Henon map; our eventual goal is to both elucidate these techniques and to extend them to a broad class of nonuniformly and singular hyperbolic systems. △ Less

Submitted 4 February, 2025; v1 submitted 31 January, 2025; originally announced February 2025.

Comments: 31 pages

MSC Class: 37D05; 37D10 ACM Class: G.0

Persistent Non-Statistical Dynamics in One-Dimensional Maps

Authors: Douglas Coates, Stefano Luzzatto

Abstract: We study a class $\widehat{\mathfrak{F}}$ of one-dimensional full branch maps introduced in [Doubly Intermittent Full Branch Maps with Critical Points and Singularities; D. Coates, S. Luzzatto, M. Mubarak, 2022], admitting two indifferent fixed points as well as critical points and/or singularities with unbounded derivative. We show that $\widehat{\mathfrak{F}}$ can be partitioned into 3 pairwise… ▽ More We study a class $\widehat{\mathfrak{F}}$ of one-dimensional full branch maps introduced in [Doubly Intermittent Full Branch Maps with Critical Points and Singularities; D. Coates, S. Luzzatto, M. Mubarak, 2022], admitting two indifferent fixed points as well as critical points and/or singularities with unbounded derivative. We show that $\widehat{\mathfrak{F}}$ can be partitioned into 3 pairwise disjoint subfamilies $$\widehat{\mathfrak{F}} = \mathfrak{F} \cup \mathfrak{F}_\pm \cup \mathfrak{F}_*$$ such that all $g \in \mathfrak{F}$ have a unique physical measure equivalent to Lebesgue, all $g \in \mathfrak{F}_{\pm}$ have a physical measure which is a Dirac-$δ$ measure on one of the (repelling) fixed points, and all $g \in \mathfrak{F}_{*}$ are non-statistical and in particular have no physical measure. Moreover we show that these subfamilies are intermingled: they can all be approximated by maps in the other subfamilies in natural topologies. △ Less

Submitted 4 September, 2023; v1 submitted 22 February, 2023; originally announced February 2023.

Comments: 29 pages, 1 figure

MSC Class: 37A10; 37C40; 37C83; 37E05

Statistical stability of interval maps with critical points and singularities

Authors: Jose F. Alves, Dalmi Gama, Stefano Luzzatto

Abstract: We prove strong statistical stability of a large class of one-dimensional maps which may have an arbitrary finite number of discontinuities and of non-degenerate critical points and/or singular points with infinite derivative, and satisfy some expansivity and bounded recurrence conditions. This generalizes known results for maps with critical points and bounded derivatives and in particular proves… ▽ More We prove strong statistical stability of a large class of one-dimensional maps which may have an arbitrary finite number of discontinuities and of non-degenerate critical points and/or singular points with infinite derivative, and satisfy some expansivity and bounded recurrence conditions. This generalizes known results for maps with critical points and bounded derivatives and in particular proves statistical stability of Lorenz-like maps with critical points and singularities studied in [S. Luzzatto and W. Tucker. Non-uniformly expanding dynamics in maps with singularities and criticalities. Inst. Hautes Etudes Sci. Publ. Math., (89):179-226, 1999]. We introduce a natural metric on the space of maps with discontinuities which does not seem to have been used in the literature before. △ Less

Submitted 20 February, 2023; originally announced February 2023.

Comments: 22 pages. arXiv admin note: text overlap with arXiv:0709.1723

MSC Class: 37A10; 37C75; 37D25; 37E05

Doubly Intermittent Full Branch Maps with Critical Points and Singularities

Authors: Douglas Coates, Stefano Luzzatto, Muhammad Mubarak

Abstract: We study a class of one-dimensional full branch maps admitting two indifferent fixed points as well as critical points and/or unbounded derivative. Under some mild assumptions we prove the existence of a unique invariant mixing absolutely continuous probability measures, study its rate of decay of correlation and prove a number of limit theorems. We study a class of one-dimensional full branch maps admitting two indifferent fixed points as well as critical points and/or unbounded derivative. Under some mild assumptions we prove the existence of a unique invariant mixing absolutely continuous probability measures, study its rate of decay of correlation and prove a number of limit theorems. △ Less

Submitted 27 May, 2024; v1 submitted 26 September, 2022; originally announced September 2022.

Comments: 32 Pages

MSC Class: 37E05

Rigorous computation of escape times for parameter intervals in the quadratic map

Authors: Paweł Pilarczyk, Stefano Luzzatto

Abstract: We study the quadratic family of one-dimensional maps $f_a (x) = a - x^2$. We conduct comprehensive numerical analysis of collections of finite orbits of the critical point, computed for intervals of parameter values using rigorous numerical methods. We use the computer to explicitly construct a collection of several thousand parameter intervals, contained in $Ω=[1.4, 2]$, that are proved to have… ▽ More We study the quadratic family of one-dimensional maps $f_a (x) = a - x^2$. We conduct comprehensive numerical analysis of collections of finite orbits of the critical point, computed for intervals of parameter values using rigorous numerical methods. We use the computer to explicitly construct a collection of several thousand parameter intervals, contained in $Ω=[1.4, 2]$, that are proved to have a specific so-called escape time, which roughly means that some effectively computed iterate of the critical point taken over all the parameters in that interval has considerable width in the phase space. In particular, we compute a rigorous lower bound on this width, in addition to the upper bound. We investigate the effect of certain constraints imposed on the numerical computations upon the resulting collection of intervals. Additionally, we illustrate and discuss the distribution of the computed intervals in the parameter space. The purpose of our work is to establish grounds for further numerical computation of a lower bound on the measure of stochastic parameters in $Ω$. The source code of the software and the data discussed in the paper are freely available at http://www.pawelpilarczyk.com/quadr/. This web page also allows carrying out some limited computations. The ideas and procedures introduced in the paper can be easily generalised to apply to other parametrised families of dynamical systems. △ Less

Submitted 8 April, 2021; originally announced April 2021.

MSC Class: 37E05; 37M25

Rigorous numerics for critical orbits in the quadratic family

Authors: Ali Golmakani, Comlan Edmond Koudjinan, Stefano Luzzatto, Paweł Pilarczyk

Abstract: We develop algorithms and techniques to compute rigorous bounds for finite pieces of orbits of the critical points, for intervals of parameter values, in the quadratic family of one-dimensional maps $f_a (x) = a - x^2$. We illustrate the effectiveness of our approach by constructing a dynamically defined partition $\mathcal P$ of the parameter interval $Ω=[1.4, 2]$ into almost 4 million subinterva… ▽ More We develop algorithms and techniques to compute rigorous bounds for finite pieces of orbits of the critical points, for intervals of parameter values, in the quadratic family of one-dimensional maps $f_a (x) = a - x^2$. We illustrate the effectiveness of our approach by constructing a dynamically defined partition $\mathcal P$ of the parameter interval $Ω=[1.4, 2]$ into almost 4 million subintervals, for each of which we compute to high precision the orbits of the critical points up to some time $N$ and other dynamically relevant quantities, several of which can vary greatly, possibly spanning several orders of magnitude. We also subdivide $\mathcal P$ into a family $\mathcal P^{+}$ of intervals which we call stochastic intervals and a family $\mathcal P^{-}$ of intervals which we call regular intervals. We numerically prove that each interval $ω\in \mathcal P^{+}$ has an escape time, which roughly means that some iterate of the critical point taken over all the parameters in $ω$ has considerable width in the phase space. This suggests, in turn, that most parameters belonging to the intervals in $\mathcal P^{+}$ are stochastic and most parameters belonging to the intervals in $\mathcal P^{-}$ are regular, thus the names. We prove that the intervals in $\mathcal P^{+}$ occupy almost 90% of the total measure of $Ω$. The software and the data is freely available at http://www.pawelpilarczyk.com/quadr/, and a web page is provided for carrying out the calculations. The ideas and procedures can be easily generalized to apply to other parametrized families of dynamical systems. △ Less

Submitted 22 July, 2020; v1 submitted 28 April, 2020; originally announced April 2020.

Journal ref: Chaos 30, 073143 (2020)

SRB measures and Young towers for surface diffeomorphisms

Authors: Vaughn Climenhaga, Stefano Luzzatto, Yakov Pesin

Abstract: We give geometric conditions that are necessary and sufficient for the existence of Sinai-Ruelle-Bowen (SRB) measures for $C^{1+α}$ surface diffeomorphisms, thus proving a version of the Viana conjecture. As part of our argument we give an original method for constructing first return Young towers, proving that every hyperbolic measure, and in particular every SRB measure, can be lifted to such a… ▽ More We give geometric conditions that are necessary and sufficient for the existence of Sinai-Ruelle-Bowen (SRB) measures for $C^{1+α}$ surface diffeomorphisms, thus proving a version of the Viana conjecture. As part of our argument we give an original method for constructing first return Young towers, proving that every hyperbolic measure, and in particular every SRB measure, can be lifted to such a tower. This method relies on a new general result on hyperbolic branches and shadowing for pseudo-orbits in nonuniformly hyperbolic sets which is of independent interest. △ Less

Submitted 16 September, 2021; v1 submitted 29 March, 2019; originally announced April 2019.

Comments: Identical to v2 except that some blue text marking previous edits has been reverted to black

MSC Class: 37D25 (primary); 37C40; 37E30 (secondary)

The geometric approach for constructing Sinai-Ruelle-Bowen measures

Authors: Vaughn Climenhaga, Stefano Luzzatto, Yakov Pesin

Abstract: An important class of `physically relevant' measures for dynamical systems with hyperbolic behavior is given by Sinai-Ruelle-Bowen (SRB) measures. We survey various techniques for constructing SRB measures and studying their properties, paying special attention to the geometric `push-forward' approach. After describing this approach in the uniformly hyperbolic setting, we review recent work that e… ▽ More An important class of `physically relevant' measures for dynamical systems with hyperbolic behavior is given by Sinai-Ruelle-Bowen (SRB) measures. We survey various techniques for constructing SRB measures and studying their properties, paying special attention to the geometric `push-forward' approach. After describing this approach in the uniformly hyperbolic setting, we review recent work that extends it to non-uniformly hyperbolic systems. △ Less

Submitted 15 July, 2016; originally announced July 2016.

Comments: 30 pages

Integrability of Continuous Bundles

Authors: Stefano Luzzatto, Sina Tureli, Khadim War

Abstract: We give new sufficient conditions for the integrability and unique integrability of continuous tangent sub-bundles on manifolds of arbitrary dimension, generalizing Frobenius' classical Theorem for C^1 sub-bundles. Using these conditions we derive new criteria for uniqueness of solutions to ODE's and PDE's and for the integrability of invariant bundles in dynamical systems. In particular we give a… ▽ More We give new sufficient conditions for the integrability and unique integrability of continuous tangent sub-bundles on manifolds of arbitrary dimension, generalizing Frobenius' classical Theorem for C^1 sub-bundles. Using these conditions we derive new criteria for uniqueness of solutions to ODE's and PDE's and for the integrability of invariant bundles in dynamical systems. In particular we give a novel proof of the Stable Manifold Theorem and prove some integrability results for dynamically defined dominated splittings. △ Less

Submitted 6 October, 2016; v1 submitted 1 June, 2016; originally announced June 2016.

Comments: 40 pages, 5 figures. To appear in Crelle's Journal

Uniform expansivity outside the critical neighborhood in the quadratic family

Authors: Ali Golmakani, Stefano Luzzatto, Paweł Pilarczyk

Abstract: We use rigorous numerical techniques to compute a lower bound for the exponent of expansivity outside a neighborhood of the critical point for thousands of intervals of parameter values in the quadratic family. We compute a possibly small radius of the critical neighborhood, and a lower bound for the corresponding expansivity exponent outside this neighborhood, valid for all the parameters in each… ▽ More We use rigorous numerical techniques to compute a lower bound for the exponent of expansivity outside a neighborhood of the critical point for thousands of intervals of parameter values in the quadratic family. We compute a possibly small radius of the critical neighborhood, and a lower bound for the corresponding expansivity exponent outside this neighborhood, valid for all the parameters in each of the intervals. We illustrate and study the distribution of the radii and these exponents. The results of our computations are mathematically rigorous. The source code of the software and the results of the computations are made publicly available at http://www.pawelpilarczyk.com/quadratic/.. △ Less

Submitted 1 April, 2015; originally announced April 2015.

Comments: 12 pages, 7 figures

A Frobenius Theorem for Corank-1 Continuous Distributions in Dimensions two and three

Authors: Stefano Luzzatto, Sina Tureli, Khadim War

Abstract: We formulate a notion of (uniform) asymptotic involutivity and show that it implies (unique) integrability of corank-1 continuous distributions in dimensions three or less. This generalizes and extends a classical theorem of Frobenius Theorem which says that an involutive C^1 distribution is uniquely integrable. We formulate a notion of (uniform) asymptotic involutivity and show that it implies (unique) integrability of corank-1 continuous distributions in dimensions three or less. This generalizes and extends a classical theorem of Frobenius Theorem which says that an involutive C^1 distribution is uniquely integrable. △ Less

Submitted 11 April, 2016; v1 submitted 21 November, 2014; originally announced November 2014.

Comments: 29 pages. Final Version. Added more general version of result, application to ODE's, PDE's and Dynamical Systems

Integrability of dominated decompositions on three-dimensional manifolds

Authors: Stefano Luzzatto, Sina Tureli, Khadim War

Abstract: We investigate the integrability of 2-dimensional invariant distributions (tangent sub-bundles) which arise naturally in the context of dynamical systems on 3-manifolds. In particular we prove unique integrability of dynamically dominated and volume dominated Lipschitz continuous invariant decompositions as well as distributions with some other regularity conditions. We investigate the integrability of 2-dimensional invariant distributions (tangent sub-bundles) which arise naturally in the context of dynamical systems on 3-manifolds. In particular we prove unique integrability of dynamically dominated and volume dominated Lipschitz continuous invariant decompositions as well as distributions with some other regularity conditions. △ Less

Submitted 26 May, 2015; v1 submitted 29 October, 2014; originally announced October 2014.

Comments: 15 pages

Young Towers for Product Systems

Authors: Stefano Luzzatto, Marks Ruziboev

Abstract: We show that the direct product of maps with Young towers admits a Young tower whose return times decay at a rate which is bounded above by the slowest of the rates of decay of the return times of the component maps. An application of this result, together with other results in the literature, yields various statistical properties for the direct product of various classes of systems, including Lor… ▽ More We show that the direct product of maps with Young towers admits a Young tower whose return times decay at a rate which is bounded above by the slowest of the rates of decay of the return times of the component maps. An application of this result, together with other results in the literature, yields various statistical properties for the direct product of various classes of systems, including Lorenz-like maps, multimodal maps, piecewise $ C^2 $ interval maps with critical points and singularities, Hénon maps and partially hyperbolic systems. △ Less

Submitted 7 June, 2015; v1 submitted 29 August, 2014; originally announced August 2014.

Comments: 31 pages

MSC Class: 37A05; 37A25

Integrability of C^1 invariant splittings

Authors: Stefano Luzzatto, Sina Tureli, Khadim War

Abstract: We derive some new conditions for integrability of dynamically defined C^1 invariant splittings in arbitrary dimension and co-dimension. In particular we prove that every 2-dimensional C^1 invariant decomposition on a 3-dimensional manifold satisfying a volume domination condition is uniquely integrable. In the special case of volume preserving diffeomorphisms we show that standard dynamical domin… ▽ More We derive some new conditions for integrability of dynamically defined C^1 invariant splittings in arbitrary dimension and co-dimension. In particular we prove that every 2-dimensional C^1 invariant decomposition on a 3-dimensional manifold satisfying a volume domination condition is uniquely integrable. In the special case of volume preserving diffeomorphisms we show that standard dynamical domination is already sufficient to guarantee unique integrability. △ Less

Submitted 1 April, 2015; v1 submitted 29 August, 2014; originally announced August 2014.

Comments: 12 pages

SRB measures for partially hyperbolic systems whose central direction is weakly expanding

Authors: Jose F. Alves, C. L. Dias, S. Luzzatto, V. Pinheiro

Abstract: We consider partially hyperbolic \( C^{1+} \) diffeomorphisms of compact Riemannian manifolds of arbitrary dimension which admit a partially hyperbolic tangent bundle decomposition \( E^s\oplus E^{cu} \). Assuming the existence of a set of positive Lebesgue measure on which \( f \) satisfies a weak nonuniform expansivity assumption in the centre~unstable direction, we prove that there exists at mo… ▽ More We consider partially hyperbolic \( C^{1+} \) diffeomorphisms of compact Riemannian manifolds of arbitrary dimension which admit a partially hyperbolic tangent bundle decomposition \( E^s\oplus E^{cu} \). Assuming the existence of a set of positive Lebesgue measure on which \( f \) satisfies a weak nonuniform expansivity assumption in the centre~unstable direction, we prove that there exists at most a finite number of transitive attractors each of which supports an SRB measure. As part of our argument, we prove that each attractor admits a Gibbs-Markov-Young geometric structure with integrable return times. We also characterize in this setting SRB measures which are liftable to Gibbs-Markov-Young structures. △ Less

Submitted 17 December, 2015; v1 submitted 12 March, 2014; originally announced March 2014.

Comments: Revised version

Statistical Properties and Decay of Correlations for Interval Maps with Critical Points and Singularities

Authors: Stefano Luzzatto, Ian Melbourne

Abstract: We consider a class of piecewise smooth one-dimensional maps with critical points and singularities (possibly with infinite derivative). Under mild summability conditions on the growth of the derivative on critical orbits, we prove the central limit theorem and a vector-valued almost sure invariance principle. We also obtain results on decay of correlations. We consider a class of piecewise smooth one-dimensional maps with critical points and singularities (possibly with infinite derivative). Under mild summability conditions on the growth of the derivative on critical orbits, we prove the central limit theorem and a vector-valued almost sure invariance principle. We also obtain results on decay of correlations. △ Less

Submitted 23 April, 2013; v1 submitted 30 August, 2011; originally announced August 2011.

Comments: 18 pages, minor revisions, to appear in Communications in Mathematical Physics

Journal ref: Commun. Math. Phys. 320 (2013) 21-35

Uniform hyperbolic approximations of measures with non zero Lyapunov exponents

Authors: Stefano Luzzatto, Fernando J Sánchez-Salas

Abstract: We show that for any C^1+alpha diffeomorphism of a compact Riemannian manifold, every non-atomic, ergodic, invariant probability measure with non-zero Lyapunov exponents is approximated by uniformly hyperbolic sets in the sense that there exists a sequence Omega_n of compact, topologically transitive, locally maximal, uniformly hyperbolic sets, such that for any sequence mu_n of f-invariant ergodi… ▽ More We show that for any C^1+alpha diffeomorphism of a compact Riemannian manifold, every non-atomic, ergodic, invariant probability measure with non-zero Lyapunov exponents is approximated by uniformly hyperbolic sets in the sense that there exists a sequence Omega_n of compact, topologically transitive, locally maximal, uniformly hyperbolic sets, such that for any sequence mu_n of f-invariant ergodic probability measures with supp (mu_n) in Omega_n we have mu_n -> mu in the weak-* topology. △ Less

Submitted 30 November, 2011; v1 submitted 22 August, 2011; originally announced August 2011.

Comments: 11 pages, improved introduction and additional background and references. To appear in Proc. AMS

MSC Class: 37D25

From Rates of mixing to recurrence times via large deviations

Authors: José F. Alves, Jorge Milhazes Freitas, Stefano Luzzatto, Sandro Vaienti

Abstract: A classic approach in dynamical systems is to use particular geometric structures to deduce statistical properties, for example the existence of invariant measures with stochastic-like behaviour such as large deviations or decay of correlations. Such geometric structures are generally highly non-trivial and thus a natural question is the extent to which this approach can be applied. In this paper… ▽ More A classic approach in dynamical systems is to use particular geometric structures to deduce statistical properties, for example the existence of invariant measures with stochastic-like behaviour such as large deviations or decay of correlations. Such geometric structures are generally highly non-trivial and thus a natural question is the extent to which this approach can be applied. In this paper we show that in many cases stochastic-like behaviour itself implies that the system has certain non-trivial geometric properties, which are therefore necessary as well as sufficient conditions for the occurrence of the statistical properties under consideration. As a by product of our techniques we also obtain some new results on large deviations for certain classes of systems which include Viana maps and multidimensional piecewise expanding maps. △ Less

Submitted 21 July, 2010; originally announced July 2010.

Journal ref: Adv. Math. 228, no. 2, 2011, 1203-1236

Geometry of expanding absolutely continuous invariant measures and the liftability problem

Authors: Jose F. Alves, Carla L. Dias, Stefano Luzzatto

Abstract: We show that for a large class of maps on manifolds of arbitrary finite dimension, the existence of a Gibbs-Markov-Young structure (with Lebesgue as the reference measure) is a necessary as well as sufficient condition for the existence of an invariant probability measure which is absolutely continuous measure (with respect to Lebesgue) and for which all Lyapunov exponents are positive. We show that for a large class of maps on manifolds of arbitrary finite dimension, the existence of a Gibbs-Markov-Young structure (with Lebesgue as the reference measure) is a necessary as well as sufficient condition for the existence of an invariant probability measure which is absolutely continuous measure (with respect to Lebesgue) and for which all Lyapunov exponents are positive. △ Less

Submitted 6 November, 2012; v1 submitted 14 October, 2009; originally announced October 2009.

Comments: 21 pages; final version

MSC Class: 37A05; 37C40; 37D25

Journal ref: Annales de l'Institut Henri Poincare (C) Non Linear Analysis, 2012

Finite Resolution Dynamics

Authors: Stefano Luzzatto, Pawel Pilarczyk

Abstract: We develop a new mathematical model for describing a dynamical system at limited resolution (or finite scale), and we give precise meaning to the notion of a dynamical system having some property at all resolutions coarser than a given number. Open covers are used to approximate the topology of the phase space in a finite way, and the dynamical system is represented by means of a combinatorial mul… ▽ More We develop a new mathematical model for describing a dynamical system at limited resolution (or finite scale), and we give precise meaning to the notion of a dynamical system having some property at all resolutions coarser than a given number. Open covers are used to approximate the topology of the phase space in a finite way, and the dynamical system is represented by means of a combinatorial multivalued map. We formulate notions of transitivity and mixing in the finite resolution setting in a computable and consistent way. Moreover, we formulate equivalent conditions for these properties in terms of graphs, and provide effective algorithms for their verification. As an application we show that the Henon attractor is mixing at all resolutions coarser than 10^-5. △ Less

Submitted 21 December, 2010; v1 submitted 13 October, 2009; originally announced October 2009.

Comments: 25 pages. Final version. To appear in Foundations of Computational Mathematics

MSC Class: 37M99; 65P20; 65G20

Journal ref: Foundations of Computational Mathematics 11 (2011) no.2, 211-239

Some remarks on the geometry of the Standard Map

Authors: Katie Bloor, Stefano Luzzatto

Abstract: We define and compute hyperbolic coordinates and associated foliations which provide a new way to describe the geometry of the standard map. We also identify a uniformly hyperbolic region and a complementary 'critical' region containing a smooth curve of tangencies between certain canonical 'stable' foliations. We define and compute hyperbolic coordinates and associated foliations which provide a new way to describe the geometry of the standard map. We also identify a uniformly hyperbolic region and a complementary 'critical' region containing a smooth curve of tangencies between certain canonical 'stable' foliations. △ Less

Submitted 17 October, 2008; originally announced October 2008.

Comments: 25 pages, 11 figures

MSC Class: 37D45

Journal ref: International Journal of Bifurcation and Chaos, Vol 19, No 7 (2009) 2213-2232

Invariant measures for interval maps with critical points and singularities

Authors: Vitor Araujo, Stefano Luzzatto, Marcelo Viana

Abstract: We prove that, under a mild summability condition on the growth of the derivative on critical orbits any piecewise monotone interval map possibly containing discontinuities and singularities with infinite derivative (cusp map) admits an ergodic invariant probability measures which is absolutely continuous with respect to Lebesgue measure. We prove that, under a mild summability condition on the growth of the derivative on critical orbits any piecewise monotone interval map possibly containing discontinuities and singularities with infinite derivative (cusp map) admits an ergodic invariant probability measures which is absolutely continuous with respect to Lebesgue measure. △ Less

Submitted 25 August, 2010; v1 submitted 14 May, 2008; originally announced May 2008.

Comments: 15 pages, 1 Figure

Journal ref: Advances in Mathematics 221 (2009) No. 5 1428-1444

Statistical properties of one-dimensional maps with critical points and singularities

Authors: K. Díaz-Ordaz, M. P. Holland, S. Luzzatto

Abstract: We prove that a class of one-dimensional maps with an arbitrary number of non-degenerate critical and singular points admits an induced Markov tower with exponential return time asymptotics. In particular the map has an absolutely continuous invariant probability measure with exponential decay of correlations for Hölder observations. We prove that a class of one-dimensional maps with an arbitrary number of non-degenerate critical and singular points admits an induced Markov tower with exponential return time asymptotics. In particular the map has an absolutely continuous invariant probability measure with exponential decay of correlations for Hölder observations. △ Less

Submitted 11 September, 2007; originally announced September 2007.

Comments: 31 pages

MSC Class: 37D50; 37A25

Journal ref: Stochastics and Dynamics, vol 6, issue 4 (2006), pp. 423-458

Computable conditions for the occurrence of non-uniform hyperbolicity in families of one-dimensional maps

Authors: Stefano Luzzatto, Hiroki Takahasi

Abstract: We formulate and prove a Jakobson-Benedicks-Carleson type theorem on the occurence of nonuniform hyperbolicity (stochastic dynamics) in families of one-dimensional maps, based on "computable starting conditions" and providing "explicit, computable," lower bounds for the measure of the set of selected parameters. As a first application of our results we show that the set of parameters correspondi… ▽ More We formulate and prove a Jakobson-Benedicks-Carleson type theorem on the occurence of nonuniform hyperbolicity (stochastic dynamics) in families of one-dimensional maps, based on "computable starting conditions" and providing "explicit, computable," lower bounds for the measure of the set of selected parameters. As a first application of our results we show that the set of parameters corresponding to maps in the quadratic family f_{a}(x) = x^{2}-a which have an absolutely continuous invariant probability measure is at least 10^-5000 ! △ Less

Submitted 7 October, 2005; v1 submitted 16 August, 2005; originally announced August 2005.

Comments: 44 pages

MSC Class: 37D25; 37M99; 37E25

Journal ref: Nonlinearity 19 (2006) no. 7, 1657-1695

Stable manifolds under very weak hyperbolicity conditions

Authors: Mark Holland, Stefano Luzzatto

Abstract: We present an argument for proving the existence of local stable and unstable manifolds in a general abstract setting and under very weak hyperbolicity conditions. We present an argument for proving the existence of local stable and unstable manifolds in a general abstract setting and under very weak hyperbolicity conditions. △ Less

Submitted 11 February, 2005; originally announced February 2005.

Comments: 20 pages

MSC Class: 37D99; 37E30

Journal ref: Journal of Differential Equations 221 (2006) no.2, 444-469

The boundary of hyperbolicity for Henon-like families

Authors: Yongluo Cao, Stefano Luzzatto, Isabel Rios

Abstract: We consider C^{2} Henon-like families of diffeomorphisms of R^{2} and study the boundary of the region of parameter values for which the nonwandering set is uniformly hyperbolic. Assuming sufficient dissipativity, we show that the loss of hyperbolicity is caused by a first homoclinic or heteroclinic tangency and that uniform hyperbolicity estimates hold uniformly in the parameter up to this bifu… ▽ More We consider C^{2} Henon-like families of diffeomorphisms of R^{2} and study the boundary of the region of parameter values for which the nonwandering set is uniformly hyperbolic. Assuming sufficient dissipativity, we show that the loss of hyperbolicity is caused by a first homoclinic or heteroclinic tangency and that uniform hyperbolicity estimates hold uniformly in the parameter up to this bifurcation parameter and even, to some extent, at the bifurcation parameter. △ Less

Submitted 10 May, 2007; v1 submitted 11 February, 2005; originally announced February 2005.

Comments: 32 pages, 11 figures. Several minor revisions, additional figures, clarifications of some arguments

MSC Class: 37D20; 37D25

Journal ref: Ergodic Theory and Dynamical Systems 28 (2008), no. 4, 1049-1080

The Lorenz attractor is mixing

Authors: Stefano Luzzatto, Ian Melbourne, Frederic Paccaut

Abstract: We study a class of geometric Lorenz flows, introduced independently by Afraimovic, Bykov & Sil'nikov and by Guckenheimer & Williams, and give a verifiable condition for such flows to be mixing. As a consequence, we show that the classical Lorenz attractor is mixing. We study a class of geometric Lorenz flows, introduced independently by Afraimovic, Bykov & Sil'nikov and by Guckenheimer & Williams, and give a verifiable condition for such flows to be mixing. As a consequence, we show that the classical Lorenz attractor is mixing. △ Less

Submitted 8 October, 2004; originally announced October 2004.

MSC Class: 37D50; 37A25

Journal ref: Communications in Mathematical Physics 260 (2005), no. 2, 393-401

Stochastic-like behaviour in nonuniformly expanding maps

Authors: Stefano Luzzatto

Abstract: This is a significantly expanded version of the survey paper "Mixing and decay of correlations in non-uniformly expanding maps: a survey of recent results" math/0301319. We discuss recent results on decay of correlations for non-uniformly expanding maps. Throughout the discussion, we address the question of why different dynamical systems have different rates of decay of correlations and how t… ▽ More This is a significantly expanded version of the survey paper "Mixing and decay of correlations in non-uniformly expanding maps: a survey of recent results" math/0301319. We discuss recent results on decay of correlations for non-uniformly expanding maps. Throughout the discussion, we address the question of why different dynamical systems have different rates of decay of correlations and how this may reflect underlying geometrical characteristics of the system. We also give detailed sketches of some results such as the existence of absolutely continuous invariant measures for Markov expanding maps, the construction of induced Markov expanding maps in some one-dimensional maps, and the proof of the fact that such a construction can be carried out for a positive probability set of maps in the quadratic family. △ Less

Submitted 6 September, 2004; originally announced September 2004.

Comments: 49 pages, extensive bibliography

Topological invariance of the sign of the Lyapunov exponents in one-dimensional maps

Authors: Henk Bruin, Stefano Luzzatto

Abstract: We explore some properties of Lyapunov exponents of measures preserved by smooth maps of the interval, and study the behaviour of the Lyapunov exponents under topological conjugacy. We explore some properties of Lyapunov exponents of measures preserved by smooth maps of the interval, and study the behaviour of the Lyapunov exponents under topological conjugacy. △ Less

Submitted 2 November, 2004; v1 submitted 6 September, 2004; originally announced September 2004.

Comments: 9 pages

MSC Class: Primary 37B10; Secondary 37A35; 11K99; 37A45

Uniform hyperbolicity for random maps with positive Lyapunov exponents

Authors: Yongluo Cao, Stefano Luzzatto, Isabel Rios

Abstract: We consider some general classes of random dynamical systems and show that a priori very weak nonuniform hyperbolicity conditions actually imply uniform hyperbolicity. We consider some general classes of random dynamical systems and show that a priori very weak nonuniform hyperbolicity conditions actually imply uniform hyperbolicity. △ Less

Submitted 11 September, 2007; v1 submitted 24 November, 2003; originally announced November 2003.

Comments: 10 pages, final version. To appear in Proceedings of the AMS

MSC Class: 37H15

A minimum principle for Lyapunov exponents and a higher-dimensional version of a Theorem of Mane'

Authors: Yongluo Cao, Stefano Luzzatto, Isabel Rios

Abstract: We consider compact invariant sets Λfor C^{1} maps in arbitrary dimension. We prove that if Λcontains no critical points then there exists an invariant probability measure with a Lyapunov exponent λwhich is the minimum of all Lyapunov exponents for all invariant measures supported on Λ. We apply this result to prove that Λis uniformly expanding if every invariant probability measure supported on… ▽ More We consider compact invariant sets Λfor C^{1} maps in arbitrary dimension. We prove that if Λcontains no critical points then there exists an invariant probability measure with a Lyapunov exponent λwhich is the minimum of all Lyapunov exponents for all invariant measures supported on Λ. We apply this result to prove that Λis uniformly expanding if every invariant probability measure supported on Λis hyperbolic repelling. This generalizes a well known theorem of Mane' to the higher-dimensional setting. △ Less

Submitted 29 October, 2003; v1 submitted 3 September, 2003; originally announced September 2003.

Comments: 10 pages

MSC Class: 37D20; 37D25; 37D30

Topological invariance of generic non-uniformly expanding multimodal maps

Authors: Stefano Luzzatto, Lanyu Wang

Abstract: We show that a strengthened version of the Collet-Eckmann condition for multimodal maps is topologically invariant. In particular, if f is non-uniformly expanding and the critical points are generic with respect to the absolutely continuous invariant measure, then any map g topologically conjugate to f is also non-uniformly expanding. We show that a strengthened version of the Collet-Eckmann condition for multimodal maps is topologically invariant. In particular, if f is non-uniformly expanding and the critical points are generic with respect to the absolutely continuous invariant measure, then any map g topologically conjugate to f is also non-uniformly expanding. △ Less

Submitted 2 July, 2003; originally announced July 2003.

Comments: 21 pages, 4 figures

MSC Class: 37C15; 37C05

Some non-hyperbolic systems with strictly non-zero Lyapunov exponents for all invariant measures: Horseshoes with internal tangencies

Authors: Yongluo Cao, Stefano Luzzatto, Isabel Rios

Abstract: We study the hyperbolicity of a class of horseshoes exhibiting an internal tangency, i.e. a point of homoclinic tangency accumulated by periodic points. In particular these systems are strictly not uniformly hyperbolic. However we show that all the Lyapunov exponents of all invariant measures are uniformly bounded away from 0. This is the first known example of this kind. We study the hyperbolicity of a class of horseshoes exhibiting an internal tangency, i.e. a point of homoclinic tangency accumulated by periodic points. In particular these systems are strictly not uniformly hyperbolic. However we show that all the Lyapunov exponents of all invariant measures are uniformly bounded away from 0. This is the first known example of this kind. △ Less

Submitted 2 November, 2004; v1 submitted 2 June, 2003; originally announced June 2003.

Comments: 10 pages, 2 figures. This is an extended version of the paper "Hyperbolicity of periodic points for horseshoes with internal tangencies" by S. Luzzatto and I. Rios

MSC Class: 37D25; 37G25

Parameter exclusions in Henon-like systems

Authors: Stefano Luzzatto, Marcelo Viana

Abstract: This survey is a presentation of the arguments in the proof that Henon-like maps f_a(x,y)=(1-a x^2,0) + R(a,x,y) with |R(a,x,y)|< b have a "strange attractor", with positive Lebesgue probability in the parameter "a", if the perturbation size "b" is small enough. We first sketch a "geometric model" of the strange attractor in this context, emphasising some of its key geometrical properties, and t… ▽ More This survey is a presentation of the arguments in the proof that Henon-like maps f_a(x,y)=(1-a x^2,0) + R(a,x,y) with |R(a,x,y)|< b have a "strange attractor", with positive Lebesgue probability in the parameter "a", if the perturbation size "b" is small enough. We first sketch a "geometric model" of the strange attractor in this context, emphasising some of its key geometrical properties, and then focus on the construction and estimates required to show that this geometric model does indeed occur for many parameter values. Our ambitious aim is to provide an exposition at one and the same time intuitive, synthetic, and rigorous. We think of this text as an introduction and study guide to the original papers in which the results were first proved. We shall concentrate on describing in detail the overall structure of the argument and the way it breaks down into its (numerous) constituent sub-arguments, while referring the reader to the original sources for detailed technical arguments. △ Less

Submitted 14 April, 2003; originally announced April 2003.

Comments: 40 pages, 3 figures

MSC Class: 37D45; 37D25

Mixing and decay of correlations in non-uniformly expanding maps: a survey of recent results

Authors: Stefano Luzzatto

Abstract: We discuss recent results on decay of correlations for non-uniformly expanding maps. Throughout the discussion, we address the question of why different dynamical systems have different rates of decay of correlations and how this may reflect underlying geometrical characteristics of the system. We discuss recent results on decay of correlations for non-uniformly expanding maps. Throughout the discussion, we address the question of why different dynamical systems have different rates of decay of correlations and how this may reflect underlying geometrical characteristics of the system. △ Less

Submitted 2 November, 2004; v1 submitted 27 January, 2003; originally announced January 2003.

Comments: This paper has been significantly expanded and extended in the paper "Stochastic-like behaviour in nonuniformly expanding maps" math.DS/0409085

MSC Class: 37D25; 37A25

A new proof of the Stable Manifold Theorem for hyperbolic fixed points on surfaces

Authors: Mark Holland, Stefano Luzzatto

Abstract: We introduce a new technique for proving the classical Stable Manifold theorem for hyperbolic fixed points. This method is much more geometrical than the standard approaches which rely on abstract fixed point theorems. It is based on the convergence of a canonical sequence of ``finite time local stable manifolds'' which are related to the dynamics of a finite number of iterations. We introduce a new technique for proving the classical Stable Manifold theorem for hyperbolic fixed points. This method is much more geometrical than the standard approaches which rely on abstract fixed point theorems. It is based on the convergence of a canonical sequence of ``finite time local stable manifolds'' which are related to the dynamics of a finite number of iterations. △ Less

Submitted 21 January, 2003; originally announced January 2003.

Comments: 1 Figure

MSC Class: 37D10

Decay of correlations in one-dimensional dynamics

Authors: Henk Bruin, Stefano Luzzatto, Sebastian van Strien

Abstract: We consider multimodal C^3 interval maps f satisfying a summability condition on the derivatives D_n along the critical orbits which implies the existence of an absolutely continuous f -invariant probability measure mu. If f is non-renormalizable, mu is mixing and we show that the speed of mixing (decay of correlations) is strongly related to the rate of growth of the sequence D_n as n tends to… ▽ More We consider multimodal C^3 interval maps f satisfying a summability condition on the derivatives D_n along the critical orbits which implies the existence of an absolutely continuous f -invariant probability measure mu. If f is non-renormalizable, mu is mixing and we show that the speed of mixing (decay of correlations) is strongly related to the rate of growth of the sequence D_n as n tends to infinity . We also give sufficient conditions for mu to satisfy the Central Limit Theorem. This applies for example to the quadratic Fibonacci map which is shown to have subexponential decay of correlations. △ Less

Submitted 14 August, 2002; originally announced August 2002.

Comments: To appear in Annales de l'Ecole Normale Superieure, 2002

MSC Class: 37E05; 37C40

Markov structures and decay of correlations for non-uniformly expanding dynamical systems

Authors: J. F. Alves, S. Luzzatto, V. Pinheiro

Abstract: We consider non-uniformly expanding maps on compact Riemannian manifolds of arbitrary dimension, possibly having discontinuities and/or critical sets, and show that under some general conditions they admit an induced Markov tower structure for which the decay of the return time function can be controlled in terms of the time generic points need to achieve some uniform expanding behavior. As a co… ▽ More We consider non-uniformly expanding maps on compact Riemannian manifolds of arbitrary dimension, possibly having discontinuities and/or critical sets, and show that under some general conditions they admit an induced Markov tower structure for which the decay of the return time function can be controlled in terms of the time generic points need to achieve some uniform expanding behavior. As a consequence we obtain some rates for the decay of correlations of those maps and conditions for the validity of the Central Limit Theorem. △ Less

Submitted 17 May, 2002; originally announced May 2002.

Comments: 24 pages

MSC Class: 37A25; 37C40; 37D25