Invariant measures for non-primitive tiling substitutions

We consider self-affine tiling substitutions in Euclidean space and the corresponding tiling dynamical systems. It is well known that in the primitive case, the dynamical system is uniquely ergodic. We investigate invariant measures when the substitution is not primitive and the tiling dynamical system is non-minimal. We prove that all ergodic invariant probability measures are supported on minimal components, but there are other natural ergodic invariant measures, which are infinite. Under some mild assumptions, we completely characterize σ-finite invariant measures which are positive and finite on a cylinder set. A key step is to establish recognizability of non-periodic tilings in our setting. Examples include the “integer Sierpiński gasket and carpet” tilings. For such tilings, the only invariant probability measure is supported on trivial periodic tilings, but there is a fully supported σ-finite invariant measure that is locally finite and unique up to scaling.     

Dimension theory of iterated function systems

Let {S_i} be an iterated function system (IFS) on ?^d with attractor K. Let (Σ, σ) denote the one‐sided full shift over the alphabet {1, …, ??}. We define the projection entropy function h_π on the space of invariant measures on Σ associated with the coding map π : Σ → K and develop some basic ergodic properties about it. This concept turns out to be crucial in the study of dimensional properties of invariant measures on K. We show that for any conformal IFS (respectively, the direct product of finitely many conformal IFSs), without any separation condition, the projection of an ergodic measure under π is always exactly dimensional and its Hausdorff dimension can be represented as the ratio of its projection entropy to its Lyapunov exponent (respectively, the linear combination of projection entropies associated with several coding maps). Furthermore, for any conformal IFS and certain affine IFSs, we prove a variational principle between the Hausdorff dimension of the attractors and that of projections of ergodic measures. © 2008 Wiley Periodicals, Inc.     

Invariant measures of minimal post-critical sets of logistic maps

We construct logistic maps whose restriction to the ω-limit set of its critical point is a minimal Cantor system having a prescribed number of distinct ergodic and invariant probability measures. In fact, we show that every metrizable Choquet simplex whose set of extreme points is compact and totally disconnected can be realized as the set of invariant probability measures of a minimal Cantor system corresponding to the restriction of a logistic map to the ω-limit set of its critical point. Furthermore, we show that such a logistic map f can be taken so that each such invariant measure has zero Lyapunov exponent and is an equilibrium state of f for the potential −ln |f′|.     

Global random attractors are uniquely determined by attracting deterministic compact sets

It is shown that for continuous dynamical systems an analogue of the Poincaré recurrence theorem holds for Ω-limit sets. A similar result is proved for Ω-limit sets of random dynamical systems (RDS) on Polish spaces. This is used to derive that a random set which attracts every (deterministic) compact set has full measure with respect to every invariant probability measure for theRDS. Then we show that a random attractor coincides with the Ω-limit set of a (nonrandom) compact set with probability arbitrarily close to one, and even almost surely in case the base flow is ergodic. This is used to derive uniqueness of attractors, even in case the base flow is not ergodic. Entrata in Redazione il 10 marzo 1997.     

On contraction properties of Markov kernels

 We study Lipschitz contraction properties of general Markov kernels seen as operators on spaces of probability measures equipped with entropy-like ``distances'. Universal quantitative bounds on the associated ergodic constants are deduced from Dobrushin's ergodic coefficient. Strong contraction properties in Orlicz spaces for relative densities are proved under more restrictive mixing assumptions. We also describe contraction bounds in the entropy sense around arbitrary probability measures by introducing a suitable Dirichlet form and the corresponding modified logarithmic Sobolev constants. The interest in these bounds is illustrated on the example of inhomogeneous Gaussian chains. In particular, the existence of an invariant measure is not required in general. Received: 31 October 2000 / Revised version: 21 February 2003 / Published online: 12 May 2003 L. Miclo also thanks the hospitality and support of the Instituto de Matemática Pura e Aplicada, Rio de Janeiro, Brasil, where part of this work was done. Mathematics Subject Classification (2000): 60J05, 60J22, 37A30, 37A25, 39A11, 39A12, 46E39, 28A33, 47D07 Key words or phrases: Lipschitz contraction – Generalized relative entropy – Markov kernel – Dobrushin's ergodic coefficient – Orlicz norm – Dirichlet form – Spectral gap – Modified logarithmic Sobolev inequality – Inhomogeneous Gaussian chains – Loose of memory property     

