Showing 1–23 of 23 results for author: Barnsley, M F

Tilings from Tops of Overlapping Iterated Function Systems

Authors: Michael F. Barnsley, Corey de Wit

Abstract: The top of the attractor $A$ of a hyperbolic iterated function system $\left\{ f_{i}:\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}|i=1,2,\dots,M\right\} $ is defined and used to extend self-similar tilings to overlapping systems. The theory interprets expressions of the form… ▽ More The top of the attractor $A$ of a hyperbolic iterated function system $\left\{ f_{i}:\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}|i=1,2,\dots,M\right\} $ is defined and used to extend self-similar tilings to overlapping systems. The theory interprets expressions of the form $\lim_{k\rightarrow\infty}f_{j_{1}}^{-1}f_{j_{2}}^{-1}\dots f_{j_{k}} ^{-1}(\left\{ top(f_{i_{1}}f_{i_{2}}\dots f_{i_{k+1}}(A))|i_{1}i_{2}\dots i_{k+1}\in\{1,2,\dots,M\}^{k+1}\right\} )$ to yield tilings of $\mathbb{R}^{n}$. Examples include systems of finite type, tilings related to aperiodic monotiles, and ones where there are infinitely many distinct but related prototiles. △ Less

Submitted 15 April, 2025; originally announced April 2025.

MSC Class: 28A80 (Primary) 68U05; 52C23 (Secondary)

Elementary fractal geometry. 5. Weak separation is strong separation

Authors: Christoph Bandt, Michael F. Barnsley

Abstract: For self-similar sets, there are two important separation properties: the open set condition and the weak separation condition introduced by Zerner, which may be replaced by the formally stronger finite type property of Ngai and Wang. We show that any finite type self-similar set can be represented as a graph-directed construction obeying the open set condition. The proof is based on a combinatori… ▽ More For self-similar sets, there are two important separation properties: the open set condition and the weak separation condition introduced by Zerner, which may be replaced by the formally stronger finite type property of Ngai and Wang. We show that any finite type self-similar set can be represented as a graph-directed construction obeying the open set condition. The proof is based on a combinatorial algorithm which performed well in computer experiments. △ Less

Submitted 7 April, 2024; originally announced April 2024.

Comments: 27 pages, 12 figures

MSC Class: 28A80; 11A63; 37B10; 54B15; 68Q45

Blowups and Tops of Overlapping Iterated Function Systems

Authors: Louisa F. Barnsley, Michael F. Barnsley

Abstract: We review aspects of an important paper by Robert Strichartz concerning reverse iterated function systems (i.f.s.) and fractal blowups. We compare the invariant sets of reverse i.f.s. with those of more standard i.f.s. and with those of inverse i.f.s. We describe Strichartz' fractal blowups and explain how they may be used to construct tilings of $\mathbb{R}^{n}$ even in the case where the i.f.s.… ▽ More We review aspects of an important paper by Robert Strichartz concerning reverse iterated function systems (i.f.s.) and fractal blowups. We compare the invariant sets of reverse i.f.s. with those of more standard i.f.s. and with those of inverse i.f.s. We describe Strichartz' fractal blowups and explain how they may be used to construct tilings of $\mathbb{R}^{n}$ even in the case where the i.f.s. is overlapping. We introduce and establish the notion of "tops" of blowups. Our motives are not pure: we seek to show that a simple i.f.s. and an idea of Strichartz, can be used to create complicated tilings that may model natural structures. △ Less

Submitted 20 February, 2023; originally announced February 2023.

MSC Class: 28A80; 05B45; 52C22

Tiling Iterated Function Systems

Authors: Michael F. Barnsley, Louisa F. Barnsley, Andrew Vince

Abstract: This paper presents a detailed symbolic approach to the study of self-similar tilings. It uses properties of addresses associated with graph-directed iterated function systems to establish conjugacy properties of tiling spaces. Tiles may be fractals and the tiled set may be a complicated unbounded subset of $\mathbb{R}^{M}$. This paper presents a detailed symbolic approach to the study of self-similar tilings. It uses properties of addresses associated with graph-directed iterated function systems to establish conjugacy properties of tiling spaces. Tiles may be fractals and the tiled set may be a complicated unbounded subset of $\mathbb{R}^{M}$. △ Less

Submitted 25 November, 2020; v1 submitted 9 February, 2020; originally announced February 2020.

MSC Class: 28A80; 05B45; 52C22

