Abstract:Bouc (1992) first studied the topological properties of $M_n$, the matching complex of the complete graph of order $n$, in connection with Brown complexes and Quillen complexes. Björner et al. (1994) showed that $M_n$ is homotopically $(\nu_n-1)$-connected, where $\nu_n=\lfloor{\frac{n+1}{3}}\rfloor-1$, and conjectured that this connectivity bound is sharp. Shareshian and Wachs (2007) settled the conjecture by inductively showing that the $\nu_n$-dimensional homology group of $M_n$ is nontrivial, with Bouc's calculation of $H_1(M_7)$ serving as the pivotal base step. In general, the topology of $M_n$ is not very well-understood, even for a small $n$. In the present article, we look into the topology of $M_n$, and $M_7$ in particular, in the light of discrete Morse theory as developed by Forman (1998). We first construct a gradient vector field on $M_n$ (for $n \ge 5$) that doesn't admit any critical simplices of dimension up to $\nu_n-1$, except one unavoidable $0$-simplex, which also leads to the aforementioned $(\nu_n-1)$-connectedness of $M_n$ in a purely combinatorial way. However, for an efficient homology computation by discrete Morse theoretic techniques, we are required to work with a gradient vector field that admits a low number of critical simplices, and also allows an efficient enumeration of gradient paths. An optimal gradient vector field is one with the least number of critical simplices, but the problem of finding an optimal gradient vector field, in general, is an NP-hard problem (even for $2$-dimensional complexes). We improve the gradient vector field constructed on $M_7$ in particular to a much more efficient (near-optimal) one, and then with the help of this improved gradient vector field, compute the homology groups of $M_7$ in an efficient and algorithmic manner. We also augment this near-optimal gradient vector field to one that we conjecture to be optimal.

Persistent pairs and connectedness in discrete Morse functions on simplicial complex I

Persistent Pairs And Connectedness In Discrete Morse Functions On Simplicial Complex I

The Connectedness Homomorphism between Discrete Morse Complexes

A Simplicial Complex is Uniquely Determined by Its Set of Discrete Morse Functions

Discrete Morse theory for open complexes

On a Problem of Kuiper

Birth and death in discrete Morse theory

Discrete Morse theory on $ΩS^2$

A Discrete Morse Perspective on Knot Projections and a Generalised Clock Theorem

The Realization Problem for Discrete Morse Functions on Trees

Discrete Microlocal Morse Theory

A note on an application of discrete Morse theoretic techniques on the complex of disconnected graphs

Discrete Morse Theory on Digraphs

Morse Sequences: A simple approach to discrete Morse theory

Some remarks on Morse theory for posets, homological Morse theory and finite manifolds

Generalized Morse Theory of Distance Functions to Surfaces for Persistent Homology

Morse functions with four critical points on immersed 2-spheres

On the automorphism group of the Morse complex

Discrete Morse Theory for Computing Zigzag Persistence

C^2-Morse Functions on the Deligne-Mumford compactification of the moduli space M_{g,n} bar

Topology of matching complexes of complete graphs via discrete Morse theory