Related papers: Polylog dimensional subspaces of $\ell_\infty^N$

We show that for every $\alpha > 0$, there exist $n$-point metric spaces (X,d) where every "scale" admits a Euclidean embedding with distortion at most $\alpha$, but the whole space requires distortion at least $\Omega(\sqrt{\alpha \log…

Fix $k \in \mathbb{N}$ and $0 < \delta < 1$. We study how large $N$ must be so that every $\delta$-dense subset $\mathcal{D} \subset \{0,1\}^N$ (meaning $|\mathcal{D}| \geq \delta 2^N$) contains the image of a metric embedding $f: \{0,1\}^k…

We show that for each $n \geq 2$, the systoles of closed hyperbolic $n$-manifolds form a dense subset of $(0, +\infty)$. We also show that for any $n\geq 2$ and any Salem number $\lambda$, there is a closed arithmetic hyperbolic…

The Dushnik-Miller dimension of a partially-ordered set $P$ is the smallest $d$ such that one can embed $P$ into a product of $d$ linear orders. We prove that the dimension of the divisibility order on the interval $\{1, \dotsc, n\}$, is…

A Banach space contains asymptotically isometric copies of $\ell_1$ if and only if its dual space contains an isometric copy of $L_1$.

The main question studied in this article may be viewed as a nonlinear analogue of Dvoretzky's theorem in Banach space theory or as part of Ramsey theory in combinatorics. Given a finite metric space on n points, we seek its subspace of…

Using a recent result of Batson, Spielman and Srivastava, We obtain a tight estimate on the dimension of $\ell_p^n$, $p$ an even integer, needed to almost isometrically contain all $k$-dimensional subspaces of $L_p$.

We present a relation between sparsity and non-Euclidean isomorphic embeddings. We introduce a general restricted isomorphism property and show how it enables to construct embeddings of $\ell_p^n$, $p > 0$, into various type of Banach or…

We consider (symmetric, non-degenerate) bilinear spaces over a finite field and investigate the properties of their $\ell$-complementary subspaces, i.e., the subspaces that intersect their dual in dimension $\ell$. This concept generalizes…

We show an analog to the Fast Johnson-Lindenstrauss Transform for Nearest Neighbor Preserving Embeddings in $\ell_2$. These are sparse, randomized embeddings that preserve the (approximate) nearest neighbors. The dimensionality of the…

We give a numerical characterization of mutual orthogonality (that is, complementarity) for subalgebras. In order to give such a characterization for mutually orthogonal subalgebras $A$ and $B$ of the $k \times k$ matrix algebra…

Fix $p\in[1,\infty)$, $K\in(0,\infty)$ and a probability measure $\mu$. We prove that for every $n\in\mathbb{N}$, $\varepsilon\in(0,1)$ and $x_1,\ldots,x_n\in L_p(\mu)$ with $\big\| \max_{i\in\{1,\ldots,n\}} |x_i| \big\|_{L_p(\mu)} \leq K$,…

The diametral dimension, $\Delta(E)$, and the approximate diametral dimension, $\delta (E)$, of a nuclear Fr\'echet space $E$ which satisfies $\underline{DN}$ and $\Omega$, is related to power series spaces $\Lambda_{1}(\varepsilon)$ and…

For a fixed $K\gg 1$ and $n\in\mathbb{N}$, $n\gg 1$, we study metric spaces which admit embeddings with distortion $\le K$ into each $n$-dimensional Banach space. Classical examples include spaces embeddable into $\log n$-dimensional…

Given a pointed metric space $M$, we study when there exist $n$-dimensional linear subspaces of $\operatorname{Lip}_0(M)$ consisting of strongly norm-attaining Lipschitz functionals, for $n\in\mathbb{N}$. We show that this is always the…

For $n\in \mathbb{N}$ consider the $n$-dimensional hypercube as equal to the vector space $\mathbb{F}_2^n$, where $\mathbb{F}_2$ is the field of size two. Endow $\mathbb{F}_2^n$ with the Hamming metric, i.e., with the metric induced by the…

An equilateral dimension of a normed space is a maximal number of pairwise equidistant points of this space. The aim of this paper is to study the equilateral dimension of certain classes of finite dimensional normed spaces. The well-known…

In this paper, we improve the results in the author's previous paper \cite{Usu22}, which deals with the quantitative problem on Littlewood's conjecture. We show that, for any $0<\gamma<1$, any $(\alpha,\beta)\in\mathbb{R}^2$ except on a set…

It is a well-known fact that over the complex numbers and for a fixed $k$ and $n$, a generic $s$ in $Sym^2V^*$ vanishes on some $k$-dimensional subspace of $V$ if and only if $n\geq 2k$. Tevelev found exact conditions for the extension of…

We consider the subspaces $c$, $\widehat{c}$, $S$ of $\ell^\infty$, where $\widehat{c}$ consists of almost convergent sequences, and $S$ consists of sequences whose arithmetic means of consecutive terms are convergent. We know that…