arXiv++ Combinatorics

A Čech complex of a finite simple graph $G$ is a nerve complex of balls in the graph, with one ball centered at each vertex. More precisely, let the Čech complex $\mathcal{N}(G,r)$ be the nerve of all closed balls of radius $\frac{r}{2}$ centered at vertices of $G$, where these balls are drawn in the geometric realization of the graph $G$ (equipped with the shortest path metric). The simplicial complex $\mathcal{N}(G,r)$ is equal to the graph $G$ when $r=1$, and homotopy equivalent to the graph $G$ when $r$ is smaller than half the length of the shortest loop in $G$. For higher values of $r$, the topology of $\mathcal{N}(G,r)$ is not well-understood. We consider the $n$-dimensional hypercube graphs $\mathbb{I}_n$ with $2^n$ vertices. Our main results are as follows. First, when $r=2$, we show that the Čech complex $\mathcal{N}(\mathbb{I}_n,2)$ is homotopy equivalent to a wedge of 2-spheres for all $n\ge 1$, and we count the number of 2-spheres appearing in this wedge sum. Second, when $r=3$, we show that $\mathcal{N}(\mathbb{I}_n,3)$ is homotopy equivalent to a simplicial complex of dimension at most 4, and that for $n\ge 4$ the reduced homology of $\mathcal{N}(\mathbb{I}_n, 3)$ is nonzero in dimensions 3 and 4, and zero in all other dimensions. Finally, we show that for all $n\ge 1$ and $r\ge 0$, the inclusion $\mathcal{N}(\mathbb{I}_n, r)\hookrightarrow \mathcal{N}(\mathbb{I}_n, r+2)$ is null-homotopic, providing a bound on the length of bars in the persistent homology of Čech complexes of hypercube graphs.

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.

In this work we provide an explicit cdga that controls the rational homotopy type of the complement $X-\cup_i Z_i$, where $X$ is a smooth compact algebraic variety and $\{Z_i\}$ is a collection of subvarieties such that all set-theoretical intersections are smooth. The model is given in terms of the cohomology of all intersections of $Z_i$'s, and the natural maps induced by the inclusions. Our construction is inspired by the work of J.Morgan, who covered the fundamental case where $\{Z_i\}$ is a divisor with normal crossings, and it is built on developments of the theory of mixed Hodge diagrams by Cirici-Horel. We avoid any explicit reduction to the normal crossings divisor case, e.g. via the wonderful compactification of De Concini-Procesi. As an application of our approach we recover and generalize a few separate results on the complements of arrangements in a uniform manner. These include the Kritz-Totaro model for graph configuration spaces, Yuzvinsky's model for affine subspace arrangements and Dupont's model for complements of hypersurfaces with hyperplane-like intersection.

It is well known that a matroid L is a lift of a matroid M if and only if every circuit of L is the union of some circuits of M. In this paper we give a simpler proof of this important theorem. We also described a discrete homotopy theorem on two matroids of different ranks on the same ground set.

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 homotopy type of the complement manifold of a complexified toric arrangement has been investigated by d'Antonio and Delucchi in a paper that shows the minimality of such topological space. In this work we associate to a given toric arrangement a matrix that represents the arrangement over the integers. Then, we consider the family of toric arrangements for which this matrix has maximal rank. Our goal is to prove, by means of basic linear algebra arguments, that the complement manifold of the toric arrangements that belong to this family is diffeomorphic to that of centered toric arrangements and thus it is a minimal topological space, too.

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 define a family of convex polytopes called constrainahedra, which index collisions of horizontal and vertical lines. Our construction proceeds by first defining a poset $C(m,n)$ of good rectangular preorders, then proving that $C(m,n)$ is a lattice, and finally constructing a polytopal realization by taking the convex hull of a certain explicitly-defined collection of points. The constrainahedra will form the combinatorial backbone of the second author's construction of strong homotopy duoids. We indicate how constrainahedra could be realized as Gromov-compactified configuration spaces of horizontal and vertical lines; viewed from this perspective, the constrainahedra include naturally into the first author's notion of 2-associahedra.