NewK-automorphisms and a problem of Kakutani

A property is introduced, for 1-1 measure-preserving transformations of probability spaces, calledloose Bernoulliness (LB), which is invariant under taking factors, inducing, and tower-building. It amounts to replacing, in Ornstein’s definition ofvery weak Bernoulli, the Hamming distance on strings by a coarser metric. The main result is the construction of a transformationT ₀ which is ergodic and of entropy 0 butnot LB. On the other hand, any irrational rotationis LB. Consequently, the equivalence relation generated by inducing and tower-building (which I callKakutani equivalence, and the Russians callmonotone equivalence) has at least two distinct equivalence classes among the ergodic entropy zero transformations. A similar situation exists for ergodic positive-entropy transformations: on the one hand, any Bernoulli shift is LB, while on the other hand a non LBK-automorphism can be made by skewingT ₀ over a Bernoulli base.     

Harmonic measure on the Julia set for polynomial-like maps

For a generalized polynomial-like mapping we prove the existence of an invariant ergodic measure equivalent to the harmonic measure on the Julia set J( f). We also prove that for polynomial-like mappings the harmonic measure is equivalent to the maximal entropy measure iff f is conformally equivalent to a polynomial. Next, we show that the Hausdorff dimension of harmonic measure on the Julia set of a generalized polynomial-like map is strictly smaller than 1 unless the Julia set is connected. Oblatum 24-IV-1995 & 22-VII-1996     

On entropy of dynamical systems with almost specification

We construct a family of shift spaces with almost specification and multiple measures of maximal entropy. This answers a question from Climenhaga and Thompson [Israel J. Math. 192 (2012), 785–817]. Elaborating on our examples we prove that sufficient conditions for every shift factor of a shift space to be intrinsically ergodic given by Climenhaga and Thompson are in some sense best possible; moreover, the weak specification property neither implies intrinsic ergodicity, nor follows from almost specification. We also construct a dynamical system with the weak specification property, which does not have the almost specification property. We prove that the minimal points are dense in the support of any invariant measure of a system with the almost specification property. Furthermore, if a system with almost specification has an invariant measure with non-trivial support, then it also has uniform positive entropy over the support of any invariant measure and cannot be minimal.     

Smooth interval maps have symbolic extensions

We prove that if X denotes the interval or the circle then every transformation T:X→X of class C ^r , where r>1 is not necessarily an integer, admits a symbolic extension, i.e., every such transformation is a topological factor of a subshift over a finite alphabet. This is done using the theory of entropy structure. For such transformations we control the entropy structure by providing an upper bound, in terms of Lyapunov exponents, of local entropy in the sense of Newhouse of an ergodic measure ν near an invariant measure μ (the antarctic theorem). This bound allows us to estimate the so-called symbolic extension entropy function on invariant measures (the main theorem), and as a consequence, to estimate the topological symbolic extension entropy; i.e., a number such that there exists a symbolic extension with topological entropy arbitrarily close to that number. This last estimate coincides, in dimension 1, with a conjecture stated by Downarowicz and Newhouse [13, Conjecture 1.2]. The passage from the antarctic theorem to the main theorem is applicable to any topological dynamical system, not only to smooth interval or circle maps.     

New dynamical invariants on hyperbolic manifolds

The rotation measure is an asymptotic dynamical invariant assigned to a typical point of a flow in a fiber bundle over a hyperbolic manifold. The total mass of the rotation measure is the average speed of the orbit and its “direction” is the ergodic invariant probability measure of the hyperbolic geodesic flow which best captures the asymptotic dynamics of the given point. The rotation measure exists almost everywhere and is constant for an ergodic measure of the given flow and so it may be viewed as assigning an ergodic measure of the geodesic flow to one of the given flow. It generalizes the usual notion of homology rotation vector by encoding homotopy information.     

