Related papers: Extensions and corona decompositions of low-dimens…

In this paper we study intrinsic regular submanifolds of $\mathbb{H}^n$, of low co-dimension in relation with the regularity of their intrinsic parametrization. We extend some results proved for one co-dimensional $\mathbb{H}$-regular…

We consider the Hodge Laplacian $\Delta$ on the Heisenberg group $H_n$, endowed with a left-invariant and U(n)-invariant Riemannian metric. For $0\le k\le 2n+1$, let $\Delta_k$ denote the Hodge Laplacian restricted to $k$-forms. Our first…

We give a new approach to the infinitesimal structure of Lipschitz maps into L^1. As a first application, we give an alternative proof of the main theorem from an earlier paper, that the Heisenberg group does not admit a bi-Lipschitz…

We prove the coarea formula for Lipschitz maps from the subriemannian $n$th Heisenberg group $\mathbb H_n$ to $\mathbb R^{2n}$. Our result is new even when $n=1$ and provides the simplest vector-valued instance of the coarea formula in…

In this article we start a systematic study of the bi-Lipschitz geometry of lamplighter graphs. We prove that lamplighter graphs over trees bi-Lipschitzly embed into Hamming cubes with distortion at most~$6$. It follows that lamplighter…

Suppose A is an open subset of a Carnot group G, where G has a discrete analogue, and H is another Carnot group. We show that a Lipschitz function from A to H whose image has positive Hausdorff measure in the appropriate dimension is…

We compute the Markov convexity invariant of the continuous infinite dimensional Heisenberg group $\mathbb{H}_\infty$ to show that it is Markov 4-convex and cannot be Markov $p$-convex for any $p < 4$. As Markov convexity is a biLipschitz…

We construct a Lipschitz curve in the free Carnot group of step 3 with 2 generators that meets every $C^{1}$ horizontal curve in a set of measure zero. This shows that the $C^{1}_{H}$-Lusin property fails in a strong sense in this group,…

A special type of coarea inequality is proved for compositions of intrinsically Lipschitz mappings of Carnot groups with projections along horizontal vector fields. It is proved that the equality is achieved for mappings with finite…

We show that C^1 hypersurfaces in the Heisenberg group are countably N-rectifiable. As a corollary, this shows that all C^1_H graphs over the xy-plane are countable N-rectifiable, showing the equivalence of this notion of rectifiability…

Let $(G,\tau)$ be a finite-dimensional Lie group with an involutive automorphism $\tau$ of $G$ and let $\mathfrak g = \mathfrak h \oplus \mathfrak q $ be its corresponding Lie algebra decomposition. We show that every non-degenerate…

A natural notion of higher order rectifiability is introduced for subsets of Heisenberg groups $\mathbb{H}^n$ in terms of covering a set almost everywhere by a countable union of $(\mathbf{C}_H^{1,\alpha},\mathbb{H})$-regular surfaces, for…

We prove that, for r>2, the r-variation and oscillation for the smooth truncations of the Cauchy transform on Lipschitz graphs are bounded in L^p for 1<p finite. The analogous result holds for the n-dimensional Riesz transform on…

We prove a quantitative bi-Lipschitz nonembedding theorem for the Heisenberg group with its Carnot-Carath\'eodory metric and apply it to give a lower bound on the integrality gap of the Goemans-Linial semidefinite relaxation of the Sparsest…

We prove non-extendability results for Lipschitz maps with target space being jet spaces equipped with a left-invariant Riemannian distance, as well as jet spaces equipped with a left-invariant sub-Riemannian Carnot-Caratheodory distance.…

We derive sub-Riemannian Ricci curvature tensor for sub-Riemannian manifolds. We provide examples including the Heisenberg group, displacement group, and Martinet sub-Riemannian structure with arbitrary weighted volumes, in which we…

Length-constrained expander decompositions are a new graph decomposition that has led to several recent breakthroughs in fast graph algorithms. Roughly, an $(h, s)$-length $\phi$-expander decomposition is a small collection of length…

Benjamini, Yadin, and Yehudayoff (2007) showed that if the maximum degree of a graph $G$ is 'sub-logarithmic,' then the typical range of random $\mathbb Z$-homomorphisms is super-constant. Furthermore, they showed that there is a sharp…

We show that in the first sub-Riemannian Heisenberg group there are intrinsic graphs of smooth functions that are both critical and stable points of the sub-Riemannian perimeter under compactly supported variations of contact…

We characterize those mappings from a compact subset of $\mathbb{R}$ into the Heisenberg group $\mathbb{H}^{n}$ which can be extended to a $C^{m}$ horizontal curve in $\mathbb{H}^{n}$. The characterization combines the classical Whitney…