arXiv++ Combinatorics

We study stylic monoids from the viewpoint of higher-dimensional rewriting. A coherent presentation records not only the defining relations of a monoid, but also the relations among them. Using the $N$-tableau model, we construct a finite coherent presentation for every stylic monoid of finite rank. We start from the known finite convergent row presentation. By adjoining one generating confluence for each critical branching, Squier's coherence theorem yields a finite coherent extension. We then simplify the resulted coherent presentation by two successive homotopical reductions adapted to the row combinatorics of $N$-tableaux. Finally, coherent Tietze transformations and a further homotopical reduction transfer the construction from the auxiliary row generators to the standard letter generators. This gives an effectively computable finite homotopy basis for the standard letter presentation. The construction is illustrated in detail in rank $2$.

The independence complex and perfect matching complex of a graph are simplicial complexes encoding, respectively, its independent sets and perfect matchings. Determining their homotopy types is generally difficult, with explicit descriptions known mainly for highly structured graph families. In this article, we determine the homotopy types of these complexes for the Möbius ladder graphs $M_{2n}$ and circular ladder graphs $\mathcal{C}_{2n}$. The Möbius ladder graphs $M_{2n}$ are highly symmetric cubic graphs obtained from a $2n$-cycle by joining opposite vertices, while the circular ladder graphs $\mathcal{C}_{2n}$ are the Cartesian products of an $n$-cycle and a path of length one. We show that $\operatorname{Ind}(M_{2n})$ and $\operatorname{Ind}(\mathcal{C}_{2n})$ have the homotopy type of wedges of spheres, with the numbers and dimensions of the spheres exhibiting periodic behavior according to $n$ modulo $4$. For the perfect matching complex $\mathcal{M}_p(M_{2n})$, its homotopy type is a wedge of two copies of $\mathbb{S}^{(n-2)/2}$ when $n$ is even, while for odd $n$ it has the homotopy type of a wedge of spheres whose numbers and dimensions depend periodically on $n$ modulo $6$. The perfect matching complex $\mathcal{M}_p(\mathcal{C}_{2n})$ is contractible for odd $n$, whereas for even $n$ its homotopy type is a wedge of spheres, with the numbers and dimensions determined periodically by $n$ modulo $6$. Thus, we obtain explicit homotopy types for the independence and perfect matching complexes of two highly symmetric families of cubic graphs, which are also relevant in crystallization theory and the combinatorial representation of PL manifolds.

Shellable complexes are homotopy equivalent to a wedge of spheres of possibly different dimensions, so that the (co)homology of the constant functor over the complex is concentrated in those degrees. In this work, we introduce the concept of a stable functor -a local weakening of fibrancy- over a shellable poset, which ensures the vanishing of the (co)homology of such a functor in specific degrees. The methods are based on a model category structure on the category of functors indexed by a filtered poset and the combinatorial structure of shellable posets. Our techniques work over non-finite and non-pure posets and employ a description of (co)homology via explicit fibrant replacements. Applications include acyclicity criteria for Mackey functors, computation of cohomology of $j$-th exterior powers over arrangement lattices, and homological decompositions for Bianchi groups $Γ_d$ for $d=1,2$.

We develop a homotopy theory of directed graphs based on cubical homotopy groups, also known as $A$-groups or reduced GLMY homotopy groups. Localizing the category of directed graphs at morphisms that induce isomorphisms on these groups yields an $\infty$-category, denoted by ${\sf DGra}_\infty$. We prove that ${\sf DGra}_\infty$ is equivalent to the $\infty$-category of spaces, establishing a directed version of the discrete homotopy hypothesis of Carranza and Kapulkin.

We construct a faithful functor from the category of cubespaces, arising in structured ergodic theory and nilspace theory, to the category of (condensed) simplicial sets. This functor translates the weak structure theorem of a nilspace to a Postnikov tower of the corresponding simplicial set. In particular, nilspaces are mapped to Kan complexes and the structure groups of the nilspace correspond to the simplicial homotopy groups of the Kan complex. The functor is constructed via pullback along a special cosimplicial cubical set, whose combinatorial properties may be of independent interest.

