arXiv++ Combinatorics

The independence complex and the perfect matching complex of a graph are simplicial complexes encoding, respectively, its independent sets and perfect matchings. Determining the homotopy types and other topological properties of these complexes is, in general, a difficult problem, and explicit descriptions are known only for relatively restricted classes of graphs, typically possessing substantial combinatorial regularity or symmetry. Although these complexes have been extensively investigated for several families of graphs, including square grid graphs, comparatively little is known for other natural families of highly symmetric graphs. In this article, we determine the homotopy types of the independence complex and the perfect matching complex of the Möbius ladder graphs $M_{2n}$. Möbius ladder graphs form a natural and highly symmetric family of cubic graphs obtained from a $2n$-cycle by joining pairs of opposite vertices. We prove that the homotopy type of the independence complex $\operatorname{Ind}(M_{2n})$ depends periodically on $n$ modulo $4$: for $n=4k$, it is homotopy equivalent to $\mathbb{S}^{2k-1}$; for $n=4k+2$, it is homotopy equivalent to a wedge of three copies of $\mathbb{S}^{2k}$; and for $n=4k+1$ or $4k+3$, it is homotopy equivalent to $\mathbb{S}^{2k}$. We further determine the homotopy type of the perfect matching complex $\mathcal{M}_p(M_{2n})$. For even $n$, it is homotopy equivalent to a wedge of two copies of $\mathbb{S}^{(n-2)/2}$, while for odd $n$ its homotopy type depends periodically on $n$ modulo $6$. Thus, our results provide explicit descriptions of two fundamental simplicial complexes associated with an important family of highly symmetric cubic graphs.

We introduce selection structures, a topological framework that extends the role played by color classes and matroids in discrete geometry and KKM theorems. Selection structures allow us to extend classic results to genuinely non-matroidal examples, including chessboard complexes and matching complexes. We show that several matroidal versions of classic results can be generalized to selection structures. These include McGinnis' version of Komiya's KKMS theorem, Holmsen's version of Carathéodory's theorem, Kalai and Meshulam's version of Helly's theorem, and Sadovek's version of the Goodman--Pollack transversal theorem.

We introduce the notion of doubling and r-tupling for simplicial complexes, a notion reminiscent to that of matching complexes in graph theory. We prove a connectivity result for such complexes and relate r-tupling to stabilizing r times faster in homological stability.

In this corrigendum to arXiv:2305.02973, we justify that the motivation behind Conjecture 5.1 is based on a mistaken notion. Moreover, we prove a stronger theorem that disproves the conjecture, and obtain an optimal gradient vector field on the matching complex of the complete graph of order 7.

An outerplanar graph is a planar graph that has a planar drawing with all vertices on the unbounded face. The matching complex of a graph is the simplicial complex whose faces are subsets of disjoint edges of the graph. In this paper we prove that the matching complexes of outerplanar graphs are contractible or homotopy equivalent to a wedge of spheres. This extends known results about trees and polygonal line tilings.

The perfect matching complex of a simple graph $G$ is a simplicial complex having facets (maximal faces) as the perfect matchings of $G$. This article discusses the perfect matching complex of polygonal line tilings and the $\left(2 \times n\right)$-grid graph in particular. We use tools from discrete Morse theory to show that the perfect matching complex of any polygonal line tiling is either contractible or homotopy equivalent to a wedge of spheres. While proving our results, we also characterize all the matchings of $\left(2 \times n\right)$-grid graph that cannot be extended to form a perfect matching.

