arXiv++ Combinatorics

We construct a series HMT$(n)$ of $2$-dimensional simplicial complexes with torsion $H_1($HMT$(n))=(\mathbb{Z}_2)^{{k}\choose{1}} \times (\mathbb{Z}_4)^{{k}\choose{2}} \times \cdots \times (\mathbb{Z}_{2^k})^{{k}\choose{k}}$, $|H_1($HMT$(n))|=|$det(H$(n))|=n^{n/2} \in Θ(2^{n \log n})$, where the construction is based on the Hadamard matrices H$(n)$ for $n\geq 2$ a power of $2$, i.e., $n=2^k, \ k \geq 1$. The examples have linearly many vertices, their face vector is $f(HMT(n))=(5n-1,3n^2+9n-6,3n^2+4n-4)$. Our explicit series with torsion growth in $Θ(2^{n \log n})$ is constructed in quadratic time $Θ(n^{2})$ and improves a previous construction by Speyer with torsion growth in $Θ(2^{n})$, narrowing the gap to the highest possible asymptotic torsion growth in $Θ(2^{n^2})$ proved by Kalai via a probabilistic argument.

We implement an algorithm RSHT (Random Simple-Homotopy) to study the simple-homotopy types of simplicial complexes, with a particular focus on contractible spaces and on finding substructures in higher-dimensional complexes. The algorithm combines elementary simplicial collapses with pure elementary expansions. For triangulated d-manifolds with d < 7, we show that RSHT reduces to (random) bistellar flips. Among the many examples on which we test RSHT, we describe an explicit 15-vertex triangulation of the Abalone, and more generally, (14k+1)-vertex triangulations of Bing's houses with k rooms, which all can be deformed to a point using only six pure elementary expansions.

Many physical systems are composed of polyhedral cells of varying sizes and shapes. These structures are simple in the sense that no more than three faces meet at an edge and no more than four edges meet at a vertex. This means that individual cells can usually be considered as simple, three-dimensional polyhedra. This paper is concerned with determining the distribution of combinatorial types of such polyhedral cells. We introduce the terms \emph{fundamental} and \emph{vertex-truncated} types and apply these concepts to the grain growth microstructure as a testing ground. For these microstructures we demonstrate that most grains are of particular fundamental types, whereas the frequency of vertex-truncated types decreases exponentially with the number of truncations. This can be explained by the evolutionary process through which grain growth structures are formed, and in which energetically unfavorable surfaces are quickly eliminated. Furthermore, we observe that these grain types are `round' in a combinatorial sense: there are no `short' separating cycles that partition the polyhedra into two parts of similar sizes. A particular microstructure derived from the Poisson--Voronoi initial condition is identified as containing an unusually large proportion of round grains. This Round microstructure has an average of $14.036$ faces per grain, and is conjectured to be more resistant to topological change than the steady-state grain growth microstructure.

Higher chromatic numbers $χ_s$ of simplicial complexes naturally generalize the chromatic number $χ_1$ of a graph. In any fixed dimension $d$, the $s$-chromatic number $χ_s$ of $d$-complexes can become arbitrarily large for $s\leq\lceil d/2\rceil$ [6,18]. In contrast, $χ_{d+1}=1$, and only little is known on $χ_s$ for $\lceil d/2\rceil<s\leq d$. A particular class of $d$-complexes are triangulations of $d$-manifolds. As a consequence of the Map Color Theorem for surfaces [29], the 2-chromatic number of any fixed surface is finite. However, by combining results from the literature, we will see that $χ_2$ for surfaces becomes arbitrarily large with growing genus. The proof for this is via Steiner triple systems and is non-constructive. In particular, up to now, no explicit triangulations of surfaces with high $χ_2$ were known. We show that orientable surfaces of genus at least 20 and non-orientable surfaces of genus at least 26 have a 2-chromatic number of at least 4. Via a projective Steiner triple systems, we construct an explicit triangulation of a non-orientable surface of genus 2542 and with face vector $f=(127,8001,5334)$ that has 2-chromatic number 5 or 6. We also give orientable examples with 2-chromatic numbers 5 and 6. For 3-dimensional manifolds, an iterated moment curve construction [18] along with embedding results [6] can be used to produce triangulations with arbitrarily large 2-chromatic number, but of tremendous size. Via a topological version of the geometric construction of [18], we obtain a rather small triangulation of the 3-dimensional sphere $S^3$ with face vector $f=(167,1579,2824,1412)$ and 2-chromatic number 5.