Tiling iterated function systems and Anderson-Putnam theory

Authors: Michael F Barnsley, Andrew Vince

Abstract: The theory of fractal tilings of fractal blow-ups is extended to graph-directed iterated function systems, resulting in generalizations and extensions of some of the theory of Anderson and Putnam and of Bellisard et al. regarding self-similar tilings. The theory of fractal tilings of fractal blow-ups is extended to graph-directed iterated function systems, resulting in generalizations and extensions of some of the theory of Anderson and Putnam and of Bellisard et al. regarding self-similar tilings. △ Less

Submitted 1 May, 2018; originally announced May 2018.

Self-Similar Tilings of Fractal Blow-Ups

Authors: Michael F Barnsley, Andrew Vince

Abstract: New tilings of certain subsets of $\mathbb{R}^{M}$ are studied, tilings associated with fractal blow-ups of certain similitude iterated function systems (IFS). For each such IFS with attractor satisfying the open set condition, our construction produces a usually infinite family of tilings that satisfy the following properties: (1) the prototile set is finite; (2) the tilings are repetitive (quasi… ▽ More New tilings of certain subsets of $\mathbb{R}^{M}$ are studied, tilings associated with fractal blow-ups of certain similitude iterated function systems (IFS). For each such IFS with attractor satisfying the open set condition, our construction produces a usually infinite family of tilings that satisfy the following properties: (1) the prototile set is finite; (2) the tilings are repetitive (quasiperiodic); (3) each family contains self-similartilings, usually infinitely many; and (4) when the IFS is rigid in an appropriate sense, the tiling has no non-trivial symmetry; in particular the tiling is non-periodic. △ Less

Submitted 27 September, 2017; originally announced September 2017.

Discontinuous Fractal Functions and Fractal Histopolation

Authors: M. F. Barnsley, P. Viswanathan

Abstract: Fractal functions that produce smooth and non-smooth approximants constitute an advancement to classical nonrecursive methods of approximation. In both classical and fractal approximation methods emphasis is given for investigation of continuous approximants whereas much real data demand discontinuous models. This article intends to point out that many of the results on fractal functions in the tr… ▽ More Fractal functions that produce smooth and non-smooth approximants constitute an advancement to classical nonrecursive methods of approximation. In both classical and fractal approximation methods emphasis is given for investigation of continuous approximants whereas much real data demand discontinuous models. This article intends to point out that many of the results on fractal functions in the traditional setting can be immediately extended to the discontinuous case. Another topic is the study of area matching properties of integrable fractal functions in order to introduce the concept of fractal histopolation. △ Less

Submitted 24 March, 2015; v1 submitted 23 March, 2015; originally announced March 2015.

Comments: 20 pages, 7 figures

MSC Class: 28A80; 26A18; 65D15; 41A05

Approximation of Rough Functions

Authors: M. F. Barnsley, B. Harding, A. Vince, P. Viswanathan

Abstract: For given $p\in\lbrack1,\infty]$ and $g\in L^{p}\mathbb{(R)}$, we establish the existence and uniqueness of solutions $f\in L^{p}(\mathbb{R)}$, to the equation \[ f(x)-af(bx)=g(x), \] where $a\in\mathbb{R}$, $b\in\mathbb{R} \setminus \{0\}$, and $\left\vert a\right\vert \neq\left\vert b\right\vert ^{1/p}$. Solutions include well-known nowhere differentiable functions such as those of Bolzano, Weie… ▽ More For given $p\in\lbrack1,\infty]$ and $g\in L^{p}\mathbb{(R)}$, we establish the existence and uniqueness of solutions $f\in L^{p}(\mathbb{R)}$, to the equation \[ f(x)-af(bx)=g(x), \] where $a\in\mathbb{R}$, $b\in\mathbb{R} \setminus \{0\}$, and $\left\vert a\right\vert \neq\left\vert b\right\vert ^{1/p}$. Solutions include well-known nowhere differentiable functions such as those of Bolzano, Weierstrass, Hardy, and many others. Connections and consequences in the theory of fractal interpolation, approximation theory, and Fourier analysis are established. △ Less

Submitted 5 April, 2015; v1 submitted 11 December, 2014; originally announced December 2014.

Comments: 16 pages, 3 figures

Chaos game for IFSs on topological spaces

Authors: Michael F. Barnsley, Krzysztof Lesniak, Miroslav Rypka

