Ω-symmetric measures and related singular integrals

$\Omega$-symmetric measures and related singular integrals

Let $\mathbb{S} \subset \mathbb{C}$ be the circle in the plane, and let $\Omega: \mathbb{S} \to \mathbb{S}$ be an odd bi-Lipschitz map with constant $1+\delta_\Omega$, where $\delta_\Omega>0$ is small. Assume also that $\Omega$ is twice continuously differentiable. Motivated by a question raised by Mattila and Preiss in [MP95], we prove the following: if a Radon measure $\mu$ has positive lower density and finte upper density almost everywhere, and the limit $$ \lim_{\epsilon \downarrow 0} \int_{\mathbb{C} \setminus B(x,\epsilon)} \frac{\Omega\left((x-y)/|x-y|\right)}{|x-y|} \, d\mu(y) $$ exists $\mu$-almost everywhere, then $\mu$ is $1$-rectifiable. To achieve this, we prove first that if …

A proof of Carleson's $\varepsilon^2$-conjecture

In this paper we provide a proof of the Carleson $\varepsilon^2$-conjecture. This result yields a characterization (up to exceptional sets of zero length) of the tangent points of a Jordan curve in terms of the finiteness of the associated Carleson $\varepsilon^2$-square function.

A proof of Carleson's 𝜀2-conjecture

In this paper we provide a proof of the Carleson 𝜀2-conjecture. This result yields a characterization (up to exceptional sets of zero length) of the tangent points of a Jordan curve in terms of the finiteness of the associated Carleson 𝜀2-square function. peerReviewed

Integrability of orthogonal projections, and applications to Furstenberg sets

Let $\mathcal{G}(d,n)$ be the Grassmannian manifold of $n$-dimensional subspaces of $\mathbb{R}^{d}$, and let $\pi_{V} \colon \mathbb{R}^{d} \to V$ be the orthogonal projection. We prove that if $\mu$ is a compactly supported Radon measure on $\mathbb{R}^{d}$ satisfying the $s$-dimensional Frostman condition $\mu(B(x,r)) \leq Cr^{s}$ for all $x \in \mathbb{R}^{d}$ and $r > 0$, then $$\int_{\mathcal{G}(d,n)} \|\pi_{V}\mu\|_{L^{p}(V)}^{p} \, d\gamma_{d,n}(V) \tfrac{1}{2}$ and $t \geq 1 + \epsilon$ for a small absolute constant $\epsilon > 0$. We also prove a higher dimensional analogue of this estimate for codimension-1 Furstenberg sets in $\mathbb{R}^{d}$. As another corollary of our method,…