Related papers: Structure of Porous Sets in Carnot Groups

We examine the class of weakly porous sets in Euclidean spaces. As our first main result we show that the distance weight $w(x)=\operatorname{dist}(x,E)^{-\alpha}$ belongs to the Muckenhoupt class $A_1$, for some $\alpha>0$, if and only if…

We define a Lorentzian distance function on the group of contactomorphisms of a closed contact manifold. This distance function is continuous with respect to the Hofer norm on the group of contactomorphisms defined by Shelukhin and finite…

The Katz-Sarnak Density Conjecture states that the behavior of zeros of a family of $L$-functions near the central point (as the conductors tend to zero) agree with the behavior of eigenvalues near 1 of a classical compact group (as the…

We show that the homeomorphism group of a surface without boundary does not admit a Hausdorff group topology strictly coarser than the compact-open topology. In combination with known automatic continuity results, this implies that the…

We prove a separable reduction theorem for sigma-porosity of Suslin sets. In particular, if A is a Suslin subset in a Banach space X, then each separable subspace of X can be enlarged to a separable subspace V such that A is sigma-porous in…

In each manifold $M$ modeled on a finite or infinite dimensional cube $[0,1]^n$ we construct a closed nowhere dense subset $S\subset M$ (called a spongy set) which is a universal nowhere dense set in $M$ in the sense that for each nowhere…

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 consider an Orlicz space based cohomology for metric (measured) spaces with bounded geometry. We prove the quasi-isometry invariance for a general Young function. In the hyperbolic case, we prove that the degree one cohomology can be…

We study the families of measures on Carnot groups that have vanishing $p$-module, which we call $p$-exceptional families. We found necessary and sufficient condition for the family of intrinsic Lipschitz surfaces passing through a common…

We establish an abstract critical point theorem for locally Lipschitz functionals that does not require any compactness condition of Palais-Smale type. It generalizes and unifies three other critical point theorems established in…

Let (X, d) be a quasi-convex, complete and separable metric space with reference probability measure m. We prove that the set of of real valued Lipschitz function with non zero point-wise Lipschitz constant m-almost everywhere is residual,…

In this paper we show that if $Y=N \times \mathbb{Q}_m$ is a metric space where $N$ is a Carnot group endowed with the Carnot-Caratheodory metric then any quasisymmetric map of $Y$ is actually bilipschitz. The key observation is that $Y$ is…

It has been known that the Cartesian product of two Suslin non-sigma-porous sets in topologically complete metric spaces is non-sigma-porous in the product space. The main aim of the present paper is to answer the natural question whether a…

We prove a $C^m$ Lusin approximation theorem for horizontal curves in the Heisenberg group. This states that every absolutely continuous horizontal curve whose horizontal velocity is $m-1$ times $L^1$ differentiable almost everywhere…

We prove a Filling Theorem for the Heisenberg Groups $H^{2n+1}$: For a given $k$-cycle $a$ we construct a $(k+1)$-chain $b$ (the filling) with boundary $\partial b=a$ and controlled volume. For this filling $b$ we prove a uniform bound on…

Consider an i.i.d. sample from an unknown density function supported on an unknown manifold embedded in a high dimensional Euclidean space. We tackle the problem of learning a distance between points, able to capture both the geometry of…

We construct a H\"older continuous function on the unit interval which coincides in uncountably (in fact continuum) many points with every function of total variation smaller than 1 passing through the origin. We say that a function with…

We prove that if a simply connected nilpotent Lie group quasi-isometrically embeds into an $L^1$ space, then it is abelian. We reach this conclusion by proving that every Carnot group that biLipschitz embeds into $L^1$ is abelian. Our proof…

We study open point sets in Euclidean spaces $\mathbb{R}^d$ without a pair of points an integral distance apart. By a result of Furstenberg, Katznelson, and Weiss such sets must be of Lebesgue upper density zero. We are interested in how…

In this paper we prove that every collection of measurable functions $f_\alpha$, $|\alpha|=m$ coincides a.e. with $m$th order derivatives of a function $g\in C^{m-1}$ whose derivatives of order $m-1$ may have any modulus of continuity…