arXiv++ Combinatorics

We study ordered configuration spaces $C(n;p,q)$ of $n$ hard squares in a $p \times q$ rectangle, a generalization of the well-known "15 Puzzle". Our main interest is in the topology of these spaces. Our first result is to describe a cubical cell complex and prove that is homotopy equivalent to the configuration space. We then focus on determining for which $n$, $j$, $p$, and $q$ the homology group $H_j [ C(n;p,q) ]$ is nontrivial. We prove three homology-vanishing theorems, based on discrete Morse theory on the cell complex. Then we describe several explicit families of nontrivial cycles, and a method for interpolating between parameters to fill in most of the picture for "large-scale" nontrivial homology.

We recently defined a property of Morse shellability (and tileability) of finite simplicial complexes which extends the classical one and its relations with discrete Morse theory. We now prove that the product of two Morse tileable or shellable simplicial complexes carries Morse tileable or shellable triangulations under some tameness condition, and that any tiling or shelling becomes tame after one barycentric subdivision. We deduce that any finite product of closed manifolds of dimensions less than four carries Morse shellable triangulations whose critical and h-vectors are palindromic. We also prove that the h-vector of a Morse tiling is always palindromic in dimension less than four or in the case of an h-tiling, provided its critical vector is palindromic.

Fix a finite undirected graph $Γ$ and a vertex $v$ of $Γ$. Let $E$ be the set of edges of $Γ$. We call a subset $F$ of $E$ pandemic if each edge of $Γ$ has at least one endpoint that can be connected to $v$ by an $F$-path (i.e., a path using edges from $F$ only). In 1984, Elser showed that the sum of $\left(-1\right)^{\left| F\right|}$ over all pandemic subsets $F$ of $E$ is $0$ if $E\neq \varnothing$. We give a simple proof of this result via a sign-reversing involution, and discuss variants, generalizations and refinements, revealing connections to abstract convexity (the notion of an antimatroid) and discrete Morse theory.

We develop Morse-Bott theory on posets, generalizing both discrete Morse-Bott theory for regular complexes and Morse theory on posets. Moreover, we prove a Lusternik-Schnirelmann theorem for general matchings on posets, in particular, for Morse-Bott functions.

In this paper, we study merge trees induced by a discrete Morse function on a tree. Given a discrete Morse function, we provide a method to constructing an induced merge tree and define a new notion of equivalence of discrete Morse functions based on the induced merge tree. We then relate the matching number of a tree to a certain invariant of the induced merge tree. Finally, we count the number of merge trees that can be induced on a star graph and characterize the induced merge tree.

