-
Transition Phenomena for the Attractor of an Iterated Function System
Authors:
Krzysztof Leśniak,
Nina Snigireva,
Filip Strobin,
Andrew Vince
Abstract:
Iterated function systems (IFSs) and their attractors have been central to the theory of fractal geometry almost from its inception. And contractivity of the functions in the IFS has been central to the theory of iterated functions systems. If the functions in the IFS are contractions, then the IFS is guaranteed to have a unique attractor. Recently, however, there has been an interest in what occu…
▽ More
Iterated function systems (IFSs) and their attractors have been central to the theory of fractal geometry almost from its inception. And contractivity of the functions in the IFS has been central to the theory of iterated functions systems. If the functions in the IFS are contractions, then the IFS is guaranteed to have a unique attractor. Recently, however, there has been an interest in what occurs to the attractor at the boundary between contractvity and expansion of the IFS. That is the subject of this paper. For a family $F_t$ of IFSs depending on a real parameter $t>0$, the existence and properties of two types of transition attractors, called the lower transition attractor $A_{\bullet}$ and the upper transition attractor $A^{\bullet}$, are investigated. A main theorem states that, for a wide class of IFS families, there is a threshold $t_0$ such that the IFS $F_t$ has a unique attractor $A_t$ for $t<t_0$ and no attractor for $t>t_0$. At the threshold $t_0$, there is an $F_{t_0}$-invariant set $A^{\bullet}$ such that $A^{\bullet} = \lim_{t\rightarrow t_0} A_t$.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
Distortion Reversal in Aperiodic Tilings
Authors:
Louisa Barnsley,
Michael Barnsley,
Andrew Vince
Abstract:
It is proved that homeomorphic images of certain two-dimensional aperiodic tilings, such as Ammann-A2 tilings, are recognizable, in both mathematical and practical senses. One implication of the results is that it is possible to search for distorted aperiodic structures in nature, where they may be hiding in plain sight.
It is proved that homeomorphic images of certain two-dimensional aperiodic tilings, such as Ammann-A2 tilings, are recognizable, in both mathematical and practical senses. One implication of the results is that it is possible to search for distorted aperiodic structures in nature, where they may be hiding in plain sight.
△ Less
Submitted 14 November, 2021;
originally announced November 2021.
-
The Average Size of a Connected Vertex Set of a $k$-connected Graph
Authors:
Andrew Vince
Abstract:
The topic is the average order $A(G)$ of a connected induced subgraph of a graph $G$. This generalizes, to graphs in general, the average order of a subtree of a tree. In 1984, Jamison proved that the average order, over all trees of order $n$, is minimized by the path $P_n$, the average being $A(P_n)=(n+2)/3$. In 2018, Kroeker, Mol, and Oellermann conjectured that $P_n$ minimizes the average orde…
▽ More
The topic is the average order $A(G)$ of a connected induced subgraph of a graph $G$. This generalizes, to graphs in general, the average order of a subtree of a tree. In 1984, Jamison proved that the average order, over all trees of order $n$, is minimized by the path $P_n$, the average being $A(P_n)=(n+2)/3$. In 2018, Kroeker, Mol, and Oellermann conjectured that $P_n$ minimizes the average order over all connected graphs $G$ - a conjecture that was recently proved. In this short note we show that this lower bound can be improved if the connectivity of $G$ is known. If $G$ is $k$-connected, then \[A(G) \geq \frac{n}2 \Bigg (1- \frac{1}{2^k+1} \Bigg ).\]
△ Less
Submitted 24 May, 2021;
originally announced May 2021.
-
A Lower Bound on the Average Size of a Connected Vertex Set of a Graph
Authors:
Andrew Vince
Abstract:
The topic is the average order of a connected induced subgraph of a graph. This generalizes, to graphs in general, the average order of a subtree of a tree. In 1984, Jamison proved that the average order, over all trees of order $n$, is minimized by the path $P_n$. In 2018, Kroeker, Mol, and Oellermann conjectured that $P_n$ minimizes the average order over all connected graphs. The main result of…
▽ More
The topic is the average order of a connected induced subgraph of a graph. This generalizes, to graphs in general, the average order of a subtree of a tree. In 1984, Jamison proved that the average order, over all trees of order $n$, is minimized by the path $P_n$. In 2018, Kroeker, Mol, and Oellermann conjectured that $P_n$ minimizes the average order over all connected graphs. The main result of this paper confirms this conjecture.
△ Less
Submitted 28 March, 2021;
originally announced March 2021.
-
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.
-
Thresholds for One-Parameter Families of Affine Iterated Function Systems
Authors:
Andrew Vince
Abstract:
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-emp…
▽ More
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.
△ Less
Submitted 6 December, 2019;
originally announced December 2019.
-
Tilings from Graph Directed Iterated Function Systems
Authors:
Michael Barnsley,
Andrew Vince
Abstract:
A new method for constructing self-referential tilings of Euclidean space from a graph directed iterated function system, based on a combinatorial structure we call a pre-tree, is introduced. In the special case that we refer to as balanced, the resulting tilings have a finite set of prototiles, are quasiperiodic but not periodic, and are self-similar. A necessary and sufficient condition for two…
▽ More
A new method for constructing self-referential tilings of Euclidean space from a graph directed iterated function system, based on a combinatorial structure we call a pre-tree, is introduced. In the special case that we refer to as balanced, the resulting tilings have a finite set of prototiles, are quasiperiodic but not periodic, and are self-similar. A necessary and sufficient condition for two balanced tilings to be congruent is provided.
△ Less
Submitted 5 December, 2019;
originally announced December 2019.
-
The Maximum Matroid of a Graph
Authors:
Meera Sitharam,
Andrew Vince
Abstract:
The ground set for all matroids in this paper is the set of all edges of a complete graph. The notion of a {\it maximum matroid for a graph} $G$ is introduced, and the existence and uniqueness of the maximum matroid for any graph $G$ is proved. The maximum matroid for $K_3$ is shown to be the cycle (or graphic) matroid. This result is pursued in two directions - to determine the maximum matroid fo…
▽ More
The ground set for all matroids in this paper is the set of all edges of a complete graph. The notion of a {\it maximum matroid for a graph} $G$ is introduced, and the existence and uniqueness of the maximum matroid for any graph $G$ is proved. The maximum matroid for $K_3$ is shown to be the cycle (or graphic) matroid. This result is pursued in two directions - to determine the maximum matroid for the $m$-cycle $C_m$ and to determine the maximum matroid for the complete graph $K_m$. The maximum matroid for $K_4$ is the matroid whose bases are the Laman graphs, related to structural rigidity of frameworks in the plane. The maximum matroid for $K_5$ is related to a famous 153 year old open problem of J. C. Maxwell.
△ Less
Submitted 28 March, 2021; v1 submitted 11 October, 2019;
originally announced October 2019.
-
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.
-
Self-Similar Polygonal Tiling
Authors:
Michael Barnsley,
Andrew Vince
Abstract:
The purpose of this paper is to give the flavor of the subject of self-similar tilings in a relatively elementary setting, and to provide a novel method for the construction of such polygonal tilings.
The purpose of this paper is to give the flavor of the subject of self-similar tilings in a relatively elementary setting, and to provide a novel method for the construction of such polygonal tilings.
△ Less
Submitted 7 November, 2016;
originally announced November 2016.
-
Symmetry in Sphere-based Assembly Configuration Spaces
Authors:
Meera Sitharam,
Andrew Vince,
Menghan Wang,
Miklos Bona
Abstract:
Many remarkably robust, rapid and spontaneous self-assembly phenomena in nature can be modeled geometrically starting from a collection of rigid bunches of spheres. This paper highlights the role of symmetry in sphere-based assembly processes. Since spheres within bunches could be identical and bunches could be identical as well, the underlying symmetry groups could be of large order that grows wi…
▽ More
Many remarkably robust, rapid and spontaneous self-assembly phenomena in nature can be modeled geometrically starting from a collection of rigid bunches of spheres. This paper highlights the role of symmetry in sphere-based assembly processes. Since spheres within bunches could be identical and bunches could be identical as well, the underlying symmetry groups could be of large order that grows with the number of participating spheres and bunches. Thus, understanding symmetries and associated isomorphism classes of microstates correspond to various types of macrostates can significantly reduce the complexity of computing entropy and free energy, as well as paths and kinetics, in high dimensional configuration spaces. In addition, a precise understanding of symmetries is crucial for giving provable guarantees of algorithmic accuracy and efficiency in such computations. In particular, this may aid in predicting crucial assembly-driving interactions.
This is a primarily expository paper that develops a novel, original framework for dealing with symmetries in configuration spaces of assembling spheres with the following goals. (1) We give new, formal definitions of various concepts relevant to sphere-based assembly that occur in previous work, and in turn, formal definitions of their relevant symmetry groups leading to the main theorem concerning their symmetries. These previously developed concepts include, for example, (a) assembly configuration spaces, (b) stratification of assembly configuration space into regions defined by active constraint graphs, (c) paths through the configurational regions, and (d) coarse assembly pathways. (2) We demonstrate the new symmetry concepts to compute sizes and numbers of orbits in two example settings appearing in previous work. (3) We give formal statements of a variety of open problems and challenges using the new conceptual definitions.
△ Less
Submitted 12 March, 2016;
originally announced March 2016.
-
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.
-
Conjugacies provided by fractal transformations I : Conjugate measures, Hilbert spaces, orthogonal expansions, and flows, on self-referential spaces
Authors:
Christoph Bandt,
Michael Barnsley,
Markus Hegland,
Andrew Vince
Abstract:
Theorems and explicit examples are used to show how transformations between self-similar sets (general sense) may be continuous almost everywhere with respect to stationary measures on the sets and may be used to carry well known flows and spectral analysis over from familiar settings to new ones. The focus of this work is on a number of surprising applications including (i) what we call fractal F…
▽ More
Theorems and explicit examples are used to show how transformations between self-similar sets (general sense) may be continuous almost everywhere with respect to stationary measures on the sets and may be used to carry well known flows and spectral analysis over from familiar settings to new ones. The focus of this work is on a number of surprising applications including (i) what we call fractal Fourier analysis, in which the graphs of the basis functions are Cantor sets, being discontinuous at a countable dense set of points, yet have very good approximation properties; (ii) Lebesgue measure-preserving flows, on polygonal laminas, whose wave-fronts are fractals. The key idea is to exploit fractal transformations to provide unitary transformations between Hilbert spaces defined on attractors of iterated function systems. Some of the examples relate to work of Oxtoby and Ulam concerning ergodic flows on regions bounded by polygons.
△ Less
Submitted 10 September, 2014;
originally announced September 2014.
-
Fractal Tiling
Authors:
Michael Barnsley,
Andrew Vince
Abstract:
A simple, yet unifying method is provided for the construction of tilings by tiles obtained from the attractor of an iterated function system (IFS). Many examples appearing in the literature in ad hoc ways, as well as new examples, can be constructed by this method. These tilings can be used to extend a fractal transformation defined on the attractor of a contractive IFS to a fractal transformatio…
▽ More
A simple, yet unifying method is provided for the construction of tilings by tiles obtained from the attractor of an iterated function system (IFS). Many examples appearing in the literature in ad hoc ways, as well as new examples, can be constructed by this method. These tilings can be used to extend a fractal transformation defined on the attractor of a contractive IFS to a fractal transformation on the entire space upon which the IFS acts.
△ Less
Submitted 23 October, 2013;
originally announced October 2013.
-
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.
-
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.
-
The Conley Attractor of an Iterated Function System
Authors:
Michael Barnsley,
Andrew Vince
Abstract:
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…
▽ More
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.
△ Less
Submitted 27 June, 2012;
originally announced June 2012.
-
A Combinatorial Approach to Positional Number Systems
Authors:
Andrew Vince
Abstract:
Although the representation of the real numbers in terms of a base and a set of digits has a long history, new questions arise even in simple situations. This paper concerns binary radix systems, i.e., positional number systems with digits 0 and 1. Our combinatorial approach is to construct infinitely many binary radix systems, each one from a single pair of binary strings. Every binary radix syst…
▽ More
Although the representation of the real numbers in terms of a base and a set of digits has a long history, new questions arise even in simple situations. This paper concerns binary radix systems, i.e., positional number systems with digits 0 and 1. Our combinatorial approach is to construct infinitely many binary radix systems, each one from a single pair of binary strings. Every binary radix system that satisfies even a minimal set of conditions that would be expected of a positional number system can be constructed in this way.
△ Less
Submitted 27 May, 2013; v1 submitted 29 May, 2012;
originally announced May 2012.
-
A Combinatorial Characterization of the Critical Itineraries of a Uniform Dynamical System
Authors:
Michael Barnsley,
Wolfgang Steiner,
Andrew Vince
Abstract:
For a function from the unit interval to itself with constant slope and one discontinuity, the itineraries of the point of discontinuity are called the critical itineraries. These critical itineraries play a significant role in the study of $β$-expansions (with positive or negative $β$) and fractal transformations. A combinatorial characterization of the critical itineraries of such functions is p…
▽ More
For a function from the unit interval to itself with constant slope and one discontinuity, the itineraries of the point of discontinuity are called the critical itineraries. These critical itineraries play a significant role in the study of $β$-expansions (with positive or negative $β$) and fractal transformations. A combinatorial characterization of the critical itineraries of such functions is provided.
△ Less
Submitted 10 March, 2014; v1 submitted 26 May, 2012;
originally announced May 2012.
-
Embedding the symbolic dynamics of Lorenz maps
Authors:
Tony Samuel,
Nina Snigireva,
Andrew Vince
Abstract:
Necessary and sufficient conditions for the symbolic dynamics of a Lorenz map to be fully embedded in the symbolic dynamics of a piecewise continuous interval map are given. As an application of this result, we describe a new algorithm for calculating the topological entropy of a Lorenz map.
Necessary and sufficient conditions for the symbolic dynamics of a Lorenz map to be fully embedded in the symbolic dynamics of a piecewise continuous interval map are given. As an application of this result, we describe a new algorithm for calculating the topological entropy of a Lorenz map.
△ Less
Submitted 23 October, 2017; v1 submitted 6 May, 2012;
originally announced May 2012.
-
The Number of Ways to Assemble a Graph
Authors:
Andrew Vince,
Miklos Bona
Abstract:
Motivated by the question of how macromolecules assemble, the notion of an {\it assembly tree} of a graph is introduced. Given a graph $G$, the paper is concerned with enumerating the number of assembly trees of $G$, a problem that applies to the macromolecular assembly problem. Explicit formulas or generating functions are provided for the number of assembly trees of several families of graphs, i…
▽ More
Motivated by the question of how macromolecules assemble, the notion of an {\it assembly tree} of a graph is introduced. Given a graph $G$, the paper is concerned with enumerating the number of assembly trees of $G$, a problem that applies to the macromolecular assembly problem. Explicit formulas or generating functions are provided for the number of assembly trees of several families of graphs, in particular for what we call $(H,φ)$-graphs. In some natural special cases, we apply powerful recent results of Zeilberger and Apagodu on multivariate generating functions, and results of Wimp and Zeilberger, to deduce recurrence relations and very precise asymptotic formulas for the number of assembly trees of the complete bipartite graphs $K_{n,n}$ and the complete tripartite graphs $K_{n,n,n}$. Future directions for reseach, as well as open questions, are suggested.
△ Less
Submitted 17 April, 2012;
originally announced April 2012.
-
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.
-
Fractal Homeomorphism for Bi-affine Iterated Function Systems
Authors:
Michael Barnsley,
Andrew Vince
Abstract:
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-af…
▽ More
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.
△ Less
Submitted 20 October, 2011;
originally announced October 2011.
-
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.
-
The Chaos Game on a General Iterated Function System
Authors:
Michael Barnsley,
Andrew Vince
Abstract:
The main theorem of this paper establishes conditions under which the "chaos game" algorithm almost surely yields the attractor of an iterated function system. The theorem holds in a very general setting, even for non contractive iterated function systems, and under weaker conditions on the random orbit of the chaos game than obtained previously.
The main theorem of this paper establishes conditions under which the "chaos game" algorithm almost surely yields the attractor of an iterated function system. The theorem holds in a very general setting, even for non contractive iterated function systems, and under weaker conditions on the random orbit of the chaos game than obtained previously.
△ Less
Submitted 3 May, 2010;
originally announced May 2010.
-
The Eigenvalue Problem for Linear and Affine Iterated Function Systems
Authors:
Michael Barnsley,
Andrew Vince
Abstract:
The eigenvalue problem for a linear function L centers on solving the eigen-equation Lx = rx. This paper generalizes the eigenvalue problem from a single linear function to an iterated function system F consisting of possibly an infinite number of linear or affine functions. The eigen-equation becomes F(X) = rX, where r>0 is real, X is a compact set, and F(X)is the union of f(X), for f in F. Th…
▽ More
The eigenvalue problem for a linear function L centers on solving the eigen-equation Lx = rx. This paper generalizes the eigenvalue problem from a single linear function to an iterated function system F consisting of possibly an infinite number of linear or affine functions. The eigen-equation becomes F(X) = rX, where r>0 is real, X is a compact set, and F(X)is the union of f(X), for f in F. The main result is that an irreducible, linear iterated function system F has a unique eigenvalue r equal to the joint spectral radius of the functions in F and a corresponding eigenset S that is centrally symmetric, star-shaped, and full dimensional. Results of Barabanov and of Dranishnikov-Konyagin-Protasov on the joint spectral radius follow as corollaries.
△ Less
Submitted 27 April, 2010;
originally announced April 2010.
-
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.
-
Tree Orbits under Permutation Group Action: Algorithm, Enumeration and Application to Viral Assembly
Authors:
Miklos Bona,
Meera Sitharam,
Andrew Vince
Abstract:
This paper uses combinatorics and group theory to answer questions about the assembly of icosahedral viral shells. Although the geometric structure of the capsid (shell) is fairly well understood in terms of its constituent subunits, the assembly process is not. For the purpose of this paper, the capsid is modeled by a polyhedron whose facets represent the monomers. The assembly process is model…
▽ More
This paper uses combinatorics and group theory to answer questions about the assembly of icosahedral viral shells. Although the geometric structure of the capsid (shell) is fairly well understood in terms of its constituent subunits, the assembly process is not. For the purpose of this paper, the capsid is modeled by a polyhedron whose facets represent the monomers. The assembly process is modeled by a rooted tree, the leaves representing the facets of the polyhedron, the root representing the assembled polyhedron, and the internal vertices representing intermediate stages of assembly (subsets of facets). Besides its virological motivation, the enumeration of orbits of trees under the action of a finite group is of independent mathematical interest. If $G$ is a finite group acting on a finite set $X$, then there is a natural induced action of $G$ on the set $\mathcal{T}_X$ of trees whose leaves are bijectively labeled by the elements of $X$. If $G$ acts simply on $X$, then $|X| := |X_n| = n \cdot |G|$, where $n$ is the number of $G$-orbits in $X$. The basic combinatorial results in this paper are (1) a formula for the number of orbits of each size in the action of $G$ on $\mathcal{T}_{X_n}$, for every $n$, and (2) a simple algorithm to find the stabilizer of a tree $τ\in \mathcal{T}_X$ in $G$ that runs in linear time and does not need memory in addition to its input tree.
△ Less
Submitted 1 June, 2009;
originally announced June 2009.
