Non-uniform Specification and Large Deviations for Weak Gibbs Measures

We establish bounds for the measure of deviation sets associated to continuous observables with respect to not necessarily invariant weak Gibbs measures. Under some mild assumptions, we obtain upper and lower bounds for the measure of deviation sets of some non-uniformly expanding maps, including quadratic maps and robust multidimensional non-uniformly expanding local diffeomorphisms. For that purpose, a measure theoretical weak form of specification is introduced and proved to hold for the robust classes of multidimensional non-uniformly expanding local diffeomorphisms and Viana maps.     

Entropic Bounds on Semiclassical Measures for Quantized One-Dimensional Maps

Quantum ergodicity asserts that almost all infinite sequences of eigenstates of quantized ergodic Hamiltonian systems are equidistributed in phase space. This, however, does not prohibit existence of exceptional sequences which might converge to different (non-Liouville) classical invariant measures. It has been recently shown by N. Anantharaman and S. Nonnenmacher in [20,21] (with H. Koch) that for Anosov geodesic flows the metric entropy of any semiclassical measure μ must satisfy a certain bound. This remarkable result seems to be optimal for manifolds of constant negative curvature, but not in the general case, where it might become even trivial if the (negative) curvature of the Riemannian manifold varies a lot. It has been conjectured by the same authors, that in fact, a stronger bound (valid in the general case) should hold. In the present work we consider such entropic bounds using the model of quantized piecewise linear one-dimensional maps. For a certain class of maps with non-uniform expansion rates we prove the Anantharaman-Nonnenmacher conjecture. Furthermore, for these maps we are able to construct some explicit sequences of eigenstates which saturate the bound. This demonstrates that the conjectured bound is actually optimal in that case.     

Induced maps,Markov extensions and invariant measures in one-dimensional dynamics

A way to study ergodic and measure theoretic aspects of interval maps is by means of the Markov extension. This tool, which ties interval maps to the theory of Markov chains, was introduced by Hofbauer and Keller. More generally known are induced maps, i.e. maps that, restricted to an element of an interval partition, coincide with an iterate of the original map.We will discuss the relation between the Markov extension and induced maps. The main idea is that an induced map of an interval map often appears as a first return map in the Markov extension. For S-unimodal maps, we derive a necessary condition for the existence of invariant probability measures which are absolutely continuous with respect to Lebesgue measure. Two corollaries are given.     

Stochastic Stability¶for Contracting Lorenz Maps and Flows

In a previous work [M], we proved the existence of absolutely continuous invariant measures for contracting Lorenz-like maps, and constructed Sinai–Ruelle–Bowen measures f or the flows that generate them. Here, we prove stochastic stability for such one-dimensional maps and use this result to prove that the corresponding flows generating these maps are stochastically stable under small diffusion-type perturbations, even though, as shown by Rovella [Ro], they are persistent only in a measure theoretical sense in a parameter space. For the one-dimensional maps we also prove strong stochastic stability in the sense of Baladi and Viana[BV]. Received: 24 February 1999 / Accepted: 7 January 2000     

Quantisations of Piecewise Parabolic Maps on the Torus and their Quantum Limits

For general quantum systems the semiclassical behaviour of eigenfunctions in relation to the ergodic properties of the underlying classical system is quite difficult to understand. The Wignerfunctions of eigenstates converge weakly to invariant measures of the classical system, the so-called quantum limits, and one would like to understand which invariant measures can occur that way, thereby classifying the semiclassical behaviour of eigenfunctions. We introduce a class of maps on the torus for whose quantisations we can understand the set of quantum limits in great detail. In particular we can construct examples of ergodic maps which have singular ergodic measures as quantum limits, and examples of non-ergodic maps where arbitrary convex combinations of absolutely continuous ergodic measures can occur as quantum limits. The maps we quantise are obtained by cutting and stacking.     

A Novel Moment Approach for Calculation of the Perron–Frobenius Spectrum

The spectral properties of the Perron–Frobenius operator of the one-dimensional maps are studied by using the moment. In this paper we make an investigation into the properties of self-similar measures related to the theory of orthogonal polynomials. Numerical investigation of a particular family of maps shows that the spectrum generates the invariant measure. Analytical considerations generalize the results to a broader class of the maps. Some examples of this method are presented through out the paper.     

Global attractors and invariant measures for non-invertible planar piecewise isometric maps

The authors investigate dynamical behaviors of discrete systems defined by iterating non-invertible planar piecewise isometries, which are piecewisely defined maps that preserve Euclidean distance. After discussing subtleties for these kind of dynamical systems, they have characterized global attractors via invariant measures and via positive continuous functions on phase space. The main result of this Letter is that a compact set A is the global attractor for a piecewise isometry if and only if the Lebesgue measure restricted to A is invariant, while it is not invariant restricted to any measurable set B which contains A and whose Lebesgue measure is strictly larger than that of A.     

