# A Quantitative Besicovitch 3/4-type Theorem

Below I describe some joint work between myself and my PhD student Matthew Hyde that has been accepted to the journal Annales Academiæ Scientiarum Fennicæ. The paper can be found here.

Similar to how -dimensional surface measure extends the notion of -dimensional Lebesgue measure to surfaces, the –*dimensional* *Hausdorff measure* is a generalization of the traditional -dimensional surface measure that can also be computed for sets that are not surfaces…in fact, they can be computed for *any *set.

The classical Lebesgue differentiation theorem says that for a measurable subset , then for almost every point , we have

For measurable sets , this is no longer the case. Certain sets where the Lebesgue differentiation theorem does hold for Hausdorff measure are –*rectifiable sets*. These are sets that can be covered up to -measure zero by countably many Lipschitz images of . You can think of these as generalizations of surfaces, although they no longer need to be smooth or differentiable. Instead of having tangent planes, they have weak tangent planes -a.e. in the sense that at a.e. , the measure concentrates more and more around a fixed “weak” tangent plane.

A remarkable result of Preiss is a sort of reverse Lebesgue differentiation theorem: if we have a Borel set so that for a.e.

then is -rectifiable. In fact, Besicovitch showed that, if , then it is enough to assume that for -a.e.

Preiss also shows that -rectifiability is implied if is close enough to -a.e (the analogous upper density is in fact a.e. at most for any Borel set ).

Matthew and I considered the question of whether we could strengthen this result: if we have more information about how large our set was in each ball, could this imply better rectifiable structure, e.g. could we get lower bounds on the largest size of a Lipschitz image intersecting our set?

We showed the following: suppose is an Ahlfors -regular set, meaning for all and . Let and let be the set of pairs for which there exists and satisfying

Here, is *Hausdorff content*, which is defined as

If is a *Carleson set* for every , meaning

then for every ball centered on there is an -Lipschitz map so that

where the constants and are independent of the choice of ball. In other words, the set is *uniformly rectifiable*: not only is the set covered by Lipschitz graphs, but every ball intersected with our set contains a big piece of a Lipschitz image with *uniform constants*.