Related papers: $\varepsilon$-isometric dimension reduction for in…

Let $X$ be an isotropic random vector in $R^d$ that satisfies that for every $v \in S^{d-1}$, $\|<X,v>\|_{L_q} \leq L \|<X,v>\|_{L_p}$ for some $q \geq 2p$. We show that for $0<\varepsilon<1$, a set of $N = c(p,q,\varepsilon) d$ random…

Consider a random matrix $H:\mathbb{R}^n\longrightarrow\mathbb{R}^m$. Let $D\geq2$ and let $\{W_l\}_{l=1}^{p}$ be a set of $k$-dimensional affine subspaces of $\mathbb{R}^n$. We ask what is the probability that for all $1\leq l\leq p$ and…

We study the dependence on $\varepsilon$ in the critical dimension $k(n,p,\varepsilon)$ for which one can find random sections of the $\ell_p^n$-ball which are $(1+\varepsilon)$-spherical. We give lower (and upper) estimates for…

Complementing a recent observation of Newman and Rabinovich for $p=1$ we observe here that for all $0<p<2$ any $k$ points in $L_p$ embeds with distortion $(1+\e)$ into $\ell_p^n$ where $n$ is linear in $k$ (and polynomial in $\e^{-1}$).

We prove that for every $\epsilon\in (0,1)$ there exists $C_\epsilon\in (0,\infty)$ with the following property. If $(X,d)$ is a compact metric space and $\mu$ is a Borel probability measure on $X$ then there exists a compact subset…

Let $1<p\not=2<\infty$, $\epsilon>0$ and let $T:\ell_p(\ell_2)\overset{into}{\rightarrow}L_p[0,1]$ be an isomorphism. Then there is a subspace $Y\subset \ell_p(\ell_2)$ $(1+\epsilon)$-isomorphic to $\ell_p(\ell_2)$ such that: $T_{|Y}$ is an…

We prove that for any $2<p<\infty$ and for every $n$-dimensional subspace $X$ of $L_p$, represented on $\mathbb R^n$, whose unit ball $B_X$ is in Lewis' position one has the following two-level Gaussian concentration inequality: \[ \mathbb…

The paper provides a description of the large deviation behavior for the Euclidean norm of projections of $\ell_p^n$-balls to high-dimensional random subspaces. More precisely, for each integer $n\geq 1$, let $k_n\in\{1,\ldots,n-1\}$,…

We show that for every large enough integer $N$, there exists an $N$-point subset of $L_1$ such that for every $D>1$, embedding it into $\ell_1^d$ with distortion $D$ requires dimension $d$ at least $N^{\Omega(1/D^2)}$, and that for every…

Let $m,n\in\mathbb{N}$ and $p\in(0,\infty)$. For a finite dimensional quasi-normed space $X=(\mathbb{R}^m, \|\cdot\|_X)$, let $$B_p^n(X) = \Big\{ (x_1,\ldots,x_n)\in\big(\mathbb{R}^{m}\big)^n: \ \sum_{i=1}^n \|x_i\|_X^p \leq 1\Big\}.$$ We…

Despite many applications, dimensionality reduction in the $\ell_1$-norm is much less understood than in the Euclidean norm. We give two new oblivious dimensionality reduction techniques for the $\ell_1$-norm which improve exponentially…

For a family of interpolation norms $\| \cdot \|_{1,2,s}$ on $\mathbb{R}^n$, we provide a distribution over random matrices $\Phi_s \in \mathbb{R}^{m \times n}$ parametrized by sparsity level $s$ such that for a fixed set $X$ of $K$ points…

We investigate the minimal error in approximating a general probability measure $\mu$ on $\mathbb{R}^d$ by the uniform measure on a finite set with prescribed cardinality $n$. The error is measured in the $p$-Wasserstein distance. In…

For Euclidean space ($\ell_2$), there exists the powerful dimension reduction transform of Johnson and Lindenstrauss, with a host of known applications. Here, we consider the problem of dimension reduction for all $\ell_p$ spaces $1 \le p…

Given $\epsilon \in (0,1)$, a probability measure $\mu$ on $\Omega\subset\mathbb{R}^p$ and a semi-algebraic set $K\subset X\times\Omega$, we consider the feasible set $X^*_\epsilon=\{x\in X:{\rm Prob}[(x,\omega)\in K]\geq 1-\epsilon\}$…

Let $\mathbb{B}_p^N$ be the $N$-dimensional unit ball corresponding to the $\ell_p$-norm. For each $N\in\mathbb N$ we sample a uniform random subspace $E_N$ of fixed dimension $m\in\mathbb{N}$ and consider the volume of $\mathbb{B}_p^N$…

Let $k\leq n$. Each polynomial $p\in\oR[x_1,...,x_n]$ can be uniquely written as $p=\sum_{\mu}\mu p_{\mu}$, where $\mu$ ranges over the set $M$ of all monomials in $\oR[x_1,...,x_k]$ and where $p_{\mu}\in\oR[x_{k+1},...,x_n]$. If $p$ is…

Suppose that $E \subset \mathbb{R}^{n+1}$ is a uniformly rectifiable set of codimension $1$. We show that every harmonic function is $\varepsilon$-approximable in $L^p(\Omega)$ for every $p \in (1,\infty)$, where $\Omega := \mathbb{R}^{n+1}…

The $L_p$-discrepancy is a quantitative measure for the irregularity of distribution of an $N$-element point set in the $d$-dimensional unit cube, which is closely related to the worst-case error of quasi-Monte Carlo algorithms for…

The Johnson-Lindenstrauss (JL) lemma is a fundamental result in dimensionality reduction, ensuring that any finite set $X \subseteq \mathbb{R}^d$ can be embedded into a lower-dimensional space $\mathbb{R}^k$ while approximately preserving…