arXiv++ Combinatorics

We introduce a new family of pure simplicial complexes, called the $r$-co-connected complex of $G$ with respect to $A$, $Σ_r(A,G)$, where $r\geq 1$ is a natural number, $G$ is a simple graph, and $A$ is a subset of vertices. Interestingly, when $A$ is empty, this complex is precisely the Alexander dual of the $r$-independence complex of $G$. We focus on uncovering the relationship between the topological and combinatorial properties of the complex and the algebraic and homological properties of the Stanley-Reisner ideal of the dual complex. First, we prove that $Σ_r(A,G)$ is vertex decomposable whenever the induced subgraph $G[A]$ is connected and nonempty, yielding a versatile deletion-link calculus for higher independence via Alexander duality. Furthermore, when $A=\emptyset$ and $r \ge 2$, we establish that for several significant classes of graphs - including chordal, co-chordal, cographs, cycles, complements of cycles, and certain grid graphs - the properties of vertex decomposability, shellability, and Cohen-Macaulayness are equivalent and precisely characterized by the co-chordality of the associated clutter $\mathrm{Con}_r(G)$. These results extend Fröberg's theorem to the setting of $r$-connected ideals for these graph classes and motivate a conjecture concerning the linear resolution property of $r$-connected ideals in general. We also construct examples separating shellability from vertex decomposability.

In this paper, we show that any finite simplicial complex is homeomorphic to the inverse limit of a sequence of finite posets, which is an extension of Claders result.

Coboundary expansion with non-Abelian coefficients is a strong version of high-dimensional expansion for simplicial complexes. One motivation for studying this notion is that it was recently shown to have deep connections to problems in theoretical computer science. However, very few examples of families of simplicial complexes with this type of expansion are known. Namely, prior to our work, the only known examples were quotients of symplectic buildings and a slight variation of the Kaufman-Oppenheim coset complexes construction associated with $\operatorname{SL}_{n} (\mathbb{F}_p [t])$. In this paper, we show that the Grave de Peralta and Valentiner-Branth constructions of KMS complexes have coboundary expansion with non-Abelian coefficients when it is performed with respect to congruence subgroups of Chevalley groups of classical type, i.e., of type $A_n, B_n, C_n$ and $D_n$. This gives four new sources of examples to this expansion phenomenon, thus significantly enriching our list of constructions.

In this paper, we define the structure of $n$-simplicial complex, we consider generalizations of the Laplacians to simplicial complexes of higher dimension and we develop the notion of $χ$-completeness for simplicial complexes. Otherwise, we study essential self-adjointness from the $χ$-completeness geometric hypothesis.

We introduce and investigate generalizations of interval and proper interval graphs to simplicial complexes, including strong interval, unit interval, and under closed variants. Through equivalent combinatorial and algebraic characterizations, we uncover hierarchies among these classes and extend key results to higher dimensions, such as the equivalence of closed and proper interval graphs. These formulations enable significant applications, including finding conditions for the sortability of d-independence complexes, constructions of normal Cohen-Macaulay domains linked to d-unit interval graphs, and forbidden subgraph theorems establishing chordality and d-claw-freeness. Our work advances the connections between graph theory, simplicial complexes, and commutative algebra, offering new insights into the algebraic underpinnings of combinatorial structures.

We establish explicit operator norm bounds and essential self-adjointness criteria for discrete Hodge Laplacians on weighted graphs and simplicial complexes. For unweighted $d$-regular graphs we prove the universal estimate $\|\widetildeΔ_{1,*}\|\le 4(d-1)$, and we provide weighted extensions with a sharp comparability constant. These bounds apply without geometric completeness or curvature assumptions and ensure essential self-adjointness on natural cores. The approach extends to higher degrees via dual up/down degrees, and we show a unitary equivalence between skew and symmetric models on colorable complexes. For periodic lattices we complement the universal bounds with exact Floquet--Bloch constants, typically of order $2d$, illustrating both the sharpness in growth and the generality of our method.

