arXiv++ Combinatorics

We study the Longest Edge Bisection (LEB) process as a dynamical system on the projective shape space of simplices. A long-standing conjecture going back to Adler and Rivara-Levin and motivated by finite-element mesh refinement, often taken as a standing assumption, is that this procedure is non-degenerate and, in fact, in a certain way periodic. We prove: \begin{itemize} \item There are 3-dimensional simplices such that the longest edge-bisection algorithm degenerates. \item There is an open set of 4-dimensional simplices on which the longest edge-bisection algorithm degenerates. \item If parametrizing the space of $d$-dimensional simplices by independent standard Gaussian vectors, then as $d$ increases, a random simplex degenerates asymptotically almost surely. \end{itemize} This is realized through exhibiting hyperbolic behaviour of the LEB process. We also exhibit elliptic behaviour that is nonperiodic.

We prove the arborescence of any locally finite complex that is $CAT(0)$ with a polyhedral metric for which all vertex stars are convex. In particular locally finite $CAT(0)$ cube complexes or equilateral simplicial complexes are arborescent. Moreover, a triangulated manifold admits a $CAT(0)$ polyhedral metric if and only if it admits arborescent triangulations. We prove eventually that every locally finite complex which is $CAT(0)$ with a polyhedral metric has a barycentric subdivision which is arborescent.

We verify the Rota-Heron-Welsh conjecture for matroids realizable as c-arrangements: the coefficients of the characteristic polynomial of the associated matroid are log-concave. This family of matroids strictly contains that of complex hyperplane arrangements. Our proof combines the study of intrinsic volumes of certain extensions of arrangements and the Levy--Milman measure concentration phenomenon on realization spaces of arrangements.

We generalize the fundamental graph-theoretic notion of chordality for higher dimensional simplicial complexes by putting it into a proper context within homology theory. We generalize some of the classical results of graph chordality to this generality, including the fundamental relation to the Leray property and chordality theorems of Dirac.

A numerical characterization is given of the so-called h-triangles of sequentially Cohen-Macaulay simplicial complexes. This result characterizes the number of faces of various dimensions and codimensions in such a complex, generalizing the classical Macaulay-Stanley theorem to the nonpure case. Moreover, we characterize the possible Betti tables of componentwise linear ideals. A key tool in our investigation is a bijection between shifted multicomplexes of degree at most d and shifted pure (d-1)-dimensional simplicial complexes.

The connectivity of graphs of simplicial and polytopal complexes is a classical subject going back at least to Steinitz, and the topic has since been studied by many authors, including Balinski, Barnette, Athanasiadis and Bjorner. In this note, we provide a unifying approach which allows us to obtain more general results. Moreover, we provide a relation to commutative algebra by relating connectivity problems to graded Betti numbers of the associated Stanley--Reisner rings.

We prove that every primary basic semialgebraic set is homotopy equivalent to the set of inscribed realizations (up to Möbius transformation) of a polytope. If the semialgebraic set is moreover open, then, in addition, we prove that (up to homotopy) it is a retract of the realization space of some inscribed neighborly (and simplicial) polytope. We also show that all algebraic extensions of $\mathbb{Q}$ are needed to coordinatize inscribed polytopes. These statements show that inscribed polytopes exhibit the Mnëv universality phenomenon. Via stereographic projections, these theorems have a direct translation to universality theorems for Delaunay subdivisions. In particular, our results imply that the realizability problem for Delaunay triangulations is polynomially equivalent to the existential theory of the reals.

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 show that if a presentation of the trivial group is "hard to trivialize", in the sense that lots of Tietze moves are necessary to transform it into the trivial presentation, then the associated presentation complex (which is a contractible 2-dimensional cell complex) is "hard to embed in $\mathbb{R}^3$", in the sense that lots of linear subdivisions are necessary. (2) For any d, we show that all collapsible d-complexes with n facets linearly embed in $\mathbb{R}^{2d}$ after less than n barycentric subdivisions. This is best possible, as cones over non-planar graphs do not topologically embed in $\mathbb{R}^{3}$.

In this note, we prove that every open primary basic semialgebraic set is stably equivalent to the realization space of an even-dimensional neighborly polytope. This in particular provides the final step for Mnëv's proof of the universality theorem for simplicial polytopes.

We give a simple proof that some iterated derived subdivision of every PL sphere is combinatorially equivalent to the boundary of a simplicial polytope, thereby resolving a problem of Billera (personal communication).

We construct an infinite family of 4-polytopes whose realization spaces have dimension smaller or equal to 96. This in particular settles a problem going back to Legendre and Steinitz: whether and how the dimension of the realization space of a polytope is determined/bounded by its f-vector. From this, we derive an infinite family of combinatorially distinct 69-dimensional polytopes whose realization is unique up to projective transformation. This answers a problem posed by Perles and Shephard in the sixties. Moreover, our methods naturally lead to several interesting classes of projectively unique polytopes, among them projectively unique polytopes inscribed to the sphere. The proofs rely on a novel construction technique for polytopes based on solving Cauchy problems for discrete conjugate nets in S^d, a new Alexandrov--van Heijenoort Theorem for manifolds with boundary and a generalization of Lawrence's extension technique for point configurations.

We prove that the complement of any affine 2-arrangement in R^d is minimal, that is, it is homotopy equivalent to a cell complex with as many i-cells as its i-th rational Betti number. For the proof, we provide a Lefschetz-type hyperplane theorem for complements of 2-arrangements, and introduce Alexander duality for combinatorial Morse functions. Our results greatly generalize previous work by Falk, Dimca--Papadima, Hattori, Randell, and Salvetti--Settepanella and others, and they demonstrate that in contrast to previous investigations, a purely combinatorial approach suffices to show minimality and the Lefschetz Hyperplane Theorem for complements of complex hyperplane arrangements.