We present extremal constructions connected with the property of simplicial collapsibility. (1) For each $d \ge 2$, there are collapsible (and shellable) simplicial $d$-complexes with only one free face. Also, there are non-evasive $d$-complexes with only two free faces. (Both results are optimal in all dimensions.) (2) Optimal discrete Morse vectors need not be unique. We explicitly construct a contractible, but non-collapsible $3$-dimensional simplicial complex with face vector $f=(106,596,1064,573)$ that admits two distinct optimal discrete Morse vectors, $(1,1,1,0)$ and $(1,0,1,1)$. Indeed, we show that in every dimension $d\geq 3$ there are contractible, non-collapsible simplicial $d$-complexes that have $(1,0,\dots,0,1,1,0)$ and $(1,0,\dots,0,0,1,1)$ as distinct optimal discrete Morse vectors. (3) We give a first explicit example of a (non-PL) $5$-manifold, with face vector $f=(5013,72300,290944,$ $495912,383136,110880)$, that is collapsible but not homeomorphic to a ball. Furthermore, we discuss possible improvements and drawbacks of random approaches to collapsibility and discrete Morse theory. We will introduce randomized versions \texttt{random-lex-first} and \texttt{random-lex-last} of the \texttt{lex-first} and \texttt{lex-last} discrete Morse strategies of \cite{BenedettiLutz2014}, respectively --- and we will see that in many instances the \texttt{random-lex-last} strategy works significantly better than Benedetti--Lutz's (uniform) \texttt{random} strategy. On the theoretical side, we prove that after repeated barycentric subdivisions, the discrete Morse vectors found by randomized algorithms have, on average, an exponential (in the number of barycentric subdivisions) number of critical cells asymptotically almost surely.