A multifractal analysis of equilibrium measures for conformal expanding maps and Moran-like geometric constructions

In this paper we establish the complete multifractal formalism for equilibrium measures for Hölder continuous conformal expanding maps andexpanding Markov Moran-like geometric constructions. Examples include Markov maps of an interval, beta transformations of an interval, rational maps with hyperbolic Julia sets, and conformal toral endomorphisms. We also construct a Hölder continuous homeomorphism of a compact metric space with an ergodic invariant measure of positive entropy for which the dimension spectrum is not convex, and hence the multifractal formalism fails.     

A novel scheme for image encryption based on 2D piecewise chaotic maps

In this paper, a hierarchy of two-dimensional piecewise nonlinear chaotic maps with an invariant measure is introduced. These maps have interesting features such as invariant measure, ergodicity and the possibility of K-S entropy calculation. Then by using significant properties of these chaotic maps such as ergodicity, sensitivity to initial condition and control parameter, one-way computation and random like behavior, we present a new scheme for image encryption. Based on all analysis and experimental results, it can be concluded that, this scheme is efficient, practicable and reliable, with high potential to be adopted for network security and secure communications. Although the two-dimensional piecewise nonlinear chaotic maps presented in this paper aims at image encryption, it is not just limited to this area and can be widely applied in other information security fields.     

Large Deviation Principle for Benedicks-Carleson Quadratic Maps

Since the pioneering works of Jakobson and Benedicks &; Carleson and others, it has been known that a positive measure set of quadratic maps admit invariant probability measures absolutely continuous with respect to Lebesgue. These measures allow one to statistically predict the asymptotic fate of Lebesgue almost every initial condition. Estimating fluctuations of empirical distributions before they settle to equilibrium requires a fairly good control over large parts of the phase space. We use the sub-exponential slow recurrence condition of Benedicks &; Carleson to build induced Markov maps of arbitrarily small scale and associated towers, to which the absolutely continuous measures can be lifted. These various lifts together enable us to obtain a control of recurrence that is sufficient to establish a level 2 large deviation principle, for the absolutely continuous measures. This result encompasses dynamics far from equilibrium, and thus significantly extends presently known local large deviations results for quadratic maps.     

Hyperbolicity and invariant measures for generalC 2 interval maps satisfying the Misiurewicz condition

In this paper we will show that piecewiseC ² mappingsf on [0,1] orS ¹ satisfying the so-called Misiurewicz conditions are globally expanding (in the sense defined below) and have absolute continuous invariant probability measures of positive entropy. We do not need assumptions on the Schwarzian derivative of these maps. Instead we need the conditions thatf is piecewiseC ², that all critical points off are non-flat, and thatf has no periodic attractors. Our proof gives an algorithm to verify this last condition. Our result implies the result of Misiurewicz in [Mi] (where only maps with negative Schwarzian derivatives are considered). Moreover, as a byproduct, the present paper implies (and simplifies the proof of) the results of Mañé in [Ma], who considers generalC ² maps (without conditions on the Schwarzian derivative), and restricts attention to points whose forward orbit stay away from the critical points. One of the main complications will be that in this paper we want to prove the existence of invariant measures and therefore have to consider points whose iterations come arbitrarily close to critical points. Misiurewicz deals with this problem using an assumption on the Schwarzian derivative of the map. This assumption implies very good control of the non-linearity off ⁿ, even for highn. In order to deal with this non-linearity, without an assumption on the Schwarzian derivative, we use the tools of [M.S.]. It will turn out that the estimates we obtain are so precise that the existence of invariant measures can be proved in a very simple way (in some sense much simpler than in [Mi]). The existence of these invariant measures under such general conditions was already conjectured a decade ago.     

Generalized Physical and SRB Measures for Hyperbolic Diffeomorphisms

In this paper we introduce the notion of generalized physical and SRB measures. These measures naturally generalize classical physical and SRB measures to measures which are supported on invariant sets that are not necessarily attractors. We then perform a detailed case study of these measures for hyperbolic Hènon maps. For this class of systems we are able to develop a complete theory about the existence, uniqueness, finiteness, and properties of these natural measures. Moreover, we derive a classification for the existence of a measure of full dimension. We also consider general hyperbolic surface diffeomorphisms and discuss possible extensions of, as well as the differences to, the results for Hènon maps. Finally, we study the regular dependence of the dimension of the generalized physical/SRB measure on the diffeomorphism. For the proofs we apply various techniques from smooth ergodic theory including the thermodynamic formalism. 2000 Mathematics Subject Classification. Primary: 37C45, 37D20, 37D35, Secondary: 37A35, 37E30     

