SearcharxivSearch

arXiv subjects

Ignacio García

Publications and source records attributed to Ignacio García.

6 recordsLinked to original sources

Intermediate Assouad-like dimensions

We introduce and study bi-Lipschitz-invariant dimensions that range between the box and Assouad dimensions. The quasi-Assouad dimensions and $θ$-spectrum are other special examples of these intermediate dimensions. These dimensions are localized, like Assouad dimensions, but vary in the depth of scale which is considered, thus they provide very refined geometric information. We investigate the relationship between these and the familiar dimensions. We construct a Cantor set with a non-trivial interval of dimensions, the endpoints of this interval being given by the quasi-Assouad and Assouad dimensions of the set. We study continuity-like properties of the dimensions. In contrast with the Assouad-type dimensions, we see that decreasing sets in $\mathbb{R}$ with decreasing gaps need not have dimension $0$ or $1$. Formulas are given for the dimensions of Cantor-like sets and these are used in some of our constructions. We also show that, as is the case for Hausdorff and Assouad dimensions, the Cantor set and the decreasing set have the extreme dimensions among all compact sets in $\mathbb{R}$ whose complementary set consists of open intervals of the same lengths.

math.CA

Assouad dimension and local structure of self-similar sets with overlaps in $\mathbb{R}^d$

For a self-similar set in $\mathbb{R}^d$ that is the attractor of an iterated function system that does not verify the weak separation property, Fraser, Henderson, Olson and Robinson showed that its Assouad dimension is at least $1$. In this paper, it is shown that the Assouad dimension of such a set is the sum of the dimension of the vector space spanned by the set of $\textit{overlapping directions}$ and the Assouad dimension of the orthogonal projection of the set self-similar set onto the orthogonal complement of that vector space. This result is applied to give sufficient conditions on the orthogonal parts of the similarities so that the self-similar set has Assouad dimension bigger than $2$, and also to answer a question posed by Farkas and Fraser. The result is also extended to the context of graph directed self-similar sets. The proof of the result relies on finding an appropriate weak tangent to the set. This tangent is used to describe partially the topological structure of self-similar sets which are both attractors of an iterated function system not satisfying the weak separation property and of an iterated functions system satisfying the open set condition.

math.CA

Properties of Quasi-Assouad dimension

The connections between quasi-Assouad dimension and tangents are studied. We apply these results to the calculation of the quasi-Assouad dimension for a class of planar self-affine sets. We also show that sets with decreasing gaps have quasi-Assouad dimension $0$ or $1$ and exhibit an example of a set in the plane whose quasi-Assouad dimension is smaller than that of its projection onto the $x$-axis, showing that quasi-Assouad dimension may increase under Lipschitz mappings. Moreover, for closed sets, we show that the Hausdorff dimension is an upper bound for the lower-Assouad dimension.

math.CA

Almost sure Assouad-like Dimensions of Complementary sets

Given a non-negative, decreasing sequence $a$ with sum $1$, we consider all the closed subsets of $[0,1]$ such that the lengths of their complementary open intervals are given by the terms of $a$, the so-called complementary sets. In this paper we determine the almost sure value of the $Φ$-dimensions of these sets given a natural model of randomness. The $Φ$-dimensions are intermediate Assouad-like dimensions which include the Assouad and quasi-Assouad dimensions as special cases. The answers depend on the size of $Φ$, with one size behaving like the Assouad dimension and the other, like the quasi-Assouad dimension.

math.CA

On packing measures and a theorem of Besicovitch

Besicovitch showed that if a set is null for the Hausdorff measure associated to a given dimension function, then it is still null for the Hausdorff measure corresponding to a smaller dimension function. We prove that this is not true for packing measures. Moreover, we consider the corresponding questions for sets of non-$σ$-finite packing measure, and for pre-packing measure instead of packing measure.

math.CA