The matching complex $\mathsf{M}(G)$ of a graph $G$ is a simplicial complex whose simplices are matchings in $G$. These complexes appears in various places and found applications in many areas of mathematics including; discrete geometry, representation theory, combinatorics, etc. In this article, we consider the matching complexes of categorical product $P_n \times P_m$ of path graphs $P_n$ and $P_m$. For $m = 1$, $P_n \times P_m$ is a discrete graph and therefore its matching complex is the void complex. For $m = 2$, $\mathsf{M}(P_n \times P_m)$ has been proved to be homotopy equivalent to a wedge of spheres by Kozlov. We show that for $n \geq 2$ and $3 \leq m \leq 5$, the matching complex of $P_n \times P_m$ is homotopy equivalent to a wedge of spheres. For $m =3$, we give a closed form formula for the number and dimension of spheres appearing in the wedge. Further, for $m \in \{4, 5\}$, we give minimum and maximum dimension of spheres appearing in the wedge in the homotopy type of $\mathsf{M}(P_n \times P_m)$.

Building upon previous works of Proudfoot and Ramos, and using the categorical framework of Sam and Snowden, we extend the weak categorical minor theorem from undirected graphs to quivers. As case of study, we investigate the consequences on the homology of multipath complexes; eg. on its torsion. Further, we prove a comparison result: we show that, when restricted to directed graphs without oriented cycles, multipath complexes and matching complexes yield functors which commute up to a blow-up operation on directed graphs. We use this fact to compute the homotopy type of matching complexes for a certain class of bipartite graphs also known as half-graphs or ladders. We complement the work with a study of the (representation) category of cones, and with analysing related consequences on magnitude cohomology of quivers.