Let $V$ be a finite dimensional vector space equipped with a non-degenerate Hermitian form over a field $\mathbb{K}$. Let $\mathcal{G}(V)$ be the graph with vertex set the $1$-dimensional non-degenerate subspaces of $V$ and adjacency relation given by orthogonality. We give a complete description of when $\mathcal{G}(V)$ is connected in terms of the dimension of $V$ and the size of the ground field $\mathbb{K}$. Furthermore, we prove that if $\dim(V) > 4$ then the clique complex $\mathcal{F}(V)$ of $\mathcal{G}(V)$ is simply connected. For finite fields $\mathbb{K}$, we also compute the eigenvalues of the adjacency matrix of $\mathcal{G}(V)$. Then by Garland's method, we conclude that $\tilde{H}_m(\mathcal{F}(V);\mathbb{k}) = 0$ for all $0\leq m\leq \dim(V)-3$, where $\mathbb{k}$ is a field of characteristic $0$, provided that $\dim(V)^2 \leq |\mathbb{K}|$. Under these assumptions, we deduce that the barycentric subdivision of $\mathcal{F}(V)$ deformation retracts to the order complex of the certain rank selection of $\mathcal{F}(V)$ which is Cohen-Macaulay over $\mathbb{k}$. Finally, we apply our results to the Quillen poset of elementary abelian $p$-subgroups of a finite group and to the study of geometric properties of the poset of non-degenerate subspaces of $V$ and the poset of orthogonal decompositions of $V$.

