Equi-homogeneity, Assouad Dimension and Non-autonomous Dynamics
Authors:
Alexander M. Henderson,
Eric J. Olson,
James C. Robinson,
Nicholas Sharples
Abstract:
We show that self-similar sets arising from iterated function systems that satisfy the Moran open-set condition, a canonical class of fractal sets, are `equi-homogeneous'. This is a regularity property that, roughly speaking, means that at each fixed length-scale any two neighbourhoods of the set have covers of approximately equal cardinality.
Self-similar sets are notable in that they are Ahlfo…
▽ More
We show that self-similar sets arising from iterated function systems that satisfy the Moran open-set condition, a canonical class of fractal sets, are `equi-homogeneous'. This is a regularity property that, roughly speaking, means that at each fixed length-scale any two neighbourhoods of the set have covers of approximately equal cardinality.
Self-similar sets are notable in that they are Ahlfors-David regular, which implies that their Assouad and box-counting dimensions coincide. More generally, attractors of non-autonomous iterated functions systems (where maps are allowed to vary between iterations) can have distinct Assouad and box-counting dimensions. Consequently the familiar notion of Ahlfors-David regularity is too strong to be useful in the analysis of this important class of sets, which include generalised Cantor sets and possess different dimensional behaviour at different length-scales.
We further develop the theory of equi-homogeneity showing that it is a weaker property than Ahlfors-David regularity and distinct from any previously defined notion of dimensional equivalence. However, we show that if the upper and lower box-counting dimensions of an equi-homogeneous set are equal and `attained' in a sense we make precise then the lower Assouad, Hausdorff, packing, lower box-counting, upper box-counting and Assouad dimensions coincide.
Our main results provide conditions under which the attractor of a non-autonomous iterated function system is equi-homogeneous and we use this to compute the Assouad dimension of a certain class of these highly non-trivial sets.
△ Less
Submitted 26 August, 2016; v1 submitted 16 September, 2014;
originally announced September 2014.
On the Assouad dimension of self-similar sets with overlaps
Authors:
Jonathan. M. Fraser,
Alexander. M. Henderson,
Eric J. Olson,
James C. Robinson
Abstract:
It is known that, unlike the Hausdorff dimension, the Assouad dimension of a self-similar set can exceed the similarity dimension if there are overlaps in the construction. Our main result is the following precise dichotomy for self-similar sets in the line: either the \emph{weak separation property} is satisfied, in which case the Hausdorff and Assouad dimensions coincide; or the \emph{weak separ…
▽ More
It is known that, unlike the Hausdorff dimension, the Assouad dimension of a self-similar set can exceed the similarity dimension if there are overlaps in the construction. Our main result is the following precise dichotomy for self-similar sets in the line: either the \emph{weak separation property} is satisfied, in which case the Hausdorff and Assouad dimensions coincide; or the \emph{weak separation property} is not satisfied, in which case the Assouad dimension is maximal (equal to one).
In the first case we prove that the self-similar set is Ahlfors regular, and in the second case we use the fact that if the \emph{weak separation property} is not satisfied, one can approximate the identity arbitrarily well in the group generated by the similarity mappings, and this allows us to build a \emph{weak tangent} that contains an interval. We also obtain results in higher dimensions and provide illustrative examples showing that the `equality/maximal' dichotomy does not extend to this setting.
△ Less
Submitted 16 January, 2015; v1 submitted 3 April, 2014;
originally announced April 2014.
