arXiv++ Combinatorics

Holmsen proved in 2016 a generalization of the classical colorful Caratheodory theorem in which a matroid imposes additional constraints on the desired colorful transversal. His approach also works in the more general setting of oriented matroids, rather than relying directly on convex hulls. In this paper, we extend these ideas in several directions. First, we study which colorful Caratheodory-type results remain valid when convex cones replace convex hulls, as well as analogous modifications in the oriented matroid setting. Second, we consider variants in which the additional constraint on the transversal is not encoded by a matroid. This leads to new extensions of the classical Tverberg theorem. Our approach is topological, following the methods of Holmsen, and Kalai and Meshulam, on which it builds. The key idea is to analyze homology groups of simplicial complexes that encode colorful Caratheodory-type phenomena, such as the support complex of an oriented matroid. In particular, one shows that these complexes are (near-)d-Leray. We extend this analysis by carrying out more detailed homology computations for these complexes, with the aim of enabling further and more refined applications of the method.

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.

The transformation of the $h$-vector of a finite simplicial complex under an $\mathcal{F}$-uniform subdivision is encoded by a transformation matrix. Mu and Welker conjectured that the transformation matrix of the barycentric subdivision is totally positive. In this paper, we give a new combinatorial proof of this conjecture. We also prove the total positivity of the transformation matrix of the interval subdivision. In addition, we establish a sufficient condition for the transformation matrix of a uniform subdivision to be totally positive of order $2$ (TP$_2$), thereby partially answering a question of Mu and Welker. As an application, we show that the transformation matrix of the $r$-colored barycentric subdivision is TP$_2$.

Alexander's conjecture states that for every two finite triangulations of the same topological space, if they have a common subdivision, then they have a common stellar subdivision. We generalize the recent result of Adiprasito and Pak, who resolved Alexander's conjecture for finite simplicial complexes, to infinite simplicial complexes.

Let $G$ be a graph and $I(G)$ its edge ideal. The $p$-th squarefree power $I(G)^{[p]}$ is the monomial ideal generated by squarefree monomials corresponding to the matchings of size $p$ of $G$. In this paper, we provide a combinatorial characterization of when $I(G)^{[p]}$ is linearly related, i.e., when its first syzygy module is generated by linear forms. Moreover, for a $1$-dimensional flag simplicial complex $Δ$ and its Stanley-Reisner ideal $I_Δ$, which arises as the edge ideal of the complement graph of $Δ$, we describe the shape of the Betti table of $I_Δ^{[p]}$ and we give a combinatorial characterization of when $I_Δ^{[p]}$ has a linear resolution.

