This is the first article in a two-part series containing some results on dimension estimates for $C^1$ iterated function systems and repellers. In this part, we prove that the upper box-counting dimension of the attractor of any $C^1$ iterated function system (IFS) on ${\Bbb R}^d$ is bounded above by its singularity dimension, and the upper packing dimension of any ergodic invariant measure associated with this IFS is bounded above by its Lyapunov dimension. Similar results are obtained for the repellers for $C^1$ expanding maps on Riemannian manifolds.
This is the second part of our study of the dimension theory of $C^1$ iterated function systems (IFSs) and repellers on ${\Bbb R}^d$. In the first part we proved that the upper box-counting dimension of the attractor of any $C^1$ IFS on ${\Bbb R}^d$ is bounded above by its singularity dimension, and the upper packing dimension of any ergodic invariant measure associated with this IFS is bounded above by its Lyapunov dimension. Here we introduce a generalized transversality condition (GTC) for parametrized families of $C^1$ IFSs, and show that these upper bounds give actually the dimensions for…
This paper contains four main results associated with an attractor of a projective iterated function system (IFS). The first theorem characterizes when a projective IFS has an attractor which avoids a hyperplane. The second theorem establishes that a projective IFS has at most one attractor. In the third theorem the classical duality between points and hyperplanes in projective space leads to connections between attractors that avoid hyperplanes and repellers that avoid points as well as hyperplane attractors that avoid points and repellers that avoid hyperplanes. Finally, an index is defined …
The pressure function $P(A, s)$ plays a fundamental role in the calculation of the dimension of "typical" self-affine sets, where $A=(A_1,\ldots, A_k)$ is the family of linear mappings in the corresponding generating iterated function system. We prove that this function depends continuously on $A$. As a consequence, we show that the dimension of "typical" self-affine sets is a continuous function of the defining maps. This resolves a folklore open problem in the community of fractal geometry. Furthermore we extend the continuity result to more general sub-additive pressure functions generated …
Dimensions of surface repellers and attractors of non-linear planar IFSs
Fudan University（复旦大学）；University of Toronto（多伦多大学）；Peking University（北京大学）；Great Bay University and Great bay institute for advanced study（大湾区大学和大湾区高等研究院）
We construct two planar homeomorphisms $f$ and $g$ for which the origin is a globally asymptotically stable fixed point whereas for $f \circ g$ and $g \circ f$ the origin is a global repeller. Furthermore, the origin remains a global repeller for the iterated function system generated by $f$ and $g$ where each of the maps appears with a certain probability. This planar construction is also extended to any dimension greater than 2 and proves for first time the appearance of the Parrondo's dynamical paradox in odd dimensions.
This is the second part in a series of two papers. Here, we give an overview on the dimension theory of some dynamically defined function graphs, like Takagi and Weierstrass function, and we study the dimension of Markovian fractal interpolation functions and generalised Takagi functions generated by non-Markovian dynamics.
Michael Barnsley introduced a family of fractals sets which are repellers of piecewise affine systems. The study of these fractals was motivated by certain problems that arose in fractal image compression but the results we obtained can be applied for the computation of the Hausdorff dimension of the graph of some functions, like generalized Takagi functions and fractal interpolation functions. In this paper we introduce this class of fractals and present the tools in the one-dimensional dynamics and nonconformal fractal theory that are needed to investigate them. This is the first part in a s…
We give a subclass L of Non-linear Lalley-Gatzouras carpets and an open set U in L such that any carpet in U has a unique ergodic measure of full dimension. In particular, any Lalley-Gatzouras carpet which is close to a non-trivial general Sierpinski carpet has a unique ergodic measure of full dimension.
We consider the multifractal analysis for Birkhoff averages of continuous potentials on a self-affine Sierpiński sponge. In particular, we give a variational principal for the packing dimension of the level sets. Furthermore, we prove that the packing spectrum is concave and continuous. We give a sufficient condition for the packing spectrum to be real analytic, but show that for general Hölder continuous potentials, this need not be the case. We also give a precise criterion for when the packing spectrum attains the full packing dimension of the repeller. Again, we present an example showing …
We deal with the problem of asymptotic distribution of first return times to shrinking balls under iteration generated by a large general class of dynamical systems called weakly Markov. Our ultimate main result is that these distributions converge to the exponential law when the balls shrink to points. We apply this result to many classes of smooth dynamical systems that include conformal iterated function systems, rational functions on the Riemann sphere $\widehat{\mathbb C}$, and transcendental meromorphic functions on the complex plane $\mathbb{C}$. We also apply them to expanding repeller…
Let $E$ be the attractor of an iterated function system $\{ϕ_i(x)=ρR_ix+a_i\}_{i=1}^N$ on $\Bbb R^d$, where $0<ρ<1$, $a_i\in \Bbb R^d$ and $R_i$ are orthogonal transformations on $\Bbb R^d$. Suppose that $\{ϕ_i\}_{i=1}^N$ satisfies the open set condition, but not the strong separation condition. We show that $E$ can not be generated by any iterated function system of similitudes satisfying the strong separation condition. This gives a partial answer to a folklore question about the separation conditions on the generating iterated function systems of self-similar sets.
This paper discusses, certain algebraic, analytic, and topological results on partial iterated function systems($IFS_p$'s). Also, the article proves the Collage theorem for partial iterated function systems. Further, it provides a method to address the points in the attractor of a partial iterated function system and obtain results related to the address of points in the attractor. The completeness of the partial metric space of contractions with a fixed contractivity factor is proved, under suitable conditions. Also, it demonstrates the continuity of the map that associates each contraction i…
We provide explicit formulaes for the first Kantorovich-Wasserstein distance between stationary measures for iterated function scheme on the unit interval. In particular, we consider two stationary measures with different configurations of the weights associated to the same iterated function schemes with disjoint images composed of: $k$ positive contractions or $2$ contractions of different sign. We also study the case of two stationary measures associated to different iterated function schemes.
The aim of this paper is to establish some results regarding Infinite Iterated Function Systems with the help of the Tarski-Kantorovitch fixed-point principles for maps on partially ordered sets. To this end we introduce two new classes of Infinite Iterated Function Systems which are well suited for applying the aforementioned principle. We also study some properties of the canonical projection from the shift space of an Infinite Iterated Function System belonging to one of the two introduced classes to its attractor.
We study the dynamics of iteration function systems generated by a pair of circle diffeomorphisms close to rotations in the $C^{1+\mathrm{bv}}$-topology. We characterize the obstruction to minimality and describe the limit set. In particular, there are no invariant minimal Cantor sets, which can be seen as a Denjoy/Duminy type theorem for iterated systems on the circle.
We study the Hausdorff measures of limit sets of weakly controlled Moran constructions in metric spaces. The separation of the construction pieces is closely related to the Hausdorff measure of the corresponding limit set. In particular, we investigate different separation conditions for semiconformal iterated function systems. Our work generalizes well known results on self-similar sets in metric spaces as well as results on controlled Moran constructions in Euclidean spaces.
Guided by classical concepts, we define the notion of \emph{ends} of an iterated function system and prove that the number of ends is an upper bound for the number of nondegenerate components of its attractor. The remaining isolated points are then linked to idempotent maps. A commutative diagram illustrates the natural relationships between the infinite walks in a semigroup and components of an attractor in more detail. We show in particular that, if an iterated function system is one-ended, the associated attractor is connected, and ask whether every connected attractor (fractal) conversely …
This paper discusses iterated monodromy groups for transcendental functions. We show that for every post-singularly finite entire transcendental function, the iterated monodromy action can be described by bounded activity automata of a special form, called "dendroid automata". In particular, we conclude that the iterated monodromy group of a post-singularly finite entire function is amenable if and only if the monodromy group is.
We study contraction conditions for an iterated function system of continuous maps on a metric space which are chosen randomly, identically and independently. We investigate metric changes, preserving the topological structure of the space, which turn the IFS into one which is contracting on average. For the particular case of a system of $C^1$-diffeomorphisms of the circle which is proximal and does not have a probability measure simultaneously invariant by every map, we derive a strongly equivalent metric which contracts on average.
We review the theory of semiattractors associated with non-contractive Iterated Function Systems (IFSs) and demonstrate its applications on a concrete example. In particular, we present criteria for the existence of semiattractors due to Lasota and Myjak. We also discuss the Kieninger criterion which allows us to characterise when a semiattractor is strongly-fibred. Finally, we consider a specific example of a non-contractive IFS introduced by Barnsley and Vince. We find an invariant measure for this system which allows us to describe its semiattractor. The difficulty in analysing this IFS ste…
This paper introduces iterated monodromy groups for transcendental functions and discusses them in the simplest setting, for post-singularly finite exponential functions. These groups are self-similar groups in a natural way, based on an explicit construction in terms of kneading sequences. We investigate the group theoretic properties of these groups, and show in particular that they are amenable, but they are not elementary subexponentially amenable.
We study the attractor of Iterated Function Systems composed of infinitely many affine, homogeneous maps. In the special case of second generation IFS, defined herein, we conjecture that the attractor consists of a finite number of non-overlapping intervals. Numerical techniques are described to test this conjecture, and a partial rigorous result in this direction is proven.
In this paper we study a family of limsup sets that are defined using iterated function systems. Our main result is an analogue of Khintchine's theorem for these sets. We then apply this result to the topic of intrinsic Diophantine Approximation on self-similar sets. In particular, we define a new height function for an element of $\mathbb{Q}^d$ contained in a self-similar set in terms of its eventually periodic representations. For limsup sets defined with respect to this height function, we obtain a detailed description of their metric properties. The results of this paper hold in arbitrary …
We investigate the topological and metric properties of attractors of an iterated function system (IFS) whose functions may not be contractive. We focus, in particular, on invertible IFSs of finitely many maps on a compact metric space. We rely on ideas Kieninger and McGehee and Wiandt, restricted to what is, in many ways, a simpler setting, but focused on a special type of attractor, namely point-fibred minimal (locally) invariant sets. This allows us to give short proofs of some of the key ideas.
A classical theorem of Hutchinson asserts that if an iterated function system acts on $\mathbb{R}^d$ by similitudes and satisfies the open set condition then it admits a unique self-similar measure with Hausdorff dimension equal to the dimension of the attractor. In the class of measures on the attractor which arise as the projections of shift-invariant measures on the coding space, this self-similar measure is the unique measure of maximal dimension. In the context of affine iterated function systems it is known that there may be multiple shift-invariant measures of maximal dimension if the l…
We establish properties of a new type of fractal which has partial self similarity at all scales. For any collection of iterated functions systems with an associated probability distribution and any positive integer V there is a corresponding class of V-variable fractal sets or measures. These V-variable fractals can be obtained from the points on the attractor of a single deterministic iterated function system. Existence, uniqueness and approximation results are established under average contractive assumptions. We also obtain extensions of some basic results concerning iterated function syst…
We consider small perturbations of a conformal iterated function system (CIFS) produced by either adding or removing some generators with small derivative from the original. We establish a formula, utilizing transfer operators arising from the thermodynamic formalism à la Sinai--Ruelle--Bowen, which may be solved to express the Hausdorff dimension of the perturbed limit set in series form: either exactly, or as an asymptotic expansion. Significant applications include strengthening Hensley's asymptotic formula from 1992, which improved on earlier bounds due to Jarník and Kurzweil, for the Haus…
We study the topological properties of attractors of Iterated Function Systems (I.F.S.) on the real line, consisting of affine maps of homogeneous contraction ratio. These maps define what we call a second generation I.F.S.: they are uncountably many and the set of their fixed points is a Cantor set. We prove that when this latter either is the attractor of a finite, non-singular, hyperbolic, I.F.S. (of first generation), or it possesses a particular dissection property, the attractor of the second generation I.F.S. consists of finitely many closed intervals.
We study images of equilibrium (Gibbs) states for a class of non-invertible transformations associated to conformal iterated function systems with overlaps $\mathcal S$. We prove exact dimensionality for these image measures, and find a dimension formula using their overlap numbers. In particular, we obtain a geometric formula for the dimension of self-conformal measures for iterated function systems with overlaps, in terms of the overlap numbers. This implies a necessary and sufficient condition for dimension drop. If $ν= π_*μ$ is a self-conformal measure, then $HD(ν) < \frac{h(μ)}{|χ(μ)|}$ i…
