We introduce a harmonic analysis for a class of affine iteration models in $\br^d$. Using Hilbert-space geometry, we develop a new duality notion for affine and contractive iterated function systems (IFSs) and we construct some identities for the Fourier transform of the measure corresponding to infinite Bernoulli convolutions.
The paper concerns fractal homeomorphism between the attractors of two bi-affine iterated function systems. After a general discussion of bi-affine functions, conditions are provided under which a bi-affine iterated function system is contractive, thus guaranteeing an attractor. After a general discussion of fractal homeomorphism, fractal homeomorphisms are constructed for a specific type of bi-affine iterated function system.
We completely describe the equilibrium states of a class of potentials over the full shift which includes Falconer's singular value function for affine iterated function systems with invertible affinities. We show that the number of distinct ergodic equilibrium states of such a potential is bounded by a number depending only on the dimension, answering a question of A. Käenmäki. We prove that all such equilibrium states are fully supported and satisfy a Gibbs inequality with respect to a suitable subadditive potential. We apply these results to demonstrate that the affinity dimension of an ite…
In this paper we investigate aspects of rigidity and flexibility for conformal iterated function systems. For the case in which the systems are not essentially affine we show that two such systems are conformal equivalent if and only if in each of their Lyapunov spectra there exists at least one level set such that the corresponding Gibbs measures coincide. We then proceed by comparing this result with the essentially affine situation. We show that essentially affine systems are far less rigid than non--essentially affine systems, and subsequently we then investigate the extent of their flexib…
Given an infinite iterated function system (IFS) $\mathcal{F}$, we define its dimension spectrum $D(\mathcal{F})$ to be the set of real numbers which can be realised as the dimension of some subsystem of $\mathcal{F}$. In the case where $\mathcal{F}$ is a conformal IFS, the properties of the dimension spectrum have been studied by several authors. In this paper we investigate for the first time the properties of the dimension spectrum when $\mathcal{F}$ is a non-conformal IFS. In particular, unlike dimension spectra of conformal IFS which are always compact and perfect (by a result of Chousion…
This paper examines thresholds for certain properties of the attractor of a general one-parameter affine family of iterated functions systems. As the parameter increases, the iterated function system becomes less contractive, and the attractor evolves. Thresholds are studied for the following properties: the existence of an attractor, the connectivity of the attractor, and the existence of non-empty interior of the attractor. Also discussed are transition phenomena between existence and non-existence of an attractor.
In this note we give a simple sufficient condition for an affine iterated function system to admit an invariant affine subspace persistently with respect to changes in the translation parameters. This yields further examples of tuples of contracting linear maps which do not satisfy the conclusions of Falconer's theorem on the Hausdorff dimension of almost every self-affine set. We also obtain new examples of iterated function systems of similarity transformations which cannot satisfy the open set condition for any choice of translation parameters, and resolve a related question of Peres and So…
We analyze the two-point motions of iterated function systems on the unit interval generated by expanding and contracting affine maps, where the expansion and contraction rates are determined by a pair $(M,N)$ of integers. This dynamics depends on the Lyapunov exponent. For a negative Lyapunov exponent we establish synchronization, meaning convergence of orbits with different initial points. For a vanishing Lyapunov exponent we establish intermittency, where orbits are close for a set of iterates of full density, but are intermittently apart. For a positive Lyapunov exponent we show the existe…
Let $\{S_i\}_{i\in Λ}$ be a finite contracting affine iterated function system (IFS) on ${\Bbb R}^d$. Let $(Σ,σ)$ denote the two-sided full shift over the alphabet $Λ$, and $π:Σ\to {\Bbb R}^d$ be the coding map associated with the IFS. We prove that the projection of an ergodic $σ$-invariant measure on $Σ$ under $π$ is always exact dimensional, and its Hausdorff dimension satisfies a Ledrappier-Young type formula. Furthermore, the result extends to average contracting affine IFSs. This completes several previous results and answers a folklore open question in the community of fractals. Some ap…
In 1988 K. Falconer introduced a formula which predicts the value of the Hausdorff dimension of the attractor of an affine iterated function system. The value given by this formula -- sometimes referred to as the affinity dimension -- is known to agree with the Hausdorff dimension both generically and in an increasing range of explicit cases. It is however a nontrivial problem to estimate the numerical value of the affinity dimension for specific iterated function systems. In this article we substantially extend an earlier result of M. Pollicott and P. Vytnova on the computation of the affinit…
In this article we investigate the pressure function and affinity dimension for iterated function systems associated to the "box-like" self-affine fractals investigated by D.-J. Feng, Y. Wang and J.M. Fraser. Combining previous results of V. Yu. Protasov, A. Käenmäki and the author we obtain an explicit formula for the pressure function which makes it straightforward to compute the affinity dimension of box-like self-affine sets. We also prove a variant of this formula which allows the computation of a modified singular value pressure function defined by J.M. Fraser. We give some explicit exam…
The sub-additive pressure function $P(s)$ for an affine iterated function system (IFS) and the affinity dimension, defined as the unique solution $s_0$ to $P(s_0)=1$, were introduced by K. Falconer in his seminal 1988 paper on self-affine fractals. The affinity dimension prescribes a value for the Hausdorff dimension of a self-affine set which is known to be correct in generic cases and in an increasing range of explicit cases. It was shown by Feng and Shmerkin in 2014 that the affinity dimension depends continuously on the IFS. In this article we prove that when the linear parts of the affini…
An affine iterated function system is a finite collection of affine invertible contractions and the invariant set associated to the mappings is called self-affine. In 1988, Falconer proved that, for given matrices, the Hausdorff dimension of the self-affine set is the affinity dimension for Lebesgue almost every translation vectors. Similar statement was proven by Jordan, Pollicott, and Simon in 2007 for the dimension of self-affine measures. In this article, we have an orthogonal approach. We introduce a class of self-affine systems in which, given translation vectors, we get the same results…
We consider a generalisation of the self-affine iterated function systems of Lalley and Gatzouras by allowing for a countable infinity of non-conformal contractions. It is shown that the Hausdorff dimension of the limit set is equal to the supremum of the dimensions of compactly supported ergodic measures. In addition we consider the multifractal analysis for countable families of potentials. We obtain a conditional variational principle for the level sets.
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 consider the limit set of generalised iterated function systems. Under the assumption of a natural potential, the so called cylinder function, we prove the existence of the invariant probability measure satisfying the equilibrium state. We motivate this approach by showing that for typical self-affine sets there exists an ergodic invariant measure having the same Hausdorff dimension as the set itself.
In this paper we extend previous work on IFSs without overlap. Our method involves systems of operators generalizing the more familiar Cuntz relations from operator algebra theory, and from subband filter operators in signal processing.
A well-known theorem of J.E. Hutchinson states that if an iterated function system consists of similarity transformations and satisfies the open set condition then its attractor supports a self-similar measure with Hausdorff dimension equal to the similarity dimension. In this article we prove the following result which may be regarded as a form of partial converse: if an iterated function system consists of invertible affine transformations whose linear parts do not preserve a common invariant subspace, and its attractor supports a self-affine measure with Hausdorff dimension equal to the aff…
We investigate the Hölder geometry of curves generated by iterated function systems (IFS) in a complete metric space. A theorem of Hata from 1985 asserts that every connected attractor of an IFS is locally connected and path-connected. We give a quantitative strengthening of Hata's theorem. First we prove that every connected attractor of an IFS is $(1/s)$-Hölder path-connected, where $s$ is the similarity dimension of the IFS. Then we show that every connected attractor of an IFS is parameterized by a $(1/α)$-Hölder curve for all $α>s$. At the endpoint, $α=s$, a theorem of Remes from 1998 alr…
The paper is devoted to searching algorithms which will allow to generate images of attractors of \emph{generalized iterated function systems} (GIFS in short), which are certain generalization of classical iterated function systems, defined by Mihail and Miculescu in 2008, and then intensively investigated in the last years (the idea is that instead of selfmaps of a metric space $X$, we consider mappings form the Cartesian product $X\times...\times X$ to $X$). Two presented algorithms are counterparts of classical \emph{deterministic algorithm} and so-called \emph{chaos game}. The third and fo…
In this paper, we study cut sets of attractors of iteration function systems (IFS) in $\mathbb{R}^d$. Under natural conditions, we show that all irreducible cut sets of these attractors are perfect sets or single points. This leads to a criterion for the existence of cut points of IFS attractors. If the IFS attractors are self-affine tiles, our results become algorithmically checkable and can be used to exhibit cut points with the help of Hata graphs. This enables us to construct cut points of some self-affine tiles studied in the literature.
An iterated function system $Φ$ consisting of contractive similarity mappings has a unique attractor $F \subseteq \mathbb{R}^d$ which is invariant under the action of the system, as was shown by Hutchinson [Hut]. This paper shows how the action of the function system naturally produces a tiling $\mathcal{T}$ of the convex hull of the attractor. More precisely, it tiles the complement of the attractor within its convex hull. These tiles form a collection of sets whose geometry is typically much simpler than that of $F$, yet retains key information about both $F$ and $Φ$. In particular, the tile…
The affinity dimension is a number associated to an iterated function system of affine maps, which is fundamental in the study of the fractal dimensions of self-affine sets. De-Jun Feng and the author recently solved a folklore open problem, by proving that the affinity dimension is a continuous function of the defining maps. The proof also yields the continuity of a topological pressure arising in the study of random matrix products. I survey the definition, motivation and main properties of the affinity dimension and the associated SVF topological pressure, and give a proof of their continui…
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.
Let $M$ be a $d\times d$ contracting matrix. In this paper we consider the self-affine iterated function system $\{Mv-u, Mv+u\}$, where $u$ is a cyclic vector. Our main result is as follows: if $|\det M|\ge 2^{-1/d}$, then the attractor $A_M$ has non-empty interior. We also consider the set $\mathcal U_M$ of points in $A_M$ which have a unique address. We show that unless $M$ belongs to a very special (non-generic) class, the Hausdorff dimension of $\mathcal U_M$ is positive. For this special class the full description of $\mathcal U_M$ is given as well. This paper continues our work begun in …
We introduce an harmonic analysis for iterated function systems (IFS) (X, mu) which is based on a Markov process on certain paths. The probabilities are determined by a weight function W on X. From W we define a transition operator R_W acting on functions on X, and a corresponding class of R_W-harmonic functions. The properties of these functions determine the spectral theory of L^2(mu). For affine IFSs we establish orthogonal bases in L^2(mu). These bases are generated by paths with infinite repetition of finite words. We use this in the last section to analyze tiles in R^d.
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.
In this paper we study random iterated function systems. Our main result gives sufficient conditions for an analogue of a well known theorem due to Khintchine from Diophantine approximation to hold almost surely for stochastically self-similar and self-affine random iterated function systems.
Hausdorff Dimension of a Class of Self-Affine Sets
APJ Abdul Kalam Technological University(阿卜杜勒·卡拉姆理工大学);Rajagiri School of Engineering and Technology(拉吉里工程技术学院);Muthoot Institute of Technology and Science(穆托特科技与理工学院)
本文推导了由仿射迭代函数系统生成的自仿集类的精确Hausdorff维数公式,结合了收缩相似变换与对称算子A^T A的线性部分,统一了混合系统的方法,证明了参数平衡c + r = 1对吸引子连通性和开放集条件的保证。
In this paper, we consider tilings of the hyperbolic 2-space, built with a finite number of polygonal tiles, up to affine transformation. To such a tiling T, we associate a space of tilings: the continuous hull Omega(T) on which the affine group acts. This space Omega(T) inherits a solenoid structure whose leaves correspond to the orbits of the affine group. First we prove the finite harmonic measures of this laminated space correspond to finite invariant measures for the affine group action. Then we give a complete combinatorial description of these finite invariant measures. Finally we give …
Given a rational function of degree at least two defined over a number field k, we study the cardinality of the set of rational iterated preimages. We prove bounds for the cardinality of this set as the rational function varies in certain families. Our proofs are based on unit equations and a method of Runge for effectively determining integral points on certain affine curves. We also formulate and state a uniform boundedness conjecture for iterated preimages of rational functions and relate this conjecture to other well-known conjectures in arithmetic dynamics.
Let $\{S_i\}_{i=1}^\ell$ be an iterated function system (IFS) on $\R^d$ with attractor $K$. Let $(Σ,σ)$ denote the one-sided full shift over the alphabet $\{1,..., \ell\}$. We define the projection entropy function $h_π$ on the space of invariant measures on $Σ$ associated with the coding map $π: Σ\to 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 (resp., the direct product of finitely many conformal IFS), without any separation condition, the pr…
Given an iterated function system of affine dilations with fixed points the vertices of a regular polygon, we characterize which points in the limit set lie on the boundary of its convex hull.
In this paper we develop a new approach for studying overlapping iterated function systems. This approach is inspired by a famous result due to Khintchine from Diophantine approximation. This result shows that for a family of limsup sets, their Lebesgue measure is determined by the convergence or divergence of naturally occurring volume sums. For many parameterised families of overlapping iterated function systems, we prove that a typical member will exhibit similar Khintchine like behaviour. Families of iterated function systems our results apply to include those arising from Bernoulli convol…
We introduce new method of optimization for finding free parameters of affine iterated function systems (IFS), which are used for fractal approximation. We provide the comparison of effectiveness of fractal and quadratic types of approximation, which are based on a similar optimization scheme, on the various types of data: polynomial function, DNA primary sequence, price graph and graph of random walking.
We study non-autonomous conformal iterated function systems, with finite or countably infinite alphabet alike. These differ from the usual (autonomous) iterated function systems in that the contractions applied at each step in time are allowed to vary. (In the case where all maps are affine similarities, the resulting system is also called a "Moran set construction".) We shall show that, given a suitable restriction on the growth of the number of contractions used at each step, the Hausdorff dimension of the limit set of such a system is determined by an equation known as Bowen's formula. We a…