In 2018, Cook, Harbourne, Migliore and Nagel introduced the concept of unexpected hypersurfaces, which connects the study of Lefschetz properties of artinian algebras defined by powers of linear forms, to a family of interpolation problems. In this paper, inspired by the theory of unexpected hypersurfaces, we introduce the concept of unexpected systems of parameters for squarefree monomial ideals. Similarly to the setting of points, we show that the existence of an unexpected system of parameters causes a certain algebra to fail the weak Lefschetz property. We then explore combinatorial interpretations of unexpected systems of parameters, and show that this notion is intrinsically related to the theory of balanced complexes. A consequence of our results is that the theory of Rees algebras turns out to be a powerful tool for studying the existence of systems of parameters satisfying special properties.

In this paper, we study a class $\mathcal{C}$ of squarefree monomial ideals $I\subseteq R=\mathbb{K}[x_1,\dots,x_n]$ over a field $\mathbb{K}$, defined by the condition that $\dim R/I$ equals the maximum degree of the minimal generators of $I$ minus one. We show that the Stanley-Reisner ideal of every $i$-skeleton of a simplicial complex $Δ$ belongs to $\mathcal{C}$ for all $-1\le i<\dimΔ$. To investigate their homological properties, we introduce the notion of a degree resolution and prove that every ideal in $\mathcal{C}$ possesses this property. Moreover, we show that every squarefree monomial ideal admits a truncation whose regularity coincides with that of the original ideal, thereby reducing the study of degree resolutions to that of linear resolutions. Finally, we provide an explicit formula describing the relationship between the graded Betti numbers of a simplicial complex and those of its skeletons.

Let $μ$ be a probability distribution on a multi-state spin system on a set $V$ of sites. Equivalently, we can think of this as a $d$-partite simplical complex with distribution $μ$ on maximal faces. For any pair of vertices $u,v\in V$, define the pairwise spectral influence $\mathcal{I}_{u,v}$ as follows. Let $σ$ be a choice of spins $s_w\in S_w$ for every $w\in V \setminus \{u,v\}$, and construct a matrix in $\mathbb{R}^{(S_u\cup S_v)\times (S_u\cup S_v)}$ where for any $s_u\in S_u, s_v\in S_v$, the $(us_u,vs_v)$-entry is the probability that $s_v$ is the spin of $v$ conditioned on $s_u$ being the spin of $u$ and on $σ$. Then $\mathcal{I}_{u,v}$ is the maximal second eigenvalue of this matrix, over all choices of spins for all $w \in V \setminus \{u,v\}$. Equivalently, $\mathcal{I}_{u,v}$ is the maximum local spectral expansion of links of codimension $2$ that include a spin for every $w \in V \setminus \{u,v\}$. We show that if the largest eigenvalue of the pairwise spectral influence matrix with entries $\mathcal{I}_{u,v}$ is bounded away from 1, i.e. $λ_{\max}(\mathcal{I})\leq 1-ε$ (and $X$ is connected), then the Glauber dynamics mixes rapidly and generate samples from $μ$. This improves/generalizes the classical Dobrushin's influence matrix as the $\mathcal{I}_{u,v}$ lower-bounds the classical influence of $u\to v$. As a by-product, we also prove improved/almost optimal trickle-down theorems for partite simplicial complexes. The proof builds on the trickle-down theorems via $\mathcal{C}$-Lorentzian polynomials machinery recently developed by the authors and Lindberg.

We provide necessary and sufficient conditions for simplicial complexes whose determinantal facet ideals admit reduced Grobner bases under diagonal term orders. Building on and extending foundational results for binomial edge ideals and determinantal ideals, we introduce two new classes of simplicial complexes-strong closed and poor closed-that generalize the notion of closedness in higher dimensions. Our main theorem offers a unified framework that recovers and refines several known results, including those for unit interval graphs and determinantal ideals of complete graphs. In particular, we correct and generalize prior characterizations of Grobner bases for determinantal facet ideals, establishing radicality for strong closed complexes and providing a new proof for the Grobner basis of maximal minors.

