Related papers: Slicing Sets and Measures, and the Dimension of Ex…

Let $1 \leq m < s \leq n$ and let $A \subseteq \mathbb{R}^n$ be a Borel set of with $s$-dimensional Hausdorff measure $\mathcal{H}^s(A) > 0$. The classical Marstrand slicing theorem states that, for almost every $m$-dimensional subspace $V…

We prove a universal projection theorem, giving conditions on a parametrized family of maps $\Pi_\lambda : X \to \mathbb{R}^d$ and a collection M of measures on X under which for almost every $\lambda$ equality $\dim_H \Pi_\lambda \mu =…

We consider the problem of embedding a finite set of points $\{x_1, \ldots, x_n\} \in \mathbb{R}^d$ that satisfy $\ell_2^2$ triangle inequalities into $\ell_1$, when the points are approximately low-dimensional. Goemans (unpublished,…

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…

This paper extends some results of [M5] and [M3], in particular, removing assumptions of positive lower density. We give conditions on a general family $P_{\lambda}:\mathbb{R}^{n}\to\mathbb{R}^{m}, \lambda \in \Lambda,$ of orthogonal…

1) In 1976, looking at simple finite-dimensional complex Lie superalgebras, J.~Bernstein and I, and independently M.~Duflo, observed that certain divergence-free vectorial Lie superalgebras have deformations with odd parameters and…

We study the arithmetic structure of the exceptional set of projections. For any bounded subset $E\subset \mathbb{R}^d$, let $$ \Omega=\{\xi\in \mathbb{R}: \dim_B(E+\xi E)=\dim_B E\}. $$ We prove that either $\Omega=\{0\}$ or $\Omega$ is a…

Let $\Omega \subset \mathbb{R}^n$ be a convex. If $u: \Omega \rightarrow \mathbb{R}$ has mean 0, then we have the classical Poincar\'{e} inequality $$ \|u \|_{L^p} \leq c_p \mbox{diam}(\Omega) \| \nabla u \|_{L^p}$$ with sharp constants…

We show that for every $\alpha > 0$, there exist $n$-point metric spaces (X,d) where every "scale" admits a Euclidean embedding with distortion at most $\alpha$, but the whole space requires distortion at least $\Omega(\sqrt{\alpha \log…

We show that for any compact set $E\subset\mathbb{R}^d$ the visible part of $E$ has Hausdorff dimension at most $d-1/6$ for almost every direction. This improves recent estimates of Orponen and Matheus. If $E$ is $s$-Ahlfors regular, where…

We survey recent results on the study of metric measure spaces satisfying a Poincar\'e inequality. We overview recent characterizations in terms of objects of dimension 1, such as pencil of curves, modulus estimates and obstacle-avoidance…

Let $\Omega$ be a domain in $\mathbb{C}$ with hyperbolic metric $\lambda_\Omega(z)|dz|$ of Gaussian curvature $-4.$ Mejia and Minda proved in their 1990 paper that $\Omega$ is (Euclidean) convex if and only if…

The digits of the Pierce expansion satisfy the law of large numbers. It is known that the Hausdorff dimension of the set of exceptions to the law of large numbers is 1. We provide an elementary proof of this fact by adapting Jun Wu's…

A homemorphism between domains in $\mathbb R^n$, $n\ge 2$ is quasiconformal, with its intricate analytic and geometric consequences, if the (pointwise) linear dilatation -- a purely metric quantity -- is uniformly bounded. Gehring proved…

We obtain new sharp isoperimetric inequalities on a Riemannian manifold equipped with a probability measure, whose generalized Ricci curvature is bounded from below (possibly negatively), and generalized dimension and diameter of the convex…

Marstrand's celebrated projection theorem gives the Hausdorff dimension of the orthogonal projection of a Borel set in Euclidean space for almost all orthogonal projections. It is straightforward to see that sets for which the Fourier and…

We survey the history and recent developments around two decades-old problems that continue to attract a great deal of interest: the slicing $\times 2$, $\times 3$ conjecture of H. Furstenberg in ergodic theory, and the distance set problem…

Take an open domain $\Omega \subset \mathbb R^n$ whose boundary may be composed of pieces of different dimensions. For instance, $\Omega$ can be a ball on $\mathbb R^3$, minus one of its diameters $D$, or $\Omega \subset \mathbb R^3$ could…

We prove that for all integers $2\leq m\leq d-1$, there exists doubling measures on $\mathbb{R}^d$ with full support that are $m$-rectifiable and purely $(m-1)$-unrectifiable in the sense of Federer (i.e. without assuming…

Given an arbitrary set of high dimensional points in $\ell_1$, there are known negative results that preclude the possibility of always mapping them to a low dimensional $\ell_1$ space while preserving distances with small multiplicative…