1) We introduce random discrete Morse theory as a computational scheme to measure the complicatedness of a triangulation. The idea is to try to quantify the frequence of discrete Morse matchings with a certain number of critical cells. Our measure will depend on the topology of the space, but also on how nicely the space is triangulated. (2) The scheme we propose looks for optimal discrete Morse functions with an elementary random heuristic. Despite its naïveté, this approach turns out to be very successful even in the case of huge inputs. (3) In our view the existing libraries of examples in computational topology are `too easy' for testing algorithms based on discrete Morse theory. We propose a new library containing more complicated (and thus more meaningful) test examples.

We construct the first explicit example of a simplicial 3-ball B_{15,66} that is not collapsible. It has only 15 vertices. We exhibit a second 3-ball B_{12,38} with 12 vertices that is collapsible and evasive, but not shellable. Finally, we present the first explicit triangulation of a 3-sphere S_{18, 125} (with only 18 vertices) that is not locally constructible. All these examples are based on knotted subcomplexes with only three edges; the knots are the trefoil, the double trefoil, and the triple trefoil, respectively. The more complicated the knot is, the more distant the triangulation is from being polytopal, collapsible, etc. Further consequences of our work are: (1) Unshellable 3-spheres may have vertex-decomposable barycentric subdivisions. (This shows the strictness of an implication proven by Billera and Provan.) (2) For d-balls, vertex-decomposable implies non-evasive implies collapsible, and for d=3 all implications are strict. (This answers a question by Barmak.) (3) Locally constructible 3-balls may contain a double trefoil knot as a 3-edge subcomplex. (This improves a result of Benedetti and Ziegler.) (4) Rudin's ball is non-evasive.

Fast and efficient homology algorithms are in demand in the applied sciences for analyzing solid materials and proteins, processing digital imaging data, or pattern classification among others. Recent advances employ discrete Morse theory as a preprocessor. Research in this area has lead to the need to find complicated test examples. We present an infinite series of examples that have been constructed to test some of the latest algorithms under development. This family of 4-spheres (known as the Akbulut-Kirby spheres) is based on a handlebody construction via finitely presented groups.

Refining a basic result of Alexander, we show that two flag simplicial complexes are piecewise linearly homeomorphic if and only if they can be connected by a sequence of flag complexes, each obtained from the previous one by either an edge subdivision or its inverse. For flag spheres we pose new conjectures on their combinatorial structure forced by their face numbers, analogous to the extremal examples in the upper and lower bound theorems for simplicial spheres. Furthermore, we show that our algorithm to test the conjectures searches through the entire space of flag PL spheres of any given dimension.

We survey basic properties and bounds for $q$-equivelar and $d$-covered triangulations of closed surfaces. Included in the survey is a list of the known sources for $q$-equivelar and $d$-covered triangulations. We identify all orientable and non-orientable surfaces $M$ of Euler characteristic $0>χ(M)\geq -230$ which admit non-neighborly $q$-equivelar triangulations with equality in the upper bound $q\leq\Bigl\lfloor\tfrac{1}{2}(5+\sqrt{49-24χ(M)})\Bigl\rfloor$. These examples give rise to $d$-covered triangulations with equality in the upper bound $d\leq2\Bigl\lfloor\tfrac{1}{2}(5+\sqrt{49-24χ(M)})\Bigl\rfloor$. A generalization of Ringel's cyclic $7{\rm mod}12$ series of neighborly orientable triangulations to a two-parameter family of cyclic orientable triangulations $R_{k,n}$, $k\geq 0$, $n\geq 7+12k$, is the main result of this paper. In particular, the two infinite subseries $R_{k,7+12k+1}$ and $R_{k,7+12k+2}$, $k\geq 1$, provide non-neighborly examples with equality for the upper bound for $q$ as well as derived examples with equality for the upper bound for $d$.

With the $[0,1,2]$-family of cyclic triangulations we introduce a rich class of vertex-transitive triangulations of surfaces. In particular, there are infinite series of cyclic $q$-equivelar triangulations of orientable and non-orientable surfaces for every $q=3k$, $k\geq 2$, and every $q=3k+1$, $k\geq 3$. Series of cyclic tessellations of surfaces are derived from these triangulated series.

We obtain a geometric realization of a minimal 8-vertex triangulation of the dunce hat in Euclidean 3-space. We show there is a simplicial 3-ball with 8 vertices that is collapsible, but also collapses onto the dunce hat, which is not collapsible. This 3-ball is as small as possible, because all triangulated 3-balls with fewer vertices are extendably collapsible. As we will see, the Alexander dual of the dunce hat is collapsible.

In 1970, Walkup completely described the set of $f$-vectors for the four 3-manifolds $S^3$, $S^2 twist S^1$, $S^2 \times S^1$, and $RP^3$. We improve one of Walkup's main restricting inequalities on the set of $f$-vectors of 3-manifolds. As a consequence of a bound by Novik and Swartz, we also derive a new lower bound on the number of vertices that are needed for a combinatorial $d$-manifold in terms of its $β_1$-coefficient, which partially settles a conjecture of Kühnel. Enumerative results and a search for small triangulations with bistellar flips allow us, in combination with the new bounds, to completely determine the set of $f$-vectors for twenty further 3-manifolds, that is, for the connected sums of sphere bundles $(S^2 \times S^1)^{# k}$ and twisted sphere bundles $(S^2 twist S^1)^{# k}$, where $k=2,3,4,5,6,7,8,10,11,14$. For many more 3-manifolds of different geometric types we provide small triangulations and a partial description of their set of $f$-vectors. Moreover, we show that the 3-manifold $RP^3 # RP^3$ has (at least) two different minimal $g$-vectors.

We give explicit realizations with small integer coordinates for all triangulated tori with up to 12 vertices. In particular, we provide coordinate-minimal realizations in general position for all triangulations of the torus with 7, 8, 9, and 10 vertices. For the unique 7-vertex triangulation of the torus we show that all corresponding 72 oriented matroids are realizable in the 6x6x6-cube. Moreover, we present polyhedral tori with 8 vertices in the 2x2x2-cube, general position realizations of triangulated tori with 8 vertices in the 2x2x3-cuboid as well as polyhedral tori with 9 and 10 vertices in the 1x2x2-cuboid.

For every knot K with stick number k there is a knotted polyhedral torus of knot type K with 3k vertices. We prove that at least 3k-2 vertices are necessary.

We present a fast enumeration algorithm for combinatorial 2- and 3-manifolds. In particular, we enumerate all triangulated surfaces with 11 and 12 vertices and all triangulated 3-manifolds with 11 vertices. We further determine all equivelar polyhedral maps on the non-orientable surface of genus 4 as well as all equivelar triangulations of the orientable surface of genus 3 and the non-orientable surfaces of genus 5 and 6.

Deciding realizability of a given polyhedral map on a (compact, connected) surface belongs to the hard problems in discrete geometry, from the theoretical, the algorithmic, and the practical point of view. In this paper, we present a heuristic algorithm for the realization of simplicial maps, based on the intersection edge functional. The heuristic was used to find geometric realizations in R^3 for all vertex-minimal triangulations of the orientable surfaces of genus g=3 and g=4. Moreover, for the first time, examples of simplicial polyhedra in R^3 of genus 5 with 12 vertices were obtained.

We give coordinate-minimal geometric realizations in general position for 17 of the 20 vertex-minimal triangulations of the orientable surface of genus 3 in the 5x5x5-cube.

We give a complete enumeration of all combinatorial 3-manifolds with 10 vertices: There are precisely 247882 triangulated 3-spheres with 10 vertices as well as 518 vertex-minimal triangulations of the sphere product $S^2\times S^1$ and 615 triangulations of the twisted sphere product $S^2_\times_S^1$. All the 3-spheres with up to 10 vertices are shellable, but there are 29 vertex-minimal non-shellable 3-balls with 9 vertices.

We introduce a new and rich class of graph coloring manifolds via the Hom complex construction of Lovasz. The class comprises examples of Stiefel manifolds, series of spheres and products of spheres, cubical surfaces, as well as examples of Seifert manifolds. Asymptotically, graph coloring manifolds provide examples of highly connected, highly symmetric manifolds.