Strongly robust toric ideals are the toric ideals for which the set of indispensable binomials is the Graver basis. The strongly robust simplicial complex $Δ_T$ of a simple toric ideal $I_T$ determines the strongly robust property for all toric ideals that have $I_T$ as their bouquet ideal. We prove that $\text{dim} Δ_T<\text{rank}(T)$ for configurations in general position, partially answering a question posed by Sullivant.

We present the notion of facet-complexity, $\text{C}(\mathsf{L};\mathsf{K})$, for two simplicial complexes $\mathsf{L}$ and $\mathsf{K}$, along with basic results for this numerical invariant. This invariant $\text{C}(\mathsf{L};\mathsf{K})$ quantifies the \aspas{complexity} of the following question: When does there exist a facet simplicial map $\mathsf{L}\to \mathsf{K}$? A facet simplicial map is a simplicial map that preserves non-unitary facets. Likewise, we introduce the notion of injective facet-complexity, $\text{IC}(\mathsf{L};\mathsf{K})$. These invariants generalize the notion of (injective) hom-complexity between graphs, recently introduced by Zapata et al. We demonstrate a triangular inequality for (injective) facet-complexity and show that it is a simplicial complex invariant. Additionally, these invariants provide an obstruction to the existence of facet simplicial maps. We explore the sub-additivity of (injective) facet-complexity and we present a lower bound in terms of the chromatic number. Moreover, we provide an upper bound for $\mathrm{C}(\mathsf{L};\mathsf{H})$ in terms of the number of facets of $L$. Finally, we establish a formula for $\mathrm{IC}(\mathsf{L};\mathsf{K})$ when $\mathsf{L}$ is a pure simplicial complex and $K$ is a complete simplicial complex.

We prove that $7$-located locally $5$-large simplicial complexes are aspherical.

We prove that in any $\mathbb{Z}^n$-periodic triangulation of $\mathbb{R}^n$ the number of $\mathbb{Z}^n$-orbits of $n$-dimensional simplices is at least the tensor rank of the $n$th determinant tensor. The latter is known to be at least $\frac{n^{n-1}}{(n-1)!}$, which is approximately $\frac{e^n}{\sqrt{2πn}}$ for large $n$. The triangulation is not assumed to be geometric, meaning that its simplices can be ``curved''. We also provide lower bounds for general spaces. A simplicial cell complex is a CW-complex glued out of simplices with the attaching maps being simplicial embeddings; this notion generalizes simplicial complexes. We prove that if $X$ is a simplicial cell complex with cohomological classes $α_i\in H^{d_i}(X;\mathbb{Z}_2)$ satisfying \[ α_1 \smile α_2 \smile \ldots \smile α_n \neq 0, \] then $X$ has at least $2^n$ simplices of dimension $d_1+d_2+\ldots+d_n$. In particular, a simplicial cell complex homeomorphic to $\mathbb{R} P^n$, $\mathbb{C} P^n$, or $(S^2)^n$, has at least $2^n$ top-dimensional simplices. A crystallization of a manifold is a simplicial cell complex homeomorphic to this manifold and having the least possible number of vertices. We give a short explicit construction of a crystallization and a triangulation of $\mathbb{R}^n/\mathbb{Z}^n$ with $n+1$ and $2^{n+1}-1$ vertices, resp. Triangulations with this many vertices were described before and no smaller triangulation is known.

