Related papers: Marstrand's density theorem in the Heisenberg grou…

In this paper we continue the study of the notion of $\mathscr{P}$-rectifiability in Carnot groups. We say that a Radon measure is $\mathscr{P}_h$-rectifiable, for $h\in\mathbb N$, if it has positive $h$-lower density and finite $h$-upper…

This paper establishes connections between the group-Fourier transform and the geometry of measures in the Heisenberg group. Firstly, it is shown that if the Fourier transform of a compactly supported, finite, Radon measure is square…

We prove that any measurable set in the Heisenberg group, $\mathbb{H}^n$, of positive upper density has the property that all sufficiently large real numbers are realised as the Kor\'anyi distance between points in that set. The result can…

Let $\mu$ be a Radon measure on the $n$-th Heisenberg group $\mathbb{H}^n$. In this note we prove that if the $(2n+1)$-dimensional (Heisenberg) Riesz transform on $\mathbb{H}^n$ is $L^2(\mu)$-bounded, and if $\mu(F)=0$ for all Borel sets…

We show that if a non-trivial measure in the plane admits, at almost every point, positive and finite $\alpha$-dimensional density with respect to some norm, then $\alpha$ must be an integer.

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…

Let $\Gamma$ be a finitely generated group, and let $\mu$ be a nondegenerate, finitely supported probability measure on $\Gamma$. We show that every co-compact $\Gamma$ action on a locally compact Hausdorff space admits a nonzero…

We enquire under which conditions, given two $\sigma$-finite, $\omega$-continuous valuations $\nu$ and $\mu$, $\nu$ has density with respect to $\mu$. The answer is that $\nu$ has to be absolutely continuous with respect to $\mu$, plus a…

In this paper we start a detailed study of a new notion of rectifiability in Carnot groups: we say that a Radon measure is $\mathscr{P}_h$-rectifiable, for $h\in\mathbb N$, if it has positive $h$-lower density and finite $h$-upper density…

We investigate the influence that $s$-dimensional lower and upper Hausdorff densities have on the geometry of a Radon measure in $\mathbb{R}^n$ when $s$ is a real number between $0$ and $n$. This topic in geometric measure theory has been…

This paper is devoted to the proof of two related results. The first one asserts that if $\mu$ is a Radon measure in $\mathbb R^d$ satisfying $$\limsup_{r\to 0} \frac{\mu(B(x,r))}{r}>0\quad \text{ and }\quad…

Let $D$ be the ring of $S$-integers in a global field and $\hat{D}$ its profinite completion. We discuss the relation between density in $D$ and the Haar measure of $\hat{D}$: in particular, we ask when the density of a subset $X$ of $D$ is…

We study the regularity of the support of a Radon measure $\mu$ on $\mathbb R^{n+1}$ for which anisotropic versions of its $n$-dimensional density ratio and its doubling character are assumed to converge with H\"older rate. We show that in…

Given positive measures $\nu,\mu$ on an arbitrary measurable space $(\Omega, \mathcal F)$, we construct a sequence of finite partitions $(\pi_n)_n$ of $(\Omega, \mathcal F)$ s.t. $$ \sum_{A\in \pi_n: \mu(A)>0} 1_{A} \frac{\nu(A)}{\mu(A)}…

We show that under very mild conditions on a measure $\mu$ on the interval $[0,\infty)$, the span of $\{x^k\}_{k=n}^{\infty}$ is dense in $L^2(\mu)$ for any $n=0,1,\ldots$. We present two different proofs of this result, one based on the…

This paper is devoted to the study of tangential properties of measures with density in the Heisenberg groups $\mathbb{H}^n$. Among other results we prove that measures with $(2n+1)$-density have only flat tangents and conclude the…

We prove that a Radon measure $\mu$ on $\mathbb{R}^n$ can be written as $\mu=\sum_{i=0}^n\mu_i$, where each of the $\mu_i$ is an $i$-dimensional rectifiable measure if and only if for every Lipschitz function $f:\mathbb{R}^n\to\mathbb{R}$…

Recently, M. Badger and R. Schul proved that for a $1$-rectifiable Radon measure $\mu$, the density weighted Jones' square function $$ J_{1}(x) = \mathop{\sum_{Q \in \mathcal{D}}}_{\ell(Q) \leq 1} \beta_{2,\mu}^{2}(3Q)\frac{\ell(Q)}{\mu(Q)}…

Suppose that G is a locally compact abelian group, and write M(G) for the algebra of bounded, regular, complex-valued measures under convolution. A measure \mu in M(G) is said to be idempotent if \mu * \mu = \mu, or alternatively if the…

We study the regularity of Radon measures $\mu$ which satisfy that there exists a function $h_\mu$ in $H^1(\Omega)$, stationary harmonic such that $\Delta h_\mu =\mu$ in $\Omega$ (here $\Omega$ is an open set of $\mathbb{R}^2$). Such…