Related papers: Discretization on high-dimensional domains

We prove that, if $\Omega\subset \mathbb{R}^n$ is an open bounded starshaped domain of class $C^2$, the constancy over $\partial \Omega$ of the function $$\varphi(y) = \int_0^{\lambda(y)} \prod_{j=1}^{n-1}[1-t \kappa_j(y)]\, dt$$ implies…

Let $\mu$ be a finite positive Borel measure on $[0,1)$ and $f(z)=\sum_{n=0}^{\infty}a_{n}z^{n} \in H(\mathbb{D})$. For $0<\alpha<\infty$, the generalized Ces\`aro-like operator $\mathcal{C}_{\mu,\alpha}$ is defined by $$ \mathcal…

Let ${\mathbb X}$ be a compact, connected, Riemannian manifold (without boundary), $\rho$ be the geodesic distance on ${\mathbb X}$, $\mu$ be a probability measure on ${\mathbb X}$, and $\{\phi_k\}$ be an orthonormal system of continuous…

We prove an isoperimetric inequality for probability measures $\mu$ on $\mathbb{R}^n$ with density proportional to $\exp(-\phi(\lambda | x|))$, where $|x|$ is the euclidean norm on $\mathbb{R}^n$ and $\phi$ is a non-decreasing convex…

We show that the variance of a probability measure $\mu$ on a compact subset $X$ of a complete metric space $M$ is bounded by the square of the circumradius $R$ of the canonical embedding of $X$ into the space $P(M)$ of probability measures…

We prove that for any Borel probability measure $\mu$ on $\mathbb R^n$ there exists a set $X\subset \mathbb R^n$ of $n+1$ points such that any $n$-variate quadratic polynomial $P$ that is nonnegative on $X$ (i.e. $P(x)\geq 0$, for every $x…

Let $\mu$ be a measure on $SL_{2}(\mathbb{R})$ generating a non-compact and totally irreducible subgroup, let $\chi>0$ denote its Lyapunov exponent, and let $\nu$ be the associated stationary (Furstenberg) measure for the action on the…

Let $(X,d_X,\mu)$ be a metric measure space where $X$ is locally compact and separable and $\mu$ is a Borel regular measure such that $0 <\mu(B(x,r)) <\infty$ for every ball $B(x,r)$ with center $x \in X$ and radius $r>0$. We define…

For a positive finite Borel measure $\mu$ compactly supported in the complex plane, the space $\mathcal{P}^2(\mu)$ is the closure of the analytic polynomials in the Lebesgue space $L^2(\mu)$. According to Thomson's famous result, any space…

Bourgain's discretization theorem asserts that there exists a universal constant $C\in (0,\infty)$ with the following property. Let $X,Y$ be Banach spaces with $\dim X=n$. Fix $D\in (1,\infty)$ and set $\delta= e^{-n^{Cn}}$. Assume that…

Let $\Pi_n^d$ denote the space of all spherical polynomials of degree at most $n$ on the unit sphere $\sph$ of $\mathbb{R}^{d+1}$, and let $d(x, y)$ denote the usual geodesic distance $\arccos x\cdot y$ between $x, y\in \sph$. Given a…

We consider in this paper the problem of sampling a high-dimensional probability distribution $\pi$ having a density with respect to the Lebesgue measure on $\mathbb{R}^d$, known up to a normalization constant $x \mapsto \pi(x)=…

We consider an $L^2$-Wasserstein type distance $\rho$ on the configuration space $\Gamma_X$ over a Riemannian manifold $X$, and we prove that $\rho$-Lipschitz functions are contained in a Dirichlet space associated with a measure on…

Let $K_1$, $\dots$, $K_n$ be bounded, complete, separable metric spaces. Let $\lambda_i$ be a Borel probability measure on $K_i$ for each $i$. Let $f:\prod_i K_i \to \mathbb{R}$ be a bounded and continuous potential function, and let…

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…

In this paper it is shown that if $\mu$ is a finite Radon measure in $\mathbb R^d$ which is $n$-rectifiable and $1\leq p\leq 2$, then $$\int_0^\infty \beta_{\mu,p}^n(x,r)^2\,\frac{dr}r<\infty \quad {for $\mu$-a.e. $x\in\mathbb R^d$,}$$…

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 identify a set of sufficient local conditions under which a significant portion of a Radon measure $\mu$ on $\mathbb{R}^{n+1}$ with compact support can be covered by an $n$-uniformly rectifiable set at the level of a ball $B\subset…

Let $E \subset \mathbb{R}^n$ be a compact set, and $f:E \to \mathbb{R}$. How can we tell if there exists a convex extension $F \in C^{1,1}(\mathbb{R}^n)$ of $f$, i.e. satisfying $F|_E = f|_E$? Assuming such an extension exists, how small…

We prove that a singular part $\mu_s$ of a measure $\mu$ satisfying ${\cal A}\mu =0$ for a linear partial differential operator ${\cal A}$ defined on $R^d$ has the range in the intersection of kernels of the principal symbol of ${\cal A}$…