We propose a topological framework to study the evolution of Alzheimer's disease, the most common neurodegenerative disease. The modeling of this disease starts with the representation of the brain connectivity as a graph and the seeding of a toxic protein in a specific region represented by a vertex. Over time, the accumulation of toxic proteins at vertices and their propagation along edges are modeled by a dynamical system on this graph. These dynamics provide an order on the edges of the graph according to the damage created by high concentrations of proteins. This sequence of edges defines a filtration of the graph. We consider different filtrations given by different disease seeding locations. To study this filtration we propose a new combinatorial and topological method. A filtration defines a maximal chain in the partially ordered set of spanning subgraphs ordered by inclusion. To identify similar graphs, and define a topological signature, we quotient this poset by graph homotopy equivalence, which gives maximal chains in a smaller poset. We provide an algorithm to compute this direct quotient without computing all subgraphs and then propose bounds on the total number of graphs up to homotopy equivalence. To compare the maximal chains generated by this method, we extend Kendall's $d_K$ metric for permutations to more general graded posets and establish bounds for this metric. We then demonstrate the utility of this framework on actual brain graphs by studying the dynamics of tau proteins on the structural connectome. {We show that the proposed topological brain chain equivalence classes distinguish different simulated subtypes of Alzheimer's disease.

We combine tools from homotopy continuation solvers with the methods of analytic combinatorics in several variables to give the first practical algorithm and implementation for the asymptotics of multivariate rational generating functions not relying on a non-algorithmically checkable `combinatorial' non-negativity assumption. Our homotopy implementation terminates on examples from the literature in three variables, and we additionally describe heuristic methods that terminate and correctly predict asymptotic behaviour in reasonable time on examples in even higher dimension. Our results are implemented in Julia, through the use of the HomotopyContinuation.jl package, and we provide a selection of examples and benchmarks.

A multipath in a directed graph is a disjoint union of paths. The multipath complex of a directed graph ${\tt G}$ is the simplicial complex whose faces are the multipaths of ${\tt G}$. We compute the Euler characteristic, and associated generating function, of the multipath complex for some families of graphs, including transitive tournaments and complete bipartite graphs. Then, we compute the homotopy type of multipath complexes of linear graphs, polygons, small grids and transitive tournaments. We show that they are all contractible or wedges of spheres. We introduce a new technique for decomposing directed graphs into dynamical regions, which allows us to simplify the homotopy computations.

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.

We determine the homotopy types of the independence complexes of the $(n \times 6)$-square grid graphs. In fact, we show that these complexes are homotopy equivalent to wedges of spheres.

We implement a real polyhedral homotopy method using three functions. The first function provides a certificate that our real polyhedral homotopy is applicable to a given system; the second function generates binomial systems for a start system; the third function outputs target solutions from the start system obtained by the second function. This work realizes the theoretical contributions in \cite{ergur2019polyhedral} as easy to use functions, allowing for further investigation into real homotopy algorithms.

Consider a family $\mathcal F$ of $C_{2r+1}$-free graphs, where $r\geq 2$. Suppose that each graph in $\mathcal F$ has minimum degree linear in its number of vertices. Thomassen showed that such a family has bounded chromatic number, or, equivalently, that all graphs in $\mathcal F$ are homomorphic to a complete graph of bounded size. Considering instead homomorphic images which are themselves $C_{2r+1}$-free, we construct a family of dense $C_{2r+1}$-free graphs with no $C_{2r+1}$-free homomorphic image of bounded size. This provides the first nontrivial lower bound on the homomorphism threshold of odd cycles of length at least 5 and answers a question of Ebsen and Schacht. Our proof introduces a new technique to describe the topological structure of a graph. We establish a graph-theoretic analogue of homotopy equivalence, which allows us to analyze the relative placement of odd closed walks in a graph. This notion has unexpected connections to the neighborhood complex, leading to multiple interesting questions.

The ring of symmetric functions occupies a central place in algebraic combinatorics, with a particularly notable role in Schubert calculus, where the standard cell decompositions of Grassmannians yield the celebrated family of Schur functions and the cohomology ring is governed by Littlewood-Richardson rules. The past 50 years have seen an analogous development of quasisymmetric function theory, with applications to enumerative combinatorics, Hopf algebras, graph theory, representation theory, and other areas. Despite such successes, this theory has lacked a quasisymmetric analogue of Schubert calculus. In particular, there has been much interest, since work of Lam and Pylyavskyy (2007), in developing "$K$-theoretic" analogues of quasisymmetric function theory, for which a major obstacle has been the lack of topological interpretations. Here, building on work of Baker and Richter (2008), we apply the philosophy of Schubert calculus to the loop space $Ω(Σ(\mathbb{C}\mathbb{P}^\infty))$ through the homotopy model given by James reduced product $J(\mathbb{C}\mathbb{P}^\infty)$. We describe a canonical Schubert cell decomposition of $J(\mathbb{C}\mathbb{P}^\infty)$, yielding a canonical basis of its cohomology, which we explicitly identify with monomial quasisymmetric functions. Our constructions apply equally to James reduced products of generalized flag varieties $G/P$, and we show how Littlewood-Richardson rules for any $G/P$ lift to $H^*(J(G/P))$. If $J(\mathbb{C}\mathbb{P}^\infty)$ carried the structure of a normal projective algebraic variety, the structure sheaves of the cell closures would yield a "cellular $K$-theory" Schubert basis. We show this is impossible. Nonetheless, we introduce and study a more subtle $K$-theory Schubert basis. We characterize this $K$-theory ring and develop quasisymmetric representatives with an explicit combinatorial description.

MacPherson conjectured that the Grassmannian $\mathrm{Gr}(2, \mathbb{R}^n)$ has the same homeomorphism type as the combinatorial Grassmannian $\|\mbox{MacP}(2,n)\|$, while Babson proved that the spaces $\mathrm{Gr}(2,\mathbb{R}^n)$ and $\mathrm{Gr}(1,2,\mathbb{R}^n)$ are homotopy equivalent to their combinatorial analogs $\|\mathrm{MacP}(2,n)\|$ and $\|\mbox{MacP}(1,2,n)\|$ respectively. We will prove that $\mathrm{Gr}(2, \mathbb{R}^n)$ and $\mathrm{Gr}(1,2, \mathbb{R}^n)$ are homeomorphic to $\|\mbox{MacP}(2,n)\|$ and $\|\mbox{MacP}(1,2,n)\|$ respectively.

To any simple graph \(G\), the clique graph operator \(K\) assigns the graph \(K(G)\) which is the intersection graph of the maximal complete subgraphs of \(G\). The iterated clique graphs are defined by \(K^{0}(G)=G\) and \(K^{n}(G)=K(K^{n-1}(G))\) for \(n\geq 1\). We associate topological concepts to graphs by means of the simplicial complex \(\mathrm{Cl}(G)\) of complete subgraphs of \(G\). Hence we say that the graphs \(G_{1}\) and \(G_{2}\) are homotopic whenever \(\mathrm{Cl}(G_{1})\) and \(\mathrm{Cl}(G_{2})\) are. A graph \(G\) such that \(K^{n}(G)\simeq G\) for all \(n\geq1\) is called \emph{\(K\)-homotopy permanent}. A graph is \emph{Helly} if the collection of maximal complete subgraphs of \(G\) has the Helly property. Let \(G\) be a Helly graph. Escalante (1973) proved that \(K(G)\) is Helly, and Prisner (1992) proved that \(G\simeq K(G)\), and so Helly graphs are \(K\)-homotopy permanent. We conjecture that if a graph \(G\) satisfies that \(K^{m}(G)\) is Helly for some \(m\geq1\), then \(G\) is \(K\)-homotopy permanent. If a connected graph has maximum degree at most four and is different from the octahedral graph, we say that it is a \emph{low degree graph}. It was recently proven that all low degree graphs \(G\) satisfy that \(K^{2}(G)\) is Helly. In this paper, we show that all low degree graphs have the homotopy type of a wedge or circumferences, and that they are \(K\)-homotopy permanent.

Quasi-Gröbner categories were introduced by Sam and Snowden to unify treatment of categories in representation stability. We give new examples of quasi-Gröbner categories. Most of these categories are operadic categories of Batanin and Markl which are used to encode homotopy coherent structures. This suggests that other operadic categories might also be quasi-Gröbner. Additionally, we show that set-operads form a full subcategory of the category of operadic categories. We state several open problems.