Related papers: Separated sets and the Falconer conjecture for pol…

Letting A be a Borel subset of n dimensional Euclidean space, and W(x) be an m dimensional affine subspace containing x and varying in a Lipschitz way according to x, we establish that A is Lebesgue null if and only if $A \cap W(x)$ has m…

We consider the evolution of a connected set in Euclidean space carried by a periodic incompressible stochastic flow. While for almost every realization of the random flow at time t most of the particles are at a distance of order sqrt{t}…

A celebrated unit distance conjecture due to Erd\H os says that that the unit distances cannot arise more than $C_{\epsilon}n^{1+\epsilon}$ times (for any $\epsilon>0$) among $n$ points in the Euclidean plane (see e.g. \cite{SST84} and the…

The Kneser-Poulsen conjecture says that if a finite collection of balls in a d-dimensional Euclidean space is rearranged so that the distance between each pair of centers does not get smaller, then the volume of the union of these balls…

It is a longstanding conjecture that given a subset $E$ of a metric space, if $E$ has finite Hausdorff measure in dimension $\alpha\ge 0$ and $\mathscr{H}^\alpha\llcorner E$ has unit density almost everywhere, then $E$ is an…

We obtain new lower bounds on the Hausdorff dimension of distance sets and pinned distance sets of planar Borel sets of dimension slightly larger than $1$, improving recent estimates of Keleti and Shmerkin, and of Liu in this regime. In…

We introduce a new notion of a harmonic measure for a $d$-dimensional set in $\R^n$ with $d<n-1$, that is, when the codimension is strictly bigger than 1. Our measure is associated to a degenerate elliptic PDE, it gives rise to a…

A rational distance set is a subset of the plane such that the distance between any two points is a rational number. We show, assuming Lang's Conjecture, that the cardinalities of rational distance sets in general position are uniformly…

The variance conjecture in Asymptotic Convex Geometry stipulates that the Euclidean norm of a random vector uniformly distributed in a (properly normalised) high-dimensional convex body $K\subset {\mathbb R}^n$ satisfies a Poincar\'e-type…

We consider the Assouad dimension analogues of two important problems in geometric measure theory. These problems are tied together by the common theme of `passing to weak tangents'. First, we solve an analogue of Falconer's distance set…

A finite set X in the d-dimensional Euclidean space is called an s-distance set if the set of Euclidean distances between any two distinct points of X has size s. Larman--Rogers--Seidel proved that if the cardinality of a two-distance set…

We prove that if the Hausdorff dimension of $E\subset\mathbb{R}^d$, $d\geq 2$ is greater than $\frac{d}{2}+\frac{1}{3}$, the set of gaps of $2$-chains inside $E$, $$\Delta_2(E)=\{(|x-y|, |y-z|): x, y, z\in E \}\subset\mathbb{R}^2$$ has…

We establish Euclidean-type lower bounds for the codimension-1 Hausdorff measure of sets that separate points in doubling and linearly locally contractible metric manifolds. This gives a quantitative topological isoperimetric inequality in…

The classical Hausdorff dimension of finite or countable sets is zero. We define an analog for finite sets, called finite Hausdorff dimension which is non-trivial. It turns out that a finite bound for the finite Hausdorff dimension…

In this paper we show that the Hausdorff dimension of the set of singular pairs is 4/3. We also show that the action of diag(e^t,e^t,e^{-2t}) on SL(3,R)/SL(3,Z) admits divergent trajectories that exit to infinity at arbitrarily slow…

Generalising a construction of Falconer, we consider classes of $G_\delta$-subsets of $\mathbb{R}^d$ with the property that sets belonging to the class have large Hausdorff dimension and the class is closed under countable intersections. We…

In relation to Fuglede's conjecture, we establish several Plancherel-type identities and demonstrate the surjectivity of the Fourier transform between certain unbounded tiling sets of $\mathbb{R}$ that are in duality. In the terminology…

For a compact subset K of the plane and a point x, we define the visible part of K from x to be the set K_x={u\in K : [x,u]\cap K={u}}. (Here [x,u] denotes the closed line segment joining x to u.) In this paper, we use energies to show that…

It is shown to be consistent with set theory that the uniformity invariant for Lebesgue measure is strictly greater than the corresponding invariant for Hausdorff r-dimensional measure where 0<r<1.

In 1960, Klee showed that a subset of a Euclidean space must be a singleton provided that each point in the space has a unique farthest point in the set. This classical result has received much attention; in fact, the Hilbert space version…