The KKL Theorem, a seminal result in boolean function analysis, characterizes the structure of low-influence (non-expanding) functions on the hypercube. While recent years have seen breakthrough results across a variety of areas relying on analogs of the KKL Theorem beyond the cube (e.g., on product spaces, Grassmann graphs), further progress has been inhibited by our poor understanding of the phenomenon across more general domains. Motivated in this context, Bafna, Hopkins, Kaufman, and Lovett (STOC 2022) and Gur, Lifshitz, and Liu (STOC 2022) proved a generalized KKL-type Theorem for spectral high dimensional expanders (HDX). Their results, however, remain highly restricted due to strong quantitative expansion requirements on the underlying complex. In this work, we introduce a simple local-to-global method for analyzing low influence functions on simplicial complexes. Using this method we prove a local-to-global KKL-type Theorem: any simplicial complex whose links satisfy a KKL-Theorem also satisfies such a result globally. Building on Gotlib and Kaufman (RANDOM 2023), we also prove a weaker dimension-dependent KKL-type Theorem for simplicial complexes with any non-trivial (two-sided) expansion. As concrete applications of our framework, we give the first characterization of non-expanding functions on `combinatorial' HDX such as dense clique complexes and a corresponding Kruskal-Katona Theorem, as well as a small-set expansion theorem for the Ramanujan Complexes of Lubotzky, Samuels, and Vishne (EJC '05).

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.

The Grone--Merris conjecture, proved by Bai in~2011, states that the spectrum of the graph Laplacian $Δ_0 = -\operatorname{div}\operatorname{grad}$ is majorized by the conjugate of the vertex degree sequence. Duval and Reiner proposed a simplicial complex analogue of this statement. On a graph, where triangles serve as $2$-simplices, their conjecture reduces to the assertion that the spectrum of $\operatorname{curl}^*\operatorname{curl}$ is majorized by the conjugate of the second-order degree sequence, which records the number of triangles containing each vertex. We prove that the sum of the two largest eigenvalues of $\operatorname{curl}^*\operatorname{curl}$ does not exceed the sum of the first two entries of that conjugate sequence. This confirms the first two majorization inequalities predicted by Duval and Reiner for $\operatorname{curl}^*\operatorname{curl}$. As a corollary, we obtain upper bounds for the two largest eigenvalues of the full graph Helmholtzian $Δ_1 = -\operatorname{grad}\operatorname{div} + \operatorname{curl}^*\operatorname{curl}$. The same result extends to the up-Laplacian of any $3$-family, yielding a concrete step towards the Duval--Reiner conjecture in dimension~$1$.

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.

In this paper, we study the signless Laplacian spectral radius of pure simplicial complexes under local homological restrictions on links. Let $K$ be a pure $r$-dimensional complex on $n$ vertices, ${\mathfrak q}_{r-1}(K)$ be the spectral radius of the $(r-1)$-up signless Laplacian of $K$, and ${\operatorname{lk}}_K(σ)$ be the link of a face $σ$ in $K$. We prove that if the homology $\widetilde H_t({\operatorname{lk}}_K(σ), {\mathbb R})=0$ for every face $σ\in K$ with $|σ|=r-t$, then \[ {\mathfrak q}_{r-1}(K)\le tn-(t-1)(r+1).\] Moreover, if $K$ is $r$-down path connected and $n\ge r+2+\binom{r+1}{t}\binom{r}{t}$, equality holds if and only if $K \cong Δ_{r+1-t} \star Δ_{n-r-1+t}^{t}$, where $Δ_n$ denotes a simplex on $n$ vertices, $Δ_n^{p}$ denotes the $(p-1)$-skeleton of $Δ_n$, and $\star$ denotes the join of two complexes.

Let $K$ be a finite $r$-dimensional simplicial complex with vertex set $V$ of size $n$. We study the largest eigenvalue of the combinatorial $(r-1)$-up Laplacian $L^{\operatorname{up}}_{r-1}(K)$. It is known that \[ λ_{\max}\bigl(L^{\operatorname{up}}_{r-1}(K)\bigr)\le n. \] We first give a homological equality criterion for this universal bound, namely, the equality holds if and only if the $r$-dimensional complement $K^c$ of $K$ has a nonzero reduced homology $\widetilde H_{r-1}(K^c,\mathbb{R})$. For $r=1$, this is the classical graph condition that the complement graph is disconnected. Secondly, we prove a sharper upper bound for $λ_{\max}(L^{\operatorname{up}}_{r-1}(K))$: \[ λ_{\max}(L^{\operatorname{up}}_{r-1}(K)) \le \max_{F\in S_r(K)} \bigl|\bigcup_{E \in \partial F} N_K(E) \bigr| \le n,\] where, for an $(r-1)$-face $E$, $N_K(E)$ denotes the set of vertices $u$ outside $E$ such that the union $E \cup \{u\}$ is an $r$-face of $K$. This is the high-dimensional analog of the graph Laplacian bound. We give an explicit characterization of the equality case, and construct a broad family attaining the bound, namely, the partite semiregular complexes with admissible additions.

The Vietoris-Rips complex of a metric space is the simplicial complex whose faces are the subsets of points with pairwise distance bounded above by a given scale $r$. In this paper, we study Vietoris-Rips complexes on the vertex set of the $n$-dimensional hypercube equipped with the Hamming distance. These complexes are stable under the action of the automorphism group of the hypercube graph, also known as the hyperoctahedral group, which therefore acts on their homology groups. Our results completely describe the decomposition of these homology groups into irreducible representations of the hyperoctahedral group at scales $r\leqslant 3$ and $r=n-1$.

The Helmholtzian of a graph $G$ is the Hodge $1$-Laplacian $L_1=L_1^{\mathrm{up}}+L_1^{\mathrm{down}}$ of its clique complex, built from the triangle--edge and edge--vertex boundary operators $\partial_2$ and $\partial_1$. Problem~5.5 of Lu, Shi, Stanić, Wang and Wang asks whether $λ_{\max}(L_1)=μ_1(G)$ for every graph $G$, where $μ_1(G)$ is the largest Laplacian eigenvalue; by the Hodge decomposition this is equivalent to $λ_{\max}(L_1^{\mathrm{up}})\leμ_1(G)$. We recast it as a question about the complement of $G$: localizing $L_1^{\mathrm{up}}$ on the cycle space of $K_n$ turns it into the inequality $λ_{\min}(\bar L|_{Z_1})\ge a(\overline{G})$, where $\bar L$ is the up Laplacian of the missing triangles of $G$ and $a(\overline{G})=n-μ_1(G)$ is the algebraic connectivity of the complement. From this viewpoint, we prove the unconditional bound \[ λ_{\max}\!\big(L_1^{\mathrm{up}}(G)\big)\ \le\ μ_1(G)+\frac13\big(n-μ_1(G)\big), \] which refines the integrality ceiling $λ_{\max}(L_1^{\mathrm{up}})\le n$ of Duval and Reiner and is sharp exactly when that ceiling is attained. We then isolate the single sharp inequality, on the dense part of $\overline{G}$, that stops the method short of Problem~5.5, and we show that the localization, the bound, and this obstruction all persist for the up Laplacian of an arbitrary finite simplicial complex, in every dimension.

Inspired by work of Altmann and Christophersen, we study the graded pieces of the cotangent cohomology $T^i_{S_{\mathcal{K}}}$, $i\geq 3$ of the Stanley-Reisner ring $S_{\mathcal{K}}$ associated to a simplicial complex $\mathcal{K}$. We prove a localization formula allowing one to reduce to the case of negative weights. Our results give a complete description of $T^3$ and $T^4$ in terms of the topology of $\mathcal{K}$ whenever $\mathcal{K}$ is a flag complex. As an application, we give a sufficient criterion for the vanishing of $T^3$ for simplicial spheres, classify two-spheres that have vanishing $T^3$, and show that the boundary complex of the dual associahedron has vanishing $T^3$. Our results make use of the arborescent resolutions considered by Hancharuk, Laurent-Gengoux, and Strobl. We give an alternative and self-contained treatment of these resolutions that may be of independent interest.

We study collapsibility in the multiparametric models of random simplicial complexes, namely the lower and upper models. In the upper model, we improve upon a result of Farber and Nowik, and assert that the homology is a.a.s concentrated in a single dimension by proving that the complex collapses to that \di. In the lower model, we prove that the complex a.a.s collapses to the \di\ with maximal non-trivial cohomology. We then compare this threshold to the ones derived previously for the special cases of the clique complex (by Kahle) and the Linial-Meshulam model.

We show that every probability-measure-preserving equivalence relation generated by a locally-finite Borel graph with planar connected components is sofic in the sense of Elek--Lippner. In particular, every unimodular random planar graph is sofic. This removes the additional assumptions in the works of Angel--Hutchcroft--Nachmias--Ray and Timár on the soficity of unimodular random planar maps and graphs. To prove this, we investigate Borel simplicial complexes with planar components and approximate them by treeable covering spaces. To construct these coverings, we use a canonical family of tracks on planar simplicial complexes introduced by Dunwoody.

The neighborhood complex $N(G)$ and the dominance complex $D(G)$ are fundamental simplicial complexes associated with a graph $G$. We characterize precisely when the Stanley-Reisner ring $k[N(G)]$ admits a $2$-linear resolution, thereby answering an open question posed by Fröberg. We prove that this occurs if and only if $G$ is neighborhood conformal and its common neighbor graph is chordal. Equivalently, $G$ is a bipartite graph whose only induced cycles are $4$-cycles. As a consequence, we show that Katzman's lower bound becomes an equality for this class, yielding $\operatorname{reg}(S/I(G))=\operatorname{im}(G)$. Using recent results on glued clique complexes, we derive explicit combinatorial formulas for the exact graded Betti numbers of these neighborhood complexes. Finally, utilizing combinatorial Alexander duality, we obtain a corresponding classification of Cohen-Macaulay dominance complexes, and prove that the dominance complex of a graph without isolated vertices admits a $2$-linear resolution if and only if the graph is a star graph.

Let $\bigtriangleup$ be a simplicial complex and let $δ_{\mathcal{NF}}$ denote the NF-operator. The NF-complex $δ_{\mathcal{NF}}(\bigtriangleup)$ is defined as the Stanley--Reisner complex of the facet ideal of $\bigtriangleup$. Iterating $δ_{\mathcal{NF}}$ gives a periodic orbit (up to isomorphism), and the smallest positive integer $t$ for which $δ_{\mathcal{NF}}^{\,t}(\bigtriangleup)\cong \bigtriangleup$ is called the \emph{NF-number} of $\bigtriangleup$ (Habi and Mahmood, Algebra Colloquium, 2022). In this work, we provide various results and determine explicit formulas for the NF-number for several families of graphs. In particular, we compute the NF-number for dumbbell graphs. We also prove that the NF-number of the complete split graph $S_{n,m}$ equals $m+n+2$, and that the NF-number of the double star $D_{p+q}$ equals $p+q+4$. We conclude with remarks, open problems, and conjectures to guide future research.

Let $G$ be a graph and $r \ge 1$. A vertex subset is $r$-independent if every connected component of its induced subgraph has size at most $r$. The family of all such subsets forms a simplicial complex, the $r$-independence complex $\Ind_r(G)$, generalizing the classical independence complex. Recent work has focused on shellability and vertex decomposability of these complexes. For chordal graphs, $\Ind_r(G)$ has the homotopy type of a wedge of spheres for all $r$, and some chordal subfamilies are known where these complexes are not even sequentially Cohen-Macaulay. Thus, determining chordal graph classes and values of $r$ for which $\Ind_r(G)$ is sequentially Cohen-Macaulay, shellable, or vertex decomposable remains an active area. Existing methods, based on chordal hypergraphs or special graph properties, do not extend to arbitrary chordal graphs. In this paper, we show that for every tree $T$ and every integer $r \ge 1$, the complex $\Ind_r(T)$ is vertex decomposable, resolving a conjecture \cite[Conjecture 3.15]{PD23chordal} of Abdelmalek et al. Our approach gives a structural description of shedding vertices via rooted subtrees and uses it to prove vertex decomposability recursively.

We introduce the \emph{Morse ensemble polynomial} $\ME_K(z_0,\ldots,z_d)$ of a finite simplicial complex $K$, defined as the generating function $\ME_K = \sum_M \prod_i z_i^{c_i(M)}$ over all acyclic matchings $M$ on the face poset of $K$, where $c_i(M)$ counts critical $i$-simplices. This polynomial records the complete distribution of Morse vectors across all discrete Morse functions on $K$, and is an isomorphism invariant of simplicial complexes. Our main results are the following. \textbf{(I) The Laplacian Formula}: for any connected graph $G$, $\ME_G = z_1^{m-n}\det(z_0z_1\,I_n + L_G)$, identifying $\ME_G$ as a complete Laplacian spectral invariant and showing $\ME_G$ to be incomparable with the Tutte polynomial. \textbf{(II) The Top-Face Recursion}: adding a $d$-simplex $σ$ (with $\partialσ\subset K$) to a complex $K$ gives a recursion $\ME_{K\cup\{σ\}} = z_d\cdot\ME_K + \sum_{τ\precσ}(\ME_{P(K')\setminus\{σ,τ\}}-F(K,σ,τ))$. The correction term is controlled by the top incidence graph: an incidence-separation criterion detects exactly when $F=0$, and the incidence distance gives the leading obstruction term. As a topological application, this recursion gives exact coefficient recursions for perfect and optimal discrete Morse vectors. \textbf{(III) The independence ME polynomial} $Φ(G) := \ME_{\mathrm{Ind}(G)}$ is a fine graph invariant which strictly refines the graph-level Morse ensemble $\ME_G$, separates examples not distinguished by $T_G$ and $I(G;t)$, and records collapse-level information of $\mathrm{Ind}(G)$ through coefficients such as $[z_0]Φ(G)$.