Related papers: Rectifiability, interior approximation and Harmoni…
We provide quantitative estimates for the dimension drop of harmonic measure. We show that for a domain $\Omega = \mathbb{R}^{n+1} \setminus E$ where $E$ is an $s$-Ahlfors regular compact set satisfying a uniform $L^2$-based non-flatness…
A theorem of Steinhaus states that if $E\subset \mathbb R^d$ has positive Lebesgue measure, then the difference set $E-E$ contains a neighborhood of $0$. Similarly, if $E$ merely has Hausdorff dimension $\dim_{\mathcal H}(E)>(d+1)/2$, a…
This paper studies the structure and stability of boundaries in noncollapsed $\text{RCD}(K,N)$ spaces, that is, metric-measure spaces $(X,\mathsf{d},\mathscr{H}^N)$ with lower Ricci curvature bounded below. Our main structural result is…
Let $K\subset\mathbb R^d$ be a compact subset equipped with a $\delta$-Ahlfors regular measure $\mu$. For any $\tau>1/d$ and any ``inhomogeneous'' vector $\boldsymbol{\theta}\in\mathbb R^d$, let $W_d(\psi_\tau,\boldsymbol{\theta})$ denote…
A \emph{chain} in the unit $n$-cube is a set $C\subset [0,1]^n$ such that for every $\mathbf{x}=(x_1,\ldots,x_n)$ and $\mathbf{y}=(y_1,\ldots,y_n)$ in $C$ we either have $x_i\le y_i$ for all $i\in [n]$, or $x_i\ge y_i$ for all $i\in [n]$.…
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…
Cantor sets in \(\mathbb{R}\) are common examples of sets for which Hausdorff measures can be positive and finite. However, there exist Cantor sets for which no Hausdorff measure is supported and finite. The purpose of this paper is to try…
This paper is concerned with the structure of Gromov-Hausdorff limit spaces $(M^n_i,g_i,p_i)\stackrel{d_{GH}}{\longrightarrow} (X^n,d,p)$ of Riemannian manifolds satisfying a uniform lower Ricci curvature bound $Rc_{M^n_i}\geq -(n-1)$ as…
In this paper we establish a Besicovitch-Federer type projection theorem for general measures. Specifically, let $\mu$ be a finite Borel measure on $\mathbb{R}^n$ and let $0 < m < n$ be an integer. We show that, under the sole assumption…
We give a constructive proof for the following new collar theorem: every locally collared closed set that is paracompact in a Hausdorff space is collared. This includes the important special case of locally collared closed sets in…
We prove that for any singular measure $\mu$ on $\mathbb{R}^n$ it is possible to cover $\mu$-almost every point with $n$ families of Lipschitz slabs of arbitrarily small total width. More precisely, up to a rotation, for every $\delta>0$…
We show the David-Jerison construction of big pieces of Lipschitz graphs inside a corkscrew domain does not require its surface measure be upper Ahlfors regular. Thus we can study absolute continuity of harmonic measure and surface measure…
We prove lower bounds for the entropy of limit measures associated to non-degenerate sequences of eigenfunctions on locally symmetric spaces of non-positive curvature. In the case of certain compact quotients of the space of positive…
In this paper it is shown that if $\mu$ is an n-dimensional Ahlfors-David regular measure in $R^d$ which satisfies the so-called weak constant density condition, then $\mu$ is uniformly rectifiable. This had already been proved by David and…
We examine caloric measures $\omega$ on general domains in $\mathbb{R}^{n+1} = \mathbb{R}^n\times\mathbb{R}$ (space $\times$ time) from the perspective of geometric measure theory. On one hand, we give a direct proof of a consequence of a…
We prove that for mappings $W^{1,n}(B^n, \R^n),$ continuous up to the boundary, with modulus of continuity satisfying certain divergence condition, the image of the boundary of the unit ball has zero $n$-Hausdorff measure. For H\"older…
In 1996, Shi generalized the epsilon-regularity theorem of Schoen and Uhlenbeck to energy-minimizing harmonic maps from a domain equipped with a bounded measurable Riemannian metric. In the present work we prove a compactness result for…
We quantify Prokhorov's Theorem by establishing an explicit formula for the Hausdorff measure of non-compactness (HMNC) for the parametrized Prokhorov metric on the set of Borel probability measures on a Polish space. Furthermore, we…
In the recent work [DFM1, DFM2] G. David, J. Feneuil, and the first author have launched a program devoted to an analogue of harmonic measure for lower-dimensional sets. A relevant class of partial differential equations, analogous to the…
We prove a stability theorem for finite-dimensional analytic inverse problems. Let \(U\subset\R^m\) be an open parameter set, let \(F(p)\) be a boundary measurement operator, and let \(R(p)\) be the finite-dimensional quantity to be…