On the structures of generating iterated function systems of Cantor sets

A generating IFS of a Cantor set F is an IFS whose attractor is F. For a given Cantor set such as the middle-3rd Cantor set we consider the set of its generating IFSs. We examine the existence of a minimal generating IFS, i.e. every other generating IFS of F is an iterating of that IFS. We also study the structures of the semi-group of homogeneous generating IFSs of a Cantor set F in under the open set condition (OSC). If dim_HF<1 we prove that all generating IFSs of the set must have logarithmically commensurable contraction factors. From this Logarithmic Commensurability Theorem we derive a structure theorem for the semi-group of generating IFSs of F under the OSC. We also examine the impact of geometry on the structures of the semi-groups. Several examples will be given to illustrate the difficulty of the problem we study.     

Constructing quasisymmetric functions via graph-directed iterated function systems

Using Tukia’s method for representing a quasisymmetric function as a quasisymmetric sieve, we generalize his modification to the Salem scheme and find a sufficient condition for the collection of functions that realize a structure parametrization of a graph-directed function system of a particular form (a one-dimensional multizipper) to consist of quasisymmetric functions. We give an asymptotically sharp estimate for the quasisymmetry coefficient of these functions in terms of the dilation coefficients of the mappings constituting a given multizipper, which yields a substantially more general method for constructing quasisymmetric functions than Tukia’s construction.     

The OSC does not imply the SOSC for infinite iterated function systems

It is shown that every class of contracting similitudes on satisfying the OSC and such that , where denotes the corresponding fractal, can be extended to an infinite family of contracting similitudes which still satisfies the OSC but the SOSC does not hold.

     

Separation conditions for conformal iterated function systems

We extend both the weak separation condition and the finite type condition to include finite iterated function systems (IFSs) of injective C ¹ conformal contractions on compact subsets of . For conformal IFSs satisfying the bounded distortion property, we prove that the finite type condition implies the weak separation condition. By assuming the weak separation condition, we prove that the Hausdorff and box dimensions of the attractor are equal and, if the dimension of the attractor is α, then its α-dimensional Hausdorff measure is positive and finite. We obtain a necessary and sufficient condition for the associated self-conformal measure μ to be singular. By using these we give a first example of a singular invariant measure μ that is associated with a non-linear IFS with overlaps. The authors are supported in part by an HKRGC grant.     

Sensitivity of iterated function systems

The present work is concerned with the equicontinuity and sensitivity of iterated function systems (IFSs). Here, we consider more general case of IFSs, i.e. the IFSs generated by a family of relations. We generalize the concepts of transitivity, sensitivity and equicontinuity to these kinds of systems. This note investigates the relationships between these concepts. Then, several sufficient conditions for sensitivity of IFSs are presented. We introduce the notion of weak topologically exact for IFSs generated by a family of relations. It is proved that non-minimal weak topologically exact IFSs are sensitive. That yields to different examples of non-minimal sensitive systems which are not an M-system. Moreover, some interesting examples are given which provide some facts about the sensitive property of IFSs.     

Contraction ratios for graph-directed iterated constructions

We provide necessary and sufficient conditions for a graph-directed iterated function system to be strictly contracting.

     

Markov chains in random environments and random iterated function systems

We consider random iterated function systems giving rise to Markov chains in random (stationary) environments. Conditions ensuring unique ergodicity and a ``pure type' characterization of the limiting ``randomly invariant' probability measure are provided. We also give a dimension formula and an algorithm for simulating exact samples from the limiting probability measure.

     

Hyperbolic dynamics in graph-directed IFS

A cone space is a complete metric space (X,d) with a pair of functions cs,cu:X×X→R, such that there exists K>0 satisfying

     

Recurrent iterated function systems

Constructive Approximation - Recurrent iterated function systems generalize iterated function systems as introduced by Barnsley and Demko [BD] in that a Markov chain (typically with some zeros in...     

Reich-type iterated function systems

In this paper, we introduce the concept of Reich-type iterated function system and prove the existence and uniqueness of the attractor of such a system. Moreover, we study the properties of the canonical projection from the code space onto the attractor of such a system. We also present an iterated function system consisting of continuous Reich contractions having more than one attractor.     

Wavelets for iterated function systems

We construct a wavelet and a generalised Fourier basis with respect to some fractal measure given by a one-dimensional iterated function system. In this paper we will not assume that these systems are given by linear contractions generalising in this way some previous work of Dutkay, Jorgensen, and Pedersen to the non-linear setting. As a byproduct we are able to provide a Fourier basis also for such linear fractals like the Middle Third Cantor Set which have been left out by previous approaches.     

Dual systems of algebraic iterated function systems

We study a class of graph-directed iterated function systems on R$\mathbb{R}$ with algebraic parameters, which we call algebraic GIFS. We construct a dual IFS of an algebraic GIFS, and study the relations between the two systems. We determine when a dual system satisfies the open set condition, which is fundamental. For feasible Pisot systems, we construct the left and right Rauzy–Thurston tilings, and study their multiplicities and decompositions. We also investigate their relation with codings space, domain-exchange transformation, and the Pisot spectrum conjecture. The dual IFS provides a unified and simple framework for Rauzy fractals, β-tilings and related studies, and allows us gain better understanding.     

Graphs induced by iterated function systems

For an iterated function system (IFS) of similitudes, we define two graphs on the representing symbolic space. We show that if the self-similar set \(K\) has positive Lebesgue measure or the IFS satisfies the weak separation condition, then the graphs are hyperbolic; moreover the hyperbolic boundaries are homeomorphic to the self-similar sets.     

Correlation dimension for iterated function systems

The correlation dimension of an attractor is a fundamental dynamical invariant that can be computed from a time series. We show that the correlation dimension of the attractor of a class of iterated function systems in is typically uniquely determined by the contraction rates of the maps which make up the system. When the contraction rates are uniform in each direction, our results imply that for a corresponding class of deterministic systems the information dimension of the attractor is typically equal to its Lyapunov dimension, as conjected by Kaplan and Yorke.

     

Subdivision schemes for iterated function systems

We identify iterated function systems and regular Borel measures such that the matrix subdivision process relative to a finite family converges if and only if satisfies certain spectral properties.     

ON THE STRUCTURE OF THEATTRACTORS OF HYPERBOLICITERATED FUNCTION SYSTEM

1.IntroductionThefractalsgeneratedbytheattractorsofiteratedfunctionsystems(i.f.s.)havebeenresearchedbymanyauthorsfl--3'6'7'9].ByaniteratedfunctionsystemwemeanacompactmetricspaceXtogetherwithacollectionofcontinuousmapsTI,T2,'tTNonit,denotedby(X,TI,',TN).IfalltheTi'sarecontractionswecall(X;TI,',TN)ahyperboliciteratedfunctionsystem(h.i.f.s.).NForanh.i.f.s.thereexistsacompactsubsetAofX,suchthatA=.UTi(A).Aiscalledtheattractoroftheh.i.f.s.DenoteZ=(1,2,',N)N,anddefineametricdonZby…     

Porosity of Self-affine Sets

In this paper, it is proved that any self-affine set satisfying the strong separation condition is uniformly porous. The author constructs a self-affine set which is not porous, although the open set condition holds. Besides, the author also gives a C^1 iterated function system such that its invariant set is not porous.