Abstract: We explore the chaos game for the continuous IFSs on topological spaces. We prove that the existence of attractor allows us to use the chaos game for visualization of attractor. The essential role of basin of attraction is also discussed. We explore the chaos game for the continuous IFSs on topological spaces. We prove that the existence of attractor allows us to use the chaos game for visualization of attractor. The essential role of basin of attraction is also discussed. △ Less

Submitted 7 November, 2014; v1 submitted 15 October, 2014; originally announced October 2014.

MSC Class: 28A80

Numerics and Fractals

Authors: Michael F. Barnsley, Markus Hegland, Peter Massopust

Abstract: Local iterated function systems are an important generalisation of the standard (global) iterated function systems (IFSs). For a particular class of mappings, their fixed points are the graphs of local fractal functions and these functions themselves are known to be the fixed points of an associated Read-Bajactarević operator. This paper establishes existence and properties of local fractal functi… ▽ More Local iterated function systems are an important generalisation of the standard (global) iterated function systems (IFSs). For a particular class of mappings, their fixed points are the graphs of local fractal functions and these functions themselves are known to be the fixed points of an associated Read-Bajactarević operator. This paper establishes existence and properties of local fractal functions and discusses how they are computed. In particular, it is shown that piecewise polynomials are a special case of local fractal functions. Finally, we develop a method to compute the components of a local IFS from data or (partial differential) equations. △ Less

Submitted 5 August, 2014; v1 submitted 4 September, 2013; originally announced September 2013.

Comments: version 2: minor updates and section 6.1 rewritten, arXiv admin note: substantial text overlap with arXiv:1309.0243. text overlap with arXiv:1309.0243

MSC Class: 28A80; 33F05; 41A05; 65D05

Basic Topological Structure of Fast Basins

Authors: Michael Fielding Barnsley, Krzysztof Lesniak

Abstract: We define fractal continuations and the fast basin of the IFS and investigate which properties they inherit from the attractor. Some illustrated examples are provided. We define fractal continuations and the fast basin of the IFS and investigate which properties they inherit from the attractor. Some illustrated examples are provided. △ Less

Submitted 20 August, 2013; originally announced August 2013.

MSC Class: 28A80

Fast Basins and Branched Fractal Manifolds of Attractors of Iterated Function Systems

Authors: Michael F. Barnsley, Andrew Vince

Abstract: The fast basin of an attractor of an iterated function system (IFS) is the set of points in the domain of the IFS whose orbits under the associated semigroup intersect the attractor. Fast basins can have non-integer dimension and comprise a class of deterministic fractal sets. The relationship between the basin and the fast basin of a point-fibred attractor is analyzed. To better understand the to… ▽ More The fast basin of an attractor of an iterated function system (IFS) is the set of points in the domain of the IFS whose orbits under the associated semigroup intersect the attractor. Fast basins can have non-integer dimension and comprise a class of deterministic fractal sets. The relationship between the basin and the fast basin of a point-fibred attractor is analyzed. To better understand the topology and geometry of fast basins, and because of analogies with analytic continuation, branched fractal manifolds are introduced. A branched fractal manifold is a metric space constructed from the extended code space of a point-fibred attractor, by identifying some addresses. Typically, a branched fractal manifold is a union of a nondenumerable collection of nonhomeomorphic objects, isometric copies of generalized fractal blowups of the attractor. △ Less

Submitted 16 October, 2015; v1 submitted 17 August, 2013; originally announced August 2013.

MSC Class: 28A80; 37B10; 37F20

Journal ref: SIGMA 11 (2015), 084, 21 pages

Fractal Continuation

Authors: Michael F. Barnsley, Andrew Vince

Abstract: A fractal function is a function whose graph is the attractor of an iterated function system. This paper generalizes analytic continuation of an analytic function to continuation of a fractal function. A fractal function is a function whose graph is the attractor of an iterated function system. This paper generalizes analytic continuation of an analytic function to continuation of a fractal function. △ Less

Submitted 30 November, 2012; v1 submitted 26 September, 2012; originally announced September 2012.

MSC Class: 32D99; 26A27

Bilinear Fractal Interpolation and Box Dimension

Authors: Michael F. Barnsley, Peter R. Massopust

