Showing 1–7 of 7 results for author: Dotterrer, D

Quantitative null-cobordism

Authors: Gregory R. Chambers, Dominic Dotterrer, Fedor Manin, Shmuel Weinberger

Abstract: For a given null-cobordant Riemannian $n$-manifold, how does the minimal geometric complexity of a null-cobordism depend on the geometric complexity of the manifold? In [Gro99], Gromov conjectured that this dependence should be linear. We show that it is at most a polynomial whose degree depends on $n$. This construction relies on another of independent interest. Take $X$ and $Y$ to be sufficien… ▽ More For a given null-cobordant Riemannian $n$-manifold, how does the minimal geometric complexity of a null-cobordism depend on the geometric complexity of the manifold? In [Gro99], Gromov conjectured that this dependence should be linear. We show that it is at most a polynomial whose degree depends on $n$. This construction relies on another of independent interest. Take $X$ and $Y$ to be sufficiently nice compact metric spaces, such as Riemannian manifolds or simplicial complexes. Suppose $Y$ is simply connected and rationally homotopy equivalent to a product of Eilenberg-MacLane spaces: for example, any simply connected Lie group. Then two homotopic L-Lipschitz maps $f, g : X \rightarrow Y$ are homotopic via a $CL$-Lipschitz homotopy. We present a counterexample to show that this is not true for larger classes of spaces $Y$. △ Less

Submitted 24 July, 2017; v1 submitted 16 October, 2016; originally announced October 2016.

Comments: 28 pages, 5 figures. Comments welcome!

MSC Class: 57R75; 53C23

Journal ref: J. Amer. Math. Soc. 31 (2018), 1165-1203

2-complexes with large 2-girth

Authors: Dominic Dotterrer, Larry Guth, Matthew Kahle

Abstract: The 2-girth of a 2-dimensional simplicial complex $X$ is the minimum size of a non-zero 2-cycle in $H_2(X, \mathbb{Z}/2)$. We consider the maximum possible girth of a complex with $n$ vertices and $m$ 2-faces. If $m = n^{2 + α}$ for $α< 1/2$, then we show that the 2-girth is at most $4 n^{2 - 2 α}$ and we prove the existence of complexes with 2-girth at least $c_{α, ε} n^{2 - 2 α- ε}$. On the othe… ▽ More The 2-girth of a 2-dimensional simplicial complex $X$ is the minimum size of a non-zero 2-cycle in $H_2(X, \mathbb{Z}/2)$. We consider the maximum possible girth of a complex with $n$ vertices and $m$ 2-faces. If $m = n^{2 + α}$ for $α< 1/2$, then we show that the 2-girth is at most $4 n^{2 - 2 α}$ and we prove the existence of complexes with 2-girth at least $c_{α, ε} n^{2 - 2 α- ε}$. On the other hand, if $α> 1/2$, the 2-girth is at most $C_α$. So there is a phase transition as $α$ passes 1/2. Our results depend on a new upper bound for the number of combinatorial types of triangulated surfaces with $v$ vertices and $f$ faces. △ Less

Submitted 10 July, 2017; v1 submitted 13 September, 2015; originally announced September 2015.

Comments: mostly minor revisions from previous version

On Expansion and Topological Overlap

Authors: Dominic Dotterrer, Tali Kaufman, Uli Wagner

Abstract: We give a detailed and easily accessible proof of Gromov's Topological Overlap Theorem. Let $X$ be a finite simplicial complex or, more generally, a finite polyhedral cell complex of dimension $d$. Informally, the theorem states that if $X$ has sufficiently strong higher-dimensional expansion properties (which generalize edge expansion of graphs and are defined in terms of cellular cochains of… ▽ More We give a detailed and easily accessible proof of Gromov's Topological Overlap Theorem. Let $X$ be a finite simplicial complex or, more generally, a finite polyhedral cell complex of dimension $d$. Informally, the theorem states that if $X$ has sufficiently strong higher-dimensional expansion properties (which generalize edge expansion of graphs and are defined in terms of cellular cochains of $X$) then $X$ has the following topological overlap property: for every continuous map $X\rightarrow \mathbf{R}^d$ there exists a point $p\in \mathbf{R}^d$ that is contained in the images of a positive fraction $μ>0$ of the $d$-cells of $X$. More generally, the conclusion holds if $\mathbf{R}^d$ is replaced by any $d$-dimensional piecewise-linear (PL) manifold $M$, with a constant $μ$ that depends only on $d$ and on the expansion properties of $X$, but not on $M$. △ Less

Submitted 17 September, 2016; v1 submitted 15 June, 2015; originally announced June 2015.

Comments: Minor revision, updated references

Higher dimensional distortion of random complexes

Authors: Dominic Dotterrer

Abstract: Using the random complexes of Linial and Meshulam, we exhibit a large family of simplicial complexes for which, whenever affinely embedded into Euclidean space, the filling areas of simplicial cycles is greatly distorted. This phenomenon can be regarded as a higher order analogue of the metric distortion of embeddings of random graphs. Using the random complexes of Linial and Meshulam, we exhibit a large family of simplicial complexes for which, whenever affinely embedded into Euclidean space, the filling areas of simplicial cycles is greatly distorted. This phenomenon can be regarded as a higher order analogue of the metric distortion of embeddings of random graphs. △ Less

Submitted 28 October, 2014; v1 submitted 25 October, 2012; originally announced October 2012.

Comments: 15 pages, additional comments on the work of Newman and Rabinovich added

The filling problem in the cube

Authors: Dominic Dotterrer

Abstract: We prove an isoperimetric inequality for filling cellular cycles in a high dimensional cube with cellular chains. In addition, we provide a family of cubical cellular cycles for which the exponent in the inequality is optimal. We prove an isoperimetric inequality for filling cellular cycles in a high dimensional cube with cellular chains. In addition, we provide a family of cubical cellular cycles for which the exponent in the inequality is optimal. △ Less

Submitted 26 February, 2012; originally announced February 2012.

Comments: 12 pages

Coboundary expanders

Authors: Dominic Dotterrer, Matthew Kahle

Abstract: We describe a natural topological generalization of edge expansion for graphs to regular CW complexes and prove that this property holds with high probability for certain random complexes. We describe a natural topological generalization of edge expansion for graphs to regular CW complexes and prove that this property holds with high probability for certain random complexes. △ Less

Submitted 15 April, 2011; v1 submitted 23 December, 2010; originally announced December 2010.

Comments: Version 2: significant rewrite. 18 pages, title changed, and main theorem extended to more general random complexes

MSC Class: 05C80; 55U10

Properties of the Generalized Zig-Zag Product of Graphs

Authors: Samuel Cooper, Dominic Dotterrer, Stratos Prassidis

Abstract: The operation of zig-zag products of graphs is the analogue of the semidirect product of groups. Using this observation, we present a categorical description of zig-zag products in order to generalize the construction for the category of simple graphs. Also, we examine the covering properties of zig-zag products and we utilize these results to estimate their spectral invariants in general. In ad… ▽ More The operation of zig-zag products of graphs is the analogue of the semidirect product of groups. Using this observation, we present a categorical description of zig-zag products in order to generalize the construction for the category of simple graphs. Also, we examine the covering properties of zig-zag products and we utilize these results to estimate their spectral invariants in general. In addition, we provide specific spectral analysis for some such products. △ Less

Submitted 14 July, 2006; originally announced July 2006.

Comments: 15 pages

MSC Class: 05C50