Geometric complexity of embeddings in ${\mathbb R}^d$
Abstract
Given a simplicial complex $K$, we consider several notions of geometric complexity of embeddings of $K$ in a Euclidean space ${\mathbb R}^d$: thickness, distortion, and refinement complexity (the minimal number of simplices needed for a PL embedding). We show that any $n$-complex with $N$ simplices which topologically embeds in ${\mathbb R}^{2n}$, $n>2$, can be PL embedded in ${\mathbb R}^{2n}$ with refinement complexity $O(e^{N^{4+{\epsilon}}})$. Families of simplicial $n$-complexes $K$ are constructed such that any embedding of $K$ into ${\mathbb R}^{2n}$ has an exponential lower bound on thickness and refinement complexity as a function of the number of simplices of $K$. This contrasts embeddings in the stable range, $K\subset {\mathbb R}^{2n+k}$, $k>0$, where all known bounds on geometric complexity functions are polynomial. In addition, we give a geometric argument for a bound on distortion of expander graphs in Euclidean spaces. Several related open problems are discussed, including questions about the growth rate of complexity functions of embeddings, and about the crossing number and the ropelength of classical links.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2013
- DOI:
- 10.48550/arXiv.1311.2667
- arXiv:
- arXiv:1311.2667
- Bibcode:
- 2013arXiv1311.2667F
- Keywords:
-
- Mathematics - Metric Geometry;
- Computer Science - Computational Geometry;
- Mathematics - Combinatorics;
- Mathematics - Geometric Topology
- E-Print:
- v2: an upper bound is established on refinement complexity for simplicial n-complexes in R^{2n}. Exponential lower bound is extended to a wider range of dimensions. The title is revised to reflect the changes in the paper