arXiv++ Combinatorics

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.

We continue the study of the $k$-cut complex $Δ_k(G)$ of a graph $G$ initiated in the paper of Bayer, Denker, Jelić Milutinović, Rowlands, Sundaram and Xue [Topology of cut complexes of graphs, SIAM J. on Discrete Math. 38(2): 1630--1675 (2024)]. We give explicit formulas for the $f$- and $h$-polynomials of the cut complex $Δ_k(G_1+G_2) $ of the disjoint union of two graphs $G_1$ and $G_2$, and for the homology representation of $Δ_k(K_m+K_n)$. We also study the cut complex of the squared path and the grid graph. Our techniques include tools from combinatorial topology, discrete Morse theory and equivariant poset topology.

We define the $k$-cut complex of a graph $G$ with vertex set $V(G)$ to be the simplicial complex whose facets are the complements of sets of size $k$ in $V(G)$ inducing disconnected subgraphs of $G$. This generalizes the Alexander dual of a graph complex studied by Fröberg (1990), and Eagon and Reiner (1998). We describe the effect of various graph operations on the cut complex, and study its shellability, homotopy type and homology for various families of graphs, including trees, cycles, complete multipartite graphs, and the prism $K_n \times K_2$, using techniques from algebraic topology, discrete Morse theory and equivariant poset topology.

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.

Inspired by work of Fröberg (1990), and Eagon and Reiner (1998), we define the \emph{total $k$-cut complex} of a graph $G$ to be the simplicial complex whose facets are the complements of independent sets of size $k$ in $G$. We study the homotopy types and combinatorial properties of total cut complexes for various families of graphs, including chordal graphs, cycles, bipartite graphs, the prism $K_n \times K_2$, and grid graphs, using techniques from algebraic topology and discrete Morse theory.

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.

A tripartite-circle drawing of a tripartite graph is a drawing in the plane, where each part of a vertex partition is placed on one of three disjoint circles, and the edges do not cross the circles. The tripartite-circle crossing number of a tripartite graph is the minimum number of edge crossings among all its tripartite-circle drawings. We determine the exact value of the tripartite-circle crossing number of $K_{a,b,n}$, where $a,b\leq 2$.

A tripartite-circle drawing of a tripartite graph is a drawing in the plane, where each part of a vertex partition is placed on one of three disjoint circles, and the edges do not cross the circles. We present upper and lower bounds on the minimum number of crossings in tripartite-circle drawings of $K_{m,n,p}$. In contrast to 1- and 2-circle drawings, which may attain the Harary-Hill bound, our results imply that balanced restricted 3-circle drawings of the complete graph are not optimal.

The matching complex of a graph is the simplicial complex whose vertex set is the set of edges of the graph with a face for each independent set of edges. In this paper we completely characterize the pairs (graph, matching complex) for which the matching complex is a homology manifold, with or without boundary. Except in dimension two, all of these manifolds are sphere or balls.

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.

The partition number $π(K)$ of a simplicial complex $K\subset 2^{[n]}$ is the minimum integer $ν$ such that for each partition $A_1\uplus\ldots\uplus A_ν= [n]$ of $[n]$ at least one of the sets $A_i$ is in $K$. A complex $K$ is $r$-unavoidable if $π(K)\leq r$. Motivated by the problems of Tverberg-Van Kampen-Flores type, and inspired by the `constraint method' of Blagojević, Frick, and Ziegler, arXiv:1401.0690 [math.CO], we study the combinatorics of $r$-unavoidable complexes.