Abstract: In the context of general iterated function systems (IFSs), we introduce bilinear fractal interpolants as the fixed points of certain Read-Bajraktarević operators. By exhibiting a generalized "taxi-cab" metric, we show that the graph of a bilinear fractal interpolant is the attractor of an underlying contractive bilinear IFS. We present an explicit formula for the box-counting dimension of the gra… ▽ More In the context of general iterated function systems (IFSs), we introduce bilinear fractal interpolants as the fixed points of certain Read-Bajraktarević operators. By exhibiting a generalized "taxi-cab" metric, we show that the graph of a bilinear fractal interpolant is the attractor of an underlying contractive bilinear IFS. We present an explicit formula for the box-counting dimension of the graph of a bilinear fractal interpolant in the case of equally spaced data points. △ Less

Submitted 25 October, 2014; v1 submitted 14 September, 2012; originally announced September 2012.

MSC Class: 28A80; 41A05; 37L30

The chaos game on a general iterated function system from a topological point of view

Authors: Michael F. Barnsley, Krzysztof Leśniak

Abstract: We investigate combinatorial issues relating to the use of random orbit approximations to the attractor of an iterated function system with the aim of clarifying the role of the stochastic process during generation the orbit. A Baire category counterpart of almost sure convergence is presented; and a link between topological and probabilistic methods is observed. We investigate combinatorial issues relating to the use of random orbit approximations to the attractor of an iterated function system with the aim of clarifying the role of the stochastic process during generation the orbit. A Baire category counterpart of almost sure convergence is presented; and a link between topological and probabilistic methods is observed. △ Less

Submitted 30 January, 2013; v1 submitted 2 March, 2012; originally announced March 2012.

Comments: The proof of the main theorem in the older version contained an error. The new proof works under stronger hypotheses put on the structure of the attractor

On the continuity of the Hutchinson operator

Authors: Michael F. Barnsley, Krzysztof Leśniak

Abstract: We investigate whether the Hutchinson operator associated with the iterated function system (IFS) is continuous. It clarifies several partial results scattered across recent literature. While the main example for IFS with strict attractor was provided by the family of contractions (the so-called hyperbolic system), the accent was put on ensuring that various contractivity-like conditions are prese… ▽ More We investigate whether the Hutchinson operator associated with the iterated function system (IFS) is continuous. It clarifies several partial results scattered across recent literature. While the main example for IFS with strict attractor was provided by the family of contractions (the so-called hyperbolic system), the accent was put on ensuring that various contractivity-like conditions are preserved when the Hutchinson operator is induced, unless very recently it was discovered that strict attractors are quite often present for a large class of noncontractive maps, namely projective maps. This sets substantial motivation for the study whether in general continuity of functions guarantees continuity of the induced Hutchinson operator. △ Less

Submitted 11 February, 2012; originally announced February 2012.

MSC Class: 54B20 (Primary) 37B99 (Secondary)

The Entropy of an Overlapping Dynamical System

Authors: Michael F. Barnsley, Brendan Harding, Andrew Vince

Abstract: The term "overlapping" refers to a certain fairly simple type of piecewise continuous function from the unit interval to itself and also to a fairly simple type of iterated function system (IFS) on the unit interval. A correspondence between these two classes of objects is used (1) to find a necessary and sufficient condition for a fractal transformation from the attractor of one overlapping IFS t… ▽ More The term "overlapping" refers to a certain fairly simple type of piecewise continuous function from the unit interval to itself and also to a fairly simple type of iterated function system (IFS) on the unit interval. A correspondence between these two classes of objects is used (1) to find a necessary and sufficient condition for a fractal transformation from the attractor of one overlapping IFS to the attractor of another overlapping IFS to be a homeomorphism and (2) to find a formula for the topological entropy of the dynamical system associated with an overlapping function. △ Less

Submitted 22 May, 2013; v1 submitted 31 October, 2011; originally announced October 2011.

Comments: Includes correction to Lemma 6.2

MSC Class: 37B40; 37E05; 28A80

Symmetric Itinerary Sets

Authors: Michael F. Barnsley, Nicolae Mihalache

Abstract: We consider a one parameter family of dynamical systems W :[0, 1] -> [0, 1] constructed from a pair of monotone increasing diffeomorphisms Wsub(i), such that Wsub(i)(inverse): [0, 1] -> [0, 1], (i = 0, 1). We characterise the set of symbolic itineraries of W using an attractor of an iterated closed relation,in the terminology of McGehee, and prove that there is a member of the family for which is… ▽ More We consider a one parameter family of dynamical systems W :[0, 1] -> [0, 1] constructed from a pair of monotone increasing diffeomorphisms Wsub(i), such that Wsub(i)(inverse): [0, 1] -> [0, 1], (i = 0, 1). We characterise the set of symbolic itineraries of W using an attractor of an iterated closed relation,in the terminology of McGehee, and prove that there is a member of the family for which is symmetrical. △ Less

