Related papers: Ultrametric subsets with large Hausdorff dimension
We give conditions on a general family $P_{\lambda}:\R^n\to\R^m, \lambda \in \Lambda,$ of orthogonal projections which guarantee that the Hausdorff dimension formula $\dim A\cap P_{\lambda}^{-1}\{u\}=s-m$ holds generically for measurable…
In this article, we study two problems concerning the size of the set of finite point configurations generated by a compact set $E\subset \mathbb{R}^d$. The first problem concerns how the Lebesgue measure or the Hausdorff dimension of the…
For a compact connected set $X\subseteq \ell^{\infty}$, we define a quantity $\beta'(x,r)$ that measures how close $X$ may be approximated in a ball $B(x,r)$ by a geodesic curve. We then show there is $c>0$ so that if $\beta'(x,r)>\beta>0$…
We introduce the notion of coarse metric. Every coarse metric induces a coarse structure on the underlying set. Conversely, we observe that all coarse spaces come from a particular type of coarse metric in a unique way. In the case when the…
It is shown that if a compact metric space $(X, d)$ is bi-H\"older equivalent to an ultrametric space, then the logarithmic ratio $R(X,d)$ is finite. Conversely, if the logarithmic ratio $R(X,d)$ is finite and ${\A}^*_p (X) \ne \emptyset$…
Let $(X, d)$ be a compact metric space, and let $Q \subset X$ be countable. Given functions $R: Q \to \mathbb{R}^+$ and $\phi: \mathbb{R}^+ \to \mathbb{R}^+$, we consider the set $E(Q, R, \phi)$ of points $x \in X$ that ``hit'' the…
Given a positive integer $M$ and a real number $q>1$, we consider the univoque set $\mathcal{U}_q$ of reals which have a unique $q$-expansion over the alphabet $\set{0,1,\cdots,M}$. In this paper we show that for any $x\in\mathcal{U}_q$ and…
We study the Hausdorff and the box dimensions of closed invariant subsets of the space of pointed trees, equipped with a pseudogroup action. This pseudogroup dynamical system can be regarded as a generalization of a shift space. We show…
An important theorem of geometric measure theory (first proved by Besicovitch and Davies for Euclidean space) says that every analytic set of non-zero $s$-dimensional Hausdorff measure $\mathcal H^s$ contains a closed subset of non-zero…
Let $1\le m<n$ be integers, and let $K\subset\mathbb{R}^{n}$ be a self-similar set satisfying the strong separation condition, and with $\dim K=s>m$. We study the a.s. values of the $s-m$-dimensional Hausdorff and packing measures of $K\cap…
Let $U\not\equiv \pm\infty$ be a $\delta$-subharmonic function on a closed disc of radius $R$ centered at zero. In the previous two parts of our paper, we obtained general and explicit estimates of the integral of the positive part of the…
The distance set $\Delta(E)$ of a set $E$ consists of all non-negative numbers that represent distances between pairs of points in $E$. This paper studies sparse (less than full-dimensional) Borel sets in $\mathbb R^d$, $d \geq 2$ with a…
We establish sharp bounds for the Hausdorff dimension of sets of irrational numbers in $(0,1)$ whose digits in the $N$-expansion are either uniformly bounded or tend to infinity. For sets with digits bounded by an integer $M \ge N$, we…
For certain families of complex maps, we give a formula for the Hausdorff dimension of the equilibrium measure. In particular, given an endomorphism $f$ of $\mathbb C\mathbb P^k$ of algebraic degree $d \ge2$, and given the equilibrium…
We extend a result, due to Mattila and Sjolin, which says that if the Hausdorff dimension of a compact set $E \subset {\Bbb R}^d$, $d \ge 2$, is greater than $\frac{d+1}{2}$, then the distance set $\Delta(E)=\{|x-y|: x,y \in E \}$ contains…
For a fixed $K\gg 1$ and $n\in\mathbb{N}$, $n\gg 1$, we study metric spaces which admit embeddings with distortion $\le K$ into each $n$-dimensional Banach space. Classical examples include spaces embeddable into $\log n$-dimensional…
This article studies typical 1-Lipschitz images of $n$-rectifiable metric spaces $E$ into $\mathbb{R}^m$ for $m\geq n$. For example, if $E\subset \mathbb{R}^k$, we show that the Jacobian of such a typical 1-Lipschitz map equals 1…
We prove that most one-dimensional projections of a discrete subset of a plane are either dense in R (the real line), or form a discrete subset of R. More precisely, the set E of exceptional directions (for which the indicated dichotomy…
We show that for every nondecreasing concave function w:R+ --> R+ with w(0)=0, either every finite metric space embeds with distortion arbitrarily close to 1 into a metric space of the form (X,w o d) for some metric d on X, or there exists…
The Gromov-Hausdorff distance $(d_{GH})$ proves to be a useful distance measure between shapes. In order to approximate $d_{GH}$ for compact subsets $X,Y\subset\mathbb{R}^d$, we look into its relationship with $d_{H,iso}$, the infimum…