Generalizations of the Kolmogorov-Barzdin embedding estimates

We consider several ways to measure the `geometric complexity' of an embedding from a simplicial complex into Euclidean space. One of these is a version of `thickness', based on a paper of Kolmogorov and Barzdin. We prove inequalities relating the thickness and the number of simplices in the simplicial complex, generalizing an estimate that Kolmogorov and Barzdin proved for graphs. We also consider the distortion of knots. We give an alternate proof of a theorem of Pardon that there are isotopy classes of knots requiring arbitrarily large distortion. This proof is based on the expander-like properties of arithmetic hyperbolic manifolds.Comment: 45 page

Nonpositively curved 2-complexes with isolated flats

We introduce the class of nonpositively curved 2-complexes with the Isolated Flats Property. These 2-complexes are, in a sense, hyperbolic relative to their flats. More precisely, we show that several important properties of Gromov-hyperbolic spaces hold `relative to flats' in nonpositively curved 2-complexes with the Isolated Flats Property. We introduce the Relatively Thin Triangle Property, which states roughly that the fat part of a geodesic triangle lies near a single flat. We also introduce the Relative Fellow Traveller Property, which states that pairs of quasigeodesics with common endpoints fellow travel relative to flats, in a suitable sense. The main result of this paper states that in the setting of CAT(0) 2-complexes, the Isolated Flats Property is equivalent to the Relatively Thin Triangle Property and is also equivalent to the Relative Fellow Traveller Property.Comment: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol8/paper5.abs.htm

Construction of the discrete hull for the combinatorics of a regular pentagonal tiling of the plane

The article 'A "regular" pentagonal tiling of the plane' by P. L. Bowers and K. Stephenson defines a conformal pentagonal tiling. This is a tiling of the plane with remarkable combinatorial and geometric properties. However, it doesn't have finite local complexity in any usual sense, and therefore we cannot study it with the usual tiling theory. The appeal of the tiling is that all the tiles are conformally regular pentagons. But conformal maps are not allowable under finite local complexity. On the other hand, the tiling can be described completely by its combinatorial data, which rather automatically has finite local complexity. In this paper we give a construction of the discrete hull just from the combinatorial data. The main result of this paper is that the discrete hull is a Cantor space

Thurston obstructions and Ahlfors regular conformal dimension

Let $f: S^2 \to S^2$ be an expanding branched covering map of the sphere to itself with finite postcritical set $P_f$. Associated to $f$ is a canonical quasisymmetry class \GGG(f) of Ahlfors regular metrics on the sphere in which the dynamics is (non-classically) conformal. We show \inf_{X \in \GGG(f)} \hdim(X) \geq Q(f)=\inf_\Gamma \{Q \geq 2: \lambda(f_{\Gamma,Q}) \geq 1\}. The infimum is over all multicurves $\Gamma \subset S^2-P_f$. The map $f_{\Gamma,Q}: \R^\Gamma \to \R^\Gamma$ is defined by $$f_{\Gamma, Q}(\gamma) =\sum_{[\gamma']\in\Gamma} \sum_{\delta \sim \gamma'} \deg(f:\delta \to \gamma)^{1-Q}[\gamma'],$$ where the second sum is over all preimages $\delta$ of $\gamma$ freely homotopic to $\gamma'$ in $S^2-P_f$, and $\lambda(f_{\Gamma,Q})$ is its Perron-Frobenius leading eigenvalue. This generalizes Thurston's observation that if $Q(f)>2$, then there is no $f$-invariant classical conformal structure.Comment: Minor revisions are mad

On the Reconstruction of Geodesic Subspaces of RN\mathbb{R}^N

We consider the topological and geometric reconstruction of a geodesic subspace of $\mathbb{R}^N$ both from the \v{C}ech and Vietoris-Rips filtrations on a finite, Hausdorff-close, Euclidean sample. Our reconstruction technique leverages the intrinsic length metric induced by the geodesics on the subspace. We consider the distortion and convexity radius as our sampling parameters for a successful reconstruction. For a geodesic subspace with finite distortion and positive convexity radius, we guarantee a correct computation of its homotopy and homology groups from the sample. For geodesic subspaces of $\mathbb{R}^2$, we also devise an algorithm to output a homotopy equivalent geometric complex that has a very small Hausdorff distance to the unknown shape of interest

The Morse theory of \v{C}ech and Delaunay complexes

Given a finite set of points in $\mathbb R^n$ and a radius parameter, we study the \v{C}ech, Delaunay-\v{C}ech, Delaunay (or Alpha), and Wrap complexes in the light of generalized discrete Morse theory. Establishing the \v{C}ech and Delaunay complexes as sublevel sets of generalized discrete Morse functions, we prove that the four complexes are simple-homotopy equivalent by a sequence of simplicial collapses, which are explicitly described by a single discrete gradient field.Comment: 21 pages, 2 figures, improved expositio