Submitted 12 October, 2011; originally announced October 2011.

Journal ref: Bull. Aust. Math. Soc. 100 (2019) 97-108

Homeomorphisms generated from overlapping affine iterated function systems

Authors: Michael F. Barnsley, Brendan Harding, Andrew Vince

Abstract: We develop the theory of fractal homeomorphisms generated from pairs of overlapping affine iterated function systems. We develop the theory of fractal homeomorphisms generated from pairs of overlapping affine iterated function systems. △ Less

Submitted 10 October, 2011; originally announced October 2011.

How to Transform and Filter Images using Iterated Function Systems

Authors: Michael F. Barnsley, Brendan Harding, Konstantin Igudesman

Abstract: We present a general theory of fractal transformations and show how it leads to a new type of method for filtering and transforming digital images. This work substantially generalizes earlier work on fractal tops. The approach involves fractal geometry, chaotic dynamics, and an interplay between discrete and continuous representations. The underlying mathematics is established and applications to… ▽ More We present a general theory of fractal transformations and show how it leads to a new type of method for filtering and transforming digital images. This work substantially generalizes earlier work on fractal tops. The approach involves fractal geometry, chaotic dynamics, and an interplay between discrete and continuous representations. The underlying mathematics is established and applications to digital imaging are described and exemplified. △ Less

Submitted 15 February, 2011; originally announced February 2011.

Real Projective Iterated Function Systems

Authors: Michael F. Barnsley, Andrew Vince

Abstract: 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 conn… ▽ More 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 for attractors which avoid a hyperplane. This index is shown to be a nontrivial projective invariant. △ Less

Submitted 24 March, 2011; v1 submitted 17 March, 2010; originally announced March 2010.

A Characterization of Hyperbolic Affine Iterated Function Systems

Authors: Ross Atkins, Michael F. Barnsley, Andrew Vince, David C. Wilson

Abstract: The two main theorems of this paper provide a characterization of hyperbolic affine iterated function systems defined on Rm. Atsushi Kameyama (Distances on Topological Self-Similar Sets, Proceedings of Symposia in Pure Mathematics, Volume 72.1, 2004) asked the following fundamental question: given a topological self-similar set, does there exist an associated system of contraction mappings? Our… ▽ More The two main theorems of this paper provide a characterization of hyperbolic affine iterated function systems defined on Rm. Atsushi Kameyama (Distances on Topological Self-Similar Sets, Proceedings of Symposia in Pure Mathematics, Volume 72.1, 2004) asked the following fundamental question: given a topological self-similar set, does there exist an associated system of contraction mappings? Our theorems imply an affirmative answer to Kameyama's question for self-similar sets derived from affine transformations on Rm. △ Less

Submitted 10 August, 2009; originally announced August 2009.

MSC Class: 54H25

Transformations between attractors of hyperbolic iterated function systems

Authors: Michael F. Barnsley

Abstract: This paper is in the form of an essay. It defines fractal tops and code space structures associated with set-attractors of hyperbolic iterated function systems (IFSs). The fractal top of an IFS is associated with a certain shift invariant subspace of code space, whence the entropy of the IFS, and of its set-attractor, may be defined. Given any ordered pair of hyperbolic IFSs, each with the same… ▽ More This paper is in the form of an essay. It defines fractal tops and code space structures associated with set-attractors of hyperbolic iterated function systems (IFSs). The fractal top of an IFS is associated with a certain shift invariant subspace of code space, whence the entropy of the IFS, and of its set-attractor, may be defined. Given any ordered pair of hyperbolic IFSs, each with the same number of maps, there is a natural transformation, constructed with the aid of fractal tops, whose domain is the attractor A of the first IFS and whose range is contained in the attractor B of the second IFS. This transformation is continuous when the code space structure of the IFS is "contained in" the code space structure of the second IFS, and is a homeomorphism between A and B when the code space structures are the same. Conversely, if two IFS are homeomorphic then they possess the same code space structure. Hence we obtain that two IFS attractors are homeomorphic then they have the same entropy. Several examples of fractal transformations and fractal homeomphisms are given. △ Less

Submitted 13 March, 2007; originally announced March 2007.

Comments: 18 Pages, 7 figures