On processes which cannot be distinguished by finite observation

A function J defined on a family C of stationary processes is finitely observable if there is a sequence of functions s _n such that s _n (x ₁,…, x _n ) → J(X) in probability for every process X=(x _n ) ∈ C. Recently, Ornstein and Weiss proved the striking result that if C is the class of aperiodic ergodic finite valued processes, then the only finitely observable isomorphism invariant defined on C is entropy [8]. We sharpen this in several ways. Our main result is that if X → Y is a zero-entropy extension of finite entropy ergodic systems and C is the family of processes arising from generating partitions of X and Y, then every finitely observable function on C is constant. This implies Ornstein and Weiss’ result, and extends it to many other families of processes, e.g., it follows that there are no nontrivial finitely observable isomorphism invariants for processes arising from the class of Kronecker systems, the class of mild mixing zero entropy systems, or the class of strong mixing zero entropy systems. It also follows that for the class of processes arising from irrational rotations, every finitely observable isomorphism invariant must be constant for rotations belonging to a set of full Lebesgue measure. This research was supported by the Israel Science Foundation (grant No. 1333/04)     

A local variational relation and applications

In [BGH] the authors show that for a given topological dynamical system (X,T) and an open coveru there is an invariant measure μ such that infh _μ(T,ℙ)≥h _top(T,U) where infimum is taken over all partitions finer thanu. We prove in this paper that if μ is an invariant measure andh _μ(T,ℙ) > 0 for each ℙ finer thanu, then infh _μ(T,ℙ > 0 andh _top(T,U) > 0. The results are applied to study the topological analogue of the Kolmogorov system in ergodic theory, namely uniform positive entropy (u.p.e.) of ordern (n≥2) or u.p.e. of all orders. We show that for eachn≥2 the set of all topological entropyn-tuples is the union of the set of entropyn-tuples for an invariant measure over all invariant measures. Characterizations of positive entropy, u.p.e. of ordern and u.p.e. of all orders are obtained. We could answer several open questions concerning the nature of u.p.e. and c.p.e.. Particularly, we show that u.p.e. of ordern does not imply u.p.e. of ordern+1 for eachn≥2. Applying the methods and results obtained in the paper, we show that u.p.e. (of order 2) system is weakly disjoint from all transitive systems, and the product of u.p.e. of ordern (resp. of all orders) systems is again u.p.e. of ordern (resp. of all orders). Project supported by one hundred talents plan and 973 plan.     

The Ruelle-Sullivan map for actions of ℝ n

The Ruelle Sullivan map for an ℝⁿ-action on a compact metric space with invariant probability measure is a graded homomorphism between the integer Cech cohomology of the space and the exterior algebra of the dual of ℝⁿ. We investigate flows on tori to illuminate that it detects geometrical structure of the system. For actions arising from Delone sets of finite local complexity, the existence of canonical transversals and a formulation in terms of pattern equivariant functions lead to the result that the Ruelle Sullivan map is even a ring homomorphism provided the measure is ergodic.     

Numeration systems,fractals and stochastic processes

A numeration system Ω is a compactification of the set of real numbers keeping the actions of addition and positive multiplication in a natural way. That is, Ω is a compact metrizable space with #Ω≥2 to which ℝ acts additively andG acts multiplicatively satisfying the distributive law, whereG is a nontrivial closed multiplicative subgroup of ℝ₊. Moreover, the additive action is minimal and uniquely ergodic with 0-topological entropy, while the multiplication by λ has |log λ|-topological entropy attained uniquely by the unique invariant probability measure under the additive action. We construct Ω as above as a colored tiling space corresponding to a weighted substitution. This framework contains especially the substitution dynamical systems and β-transformation systems with periodic expansion of 1, both of which have discreteG. It also contains systems withG=ℝ₊. We study α-homogeneous cocycles on it with respect to the addition. They are interesting from the point of view of fractal functions or sets as well as self-similar processes. We obtain the zeta-functions of Ω with respect to the multiplication.     

Invariant Cocycles Have Abelian Ranges

 Let R be a discrete nonsingular equivalence relation on a standard probability space , and let V be an ergodic strongly asymptotically central automorphism of R. We prove that every V-invariant cocycle with values in a Polish group G takes values in an abelian subgroup of G. The hypotheses of this result are satisfied, for example, if A is a finite set, a closed, shift-invariant subset, V is the shift, μ a shift-invariant and ergodic probability measure on X, the two-sided tail-equivalence relation on X, a shift-invariant subrelation which is μ-nonsingular, and a shift-invariant cocycle.     

Invariant Cocycles Have Abelian Ranges

 Let R be a discrete nonsingular equivalence relation on a standard probability space , and let V be an ergodic strongly asymptotically central automorphism of R. We prove that every V-invariant cocycle with values in a Polish group G takes values in an abelian subgroup of G. The hypotheses of this result are satisfied, for example, if A is a finite set, a closed, shift-invariant subset, V is the shift, μ a shift-invariant and ergodic probability measure on X, the two-sided tail-equivalence relation on X, a shift-invariant subrelation which is μ-nonsingular, and a shift-invariant cocycle. (Received 15 September 2001)     

Generic measures for hyperbolic flows on non-compact spaces

We consider the geodesic flow on a complete connected negatively curved manifold. We show that the set of invariant borel probability measures contains a dense G _δ -subset consisting of ergodic measures fully supported on the non-wandering set. We also treat the case of non-positively curved manifolds and provide general tools to deal with hyperbolic systems defined on non-compact spaces.     

An ergodic theorem of a parabolic Anderson model driven by L��vy noise

In this paper, we study an ergodic theorem of a parabolic Andersen model driven by Lévy noise. Under the assumption that A = (a(i, j)) _i,j∈S is symmetric with respect to a σ-finite measure gp, we obtain the long-time convergence to an invariant probability measure ν _h starting from a bounded nonnegative A-harmonic function h based on self-duality property. Furthermore, under some mild conditions, we obtain the one to one correspondence between the bounded nonnegative A-harmonic functions and the extremal invariant probability measures with finite second moment of the nonnegative solution of the parabolic Anderson model driven by Lévy noise, which is an extension of the result of Y. Liu and F. X. Yang.     

A generalization of a result of R. Lyons about measures on [0, 1)

Letμ be a probability measure on [0, 1), invariant underS:x ↦px mod 1, and for which almost every ergodic component has positive entropy. Ifq is a real number greater than 1 for which logq/ logp is irrational, andT _n sendsx toq ⁿx mod 1, then for any ε>0 the measureμT _n ⁻¹ will — for a set ofn of positive lower density — be within ε of Lebesgue measure.     

Invariant measures for parabolic IFS with overlaps and random continued fractions

We study parabolic iterated function systems (IFS) with overlaps on the real line. An ergodic shift-invariant measure with positive entropy on the symbolic space induces an invariant measure on the limit set of the IFS. The Hausdorff dimension of this measure equals the ratio of entropy over Lyapunov exponent if the IFS has no ``overlaps.' We focus on the overlapping case and consider parameterized families of IFS, satisfying a transversality condition. Our main result is that the invariant measure is absolutely continuous for a.e. parameter such that the entropy is greater than the Lyapunov exponent. If the entropy does not exceed the Lyapunov exponent, then their ratio gives the Hausdorff dimension of the invariant measure for a.e. parameter value, and moreover, the local dimension of the exceptional set of parameters can be estimated. These results are applied to a family of random continued fractions studied by R. Lyons. He proved singularity above a certain threshold; we show that this threshold is sharp and establish absolute continuity for a.e. parameter in some interval below the threshold.