Using the strong discrete Morse theory developed by Fernández, we define the complex $\mathcal{SM}(K)$ of strong discrete Morse matchings on a simplicial complex $K$, as well as the pure subcomplex $\mathcal{SM}_{pure}(K)$ generated by the facets in $\mathcal{SM}(K)$ of maximal dimension. For most complexes $K$ these objects are proper subcomplexes of the complexes ${\mathfrak M}(K)$ and ${\mathfrak M}_{\textrm{pure}}(K)$ defined by Chari--Joswig using all Morse matchings on $K$. The homotopy types of the latter are not well-understood in general, but they are known when $K$ is the path $P_n$ with $n$ edges, the cycle $C_n$ with $n$ edges, the star $S_n$ with $n$ leaves, the $n$-simplex $Δ^n$ ($n\le 3$), and the boundary $\partialΔ^n$ ($n\le 3$). in this paper we compute the homotopy types of $\mathcal{SM}_{pure}(C_n)$ and $\mathcal{SM}(K)$ for $K=P_n,S_n,Δ^n,\partialΔ^n$ for all $n$. We also compute the homology of $\mathcal{SM}(C_n)$ for $n\le 21$.

We analyse topology of random simplicial complexes in the medial regime. We show that these complexes are highly connected and have homotopy type of iterated suspensions. One of our main tools is a new combinatorial criterion for high connectivity of simplicial complexes, which is more flexible than conicity. We show that topological complexity of random simplical complexes in the medial regime is bounded above by 2 and it equals 2 for a class of homogenous medial regime random simplicial complexes, a.a.s.

Much work in knot theory has consisted of categorifying, and thereby strengthening, knot invariants. We take the opposite approach: decategorification, more commonly called combinatorics. We introduce a technique that relates the dual braid group generators, the Hecke images of pure braids, and factorization problems in reflection groups to knot invariants. We prove that the $(a,z{=}0)$-HOMFLYPT polynomial can be computed as a solution to such a problem. This technique was motivated by Coxeter--Catalan combinatorics. For example, we give a new proof of EL-shellability of the noncrossing partition lattice using the image of the full twist in the Hecke algebra; in a surprising sort of combinatorial reciprocity, its inverse computes the homotopy type. Similarly, noncrossing partitions naturally arise from our construction applied to positive powers of the full twist, while cluster complexes come from the same construction applied to negative powers. In crystallographic type, we exploit the conjugacy of all Coxeter elements to give the first reflection subword models for rational noncrossing Catalan objects. Our reciprocity gives two models: one generalizing noncrossing partitions, and one generalizing clusters. Applying the same method produces two (rational) noncrossing parking models.

We study the simplicial boundary $\partial\mathcal{FS}$ of Culler-Vogtmann Outer space via thickenings defined by graph-theoretic connectivity. Let $C'$ be the subcomplex of the free splitting complex obtained from $\partial\mathcal{FS}$ by adding all stable graphs that are not $3$-edge connected, together with their faces. We prove that the inclusion $\partial\mathcal{FS}\hookrightarrow C'$ is $(2n-3)$-connected. The proof shows, more precisely, that adding graphs with cut vertices is a homotopy equivalence, while the only non-contractible fibres in the $2$-bond thickening occur over $θ$-graphs. The result gives further evidence that $\partial\mathcal{FS}$ may be $(2n-3)$-spherical, an $\operatorname{Out}(F_n)$-analogue of Rognes's connectivity conjecture for the common basis complex. It also gives a topological, universal-cover perspective that unifies several existing results about the commutative graph complex.

A \emph{6-net} is a simplicial triangulation of the $2$-sphere with maximum degree $\leq 6$. Experiments suggest that every $6$-net admits a unique realization as an undented Euclidean polyhedron built from unit equilateral triangles, and a unique realization as an ideal equilateral hyperbolic polyhedron. We call these \emph{neoplatonic solids} and \emph{ideal neoplatonics}. A net is \emph{prime} if every 3-cycle bounds a face. A computer-assisted proof shows that every prime $6$-net with $v \leq 50$ has a unique realization as a convex ideal neoplatonic. Numerical homotopy from this realization yields an approximate Euclidean neoplatonic, and a computer-assisted proof shows that a true Euclidean neoplatonic lies nearby, though we do not prove uniqueness. Using the separating-triangle decomposition, we extend Euclidean existence to all $10{,}412{,}340$ $6$-nets with $v\leq50$, counted up to combinatorial isomorphism.