We compute the homology of the matching complex $M(Γ)$, where $Γ$ is the complete hypergraph on $n\geq 2$ vertices, and analyse the $S_n$-representations carried by this homology. These results are achieved using standard techniques in combinatorial topology, such as the theory of shellings. We then broaden the scope to the larger class of fibre-closed families of simplicial complexes and consider these through the lens of representation stability. This allows us to prove a number of results of an asymptotic nature, such as an analysis of the growth of Betti numbers and the kinds of irreducible $S_n$-representations that appear.

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 $(ν_n-1)$-connected, where $ν_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 $ν_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 $ν_n-1$, except one unavoidable $0$-simplex, which also leads to the aforementioned $(ν_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.

We denote the matching complex of the complete graph with $n$ vertices by $M_n$. Bouc first studied the topological properties of $M_n$ in connection with the Quillen complex. Later Björner, Lovász, Vrećica, and Živaljević showed that $M_n$ is homotopically $(ν_n-1)$-connected, where $ν_n=\lfloor{\frac{n+1}{3}}\rfloor-1$, but in general the topology of $M_n$ is not very well-understood even for smaller natural numbers. Forman developed discrete Morse theory, which has various applications in diverse fields of studies. In this article, we develop a discrete Morse theoretic technique to capture deeper structural topological properties of $M_n$. We show that $M_n$ is \emph{geometrically} $(ν_n-1)$-connected, where the notion of geometrical $k$-connectedness as defined in this article, is stronger than that of homotopical $k$-connectedness. Previously, Björner et al. showed that $M_8$ is simply connected, but not 2-connected. The technique developed here helped us determine that $M_8$ is in fact homotopy equivalent to a wedge of 132 spheres of dimension 2.

A (general) polygonal line tiling is a graph formed by a string of cycles, each intersecting the previous at an edge, no three intersecting. In 2022, Matsushita proved the matching complex of a certain type of polygonal line tiling with even cycles is homotopy equivalent to a wedge of spheres. In this paper, we extend Matsushita's work to include a larger family of graphs and carry out a closer analysis of lines of triangle and pentagons, where the Fibonacci numbers arise.

The {\em perfect matching complex} of a graph is the simplicial complex on the edge set of the graph with facets corresponding to perfect matchings of the graph. This paper studies the perfect matching complexes, $\mathcal{M}_p(H_{k \times m\times n})$, of honeycomb graphs. For $k = 1$, $\mathcal{M}_p(H_{1\times m\times n})$ is contractible unless $n\ge m=2$, in which case it is homotopy equivalent to the $(n-1)$-sphere. Also, $\mathcal{M}_p(H_{2\times 2\times 2})$ is homotopy equivalent to the wedge of two 3-spheres. The proofs use discrete Morse theory.

We introduce two simplicial complexes, the noncrossing matching complex and the noncrossing bipartite complex. Both complexes are intimately related to the bubble lattice introduced in our earlier article "Bubble Lattices I: Structure" (arXiv:2202.02874). We study these complexes from both an enumerative and a geometric point of view. In particular, we prove that these complexes are shellable and give explicit formulas for certain refined face numbers. Lastly, we conjecture an intriguing connection of these refined face numbers to the so-called M-triangle of the shuffle lattice.

In this paper, we determine the homotopy type of the Morse complex and matching complex of multiple families of complexes by utilizing star cluster collapses and the Cluster Lemma. We compute the homotopy type of the Morse complex of an extended notion of a star graph, as well as the homotopy type of the matching complex of a Dutch windmill graph. Additionally, we provide alternate computations of the homotopy type of the Morse complex of paths, the homotopy type of the matching complex of paths, and the homotopy type of the matching complex of cycles. We then use this same method of computing homotopy types to investigate the relationship between the homotopy type of the matching complex and the generalized Morse complex.

The matching complex $M(G)$ of a graph $G$ is the set of all matchings in $G$. A Buchsbaum simplicial complex is a generalization of both a homology manifold and a Cohen--Macaulay complex. We give a complete characterization of the graphs $G$ for which $M(G)$ is a two-dimensional Buchsbaum complex. As an intermediate step, we determine which graphs have matching complexes that are themselves connected graphs.

Let $L_n$ be a line graph with $n$ edges and $\F(L_n)$ the facet ideal of its matching complex. In this paper, we provide the irreducible decomposition of $\F(L_n)$ and some exact formulas for the projective dimension and the regularity of $\F(L_n)$.

Let $H$ be a simple undirected graph. The family of all matchings of $H$ forms a simplicial complex called the matching complex of $H$. Here , we give a classification of all graphs with a Gorenstein matching complex. Also we study when the matching complex of $H$ is Cohen-Macaulay and, in certain classes of graphs, we fully characterize those graphs which have a Cohen-Macaulay matching complex. In particular, we characterize when the matching complex of a graph with girth at least 5 or a complete graph is Cohen-Macaulay.

The matching complex of a graph $G$ is a simplicial complex whose simplices are matchings in $G$. In the last few years the matching complexes of grid graphs have gained much attention among the topological combinatorists. In 2017, Braun and Hough obtained homological results related to the matching complexes of $2 \times n$ grid graphs. Further in 2019, Matsushita showed that the matching complexes of $2 \times n$ grid graphs are homotopy equivalent to a wedge of spheres. In this article we prove that the matching complexes of $3\times n$ grid graphs are homotopy equivalent to a wedge of spheres. We also give the comprehensive list of the dimensions of spheres appearing in the wedge.

We introduce a filtration on the simplicial homology of a finite simplicial complex X using bi-colourings of its vertices. This yields two dual homology theories closely related to discrete Morse matchings on X. We give an explicit expression for the associated graded object of these homologies when X is the matching complex of the Tait graph of a plane graph $G$, in terms of subgraphs determined by certain matchings on the dual of G. We then use one of these homologies, in the case where X is a graph, to define a conjecturally optimal dissimilarity pseudometric for graphs; we prove various results for this dissimilarity and provide several computations. We further show that, by organising the horizontal homologies of a simplicial complex in the poset of its colourings, we obtain a triply graded homology theory which we call überhomology. This latter homology is not a homotopy invariant, but nonetheless encodes both combinatorial and topological information on X. For example, we prove that if X is a subdivision, the überhomology vanishes in its lowest degree, while for an homology manifold it coincides with the fundamental class in its top degree. We compute the überhomology on several classes of examples and infinite families, and prove some of its properties; namely that, in its extremal degrees, it is well-behaved under coning and taking suspension. We then focus on the case where X is a simple graph, and prove a detection result. Finally, we define some singly-graded homologies for graphs obtained by specialising the überhomology in certain bi-degrees, provide some computations and use computer aided calculations to make some conjectures.