arXiv subjects

Rowan Rowlands

Publications and source records attributed to Rowan Rowlands.

7 recordsLinked to original sources

arXiv2023

Topology of Cut Complexes of Graphs

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\"oberg (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.

math.CO↗

arXiv2022

Total Cut Complexes of Graphs

Inspired by work of Fr\"oberg (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.

math.CO↗

arXiv2022

Topology of complements of skeletons

Given a polytopal complex $X$, we examine the topological complement of its $k$-skeleton. We construct a long exact sequence relating the homologies of the skeleton complements and links of faces in $X$, and using this long exact sequence, we obtain characterisations of Cohen-Macaulay and Leray complexes, stacked balls, and neighbourly spheres in terms of their skeleton complements. We also apply these results to CAT(0) cubical complexes, and find new similarities between such a complex and an associated simplicial complex, the crossing complex.

math.CO↗

arXiv2021

A characterization of two-dimensional Buchsbaum matching complexes

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.

math.CO↗

arXiv2020

Relating CAT(0) cubical complexes and flag simplicial complexes

Given a finite CAT(0) cubical complex, we define a flag simplicial complex associated to it, called the crossing complex. We show that the crossing complex holds much of the combinatorial information of the original cubical complex: for example, hyperplanes in the cubical complex correspond to vertex links in the crossing complex, and the crossing complex is balanced if and only if the cubical complex is cubically balanced. The most significant result is that the sets of $f$-vectors of CAT(0) cubical complexes and flag simplicial complexes are equal, up to an invertible linear transformation.

math.CO↗

arXiv2019

Reconstructing $d$-manifold subcomplexes of cubes from their $(\lfloor d/2 \rfloor + 1)$-skeletons

In 1984, Dancis proved that any $d$-dimensional simplicial manifold is determined by its $(\lfloor d/2 \rfloor + 1)$-skeleton. This paper adapts his proof to the setting of cubical complexes that can be embedded into a cube of arbitrary dimension. Under some additional conditions (for example, if the cubical manifold is a sphere), the result can be tightened to the $\lceil d/2 \rceil$-skeleton when $d \geq 3$.

math.CO↗

arXiv2017

Syzygies of the apolar ideals of the determinant and permanent

We investigate the space of syzygies of the apolar ideals $\det_n^\perp$ and ${\rm perm}_n^\perp$ of the determinant $\det_n$ and permanent ${\rm perm}_n$ polynomials. Shafiei had proved that these ideals are generated by quadrics and provided a minimal generating set. Extending on her work, in characteristic distinct from two, we prove that the space of relations of $\det_n^{\perp}$ is generated by linear relations and we describe a minimal generating set. The linear relations of ${\rm perm}_n^{\perp}$ do not generate all relations, but we provide a minimal generating set of linear and quadratic relations. For both $\det_n^\perp$ and ${\rm perm}_n^\perp$, we give formulas for the Betti numbers $\beta_{1,j}$, $\beta_{2,j}$ and $\beta_{3,4}$ for all $j$ as well as conjectural descriptions of other Betti numbers. Finally, we provide representation-theoretic descriptions of certain spaces of linear syzygies.

math.AC↗