The homomorphism threshold $δ_{\text{hom}}(H)$ of a graph $H$ asks how large the minimum degree of an $H$-free graph has to be in order to force a homomorphism to a bounded $H$-free graph. Determining this threshold is in general very difficult, and the odd cycles $C_{2k-1}$ are among the most important open cases for $k\ge 3$. Ebsen and Schacht proved the general upper bound $δ_{\text{hom}}(C_{2k-1})\le\frac{1}{2k-1}$, while a breakthrough of Sankar, using topological methods and a graph-theoretic analogue of homotopy equivalence, gave the first positive lower bound. The value $\frac{1}{2k-1}$ appeared particularly compelling: Ebsen and Schacht obtained the same exact threshold when all odd cycles of length at most $2k-1$ are forbidden, Huang, Liu, Rong and Xu later proved that it is the exact blowup threshold of $C_{2k-1}$, and Letzter and Snyder also explicitly asked whether $δ_{\text{hom}}(C_{5})=\frac{1}{5}$. Surprisingly, we show that the upper bound can be improved. More precisely, for every integer $k\ge3$, we prove $$ \frac{1}{2\left((k-1)^{4k-5}(2k-1)+\frac{(k-1)^{4k-5}-1}{k-2}\right)} \le δ_{\text{hom}}(C_{2k-1}) \le \frac{4(k-1)}{4(k-1)(2k-1)+1} < \frac{1}{2k-1}. $$ The new lower bound comes from a new graph-theoretic construction based on a sparse homomorphism theorem of Nešetřil and Zhu, and it improves Sankar's quantitative bound. The improved upper bound follows from a new structural argument that controls common neighborhoods along short odd paths. Our results have various consequences, in particular, every odd cycle of length at least five has pairwise distinct chromatic, homomorphism, polynomial removal, and linear removal thresholds, resolving two conjectures of Fox and Wigderson.

We give a new proof of Maurer's homotopy theorem for matroids using polyhedral methods, in contrast to Maurer's original combinatorial proof. The same polyhedral approach yields a homotopy theorem for delta-matroids, from which the corresponding results for matroids, even delta-matroids, and antisymmetric matroids follow. We further prove an analogous theorem for integral polymatroids.

We prove Reiner's conjecture for higher Bruhat orders in corank 3: the facial intervals of B(n,n-3) are precisely the spherical intervals, and all other intervals are contractible.

Two families of polytopes underlie the combinatorics of associative operations. Associahedra and multiplihedra respectively capture the information in the operation itself and in the morphisms that respect that operation. The first applications of these polytopes, from Stasheff, were for modeling homotopy associative spaces and their homotopy homomorphisms. Later, lax and weak higher categories used both as the shapes of commuting diagrams. More recently, the associahedra have been generalized to versions based on graphs, and then to posets: the acyclonestohedra. Here we use the graph multiplihedra to define and realize new multiplihedra for the acyclonestohedra. Quotients of these are also studied, concluding with the interval polytopes of the order polytopes of posets.

The Vietoris-Rips filtration $\mathcal{VR}(-)$ is a standard tool for analyzing the shape of data within topological data analysis. Beginning with seminal work of Sheehy, a substantial amount of research has centered on constructing linear-size sparse approximations to $\mathcal{VR}(-)$ and related filtrations for metric spaces of bounded doubling dimension. We show that this geometric assumption is necessary in a precise sense. Working in the framework of homotopy interleavings, we show that for any fixed $c \in [1, \sqrt{2})$, there exists a family of finite metric spaces for which any finitely presented $c$-approximation to $\mathcal{VR}(-)$ has exponential size. We also show that for any fixed $c \geq 1$, there exists a family of finite metric spaces for which any finitely presented $c$-approximation to $\mathcal{VR}(-)$ has superlinear size, yielding an obstruction to linear-size approximations for any fixed approximation factor. Both results extend to the intrinsic Čech filtration and to any bifiltration containing $\mathcal{VR}(-)$ as a $1$-parameter slice, including the function-Rips, degree-Rips, and subdivision-Rips bifiltrations.

