Related papers: Discretization on high-dimensional domains

We show that capacity can be computed with locally Lipschitz functions in locally complete and separable metric spaces. Further, we show that if $(X,d,\mu)$ is a locally complete and separable metric measure space, then continuous functions…

Let $n\geq 1$, $K>0$, and let $X=(X_1,X_2,\dots,X_n)$ be a random vector in $\mathbb{R}^n$ with independent $K$--subgaussian components. We show that for every $1$--Lipschitz convex function $f$ in $\mathbb{R}^n$ (the Lipschitzness with…

We obtain an optimal deviation from the mean upper bound \begin{equation} D(x)\=\sup_{f\in \F}\mu\{f-\E_{\mu} f\geq x\},\qquad\ \text{for}\ x\in\R\label{abstr} \end{equation} where $\F$ is the class of the integrable, Lipschitz functions on…

A metric probability space $(\Omega,d)$ obeys the ${\it concentration\; of\; measure\; phenomenon}$ if subsets of measure $1/2$ enlarge to subsets of measure close to 1 as a transition parameter $\epsilon$ approaches a limit. In this paper…

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$…

Let $(X, \mathscr{L}, \lambda)$ and $(Y, \mathscr{M}, \mu)$ be finite measure spaces for which there exist $A \in \mathscr{L}$ and $B \in \mathscr{M}$ with either $0 < \lambda(A) < 1 < \lambda(X)$ and $0 < \mu(B) < \mu(Y)$, or the other way…

Let $\Omega \subset \mathbb R^d$ be a $C^1$ domain or, more generally, a Lipschitz domain with small Lipschitz constant and $A(x)$ be a $d \times d$ uniformly elliptic, symmetric matrix with Lipschitz coefficients. Assume $u$ is harmonic in…

Let $\nu$ be a Borel probability measure on a $d$-dimensional Euclidean space $\mathbb{R}^d$, $d\geq 1$, with a compact support, and let $(p_0, p_1, p_2, \ldots, p_N)$ be a probability vector with $p_j>0$ for $0\leq j\leq N$. Let $\{S_j:…

We prove that for every $n\in \mathbb{N}$ there exists a metric space $(X,d_X)$, an $n$-point subset $S\subseteq X$, a Banach space $(Z,\|\cdot\|_Z)$ and a $1$-Lipschitz function $f:S\to Z$ such that the Lipschitz constant of every function…

Given a second order parabolic operator $$ Lu(t,x) :=\frac{\partial u(t,x)}{\partial t} + a^{ij}(t,x)\partial_{x_i}\partial_{x_j}u(t,x) + b^i(t,x)\partial_{x_i}u(t,x), $$ we consider the weak parabolic equation $L^{*}\mu=0$ for Borel…

We provide a complete picture of the upper quantization dimension in terms of the R\'enyi dimension by proving that the upper quantization dimension $\bar{D}_{r}(\nu)$ of order $r>0$ for an arbitrary compactly supported Borel probability…

Let $\mu$ and $\nu$ be two Borel probability measures on two separable metric spaces $\X$ and $\Y$ respectively. For $h, g$ be two Hausdorff functions and $q\in \R$, we introduce and investigate the generalized pseudo-packing measure…

We show that whenever a separable subset $S$ of a complete metric space $X$ admits a $d$-dimensional weak tangent field, the set $S$ is close to being $d$-dimensional in the following sense. Whenever $\mu$ is a Borel finite measure on $X$…

We establish analogs of Cheeger's inequality for probability measures with heavy tails. As one of the principal applications, suppose $\lambda > 3$ and define the (Pareto) probability measure $\mu_{\lambda}$ on $[1,\infty)$ by…

Let $(X,d)$ be a compact metric space and $\mu$ a Borel probability on $X$. For each $N\geq 1$ let $d^N_\infty$ be the $\ell_\infty$-product on $X^N$ of copies of $d$, and consider $1$-Lipschitz functions $X^N\to\mathbb{R}$ for…

Let $\mu$ be a finite Radon measure on an open set $\Omega\subset\mathbb{R}^d$, singular with respect to the Lebesgue measure. We prove Lusin-type solvability results for the prescribed divergence equation and the prescribed Jacobian…

Rademacher theorem states that every Lipschitz function on the Euclidean space is differentiable almost everywhere, where "almost everywhere" refers to the Lebesgue measure. In this paper we prove a differentiability result of similar type,…

Let $X_N$ be an $N$-dimensional subspace of $L_2$ functions on a probability space $(\Omega, \mu)$ spanned by a uniformly bounded Riesz basis $\Phi_N$. Given an integer $1\leq v\leq N$ and an exponent $1\leq q\leq 2$, we obtain universal…

Let $(\Omega, \mathfrak{A}, \mu)$ and $(\Gamma, \mathfrak{B}, \nu)$ be two arbitrary measure spaces, and $p\in [1,\infty]$. Set $$L^p(\mu)_+^\mathrm{sp}:= \{f\in L^p(\mu): \|f\|_p =1; f\geq 0\ \mu\text{-a.e.} \}$$ i.e., the positive part of…

We demonstrate that the set $L^\infty(X, [-1,1])$ of all measurable functions over a Borel measure space $(X, \mathcal B, \mu )$ with values in the unit interval is typically non-polyhedric when interpreted as a subset of a dual space. Our…