Finding a non-sofic hyperbolic group will resolve two major problems in geometric group theory: Are there non sofic groups? Are there non residually finite hyperbolic groups? In this paper, we propose a new probabilistic approach to this problem, based on the cocycle stability in permutations of random 2-dimensional Linial-Meshulam complexes. Specifically, we study their cocycle stability rate, which measures how far cochains with small coboundaries are from being cocycles. Our main contribution is the following: If, in a middle triangle density range, these random complexes typically have a linear cocycle stability rate, then there exists a non-sofic hyperbolic group. Our proof method is inspired by a well known fact about the non local testability of Sipser-Spielman expander codes.

This work analyzes and compares the asymptotic properties of the covariance matrices of vectors of volume power functionals of random Vietoris-Rips complexes, as the intensity of the underlying homogeneous Poisson point process grows. Several key results are established which, in particular, generalize well-known facts on random graphs. Findings regarding rank, definiteness, determinant, eigenspaces, and related decompositions are presented within three distinct regimes. Moreover, we derive stochastic applications of these algebraic properties, leading to interesting results for vectors of volume power functionals.

Given a Bridgeland stability condition on a 2-Calabi--Yau category, we define a simplicial complex that encodes the Harder--Narasimhan filtrations of spherical objects. For 2-Calabi--Yau categories of type A, we relate this complex to the complex of pointed pseudo-triangulations on configurations of points on the plane. Using this connection, we prove that the complex undergoes piecewise-linear wall-crossings as we vary the stability condition, and is piecewise-linearly homeomorphic to a sphere. Additionally, we prove that for a generic stability condition on a 2-Calabi--Yau category, a spherical object is determined by the ordered list of its Harder--Narasimhan factors.

We show that any action of a finite group on a finitely presentable group arises as the action of the group of self-homotopy equivalences of a space on its fundamental group. In doing so, we prove that any finite connected (abstract) simplicial complex $\mathbf{K}$ can be rigidified -- meaning it can be perturbed in a way that reduces the full automorphism group to any subgroup -- while preserving the homotopy type of the geometric realization $| \mathbf{K} |$. We also obtain that every action of a finite group on a finitely generated abelian group is the action of the group of self-homotopy equivalences of a space on one of its higher homotopy groups.

We develop a limit theory for $1$-cochains of complete graphs with coefficients from a finite abelian group. We prove an analogue of the large deviation principle of Chatterjee and Varadhan for random cochains. We use these new tools to prove results about the homology of random $2$-dimensional simplicial complexes. More specifically, we prove that if $T_n$ is a random $2$-dimensional determinantal hypertree on $n$ vertices and $p$ is any prime, then \[\frac{\dim H_1(T_n,\mathbb{F}_p)}{n^2}\] converges to zero in probability. The same result holds for random $1$-out 2-complexes.

Let $X$ be a pure $d$-dimensional simplicial complex. For $0\le k\le d$, let $X(k)$ be the set of $k$-dimensional faces of $X$, let $\tilde{L}_k(X)$ be the $k$-dimensional weighted total Laplacian operator on $X$, and let $\tilde{H}_k(X;\mathbb{R})$ be its $k$-dimensional reduced homology group with real coefficients. For $σ\in X$, let $\text{lk}(X,σ)$ be the link of $σ$ in $X$. For a matrix $M$, we denote by $\text{Spec}(M)$ the multi-set containing all the eigenvalues of $M$. We show that, for every $0\le \ell<k \le d$, \[ \text{dim}(\tilde{H}_k(X;\mathbb{R}))\le \sum_{η\in X(\ell)}\left| \left\{ λ\in \text{Spec}(\tilde{L}_{k-\ell-1}(\text{lk}(X,η))) :\, λ\le \frac{(\ell+1)(d-k)}{k+1}\right\}\right|. \] This extends the classical vanishing theorem of Garland, corresponding to the special case when the right hand side of the inequality is equal to zero, and a more recent result by Hino and Kanazawa, corresponding to the case $\ell=k-1$. A main new ingredient in our proof is an abstract version of Garland's local to global principle, which follows as a simple consequence of the eigenvalue interlacing theorem, and may be of independent interest.