Let $G$ be a graph and let $\PF_t(G)$ denote the simplicial complex whose faces are vertex subsets whose induced subgraphs contain no path on $t$ vertices. These complexes encode a forbidden-subgraph condition as a family of allowed vertex subsets. In this paper, we study $t$-path-free complexes of complete multipartite graphs. Let \[ G=K_{n_1,\dots,n_m}, \qquad n_1\le\cdots\le n_m. \] We first obtain an explicit structural decomposition of $\PF_t(G)$ as a union of join complexes, together with an additional lower-dimensional size-truncation term. Using this decomposition, we show that for $t\le 2n_{m-1}-2$ the complex $\PF_t(G)$ is not sequentially Cohen-Macaulay, while for $t\ge 2 n_{m-1}-1$ it is vertex decomposable. Consequently, we obtain a complete characterization for complete multipartite graphs: $\PF_t(G)$ is vertex decomposable if and only if $t\ge 2n_{m-1}-1$. Equivalently, this is also exactly the range in which $\PF_t(G)$ is shellable and sequentially Cohen-Macaulay. We further analyze the topology via a Mayer-Vietoris spectral sequence: for complete bipartite graphs, we determine the full homotopy type as an explicit wedge of spheres in all cases.

We extend the notion of discrete homotopy groups of graphs to arbitrary cubical sets, and show that the discrete homotopy groups of quasisymmetric cubical sets are naturally isomorphic to the homotopy groups of their geometric realizations. Here, quasisymmetric cubical sets are cubical sets equipped with coordinate permutation symmetries that are compatible with faces and degeneracies, but not necessarily with connections. We give a purely combinatorial construction of the left adjoint of the forgetful functor from the category of quasisymmetric cubical sets to the category of cubical sets, and prove that the unit of this adjunction is an objectwise weak equivalence. As a consequence, we obtain a purely combinatorial description of the homotopy groups of the geometric realizations of arbitrary cubical sets. As an application, we establish the Hurewicz theorem for the discrete homotopy groups of quasisymmetric cubical sets.

The celebrated (homological) nerve theorem makes use of spectral sequences to determine the homology of a space. However, this theorem cannot effectively compute the homology in every circumstance. In this paper, we develop an effective version of the nerve theorem. Our theorem enables us to compute the homology of a simplicial complex explicitly using the combinatorial information of its subcomplexes and their non-trivial intersections using discrete Morse theory. Suppose $X$ is a simplicial complex with subcomplexes $A_1, A_2, \dots ,A_k$ such that $X= \cup_{i=1}^{k}A_i$. Then the main theorem of this paper states that we can explicitly compute the homology of $X$ using the information of given gradient vector fields on $A_i$ for each $i \in [k]$, and on their possible non-trivial intersections. Our approach is purely combinatorial, in the sense that it does not involve any notions of geometric realization, continuity or homotopy.

We introduce avalanche homology as a new (di)graph homology theory, based on the dynamics of the sandpile model. Avalanche homology is the simplicial homology of the avalanche complex generated from the sets of unstable vertices at the time steps of the sandpile dynamics. In this work we focus on digraphs, and our main results give the homotopy types of the avalanche complex for directed paths and directed cycles for certain initial configurations of the sandpile dynamics. Even for such simple digraphs a wide range of topologies can arise, and we compare this to the directed flag complex and to the recently introduced burning homology. Furthermore, the dynamics yields very naturally a filtered simplicial complex, and hence persistent avalanche homology.

The aim of this paper is to establish critical duality theory for ratios of nonnegative homogeneous convex functions (shorten for RC functions) and differences of convex functions (abbreviated as DC functions) on Banach spaces. Specifically, we establish a series of duality results on critical point theory and Morse theory for RC functions, including the homotopy type of sublevel sets, the Morse critical points and their Rothe critical groups, Lagrange critical points and their multiplicities, Lusternik-Schnirelman min-max critical values, Poincare polynomials, as well as the structure of handlebody decompositions, all of which are proved to be preserved under polarity dual. Moreover, we obtain the first critical duality theory of DC functions which does not depend on the DC decomposition. This answers a question left open from the work of Toland on DC functions and the work of Le-Pham on DC programming. We apply these results to provide a reformulation of the graph Cheeger constant using zonotopes; we introduce the contact data which serves as a geometric characterization of Lagrange criticality; and we show that the eigenproblems for 1-Laplacian and $\infty$-Laplacian on hypergraphs are equivalent to the contact problems of zonotopes, which indeed establishes a new characterization of zonotopes. We also prove a duality equivalence for certain nonlinear eigenvalue problems and bifurcation problems. Our study here reveals an intricate interaction of critical point theory with other fields such as convex analysis, combinatorial geometry, and nonlinear eigenproblems on graphs.