An analytical construction of the SRB measures for Baker-type maps

For a class of dynamical systems, called the axiom-A systems, Sinai, Ruelle and Bowen showed the existence of an invariant measure (SRB measure) weakly attracting the temporal average of any initial distribution that is absolutely continuous with respect to the Lebesgue measure. Recently, the SRB measures were found to be related to the nonequilibrium stationary state distribution functions for thermostated or open systems. Inspite of the importance of these SRB measures, it is difficult to handle them analytically because they are often singular functions. In this article, for three kinds of Baker-type maps, the SRB measures are analytically constructed with the aid of a functional equation, which was proposed by de Rham in order to deal with a class of singular functions. We first briefly review the properties of singular functions including those of de Rham. Then, the Baker-type maps are described, one of which is nonconservative but time reversible, the second has a Cantor-like invariant set, and the third is a model of a simple chemical reaction R<-->I<-->P. For the second example, the cases with and without escape are considered. For the last example, we consider the reaction processes in a closed system and in an open system under a flux boundary condition. In all cases, we show that the evolution equation of the distribution functions partially integrated over the unstable direction is very similar to de Rham's functional equation and, employing this analogy, we explicitly construct the SRB measures. (c) 1998 American Institute of Physics.     

On global attractors for a class of nonhyperbolic piecewise affine maps

Dynamical behavior of a class of nonhyperbolic discrete systems are considered. These systems are generated by iterating planar maps that are piecewise isometries, and they arise as mathematical models for signal processing, digital filters and modulator dynamics. Planar piecewise isometries may be discontinuous and/or non-invertible. First, the authors consider attraction caused by discontinuity in planar piecewise isometries. Namely, they have shown that the maximal invariant set can induce an invariant measure, and all the Lyapunov exponents are zero under this invariant measure. Second, they discuss various definitions of global attractors and their existence and uniqueness for discontinuous maps, and introduce a few examples in which the attractors are created due to discontinuity. Third, they study the relation between invariance and invertibility for various nonhyperbolic maps, and finally they investigate decomposability of global attractors for certain nonhyperbolic systems.     

Invariant Measures for Cherry Flows

We investigate the invariant probability measures for Cherry flows, i.e. flows on the two-torus which have a saddle, a source, and no other fixed points, closed orbits or homoclinic orbits. In the case when the saddle is dissipative or conservative we show that the only invariant probability measures are the Dirac measures at the two fixed points, and the Dirac measure at the saddle is the physical measure. In the other case we prove that there exists also an invariant probability measure supported on the quasi-minimal set, we discuss some situations when this other invariant measure is the physical measure, and conjecture that this is always the case. The main techniques used are the study of the integrability of the return time with respect to the invariant measure of the return map to a closed transversal to the flow, and the study of the close returns near the saddle.     

Random composition of two rational maps: Singularity of the invariant measure

We study the invariant measure of a Markov chain obtained by randomly composing two rational maps related to the Anderson model with a Bernoulli potential. For a certain range of the parameters we show that the invariant measure is singular continuous. In certain cases the support turns out to be a Cantor set with a multifractal structure.     

Two-dimensional solvable chaos

Two methods are proposed to construct two-dimensional chaotic maps. Several examples of exactly solvable chaotic maps and their invariant measures are obtained. They are isomorphic maps of square to square, plane to plane and circle to circle having various symmetry such as uniform, rotational and the quartic rotational symmetry.     

Some relations between dimension and Lyapounov exponents

We consider differentiable maps and compact invariant sets. We introduce dimensional quantities related to the ergodic invariant measures, and prove some simple relations.     

The Onsager-Machlup function as Lagrangian for the most probable path of a diffusion process

By application of the Girsanov formula for measures induced by diffusion processes with constant diffusion coefficients it is possible to define the Onsager-Machlup function as the Lagrangian for the most probable tube around a differentiable function. The absolute continuity of a measure induced by a process with process depending diffusion w.r.t. a quasi translation invariant measure is investigated. The orthogonality of these measures w.r.t. quasi translation invariant measures is shown. It is concluded that the Onsager-Machlup function cannot be defined as a Lagrangian for processes with process depending diffusion coefficients.     

Exponential speedup with a single bit of quantum information: measuring the average fidelity decay

We present an efficient quantum algorithm to measure the average fidelity decay of a quantum map under perturbation using a single bit of quantum information. Our algorithm scales only as the complexity of the map under investigation. Thus for those maps admitting an efficient gate decomposition, it provides an exponential speedup over known classical procedures. Fidelity decay is important in the study of complex dynamical systems, where it is conjectured to be a signature of eigenvector statistics. Our result also illustrates the role of chaos in the process of decoherence.