Related papers: Square packings and rectifiable doubling measures

We show that for $0<\gamma, \gamma' <1$ and for measurable subsets of the unit square with Lebesgue measure $\gamma$ there exist bi-Lipschitz maps with bounded Lipschitz constant (uniformly over all such sets) which are identity on the…

Given any dimension function $h$, we construct a perfect set $E \subseteq \mathbb{R}$ of zero $h$-Hausdorff measure, that contains any finite polynomial pattern. This is achieved as a special case of a more general construction in which we…

This paper addresses the question: how should N n-dimensional subspaces of m-dimensional Euclidean space be arranged so that they are as far apart as possible? The results of extensive computations for modest values of N, n, m are…

A $\lambda$-fold $r$-packing (multiple radius-$r$ covering) in a Hamming metric space is a code $C$ such that the radius-$r$ balls centered in $C$ cover each vertex of the space by not more (not less, respectively) than $\lambda$ times. The…

This paper presents a constructive proof of the existence of a regular non-atomic strictly-positive measure on any second-countable non-atomic locally compact Hausdorff space. This construction involves a sequence of finitely-additive set…

We determine the extent to which certain classes of fractionally `smooth' continuous mappings between metric spaces distort various dimensions, including the Hausdorff, upper Minkowski (box-counting), and upper intermediate dimensions. Our…

We prove a quantitative version of the following statement. Given a Lipschitz function f from the k-dimensional unit cube into a general metric space, one can decomposed f into a finite number of BiLipschitz functions f|_{F_i} so that the…

In this paper, we prove that for any $1/2<t<1$, there exists a positive integer $N_{0}$ depending on $t$ such that for any $n_{0}\geq N_{0}$, squares of sidelength $f(n)^{-t}$ for $n\geq n_{0}$ can be packed with disjoint interiors into a…

For every couple of Hausdorff functions $ \psi$ and $\varphi $ verifying some mild assumptions, there exists a compact subset $ K $ of the Baire space such that the $ \varphi$-Hausdorff measure and the $ \psi$-packing measure on $ K$ are…

In a 2013 paper, Cheeger and Kleiner introduced a new type of dimension for metric spaces, the "Lipschitz dimension". We study the dimension-theoretic properties of Lipschitz dimension, including its behavior under Gromov-Hausdorff…

For $p>1$, we introduce the cutoff Sobolev inequality on general metric measure spaces, and prove that there exists a metric measure space endowed with a $p$-energy that satisfies the chain condition, the volume regular condition with…

We develop an underlying relationship between the theory of rational approximations and that of isomonodromic deformations. We show that a certain duality in Hermite's two approximation problems for functions leads to the Schlesinger…

The classical Reifenberg's theorem says that a set which is sufficiently well approximated by planes uniformly at all scales is a topological H\"older manifold. Remarkably, this generalizes to metric spaces, where the approximation by…

In Koeller \cite{koerprops} the twelve variants of the Reifenberg properties known to be instrumental in the theory of minimal surfaces were classified with respect to various Hausdorff measure based measure theoretic properties. The…

Let ${\mathfrak M}=({\mathcal M},\rho)$ be a metric space and let $X$ be a Banach space. Let $F$ be a set-valued mapping from ${\mathcal M}$ into the family ${\mathcal K}_m(X)$ of all compact convex subsets of $X$ of dimension at most $m$.…

The purpose of this article is to prove a generalisation of the Besicovitch-Federer projection theorem about a characterisation of rectifiable and unrectifiable sets in terms of their projections. For an $m$-unrectifiable set…

The main result: for every sequence $\{\omega_m\}_{m=1}^\infty$ of positive numbers ($\omega_m>0)$ there exists an isometric embedding $F:[0,1]\to L_1[0,1]$ which is nowhere differentiable, but for each $t\in [0,1]$ the image $F_t$ is…

A Hilbert cube of dimension $d$ is the set of integers \[ H(a_{0}; a_{1}, \ldots, a_{d})=a_{0}+\{0, a_{1}\}+\cdots+\{0, a_{d}\}=\left\{a_{0}+\sum_{i=1}^{d}\varepsilon_{i}a_{i}:\;\varepsilon_{i}\in\{0,1\}\right\}. \] Brown, Erd\H{o}s and…

We introduce a new, simple metric method of sampling metric measure spaces, based on a well-known "snowflakeing operator" and we show that, as a consequence of a classical result of Assouad, the sampling of doubling metric spaces is…

For $f \in H^p(\delta^2)$, $0<p\leq 2$, with Haar expansion $f=\sum f_{I \times J}h_{I\times J}$ we constructively determine the Pietsch measure of the $2$-summing multiplication operator \[\mathcal{M}_f:\ell^{\infty} \rightarrow…