-
Optimal response for stochastic differential equations by local kernel perturbations
Authors:
Gianmarco del Sarto,
Stefano Galatolo,
Sakshi Jain
Abstract:
We consider a random dynamical system on $\mathbb{R}^d$, whose dynamics is defined by a stochastic differential equation. The annealed transfer operator associated with such systems is a kernel operator. Given a set of feasible infinitesimal perturbations $P$ to this kernel, with support in a certain compact set, and a specified observable function $φ: \mathbb{R}^d \to \mathbb{R}$, we study which…
▽ More
We consider a random dynamical system on $\mathbb{R}^d$, whose dynamics is defined by a stochastic differential equation. The annealed transfer operator associated with such systems is a kernel operator. Given a set of feasible infinitesimal perturbations $P$ to this kernel, with support in a certain compact set, and a specified observable function $φ: \mathbb{R}^d \to \mathbb{R}$, we study which infinitesimal perturbation in $P$ produces the greatest change in expectation of $φ$. We establish conditions under which the optimal perturbation uniquely exists and present a numerical method to approximate the optimal infinitesimal kernel perturbation. Finally, we numerically illustrate our findings with concrete examples.
△ Less
Submitted 30 May, 2025; v1 submitted 13 February, 2025;
originally announced February 2025.
-
Optimal Response for Hyperbolic Systems by the fast adjoint response method
Authors:
Stefano Galatolo,
Angxiu Ni
Abstract:
In a uniformly hyperbolic system, we consider the problem of finding the optimal infinitesimal perturbation to apply to the system, from a certain set $P$ of feasible ones, to maximally increase the expectation of a given observation function. We perturb the system both by composing with a diffeomorphism near the identity or by adding a deterministic perturbation to the dynamics. In both cases, us…
▽ More
In a uniformly hyperbolic system, we consider the problem of finding the optimal infinitesimal perturbation to apply to the system, from a certain set $P$ of feasible ones, to maximally increase the expectation of a given observation function. We perturb the system both by composing with a diffeomorphism near the identity or by adding a deterministic perturbation to the dynamics. In both cases, using the fast adjoint response formula, we show that the linear response operator, which associates the response of the expectation to the perturbation on the dynamics, is bounded in terms of the $C^{1,α}$ norm of the perturbation. Under the assumption that $P$ is a strictly convex, closed subset of a Hilbert space $\cH$ that can be continuously mapped in the space of $C^3$ vector fields on our phase space, we show that there is a unique optimal perturbation in $P$ that maximizes the increase of the given observation function. Furthermore since the response operator is represented by a certain element $v$ of $\cH$, when the feasible set $P$ is the unit ball of $\cH$, the optimal perturbation is $v/||v||_{\cH}$. We also show how to compute the Fourier expansion $v$ in different cases. Our approach can work even on high dimensional systems. We demonstrate our method on numerical examples in dimensions 2, 3, and 21.
△ Less
Submitted 4 January, 2025;
originally announced January 2025.
-
Stability of Fixed Points for Nonlinear Selfconsistent Transfer Operators via Cone Contractions
Authors:
Roberto Castorrini,
Stefano Galatolo,
Matteo Tanzi
Abstract:
In this paper we investigate the action of self-consistent transfer operators (STOs) on Birkhoff cones and give sufficient conditions for stability of their fixed points. Our approach relies on the order preservation properties of STOs that can be established via the study of their differential. We focus on the study of STOs arising from strongly coupled maps both deterministic and noisy. Our appr…
▽ More
In this paper we investigate the action of self-consistent transfer operators (STOs) on Birkhoff cones and give sufficient conditions for stability of their fixed points. Our approach relies on the order preservation properties of STOs that can be established via the study of their differential. We focus on the study of STOs arising from strongly coupled maps both deterministic and noisy. Our approach allows for explicit estimates that we use to give examples of STOs with multiple stable fixed points some of which are shown to be far from the asymptotic behaviour of the corresponding system of finite coupled maps and give information only on long transients for the finite dimensional system.
△ Less
Submitted 24 November, 2024; v1 submitted 16 August, 2024;
originally announced August 2024.
-
The differential of self-consistent transfer operators and the local convergence to equilibrium of mean field strongly coupled dynamical systems
Authors:
Roberto Castorrini,
Stefano Galatolo,
Matteo Tanzi
Abstract:
We consider the differential of a self-consistent transfer operator at a fixed point of the operator itself and show that its spectral properties can be used to establish a kind of local exponential convergence to equilibrium: probability measures near the fixed point converge exponentially fast to the fixed point by the iteration of the transfer operator. This holds also in the strong coupling ca…
▽ More
We consider the differential of a self-consistent transfer operator at a fixed point of the operator itself and show that its spectral properties can be used to establish a kind of local exponential convergence to equilibrium: probability measures near the fixed point converge exponentially fast to the fixed point by the iteration of the transfer operator. This holds also in the strong coupling case. We also show that for mean field coupled systems satisfying uniformly a Lasota-Yorke inequality the differential does also. We present examples of application of the general results to self-consistent transfer operators based on deterministic expanding maps considered with different couplings, outside the weak coupling regime.
△ Less
Submitted 24 October, 2024; v1 submitted 12 July, 2024;
originally announced July 2024.
-
A logarithm law for nonautonomous systems fastly converging to equilibrium and mean field coupled systems
Authors:
Stefano Galatolo,
Davide Faranda
Abstract:
We prove that if a nonautonomous system has in a certain sense a fast convergence to equilibrium (faster than any power law behavior) then the time $τ_{r}(x,y)$ needed for a typical point $x$ to enter for the first time in a ball $B(y,r)$ centered in $y$, with small radius \ $r $ scales as the local dimension of the equilibrium measure \ $μ$ at $y$, i.e.…
▽ More
We prove that if a nonautonomous system has in a certain sense a fast convergence to equilibrium (faster than any power law behavior) then the time $τ_{r}(x,y)$ needed for a typical point $x$ to enter for the first time in a ball $B(y,r)$ centered in $y$, with small radius \ $r $ scales as the local dimension of the equilibrium measure \ $μ$ at $y$, i.e. $$ \underset{r\rightarrow 0}{\lim }\frac{\log τ_{r}(x,y)}{-\log r}% =d_{μ}(y).$$
We then apply the general result to concrete systems of different kind, showing such a logarithm law for asymptotically authonomous solenoidal maps and mean field coupled expanding maps.
△ Less
Submitted 25 October, 2024; v1 submitted 4 April, 2024;
originally announced April 2024.
-
Optimal linear response for expanding circle maps
Authors:
Gary Froyland,
Stefano Galatolo
Abstract:
We consider the problem of optimal linear response for deterministic expanding maps of the circle. To each infinitesimal perturbation $\dot{T}$ of a circle map $T$ we consider (i) the response of the expectation of an observation function and (ii) the response of isolated spectral points of the transfer operator of $T$. In each case, under mild conditions on the set of feasible perturbations…
▽ More
We consider the problem of optimal linear response for deterministic expanding maps of the circle. To each infinitesimal perturbation $\dot{T}$ of a circle map $T$ we consider (i) the response of the expectation of an observation function and (ii) the response of isolated spectral points of the transfer operator of $T$. In each case, under mild conditions on the set of feasible perturbations $\dot{T}$ we show there is a unique optimal feasible infinitesimal perturbation $\dot{T}_{\rm optimal}$, maximising the increase of the expectation of the given observation function or maximising the increase of the spectral gap of the transfer operator associated to the system. We derive expressions for the unique maximiser $\dot{T}_{\rm optimal}$ in terms of its Fourier coefficients. We also devise a Fourier-based computational scheme and apply it to illustrate our theory.
△ Less
Submitted 29 October, 2023;
originally announced October 2023.
-
Extreme Value theory and Poisson statistics for discrete time samplings of stochastic differential equations
Authors:
F. Flandoli,
S. Galatolo,
P. Giulietti,
S. Vaienti
Abstract:
We investigate the distribution and multiple occurrences of extreme events stochastic processes constructed by sampling the solution of a Stochastic Differential Equation on $\mathbb{R}^n$. We do so by studying the action of an annealead transfer operators on ad-hoc spaces of probability densities. The spectral properties of such operators are obtained by employing a mixture of techniques coming f…
▽ More
We investigate the distribution and multiple occurrences of extreme events stochastic processes constructed by sampling the solution of a Stochastic Differential Equation on $\mathbb{R}^n$. We do so by studying the action of an annealead transfer operators on ad-hoc spaces of probability densities. The spectral properties of such operators are obtained by employing a mixture of techniques coming from SDE theory and a functional analytic approach to dynamical systems.
△ Less
Submitted 19 March, 2024; v1 submitted 21 October, 2023;
originally announced October 2023.
-
Linear response due to singularities
Authors:
Wael Bahsoun,
Stefano Galatolo
Abstract:
It is well known that a family of tent-like maps with bounded derivatives has no linear response for typical deterministic perturbations changing the value of the turning point. In this note we prove the following result: if we consider a tent-like family with a \emph{cusp} at the turning point, we recover the linear response.
More precisely, let $T_\eps$ be a family of such cusp maps generated…
▽ More
It is well known that a family of tent-like maps with bounded derivatives has no linear response for typical deterministic perturbations changing the value of the turning point. In this note we prove the following result: if we consider a tent-like family with a \emph{cusp} at the turning point, we recover the linear response.
More precisely, let $T_\eps$ be a family of such cusp maps generated by changing the value of the turning point of $T_0$ by a deterministic perturbation and let $h_\eps$ be the corresponding invariant density. We prove that $\eps\mapsto h_\eps$ is differentiable in $L^1$ and provide a formula for its derivative.
△ Less
Submitted 19 March, 2024; v1 submitted 5 January, 2023;
originally announced January 2023.
-
A general framework for the rigorous computation of invariant densities and the coarse-fine strategy
Authors:
Stefano Galatolo,
Maurizio Monge,
Isaia Nisoli,
Federico Poloni
Abstract:
In this paper we present a general, axiomatical framework for the rigorous approximation of invariant densities and other important statistical features of dynamics. We approximate the system trough a finite element reduction, by composing the associated transfer operator with a suitable finite dimensional projection (a discretization scheme) as in the well-known Ulam method.
We introduce a gene…
▽ More
In this paper we present a general, axiomatical framework for the rigorous approximation of invariant densities and other important statistical features of dynamics. We approximate the system trough a finite element reduction, by composing the associated transfer operator with a suitable finite dimensional projection (a discretization scheme) as in the well-known Ulam method.
We introduce a general framework based on a list of properties (of the system and of the projection) that need to be verified so that we can take advantage of a so-called ``coarse-fine'' strategy. This strategy is a novel method in which we exploit information coming from a coarser approximation of the system to get useful information on a finer approximation, speeding up the computation. This coarse-fine strategy allows a precise estimation of invariant densities and also allows to estimate rigorously the speed of mixing of the system by the speed of mixing of a coarse approximation of it, which can easily be estimated by the computer.
The estimates obtained here are rigourous, i.e., they come with exact error bounds that are guaranteed to hold and take into account both the discretiazation and the approximations induced by finite-precision arithmetic.
We apply this framework to several discretization schemes and examples of invariant density computation from previous works, obtaining a remarkable reduction in computation time.
We have implemented the numerical methods described here in the Julia programming language, and released our implementation publicly as a Julia package.
△ Less
Submitted 8 January, 2023; v1 submitted 9 December, 2022;
originally announced December 2022.
-
Self consistent transfer operators. Invariant measures, convergence to equilibrium, linear response and control of the statistical properties
Authors:
Stefano Galatolo
Abstract:
We describe a general approach to the theory of self consistent transfer operators. These operators have been introduced as tools for the study of the statistical properties of a large number of all to all interacting dynamical systems subjected to a mean field coupling.
We consider a large class of self consistent transfer operators and prove general statements about existence of invariant meas…
▽ More
We describe a general approach to the theory of self consistent transfer operators. These operators have been introduced as tools for the study of the statistical properties of a large number of all to all interacting dynamical systems subjected to a mean field coupling.
We consider a large class of self consistent transfer operators and prove general statements about existence of invariant measures, speed of convergence to equilibrium, statistical stability and linear response.
While most of the results presented in the paper are valid in a weak coupling regime, the existence results for the invariant measures we show also hold outside the weak coupling regime.
We apply the general statements to examples of different nature: coupled continuous maps, coupled expanding maps, coupled systems with additive noise, systems made of \emph{different maps }coupled by a mean field interaction and other examples of self consistent transfer operators not coming from coupled maps.
We also consider the problem of finding the optimal coupling between maps in order to change the statistical properties of the system in a prescribed way.
△ Less
Submitted 15 June, 2022; v1 submitted 26 May, 2021;
originally announced May 2021.
-
Existence of multiple noise-induced transitions in a Lasota-Mackey map
Authors:
Takumi Chihara,
Yuzuru Sato,
Isaia Nisoli,
Stefano Galatolo
Abstract:
We prove the existence of multiple noise-induced transitions in the Lasota-Mackey map, which is a class of one dimensional random dynamical system with additive noise. The result is achieved by the help of rigorous computer assisted estimates. We first approximate the stationary distribution of the random dynamical system and then compute certified error intervals for the Lyapunov exponent. We fin…
▽ More
We prove the existence of multiple noise-induced transitions in the Lasota-Mackey map, which is a class of one dimensional random dynamical system with additive noise. The result is achieved by the help of rigorous computer assisted estimates. We first approximate the stationary distribution of the random dynamical system and then compute certified error intervals for the Lyapunov exponent. We find that the sign of the Lyapunov exponent changes at least three times when increasing the noise amplitude. We also show numerical evidence that the standard non-rigorous numerical approximation by finite-time Lyapunov exponent is valid with our model for a sufficiently large number of iterations. Our method is expected to work for a broad class of nonlinear stochastic phenomena.
△ Less
Submitted 16 December, 2021; v1 submitted 23 February, 2021;
originally announced February 2021.
-
Optimal linear response for Markov Hilbert-Schmidt integral operators and stochastic dynamical systems
Authors:
Fadi Antown,
Gary Froyland,
Stefano Galatolo
Abstract:
We consider optimal control problems for discrete-time random dynamical systems, finding unique perturbations that provoke maximal responses of statistical properties of the system. We treat systems whose transfer operator has an $L^2$ kernel, and we consider the problems of finding (i) the infinitesimal perturbation maximising the expectation of a given observable and (ii) the infinitesimal pertu…
▽ More
We consider optimal control problems for discrete-time random dynamical systems, finding unique perturbations that provoke maximal responses of statistical properties of the system. We treat systems whose transfer operator has an $L^2$ kernel, and we consider the problems of finding (i) the infinitesimal perturbation maximising the expectation of a given observable and (ii) the infinitesimal perturbation maximising the spectral gap, and hence the exponential mixing rate of the system. Our perturbations are either (a) perturbations of the kernel or (b) perturbations of a deterministic map subjected to additive noise. We develop a general setting in which these optimisation problems have a unique solution and construct explicit formulae for the unique optimal perturbations. We apply our results to a Pomeau-Manneville map and an interval exchange map, both subjected to additive noise, to explicitly compute the perturbations provoking maximal responses.
△ Less
Submitted 18 March, 2021; v1 submitted 22 January, 2021;
originally announced January 2021.
-
Quadratic response and speed of convergence of invariant measures in the zero-noise limit
Authors:
Stefano Galatolo,
Hugo Marsan
Abstract:
We study the stochastic stability in the zero-noise limit from a quantitative point of view.
We consider smooth expanding maps of the circle, perturbed by additive noise. We show that in this case the zero-noise limit has a quadratic speed of convergence, as conjectured by Lin, in 2005, after numerical experiments (see arXiv:math/0406201 ). This is obtained by providing an explicit formula for t…
▽ More
We study the stochastic stability in the zero-noise limit from a quantitative point of view.
We consider smooth expanding maps of the circle, perturbed by additive noise. We show that in this case the zero-noise limit has a quadratic speed of convergence, as conjectured by Lin, in 2005, after numerical experiments (see arXiv:math/0406201 ). This is obtained by providing an explicit formula for the first and second term in the Taylor's expansion of the response of the stationary measure to the small noise perturbation. These terms depend on important features of the dynamics and of the noise which is perturbing it, as its average and variance.
We also consider the zero-noise limit from a quantitative point of view for piecewise expanding maps showing estimates for the speed of convergence in this case.
△ Less
Submitted 14 July, 2020; v1 submitted 10 July, 2020;
originally announced July 2020.
-
Quantitative statistical stability and linear response for irrational rotations and diffeomorphisms of the circle
Authors:
Stefano Galatolo,
Alfonso Sorrentino
Abstract:
We prove quantitative statistical stability results for a large class of small $C^{0}$ perturbations of circle diffeomorphisms with irrational rotation numbers. We show that if the rotation number is Diophantine the invariant measure varies in a Hölder way under perturbation of the map and the Hölder exponent depends on the Diophantine type of the rotation number. The set of admissable perturbatio…
▽ More
We prove quantitative statistical stability results for a large class of small $C^{0}$ perturbations of circle diffeomorphisms with irrational rotation numbers. We show that if the rotation number is Diophantine the invariant measure varies in a Hölder way under perturbation of the map and the Hölder exponent depends on the Diophantine type of the rotation number. The set of admissable perturbations includes the ones coming from spatial discretization and hence numerical truncation. We also show linear response for smooth perturbations that preserve the rotation number, as well as for more general ones. This is done {by means of} classical tools from KAM theory, while the quantitative stability results are obtained by transfer operator techniques applied to suitable spaces of measures with a weak topology.
△ Less
Submitted 2 March, 2021; v1 submitted 29 June, 2020;
originally announced June 2020.
-
Quadratic response of random and deterministic dynamical systems
Authors:
Stefano Galatolo,
Julien Sedro
Abstract:
We consider the linear and quadratic higher order terms associated to the response of the statistical properties of a dynamical system to suitable small perturbations. These terms are related to the first and second derivative of the stationary measure with respect to the change of some parameters, expressing how the statistical properties of the system varies under the perturbation. We show a gen…
▽ More
We consider the linear and quadratic higher order terms associated to the response of the statistical properties of a dynamical system to suitable small perturbations. These terms are related to the first and second derivative of the stationary measure with respect to the change of some parameters, expressing how the statistical properties of the system varies under the perturbation. We show a general framework in which one can obtain rigorous convergence and formulas for these two terms. The framework is flexible enough to be applied both to deterministic and random systems. We give examples of such an application computing linear and quadratic response for Arnold maps with additive noise and deterministic expanding maps.
△ Less
Submitted 11 February, 2020; v1 submitted 31 July, 2019;
originally announced August 2019.
-
Arnold maps with noise: Differentiability and non-monotonicity of the rotation number
Authors:
L. Marangio,
J. Sedro,
S. Galatolo,
A. Di Garbo,
M. Ghil
Abstract:
Arnold's standard circle maps are widely used to study the quasi-periodic route to chaos and other phenomena associated with nonlinear dynamics in the presence of two rationally unrelated periodicities. In particular, the El Nino-Southern Oscillation (ENSO) phenomenon is a crucial component of climate variability on interannual time scales and it is dominated by the seasonal cycle, on the one hand…
▽ More
Arnold's standard circle maps are widely used to study the quasi-periodic route to chaos and other phenomena associated with nonlinear dynamics in the presence of two rationally unrelated periodicities. In particular, the El Nino-Southern Oscillation (ENSO) phenomenon is a crucial component of climate variability on interannual time scales and it is dominated by the seasonal cycle, on the one hand, and an intrinsic oscillatory instability with a period of a few years, on the other. The role of meteorological phenomena on much shorter time scales, such as westerly wind bursts, has also been recognized and modeled as additive noise. We consider herein Arnold maps with additive, uniformly distributed noise. When the map's nonlinear term, scaled by the parameter $ε$, is sufficiently small, i.e. $ε< 1$, the map is known to be a diffeomorphism and the rotation number $ρ_ω$ is a differentiable function of the driving frequency $ω$. We concentrate on the rotation number's behavior as the nonlinearity becomes large, and show rigorously that $ρ_{ω}$ is a differentiable function of $ω$, even for $ε\geq 1$, at every point at which the noise-perturbed map is mixing. We also provide a formula for the derivative of the rotation number. The reasoning relies on linear-response theory and a computer-aided proof. In the diffeomorphism case of $ε<1$, the rotation number $ρ_{ω}$ behaves monotonically with respect to $ω$. We show, using again a computer-aided proof, that this is not the case when $ε\geq 1$ and the map is not a diffeomorphism.
△ Less
Submitted 24 January, 2020; v1 submitted 26 April, 2019;
originally announced April 2019.
-
Anomalous time-scaling of extreme events in infinite systems and Birkhoff sums of infinite observables
Authors:
Stefano Galatolo,
Mark Holland,
Tomas Persson,
Yiwei Zhang
Abstract:
We establish quantitative results for the statistical be\-ha\-vi\-our of \emph{infinite systems}. We consider two kinds of infinite system: i) a conservative dynamical system $(f,X,μ)$ preserving a $σ$-finite measure $μ$ such that $μ(X)=\infty$; ii) the case where $μ$ is a probability measure but we consider the statistical behaviour of an observable $φ\colon X\to[0,\infty)$ which is non-integrabl…
▽ More
We establish quantitative results for the statistical be\-ha\-vi\-our of \emph{infinite systems}. We consider two kinds of infinite system: i) a conservative dynamical system $(f,X,μ)$ preserving a $σ$-finite measure $μ$ such that $μ(X)=\infty$; ii) the case where $μ$ is a probability measure but we consider the statistical behaviour of an observable $φ\colon X\to[0,\infty)$ which is non-integrable: $\int φ\, dμ=\infty$.
In the first part of this work we study the behaviour of Birkhoff sums of systems of the kind ii). For certain weakly chaotic systems, we show that these sums can be strongly oscillating. However, if the system has superpolynomial decay of correlations or has a Markov structure, then we show this oscillation cannot happen. In this case we prove asymptotic relations between the behaviour of $φ$, the local dimension of $μ$, and on the growth of Birkhoff sums (as time tends to infinity). We then establish several important consequences which apply to infinite systems of the kind i). This includes showing anomalous scalings in extreme event limit laws, or entrance time statistics. We apply our findings to non-uniformly hyperbolic systems preserving an infinite measure, establishing anomalous scalings in the case of logarithm laws of entrance times, dynamical Borel--Cantelli lemmas, almost sure growth rates of extremes, and dynamical run length functions.
△ Less
Submitted 25 April, 2019; v1 submitted 25 October, 2018;
originally announced October 2018.
-
Linear Response for dynamical systems with additive noise
Authors:
Stefano Galatolo,
Paolo Giulietti
Abstract:
We show a linear response statement for fixed points of a family of Markov operators which are perturbations of mixing and regularizing operators. We apply the statement to random dynamical systems on the interval given by a deterministic map $T$ with additive noise (distributed according to a bounded variation kernel). We prove linear response for these systems, also providing explicit formulas b…
▽ More
We show a linear response statement for fixed points of a family of Markov operators which are perturbations of mixing and regularizing operators. We apply the statement to random dynamical systems on the interval given by a deterministic map $T$ with additive noise (distributed according to a bounded variation kernel). We prove linear response for these systems, also providing explicit formulas both for deterministic perturbations of the map $% T$ and for changes in the noise kernel. The response holds with mild assumptions on the system, allowing the map $T$ to have critical points, contracting and expanding regions. We apply our theory to topological mixing maps with additive noise, to a model of the Belozuv-Zhabotinsky chemical reaction and to random rotations. In the final part of the paper we discuss the linear request problem for these kind of systems, determining which perturbations of $T$ produce a prescribed response.
△ Less
Submitted 4 March, 2019; v1 submitted 12 November, 2017;
originally announced November 2017.
-
Existence of Noise Induced Order, a Computer Aided Proof
Authors:
Stefano Galatolo,
Maurizio Monge,
Isaia Nisoli
Abstract:
We prove the existence of Noise Induced Order in the Matsumoto-Tsuda model, where it was originally discovered in 1983 by numerical simulations. This is a model of the famous Belosouv-Zabotinsky reaction, a chaotic chemical reaction, and consists of a one dimensional random dynamical system with additive noise. The simulations showed that an increase in amplitude of the noise causes the Lyapunov e…
▽ More
We prove the existence of Noise Induced Order in the Matsumoto-Tsuda model, where it was originally discovered in 1983 by numerical simulations. This is a model of the famous Belosouv-Zabotinsky reaction, a chaotic chemical reaction, and consists of a one dimensional random dynamical system with additive noise. The simulations showed that an increase in amplitude of the noise causes the Lyapunov exponent to decrease from positive to negative; we give a mathematical proof of the existence of this transition. The method we use relies on some computer aided estimates providing a certified approximation of the stationary measure in the $L^{1}$ norm. This is realized by explicit functional analytic estimates working together with an efficient algorithm. The method is general enough to be adapted to any piecewise differentiable dynamical system on the unit interval with additive noise. We also prove that the stationary measure of the system varies in a Lipschitz way if the system is perturbed and that the Lyapunov exponent of the system varies in a Hölder way when the noise amplitude increases.
△ Less
Submitted 23 April, 2019; v1 submitted 22 February, 2017;
originally announced February 2017.
-
Quantitative statistical stability and speed of convergence to equilibrium for partially hyperbolic skew products
Authors:
Stefano Galatolo
Abstract:
We consider a general relation between fixed point stability of suitably perturbed transfer operators and convergence to equilibrium (a notion which is strictly related to decay of correlations). We apply this relation to deterministic perturbations of a class of (piecewise) partially hyperbolic skew products whose behavior on the preserved fibration is dominated by the expansion of the base map.…
▽ More
We consider a general relation between fixed point stability of suitably perturbed transfer operators and convergence to equilibrium (a notion which is strictly related to decay of correlations). We apply this relation to deterministic perturbations of a class of (piecewise) partially hyperbolic skew products whose behavior on the preserved fibration is dominated by the expansion of the base map. In particular we apply the results to power law mixing toral extensions. It turns out that in this case, the dependence of the physical measure on small deterministic perturbations, in a suitable anisotropic metric is at least Holder continuous, with an exponent which is explicitly estimated depending on the arithmetical properties of the system. We show explicit examples of toral extensions having actually Holder stability and non differentiable dependence of the physical measure on perturbations.
△ Less
Submitted 27 March, 2018; v1 submitted 20 February, 2017;
originally announced February 2017.
-
Decay of correlations, quantitative recurrence and logarithm law for contracting Lorenz attractors
Authors:
Stefano Galatolo,
Isaia Nisoli,
Maria José Pacifico
Abstract:
In this paper we prove that a class of skew products maps with non uniformly hyperbolic base has exponential decay of correlations. We apply this to obtain a logarithm law for the hitting time associated to a contracting Lorenz attractor at all the points having a well defined local dimension, and a quantitative recurrence estimation.
In this paper we prove that a class of skew products maps with non uniformly hyperbolic base has exponential decay of correlations. We apply this to obtain a logarithm law for the hitting time associated to a contracting Lorenz attractor at all the points having a well defined local dimension, and a quantitative recurrence estimation.
△ Less
Submitted 3 October, 2017; v1 submitted 30 January, 2017;
originally announced January 2017.
-
Controlling the statistical properties of expanding maps
Authors:
Stefano Galatolo,
Mark Pollicott
Abstract:
How can one change a system, in order to change its statistical properties in a prescribed way? In this note we consider a control problem related to the theory of linear response. Given an expanding map of the unit circle with an associated invariant density we can consider the inverse problem of finding which first order changes in the transformation can achieve a given first order perturbation…
▽ More
How can one change a system, in order to change its statistical properties in a prescribed way? In this note we consider a control problem related to the theory of linear response. Given an expanding map of the unit circle with an associated invariant density we can consider the inverse problem of finding which first order changes in the transformation can achieve a given first order perturbation in the density. We show the general mathematical structure of the problem, the existence of many solutions in the case of expanding maps of the circle and the existence of optimal ones. We investigate in depth the example of the doubling map, where we give a complete solution of the problem.
△ Less
Submitted 8 August, 2016; v1 submitted 24 March, 2016;
originally announced March 2016.
-
Quantitative statistical stability and convergence to equilibrium. An application to maps with indifferent fixed points
Authors:
Stefano Galatolo
Abstract:
We show a general relation between fixed point stability of suitably perturbed transfer operators and convergence to equilibrium (a notion which is strictly related to decay of correlations). We apply this relation to deterministic perturbations of a large class of maps with indifferent fixed points. It turns out that the $L^1$ dependence of the a.c.i.m. on small suitable deterministic changes for…
▽ More
We show a general relation between fixed point stability of suitably perturbed transfer operators and convergence to equilibrium (a notion which is strictly related to decay of correlations). We apply this relation to deterministic perturbations of a large class of maps with indifferent fixed points. It turns out that the $L^1$ dependence of the a.c.i.m. on small suitable deterministic changes for these kind of maps is Hölder, with an exponent which is explicitly estimated.
△ Less
Submitted 18 July, 2016; v1 submitted 5 December, 2015;
originally announced December 2015.
-
Statistical properties of dynamics. Introduction to the functional analytic approach
Authors:
Stefano Galatolo
Abstract:
These are lecture notes for a simple minicourse approaching the satistical properties of a dynamical system by the study of the associated transfer operator (considered on a suitable functions or measures spaces).
The following questions will be addressed:
*existence of a regular invariant measure;
*Lasota Yorke inequalities and spectral gap;
*decay of correlations and some limit theorem;…
▽ More
These are lecture notes for a simple minicourse approaching the satistical properties of a dynamical system by the study of the associated transfer operator (considered on a suitable functions or measures spaces).
The following questions will be addressed:
*existence of a regular invariant measure;
*Lasota Yorke inequalities and spectral gap;
*decay of correlations and some limit theorem;
*stability under perturbations of the system
*linear response
*random systems
*hyperbolic systems.
The point of view taken is to present the general construction and ideas needed to obtain these results in the simplest way. For this, some theorem is proved in a form which is weaker than usually known, but with an elementary and simple proof.
These notes are intended for the Hokkaido-Pisa University summer course 2021.
△ Less
Submitted 14 November, 2022; v1 submitted 9 October, 2015;
originally announced October 2015.
-
Spectral gap and quantitative statistical stability for systems with contracting fibers and Lorenz-like maps
Authors:
Stefano Galatolo,
Rafael Lucena
Abstract:
We consider transformations preserving a contracting foliation, such that the associated quotient map satisfies a Lasota-Yorke inequality. We prove that the associated transfer operator, acting on suitable normed spaces, has a spectral gap (on which we have quantitative estimation). As an application we consider Lorenz-like two dimensional maps (piecewise hyperbolic with unbounded contraction and…
▽ More
We consider transformations preserving a contracting foliation, such that the associated quotient map satisfies a Lasota-Yorke inequality. We prove that the associated transfer operator, acting on suitable normed spaces, has a spectral gap (on which we have quantitative estimation). As an application we consider Lorenz-like two dimensional maps (piecewise hyperbolic with unbounded contraction and expansion rate): we prove that those systems have a spectral gap and we show a quantitative estimate for their statistical stability. Under deterministic perturbations of the system of size $δ$, the physical measure varies continuously, with a modulus of continuity $O(δ\log δ)$, which is asymptotically optimal for this kind of piecewise smooth maps.
△ Less
Submitted 22 April, 2025; v1 submitted 29 July, 2015;
originally announced July 2015.
-
A Rigorous Computational Approach to Linear Response
Authors:
Wael Bahsoun,
Stefano Galatolo,
Isaia Nisoli,
Xiaolong Niu
Abstract:
We present a general setting in which the formula describing the linear response of the physical measure of a perturbed system can be obtained. In this general setting we obtain an algorithm to rigorously compute the linear response. We apply our results to expanding circle maps. In particular, we present examples where we compute, up to a pre-specified error in the $L^{\infty}$-norm, the response…
▽ More
We present a general setting in which the formula describing the linear response of the physical measure of a perturbed system can be obtained. In this general setting we obtain an algorithm to rigorously compute the linear response. We apply our results to expanding circle maps. In particular, we present examples where we compute, up to a pre-specified error in the $L^{\infty}$-norm, the response of expanding circle maps under stochastic and deterministic perturbations. Moreover, we present an example where we compute, up to a pre-specified error in the $L^1$-norm, the response of the intermittent family at the boundary; i.e., when the unperturbed system is the doubling map.
△ Less
Submitted 29 August, 2017; v1 submitted 29 June, 2015;
originally announced June 2015.
-
Rigorous approximation of diffusion coefficients for expanding maps
Authors:
Wael Bahsoun,
Stefano Galatolo,
Isaia Nisoli,
Xiaolong Niu
Abstract:
We use Ulam's method to provide rigorous approximation of diffusion coefficients for uniformly expanding maps. An algorithm is provided and its implementation is illustrated using Lanford's map.
We use Ulam's method to provide rigorous approximation of diffusion coefficients for uniformly expanding maps. An algorithm is provided and its implementation is illustrated using Lanford's map.
△ Less
Submitted 11 April, 2016; v1 submitted 24 September, 2014;
originally announced September 2014.
-
An elementary way to rigorously estimate convergence to equilibrium and escape rates
Authors:
Stefano Galatolo,
Isaia Nisoli,
Benoît Saussol
Abstract:
We show an elementary method to have (finite time and asymptotic) computer assisted explicit upper bounds on convergence to equilibrium (decay of correlations) and escape rate for systems satisfying a Lasota Yorke inequality. The bounds are deduced by the ones of suitable approximations of the system's transfer operator. We also present some rigorous experiment showing the approach and some concre…
▽ More
We show an elementary method to have (finite time and asymptotic) computer assisted explicit upper bounds on convergence to equilibrium (decay of correlations) and escape rate for systems satisfying a Lasota Yorke inequality. The bounds are deduced by the ones of suitable approximations of the system's transfer operator. We also present some rigorous experiment showing the approach and some concrete result.
△ Less
Submitted 26 January, 2015; v1 submitted 28 April, 2014;
originally announced April 2014.
-
Rigorous computation of invariant measures and fractal dimension for piecewise hyperbolic maps: 2D Lorenz like maps
Authors:
Stefano Galatolo,
Isaia Nisoli
Abstract:
We consider a class of piecewise hyperbolic maps from the unit square to itself preserving a contracting foliation and inducing a piecewise expanding quotient map, with infinite derivative (like the first return maps of Lorenz like flows). We show how the physical measure of those systems can be rigorously approximated with an explicitly given bound on the error, with respect to the Wasserstein di…
▽ More
We consider a class of piecewise hyperbolic maps from the unit square to itself preserving a contracting foliation and inducing a piecewise expanding quotient map, with infinite derivative (like the first return maps of Lorenz like flows). We show how the physical measure of those systems can be rigorously approximated with an explicitly given bound on the error, with respect to the Wasserstein distance. We apply this to the rigorous computation of the dimension of the measure. We present a rigorous implementation of the algorithms using interval arithmetics, and the result of the computation on a nontrivial example of Lorenz like map and its attractor, obtaining a statement on its local dimension.
△ Less
Submitted 24 February, 2014;
originally announced February 2014.
-
Decay of correlations for maps with uniformly contracting fibers and logarithm law for singular hyperbolic attractors
Authors:
Vitor Araujo,
Stefano Galatolo,
Maria Jose Pacifico
Abstract:
We consider two dimensional maps preserving a foliation which is uniformly contracting and a one dimensional associated quotient map having exponential convergence to equilibrium (iterates of Lebesgue measure converge exponentially fast to physical measure). We prove that these maps have exponential decay of correlations over a large class of observables. We use this result to deduce exponential d…
▽ More
We consider two dimensional maps preserving a foliation which is uniformly contracting and a one dimensional associated quotient map having exponential convergence to equilibrium (iterates of Lebesgue measure converge exponentially fast to physical measure). We prove that these maps have exponential decay of correlations over a large class of observables. We use this result to deduce exponential decay of correlations for the Poincare maps of a large class of singular hyperbolic flows. From this we deduce logarithm laws for these flows.
△ Less
Submitted 1 September, 2013; v1 submitted 3 April, 2012;
originally announced April 2012.
-
An elementary approach to rigorous approximation of invariant measures
Authors:
Stefano Galatolo,
Isaia Nisoli
Abstract:
We describe a framework in which is possible to develop and implement algorithms for the approximation of invariant measures of dynamical systems with a given bound on the error of the approximation.
Our approach is based on a general statement on the approximation of fixed points for operators between normed vector spaces, allowing an explicit estimation of the error.
We show the flexibility…
▽ More
We describe a framework in which is possible to develop and implement algorithms for the approximation of invariant measures of dynamical systems with a given bound on the error of the approximation.
Our approach is based on a general statement on the approximation of fixed points for operators between normed vector spaces, allowing an explicit estimation of the error.
We show the flexibility of our approach by applying it to piecewise expanding maps and to maps with indifferent fixed points. We show how the required estimations can be implemented to compute invariant densities up to a given error in the $L^{1}$ or $L^\infty $ distance. We also show how to use this to compute an estimation with certified error for the entropy of those systems.
We show how several related computational and numerical issues can be solved to obtain working implementations, and experimental results on some one dimensional maps.
△ Less
Submitted 16 September, 2013; v1 submitted 11 September, 2011;
originally announced September 2011.
-
Skew products, quantitative recurrence, shrinking targets and decay of correlations
Authors:
Stefano Galatolo,
Jérôme Rousseau,
Benoît Saussol
Abstract:
We consider toral extensions of hyperbolic dynamical systems. We prove that its quantitative recurrence (also with respect to given observables) and hitting time scale behavior depend on the arithmetical properties of the extension. By this we show that those systems have a polynomial decay of correlations with respect to $C^{r}$ observables, and give estimations for its exponent, which depend on…
▽ More
We consider toral extensions of hyperbolic dynamical systems. We prove that its quantitative recurrence (also with respect to given observables) and hitting time scale behavior depend on the arithmetical properties of the extension. By this we show that those systems have a polynomial decay of correlations with respect to $C^{r}$ observables, and give estimations for its exponent, which depend on $r$ and on the arithmetical properties of the system. We also show examples of systems of this kind having not the shrinking target property, and having a trivial limit distribution of return time statistics.
△ Less
Submitted 9 September, 2011;
originally announced September 2011.
-
Dynamical systems, simulation, abstract computation
Authors:
Stefano Galatolo,
Mathieu Hoyrup,
Cristóbal Rojas
Abstract:
We survey an area of recent development, relating dynamics to theoretical computer science. We discuss the theoretical limits of simulation and computation of interesting quantities in dynamical systems. We will focus on central objects of the theory of dynamics, as invariant measures and invariant sets, showing that even if they can be computed with arbitrary precision in many interesting cases,…
▽ More
We survey an area of recent development, relating dynamics to theoretical computer science. We discuss the theoretical limits of simulation and computation of interesting quantities in dynamical systems. We will focus on central objects of the theory of dynamics, as invariant measures and invariant sets, showing that even if they can be computed with arbitrary precision in many interesting cases, there exists some cases in which they can not. We also explain how it is possible to compute the speed of convergence of ergodic averages (when the system is known exactly) and how this entails the computation of arbitrarily good approximations of points of the space having typical statistical behaviour (a sort of constructive version of the pointwise ergodic theorem).
△ Less
Submitted 14 April, 2011; v1 submitted 4 January, 2011;
originally announced January 2011.
-
Shrinking targets in fast mixing flows and the geodesic flow on negatively curved manifolds
Authors:
Stefano Galatolo,
Isaia Nisoli
Abstract:
We show that in a rapidly mixing flow with an invariant measure, the time which is needed to hit a given section is related to a sort of conditional dimension of the measure at the section. The result is applied to the geodesic flow of compact variable negative sectional curvature manifolds, establishing a logarithm law for such kind of flow.
We show that in a rapidly mixing flow with an invariant measure, the time which is needed to hit a given section is related to a sort of conditional dimension of the measure at the section. The result is applied to the geodesic flow of compact variable negative sectional curvature manifolds, establishing a logarithm law for such kind of flow.
△ Less
Submitted 15 January, 2011; v1 submitted 3 January, 2011;
originally announced January 2011.
-
Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems
Authors:
Stefano Galatolo,
Mathieu Hoyrup,
Cristóbal Rojas
Abstract:
A pseudorandom point in an ergodic dynamical system over a computable metric space is a point which is computable but its dynamics has the same statistical behavior as a typical point of the system.
It was proved in [Avigad et al. 2010, Local stability of ergodic averages] that in a system whose dynamics is computable the ergodic averages of computable observables converge effectively. We give a…
▽ More
A pseudorandom point in an ergodic dynamical system over a computable metric space is a point which is computable but its dynamics has the same statistical behavior as a typical point of the system.
It was proved in [Avigad et al. 2010, Local stability of ergodic averages] that in a system whose dynamics is computable the ergodic averages of computable observables converge effectively. We give an alternative, simpler proof of this result.
This implies that if also the invariant measure is computable then the pseudorandom points are a set which is dense (hence nonempty) on the support of the invariant measure.
△ Less
Submitted 2 June, 2010;
originally announced June 2010.
-
Hitting time in regular sets and logarithm law for rapidly mixing dynamical systems
Authors:
Stefano Galatolo
Abstract:
We prove that if a system has superpolynomial (faster than any power law) decay of correlations (with respect to Lipschitz observables) then the time $τ(x,S_{r})$ needed for a typical point $x$ to enter for the first time a set $S_{r}=\{x:f(x)\leq r\}$ which is a sublevel of a Lipschitz funcion $f$ scales as $\frac{1}{μ(S_{r})}$ i.e. \begin{equation*} \underset{r\to 0}{\lim }\frac{\log τ(x,S_{r}…
▽ More
We prove that if a system has superpolynomial (faster than any power law) decay of correlations (with respect to Lipschitz observables) then the time $τ(x,S_{r})$ needed for a typical point $x$ to enter for the first time a set $S_{r}=\{x:f(x)\leq r\}$ which is a sublevel of a Lipschitz funcion $f$ scales as $\frac{1}{μ(S_{r})}$ i.e. \begin{equation*} \underset{r\to 0}{\lim }\frac{\log τ(x,S_{r})}{-\log r}=\underset{r\to 0}{\lim}\frac{\log μ(S_{r})}{\log (r)}. \end{equation*} This generalizes a previous result obtained for balls. We will also consider relations with the return time distributions, an application to observed systems and to the geodesic flow of negatively curved manifolds.
△ Less
Submitted 18 June, 2009;
originally announced June 2009.
-
Dynamics and abstract computability: computing invariant measures
Authors:
Stefano Galatolo,
Mathieu Hoyrup,
Cristobal Rojas
Abstract:
We consider the question of computing invariant measures from an abstract point of view. We work in a general framework (computable metric spaces, computable measures and functions) where this problem can be posed precisely. We consider invariant measures as fixed points of the transfer operator and give general conditions under which the transfer operator is (sufficiently) computable. In this c…
▽ More
We consider the question of computing invariant measures from an abstract point of view. We work in a general framework (computable metric spaces, computable measures and functions) where this problem can be posed precisely. We consider invariant measures as fixed points of the transfer operator and give general conditions under which the transfer operator is (sufficiently) computable. In this case, a general result ensures the computability of isolated fixed points and hence invariant measures (in given classes of "regular" measures). This implies the computability of many SRB measures.
On the other hand, not all computable dynamical systems have a computable invariant measure. We exhibit two interesting examples of computable dynamics, one having an SRB measure which is not computable and another having no computable invariant measure at all, showing some subtlety in this kind of problems.
△ Less
Submitted 30 March, 2009; v1 submitted 13 March, 2009;
originally announced March 2009.
-
Lorenz like flows: exponential decay of correlations for the Poincaré map, logarithm law, quantitative recurrence
Authors:
S. Galatolo,
M. J. Pacifico
Abstract:
In this paper we prove that the Poincaré map associated to a Lorenz like flow has exponential decay of correlations with respect to Lipschitz observables. This implies that the hitting time associated to the flow satisfies a logarithm law. The hitting time $τ_r(x,x_0)$ is the time needed for the orbit of a point $x$ to enter for the first time in a ball $B_r(x_0)$ centered at $x_0$, with small r…
▽ More
In this paper we prove that the Poincaré map associated to a Lorenz like flow has exponential decay of correlations with respect to Lipschitz observables. This implies that the hitting time associated to the flow satisfies a logarithm law. The hitting time $τ_r(x,x_0)$ is the time needed for the orbit of a point $x$ to enter for the first time in a ball $B_r(x_0)$ centered at $x_0$, with small radius $r$. As the radius of the ball decreases to 0 its asymptotic behavior is a power law whose exponent is related to the local dimension of the SRB measure at $x_0$: for each $x_0$ such that the local dimension $d_μ(x_0)$ exists, \lim_{r\to 0} \frac{\log τ_r(x,x_0)}{-\log r} = d_μ(x_0)-1 holds for $μ$ almost each $x$. In a similar way it is possible to consider a quantitative recurrence indicator quantifying the speed of coming back of an orbit to its starting point. Similar results holds for this recurrence indicator.
△ Less
Submitted 14 July, 2009; v1 submitted 5 January, 2009;
originally announced January 2009.
-
Non-sequential recursive pair substitutions and numerical entropy estimates in symbolic dynamical systems
Authors:
Lucio M. Calcagnile,
Stefano Galatolo,
Giulia Menconi
Abstract:
We numerically test the method of non-sequential recursive pair substitutions to estimate the entropy of an ergodic source. We compare its performance with other classical methods to estimate the entropy (empirical frequencies, return times, Lyapunov exponent). We considered as a benchmark for the methods several systems with different statistical properties: renewal processes, dynamical systems…
▽ More
We numerically test the method of non-sequential recursive pair substitutions to estimate the entropy of an ergodic source. We compare its performance with other classical methods to estimate the entropy (empirical frequencies, return times, Lyapunov exponent). We considered as a benchmark for the methods several systems with different statistical properties: renewal processes, dynamical systems provided and not provided with a Markov partition, slow or fast decay of correlations. Most experiments are supported by rigorous mathematical results, which are explained in the paper.
△ Less
Submitted 21 July, 2009; v1 submitted 8 September, 2008;
originally announced September 2008.
-
An elementary approach to Stochastic Differential Equations using the infinitesimals
Authors:
Vieri Benci,
Stefano Galatolo,
Marco Ghimenti
Abstract:
The aim of this paper is to evidence two points relative to Nonstandard analysis (NSA): 1. In most applications of NSA to analysis, only elementary facts and techniques of nonstandard calculus seems to be necessary. 2. The advantages of a theory which includes infinitesimals rely more on the possibility of making new models rather than in the proving techniques.
These two points will be illust…
▽ More
The aim of this paper is to evidence two points relative to Nonstandard analysis (NSA): 1. In most applications of NSA to analysis, only elementary facts and techniques of nonstandard calculus seems to be necessary. 2. The advantages of a theory which includes infinitesimals rely more on the possibility of making new models rather than in the proving techniques.
These two points will be illustrated in the theory of Brownian motion which can be considered as a classical model to test the power of the infinitesimal approach. Starting from a naive idea of Brownian motion, we deduce the Fokker-Plank equation in a simple and rigorous way. It is possible to keep every things to a simple level since all the theory of stochastic differential equations is treated as a hyperfinite theory and it is not translated in a "standard model". The only standard object is the final one: the Fokker-Plank equation.
△ Less
Submitted 22 July, 2008;
originally announced July 2008.
-
Long hitting time, slow decay of correlations and arithmetical properties
Authors:
Stefano Galatolo,
Pietro Peterlongo
Abstract:
Let $τ_r(x,x_0)$ be the time needed for a point $x$ to enter for the first time in a ball $B_r(x_0)$ centered in $x_0$, with small radius $r$. We construct a class of translations on the two torus having particular arithmetic properties (Liouville components with intertwined denominators of convergents) not satisfying a logarithm law, i.e. such that for generic $x,x_0$ \liminf_{r\to 0} \frac{\lo…
▽ More
Let $τ_r(x,x_0)$ be the time needed for a point $x$ to enter for the first time in a ball $B_r(x_0)$ centered in $x_0$, with small radius $r$. We construct a class of translations on the two torus having particular arithmetic properties (Liouville components with intertwined denominators of convergents) not satisfying a logarithm law, i.e. such that for generic $x,x_0$ \liminf_{r\to 0} \frac{\log τ_r(x,x_0)}{-\log r} = \infty.
By considering a suitable reparametrization of the flow generated by a suspension of this translation, using a previous construction by Fayad, we show the existence of a mixing system on three torus having the same properties. The speed of mixing of this example must be subpolynomial, because we also show that: in a system having polynomial decay of correlations the above ratio of logarithms (which is also called the lower hitting time indicator) is bounded (it is a function of the local dimension and the speed of correlation decay).
More generally, this shows that reparametrizations of torus translations having a Liouville component cannot be polynomially mixing.
△ Less
Submitted 14 July, 2009; v1 submitted 20 January, 2008;
originally announced January 2008.
-
Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
Authors:
Stefano Galatolo,
Mathieu Hoyrup,
Cristobal Rojas
Abstract:
We consider the dynamical behavior of Martin-Löf random points in dynamical systems over metric spaces with a computable dynamics and a computable invariant measure. We use computable partitions to define a sort of effective symbolic model for the dynamics. Through this construction we prove that such points have typical statistical behavior (the behavior which is typical in the Birkhoff ergodic…
▽ More
We consider the dynamical behavior of Martin-Löf random points in dynamical systems over metric spaces with a computable dynamics and a computable invariant measure. We use computable partitions to define a sort of effective symbolic model for the dynamics. Through this construction we prove that such points have typical statistical behavior (the behavior which is typical in the Birkhoff ergodic theorem) and are recurrent. We introduce and compare some notions of complexity for orbits in dynamical systems and prove: (i) that the complexity of the orbits of random points equals the Kolmogorov-Sinaï entropy of the system, (ii) that the supremum of the complexity of orbits equals the topological entropy.
△ Less
Submitted 29 April, 2008; v1 submitted 31 December, 2007;
originally announced January 2008.
-
A constructive Borel-Cantelli Lemma. Constructing orbits with required statistical properties
Authors:
Stefano Galatolo,
Mathieu Hoyrup,
Cristobal Rojas
Abstract:
In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets $A_{i}$ with effectively summable measures, there are computable points which are not contained in infinitely many $A_{i}$.
As a consequence of this we obtain the existence of computable points which follow the \emp…
▽ More
In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets $A_{i}$ with effectively summable measures, there are computable points which are not contained in infinitely many $A_{i}$.
As a consequence of this we obtain the existence of computable points which follow the \emph{typical statistical behavior} of a dynamical system (they satisfy the Birkhoff theorem) for a large class of systems, having computable invariant measure and a certain ``logarithmic'' speed of convergence of Birkhoff averages over Lipshitz observables. This is applied to uniformly hyperbolic systems, piecewise expanding maps, systems on the interval with an indifferent fixed point and it directly implies the existence of computable numbers which are normal with respect to any base.
△ Less
Submitted 30 June, 2008; v1 submitted 9 November, 2007;
originally announced November 2007.
-
Dimension and waiting time in rapidly mixing systems
Authors:
S. Galatolo
Abstract:
We prove that if a system has superpolynomial (faster than any power law) decay of correlations then the time $τ_{r}(x,x_{0})$ needed for a typical point $x$ to enter for the first time a ball $B(x_{0},r)$ centered in $x_{0},$ with small radius $r$ scales as the local dimension at $x_{0},$ i.e. $$\underset{r\to 0}{\lim}\frac{\log τ_{r}(x,x_{0})}{-\log r}=d_{μ}(x_{0}).$$
We prove that if a system has superpolynomial (faster than any power law) decay of correlations then the time $τ_{r}(x,x_{0})$ needed for a typical point $x$ to enter for the first time a ball $B(x_{0},r)$ centered in $x_{0},$ with small radius $r$ scales as the local dimension at $x_{0},$ i.e. $$\underset{r\to 0}{\lim}\frac{\log τ_{r}(x,x_{0})}{-\log r}=d_{μ}(x_{0}).$$
△ Less
Submitted 13 April, 2008; v1 submitted 29 November, 2006;
originally announced November 2006.
-
A "metric" complexity for weakly chaotic systems
Authors:
S. Galatolo
Abstract:
We consider the number of Bowen sets which are necessary to cover a large measure subset of the phase space. This introduce some complexity indicator characterizing different kind of (weakly) chaotic dynamics. Since in many systems its value is given by a sort of local entropy, this indicator is quite simple to be calculated. We give some example of calculation in nontrivial systems (interval ex…
▽ More
We consider the number of Bowen sets which are necessary to cover a large measure subset of the phase space. This introduce some complexity indicator characterizing different kind of (weakly) chaotic dynamics. Since in many systems its value is given by a sort of local entropy, this indicator is quite simple to be calculated. We give some example of calculation in nontrivial systems (interval exchanges, piecewise isometries e.g.) and a formula similar to the Ruelle-Pesin one, relating the complexity indicator to some initial condition sensitivity indicators playing the role of positive Lyapunov exponents.
△ Less
Submitted 31 October, 2006;
originally announced October 2006.
-
The dynamical Borel-Cantelli lemma and the waiting time problems
Authors:
Stefano Galatolo,
Dong Han Kim
Abstract:
We investigate the connection between the dynamical Borel-Cantelli and waiting time results. We prove that if a system has the dynamical Borel-Cantelli property, then the time needed to enter for the first time in a sequence of small balls scales as the inverse of the measure of the balls. Conversely if we know the waiting time behavior of a system we can prove that certain sequences of decreasi…
▽ More
We investigate the connection between the dynamical Borel-Cantelli and waiting time results. We prove that if a system has the dynamical Borel-Cantelli property, then the time needed to enter for the first time in a sequence of small balls scales as the inverse of the measure of the balls. Conversely if we know the waiting time behavior of a system we can prove that certain sequences of decreasing balls satisfies the Borel-Cantelli property. This allows to obtain Borel-Cantelli like results in systems like axiom A and generic interval exchanges.
△ Less
Submitted 13 April, 2008; v1 submitted 6 October, 2006;
originally announced October 2006.
-
The recurrence time for ergodic systems of infinite measures
Authors:
Stefano Galatolo,
Dong Han Kim,
Kyewon Koh Park
Abstract:
We investigate quantitative recurrence in systems having an infinite measure. We extend the Ornstein-Weiss theorem for a general class of infinite systems estimating return time in decreasing sequences of cylinders. Then we restrict to a class of one dimensional maps with indifferent fixed points and calculate quantitative recurrence in sequences of balls, obtaining that this is related to the b…
▽ More
We investigate quantitative recurrence in systems having an infinite measure. We extend the Ornstein-Weiss theorem for a general class of infinite systems estimating return time in decreasing sequences of cylinders. Then we restrict to a class of one dimensional maps with indifferent fixed points and calculate quantitative recurrence in sequences of balls, obtaining that this is related to the behavior of the map near the fixed points.
△ Less
Submitted 27 January, 2006;
originally announced January 2006.
-
Hitting time and dimension in Axiom A systems and generic interval excanges
Authors:
Stefano Galatolo
Abstract:
In this note we prove that for equilibrium states of axiom A systems the time $τ_{B}(x)$ needed for a typical point $x$ to enter for the first time in a typical ball $B$ with radius $r$ scales as $τ_{B}(x)\sim r^{d}$ where $d$ is the local dimension of the invariant measure at the center of the ball. A similar relation is proved for a full measure set of interval excanges. Some applications to B…
▽ More
In this note we prove that for equilibrium states of axiom A systems the time $τ_{B}(x)$ needed for a typical point $x$ to enter for the first time in a typical ball $B$ with radius $r$ scales as $τ_{B}(x)\sim r^{d}$ where $d$ is the local dimension of the invariant measure at the center of the ball. A similar relation is proved for a full measure set of interval excanges. Some applications to Birkoff averages of unbounded (and not $L^{1}$) functions are shown.
△ Less
Submitted 24 June, 2005;
originally announced June 2005.
-
Multifractals via recurrence times ?
Authors:
J. -R. Chazottes,
S. Galatolo
Abstract:
This letter is a comment on an article by T.C. Halsey and M.H. Jensen in Nature about using recurrence times as a reliable tool to estimate multifractal dimensions of strange attractors. Our aim is to emphasize that in the recent mathematical literature (not cited by these authors), there are positive as well as negative results about the use of such techniques. Thus one may be careful in using…
▽ More
This letter is a comment on an article by T.C. Halsey and M.H. Jensen in Nature about using recurrence times as a reliable tool to estimate multifractal dimensions of strange attractors. Our aim is to emphasize that in the recent mathematical literature (not cited by these authors), there are positive as well as negative results about the use of such techniques. Thus one may be careful in using this tool in practical situations (experimental data).
△ Less
Submitted 8 September, 2004;
originally announced September 2004.
-
Statistical properties of Lorenz like flows, recent developments and perspectives
Authors:
Vitor Araujo,
Stefano Galatolo,
Maria J. Pacifico
Abstract:
We comment on mathematical results about the statistical behavior of Lorenz equations an its attractor, and more generally to the class of singular hyperbolic systems. The mathematical theory of such kind of systems turned out to be surprisingly difficult. It is remarkable that a rigorous proof of the existence of the Lorenz attractor was presented only around the year 2000 with a computer assiste…
▽ More
We comment on mathematical results about the statistical behavior of Lorenz equations an its attractor, and more generally to the class of singular hyperbolic systems. The mathematical theory of such kind of systems turned out to be surprisingly difficult. It is remarkable that a rigorous proof of the existence of the Lorenz attractor was presented only around the year 2000 with a computer assisted proof together with an extension of the hyperbolic theory developed to encompass attractors robustly containing equilibria. We present some of the main results on the statisitcal behavior of such systems. We show that for attractors of three-dimensional flows, robust chaotic behavior is equivalent to the existence of certain hyperbolic structures, known as singular-hyperbolicity. These structures, in turn, are associated to the existence of physical measures: \emph{in low dimensions, robust chaotic behavior for flows ensures the existence of a physical measure}. We then give more details on recent results on the dynamics of singular-hyperbolic (Lorenz-like) attractors.
△ Less
Submitted 4 May, 2014; v1 submitted 16 March, 2004;
originally announced March 2004.
