Related papers: Nearly Optimal Embeddings of Flat Tori

Discriminating between distributions is an important problem in a number of scientific fields. This motivated the introduction of Linear Optimal Transportation (LOT), which embeds the space of distributions into an $L^2$-space. The…

Metric embedding has become a common technique in the design of algorithms. Its applicability is often dependent on how high the embedding's distortion is. For example, embedding finite metric space into trees may require linear distortion…

Let $L$ be a closed Lagrangian submanifold of a symplectic manifold $(X,\omega)$. Cieliebak and Mohnke define the symplectic area of $L$ as the minimal positive symplectic area of a smooth $2$-disk in $X$ with boundary on $L$. An extremal…

We show that any set of distinct homotopy classes of simple closed curves on the torus that pairwise intersect at most $k$ times has size $k + O(\sqrt{k} \log k)$. Prior to this work, a lemma of Agol, together with the state of the art…

We show that any embedding of a planar graph can be encoded succinctly while efficiently answering a number of topological queries near-optimally. More precisely, we build on a succinct representation that encodes an embedding of $m$ edges…

In this article, via certain lower bound conditions on the measures under consideration, the authors fully characterize the Sobolev embeddings for the scales of Haj{\l}asz-Triebel-Lizorkin and Haj{\l}asz-Besov spaces in the general context…

We show that for those lattices of Voronoi's first kind with known obtuse superbasis, a closest lattice point can be computed in $O(n^4)$ operations where $n$ is the dimension of the lattice. To achieve this a series of relevant lattice…

A central problem in discrete geometry, known as Hadwiger's covering problem, asks what the smallest natural number $N\left(n\right)$ is such that every convex body in ${\mathbb R}^{n}$ can be covered by a union of the interiors of at most…

Let $\varepsilon\in(0,1)$ and $X\subset\mathbb R^d$ be arbitrary with $|X|$ having size $n>1$. The Johnson-Lindenstrauss lemma states there exists $f:X\rightarrow\mathbb R^m$ with $m = O(\varepsilon^{-2}\log n)$ such that $$ \forall x\in X\…

We prove a simple, nearly tight lower bound on the approximate degree of the two-level $\mathsf{AND}$-$\mathsf{OR}$ tree using symmetrization arguments. Specifically, we show that $\widetilde{\mathrm{deg}}(\mathsf{AND}_m \circ…

In this work, we consider sequence of metrics with almost non-negative scalar curvature on torus. We show that if the sequence is uniformly conformal to another sequence of metrics with uniformly controlled geometry, then it converges to a…

Using minimal hypersurfaces, we obtain topological obstructions to admitting complete metrics with positive scalar curvature on a given class of non-compact n-manifolds with n less than 8. We show that the Liouville theorem for a locally…

Given an $n$-point metric space $(X,d_X)$, a tree cover $\mathcal{T}$ is a set of $|\mathcal{T}|=k$ trees on $X$ such that every pair of vertices in $X$ has a low-distortion path in one of the trees in $\mathcal{T}$. Tree covers have been…

Given a maximal $\mathbb{Q}$-torus in $SL(N,\mathbb{Q})$, its orbit from identity coset in $SL(N,\mathbb{R})/SL(N,\mathbb{Z})$ naturally carries a possibly infinite Haar measure. We classify all possible limit measures of it when translated…

In this paper, we study conformally flat hypersurfaces of dimension $n(\geq 4)$ in $\mathbb{S}^{n+1}$ using the framework of M\"obius geometry. First, we classify and explicitly express the conformally flat hypersurfaces of dimension…

We present a version of the sieve of Eratosthenes that can factor all integers $\le x$ in $O(x \log\log x)$ arithmetic operations using at most $O(\sqrt{x}/\log\log x)$ bits of space. This is an improved space bound under the condition that…

We compute the best constant in the embedding of $W^{N,1}({\mathbb R}^N)$ into $L^\infty({\mathbb R}^N)$, extending a result of Humbert and Nazaret in dimensions one and two to any $N$. The main tool is the identification of $\log |x|$ as a…

We show a $2^{n/2+o(n)}$-time algorithm that finds a (non-zero) vector in a lattice $\mathcal{L} \subset \mathbb{R}^n$ with norm at most $\tilde{O}(\sqrt{n})\cdot \min\{\lambda_1(\mathcal{L}), \det(\mathcal{L})^{1/n}\}$, where…

We prove a rigidity theorem that shows that, under many circumstances, quasi-isometric embeddings of equal rank, higher rank symmetric spaces are close to isometric embeddings. We also produce some surprising examples of quasi-isometric…

We verify that if $M$ is a compact minimal hypersurface in $\mathbb{S}^{n+1}$ whose squared length of the second fundamental form satisfying $0\leq |A|^2-n\leq\frac{n}{22}$, then $|A|^2\equiv n$ and $M$ is a Clifford torus. Moreover, we…