We study $ν$-Schröder paths, which are Schröder paths which stay weakly above a given lattice path $ν$. Some classical bijective and enumerative results are extended to the $ν$-setting, including the relationship between small and large Schröder paths. We introduce two posets of $ν$-Schröder objects, namely $ν$-Schröder paths and trees, and show that they are isomorphic to the face poset of the $ν$-associahedron $A_ν$ introduced by Ceballos, Padrol and Sarmiento. A consequence of our results is that the $i$-dimensional faces of $A_ν$ are indexed by $ν$-Schröder paths with $i$ diagonal steps, and we obtain a closed-form expression for these Schröder numbers in the special case when $ν$ is a `rational' lattice path. Using our new description of the face poset of $A_ν$, we apply discrete Morse theory to show that $A_ν$ is contractible. This yields one of two proofs presented for the fact that the Euler characteristic of $A_ν$ is one. A second proof of this is obtained via a formula for the $ν$-Narayana polynomial in terms of $ν$-Schröder numbers.

The Morse complex $\mathcal{M}(Δ)$ of a finite simplicial complex $Δ$ is the complex of all gradient vector fields on $Δ$. In this paper we study higher connectivity properties of $\mathcal{M}(Δ)$. For example, we prove that $\mathcal{M}(Δ)$ gets arbitrarily highly connected as the maximum degree of a vertex of $Δ$ goes to $\infty$, and for $Δ$ a graph additionally as the number of edges goes to $\infty$. We also classify precisely when $\mathcal{M}(Δ)$ is connected or simply connected. Our main tool is Bestvina-Brady Morse theory, applied to a "generalized Morse complex."

Let $K$ be a convex body in $\mathbb{R}^n$ (i.e., a compact convex set with nonempty interior). Given a point $p$ in the interior of $K$, a hyperplane $h$ passing through $p$ is called barycentric if $p$ is the barycenter of $K \cap h$. In 1961, Grünbaum raised the question whether, for every $K$, there exists an interior point $p$ through which there are at least $n+1$ distinct barycentric hyperplanes. Two years later, this was seemingly resolved affirmatively by showing that this is the case if $p=p_0$ is the point of maximal depth in $K$. However, while working on a related question, we noticed that one of the auxiliary claims in the proof is incorrect. Here, we provide a counterexample; this re-opens Grünbaum's question. It follows from known results that for $n \geq 2$, there are always at least three distinct barycentric cuts through the point $p_0 \in K$ of maximal depth. Using tools related to Morse theory we are able to improve this bound: four distinct barycentric cuts through $p_0$ are guaranteed if $n \geq 3$.

This is the first of a series of papers that develop a systematic bridge between constructions in discrete mathematics and the corresponding continuous analogs. In this paper, we establish an equivalence between Forman's discrete Morse theory on a simplicial complex and the continuous Morse theory (in the sense of any known non-smooth Morse theory) on the associated order complex via the Lovász extension. Furthermore, we propose a new version of the Lusternik-Schnirelman category on abstract simplicial complexes to bridge the classical Lusternik-Schnirelman theorem and its discrete analog on finite complexes. More generally, we can suggest a discrete Morse theory on hypergraphs by employing piecewise-linear (PL) Morse theory and Lovász extension, hoping to provide new tools for exploring the structure of hypergraphs.

Chessboard complexes and their generalizations, as objects, and Discrete Morse theory, as a tool, are presented as a unifying theme linking different areas of geometry, topology, algebra and combinatorics. Edmonds and Fulkerson bottleneck (minmax) theorem is proved and interpreted as a result about a critical point of a discrete Morse function on the Bier sphere of an associated simplicial complex $K$. We illustrate the use of "standard discrete Morse functions" on generalized chessboard complexes by proving a connectivity result for chessboard complexes with multiplicities. Applications include new Tverberg-Van Kampen-Flores type results for $j$-wise disjoint partitions of a simplex.

We prove a "multiple colored Tverberg theorem" and a "balanced colored Tverberg theorem", by applying different methods, tools and ideas. The proof of the first theorem uses multiple chessboard complexes (as configuration spaces) and Eilenberg-Krasnoselskii theory of degrees of equivariant maps for non-free actions. The proof of the second result relies on high connectivity of the configuration space, established by discrete Morse theory.

We prove a version of the fundamental theorems of Morse Theory in the setting of finite spaces or partially ordered sets. By using these results we extend Forman's discrete Morse theory to more general cell complexes and derive the Morse-Pitcher inequalities in the context of finite spaces.

Using the tools of algebraic Morse theory, and the thin poset approach to constructing homology theories, we give a categorification of Whitney's broken circuit theorem for the chromatic polynomial, and for Stanley's chromatic symmetric function.

We introduce a notion of Morse shellings (and tilings) on finite simplicial complexes which extends the classical one and its relation to discrete Morse theory.Skeletons and barycentric subdivisions of Morse shellable (or tileable) simplicial complexes are Morse shellable (or tileable). Moreover, every triangulated closed surface is Morse shellable while every closed three-manifold carries Morse shellable triangulations. Finally, any shelling encodes a class of discrete Morse functions whose critical points are in one-to-one correspondence, preserving the index, with the critical tiles of the shelling.

A $2$-matching complex is a simplicial complex which captures the relationship between $2$-matchings of a graph. In this paper, we will use discrete Morse Theory and the Matching Tree Algorithm to prove homotopical results. We will consider a class of graphs for which the homotopy type of the $2$-matching complex transforms from a sphere to a point with the addition of leaves. We end the paper by defining $k$-matching sequences and looking at the $1$- and $2$-matching complexes of wheel graphs and perfect caterpillar graphs.

We provide general closed-form formulas for the index of type-A Lie poset algebras corresponding to posets of restricted height. Furthermore, we provide a combinatorial recipe for constructing all posets corresponding to type-A Frobenius Lie poset algebras of heights zero, one, and two. A finite Morse theory argument establishes that the simplicial realization of such posets is contractible. It then follows, from a recent theorem of Coll and Gerstenhaber, that the second Lie cohomology group of the corresponding Lie poset algebra with coefficients in itself is zero. Consequently, the Lie poset algebra is absolutely rigid and cannot be deformed. We also provide matrix representations for Lie poset algebras in the other classical types. By so doing, we are able to give examples of deformable Lie algebras which are both solvable and Frobenius. This resolves a question of Gerstenhaber and Giaquinto about the existence of such algebras.

We study the homology of random Čech complexes generated by a homogeneous Poisson process. We focus on 'homological connectivity' - the stage where the random complex is dense enough, so that its homology "stabilizes" and becomes isomorphic to that of the underlying topological space. Our results form a comprehensive high-dimensional analogue of well-known phenomena related to connectivity in the Erdős-Rényi graph and random geometric graphs. We first prove that there is a sharp phase transition describing homological connectivity. Next, we analyze the behavior of the complex in the critical window. We show that the cycles obstructing homological connectivity have a very unique and simple shape. In addition, we prove that the process counting the last obstructions converges to a Poisson process. We make a heavy use of Morse theory, and its adaptation to distance functions. In particular, our results classify the critical points of random distance functions according to their exact effect on homology.

A matching complex of a simple graph $G$ is a simplicial complex with faces given by the matchings of $G$. The topology of matching complexes is mysterious; there are few graphs for which the homotopy type is known. Marietti and Testa showed that matching complexes of forests are contractible or homotopy equivalent to a wedge of spheres. We study two specific families of trees. For caterpillar graphs, we give explicit formulas for the number of spheres in each dimension and for perfect binary trees we find a strict connectivity bound. We also use a tool from discrete Morse theory called the \textit{Matching Tree Algorithm} to study the connectivity of honeycomb graphs, partially answering a question raised by Jonsson.

On complex algebraic varieties, height functions arising in combinatorial applications fail to be proper. This complicates the description and computation via Morse theory of key topological invariants. Here we establish checkable conditions under which the behavior at infinity may be ignored, and the usual theorems of classical and stratified Morse theory may be applied. This allows for simplified arguments in the field of analytic combinatorics in several variables, and forms the basis for new methods applying to problems beyond the reach of previous techniques.

We present an explicit construction of a minimal cellular resolution for the edge ideals of forests, based on discrete Morse theory. In particular, the generators of the free modules are subsets of the generators of the modules in the Lyubeznik resolution. This procedure allows to ease the computation of the graded Betti numbers and the projective dimension.