arXiv++ Combinatorics

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.

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.

We study transformations between discrete Morse functions on a finite simplicial complex via birth-death transitions--elementary chain maps between discrete Morse complexes that either create or cancel pairs of critical simplices. We prove that any two discrete Morse functions $f_1$, $f_2$ on a finite simplicial complex $K$ are linked by a finite sequence of such transitions.As applications, we present alternative proofs of several of Forman's fundamental results in discrete Morse theory and study the topology of the space of discrete Morse functions.

Dehn-Sommerville manifolds are a class of finite abstract simplicial complexes that generalize discrete manifolds. Despite a simpler definition in comparison to manifolds, they still share most properties of manifolds. They especially satisfy all Dehn-Sommerville symmetries telling that half of the f-vector entries are redundant. They also share other properties with q-manifolds: for every Dehn-Sommerville q-manifold G and any function g: V(G) to A={0, ..., k} with positive k, the set of x such that g(x) contains A is a Dehn-Sommerville (q-k)-manifold if not empty. We also see that for Dehn-Sommerville q-manifolds, all higher characteristics w_m(G) agree with Euler characteristic that the chromatic number is bounded above by 2q+2 and that odd-dimensional Dehn-Sommerville manifolds are flat and form a monoid under the join operation. In general, Dehn-Sommerville manifolds are invariant under edge refinement, Barycentric refinement and Cartesian products.

An abstract simplicial complex $\mathbf{F}$ is a non-uniform hypergraph without isolated vertices, whose edge set is closed under taking subsets. The extremal number $\mathrm{ex}(n,\mathbf{F})$ is the maximum number of edges in an $\mathbf{F}$-free simplicial complex on $n$ vertices. This extremal number is naturally related to the generalised Turán numbers of certain underlying hypergraphs. Making progress in a problem raised by Conlon, Piga, and Schülke, we find large classes of simplicial complexes whose extremal numbers are determined by the respective generalised hypergraph Turán numbers. We also provide simplicial complexes for which such a relation does not hold.

In this paper we show that the Matsushita model structure on loop graphs, which is right-transferred from the Kan-Quillen model structure on simplicial sets, factors through two other right-transferred model structures on simplicial complexes and reflexive graphs. We show that each Quillen adjunction between these right-transferred model categories is a Quillen equivalence. These model structures are analogous to the Thomason model structure on small categories, and we prove that they are all cofibrantly generated and proper. Furthermore we show that all cofibrant simplicial complexes are flag complexes, and all forests are cofibrant.

We derive Moore-type upper bounds for regular simplicial complexes and present logarithmic lower bounds on their diameter based on minimum degree.

Let $X$ be a simplicial complex. For $1\le i\le\dim(X)$, let $X(i)$ be the set of $i$-dimensional faces of $X$, and let $f_i(X)=|X(i)|$. For $0\le i\le \dim(X)-1$, let $L_i^+(X)$ be the $i$-th upper Laplacian operator of $X$. For $σ\in X$ and $1\le r\le \dim(X)$, we denote by $\text{deg}_X^{(r)}(σ)$ the number of $r$-dimensional faces of $X$ containing $σ$. For a symmetric matrix $M\in \mathbb{R}^{n\times n}$ and $1\le i\le n$, let $λ_i(M)$ be the $i$-th largest eigenvalue of $M$. We prove that for every complex $X$, $1\le r\le\dim(X)$, and $1\le k\le f_{r-1}(X)/(r+1)$, \[ \sum_{i=1}^k λ_i(L_{r-1}^+(X)) \le \max \left\{ \sum_{σ\in A} \text{deg}_X^{(r)}(σ) :\, A\subset X(r-1),\, |A|=(r+1)k \right\}. \] This bound is sharp, and it extends a classical result of Anderson and Morley, corresponding to the special case $k=1,\, r=1$. As a consequence, we show that for all $1\le r\le \dim(X)$ and $1\le k\le f_{r-1}(X)$, \[ \sum_{i=1}^{k} λ_i(L_{r-1}^+(X)) \le f_r(X) + \binom{(r+1)k}{2}. \] In the case $r=1$, we obtain the following improved bound: for every $k\ge 1$ and every graph $G=(V,E)$ with $|V|\ge k$, \[ \sum_{i=1}^k λ_i(L(G)) \leq |E|+k^2, \] where $L(G)=L_0^{+}(G)$ is the Laplacian matrix of $G$. This improves upon previously known bounds for all $k\ge 3$, and may be seen as a further step towards Brouwer's conjecture, which states that $\sum_{i=1}^k λ_i(L(G)) \leq |E|+\binom{k+1}{2}.$ As an additional application, we show that if $X$ is an $(r+1)$-partite $r$-dimensional simplicial complex on vertex set $V$, and $1\le k\le f_{r-1}(X)$, then \[ \sum_{i=1}^{k} λ_i(L_{r-1}^+(X)) \le \sum_{i=1}^k \left|\{v\in V:\, \text{deg}^{(r)}_X(v)\ge i\}\right|. \] This resolves a special case of a conjecture of Duval and Reiner, which states that the above inequality holds for all simplicial complexes.

A well-known conjecture of Simon (1994) states that any pure $d$-dimensional shellable complex on $n$ vertices can be extended to $Δ_{n-1}^{(d)}$, the $d$-skeleton of the $(n-1)$-dimensional simplex, by attaching one facet at a time while maintaining shellability. The notion of $k$-decomposability for simplicial complexes, which generalizes shellability, was introduced by Provan and Billera (1980). Coleman, Dochtermann, Geist, and Oh (2022) showed that any pure $d$-dimensional $0$-decomposable complex on $n$ vertices can similarly be extended to $Δ_{n-1}^{(d)}$, attaching one facet at a time while preserving $0$-decomposability. In this paper, we investigate the analogous question for $1$-decomposable complexes. We prove a slightly relaxed version: any pure $d$-dimensional $1$-decomposable complex on $n$ vertices can be extended to $Δ_{n + d - 3}^{(d)}$, attaching one facet at a time while maintaining $1$-decomposability.

Linear resolutions and the stronger notion of linear quotients are important properties of monomial ideals. In this paper, we fully characterize linear quotients in terms of the lcm-lattice of monomial ideals. We also formulate an analogous characterization for monomial ideals with linear resolutions, making explicit a relationship that is implicit in the existing literature. These results complement characterizations of these two properties in terms of the Alexander dual of the corresponding Stanley-Reisner simplicial complex. In addition, we discuss applications to the case of edge ideals.

The Turán problem for hypergraphs and its spectral version is a central and challenging topic in extremal combinatorics. In this paper, we view hypergraphs from the perspective of simplicial complexes, and investigate the spectral version of Turán problem for simplicial complexes. We characterize the simplicial complex that maximizes the signless Laplacian spectral radius among all hole-free simplicial complexes, and establish an upper bound on the spectral radius for simplicial complexes with a prescribed Betti number. As an application, we derive bounds on Turán numbers for both hypergraphs and simplicial complexes via the connection between the spectral radius and the face numbers.

As a discretization of the Hodge Laplacian, the combinatorial Laplacian of simplicial complexes has garnered significant attention. In this paper, we study combinatorial Laplacians for complex pairs $(X, A)$, where $A$ is a subcomplex of a simplicial complex $X$. We establish a relative version of the matrix-tree theorem for complex pairs, which generalizes both the matrix-tree theorem for simplicial complexes proved by Duval, Klivans, and Martin (2009) and the result for Dirichlet eigenvalues of graph pairs by Chung (1996). Furthermore, we derive several lower bounds for the spectral gaps of complex pairs and characterize the equality case for one sharp lower bound. As by-products, we obtain sufficient conditions for the vanishing of relative homology. Our results demonstrate that the combinatorial Laplacians for complex pairs are closely related to relative homology.

The aim of this paper is twofold. First, we demonstrate how Riordan matrices can be employed to connect well-known concepts in geometric combinatorics, such as $f$-vectors, $h$-vectors $γ$-vectors, in a similar fashion to the McMullen Correspondence, and the Dehn-Sommerville equations, among others. Second, we investigate the combinatorial properties of the topological join operation, both for simplicial complexes and for Alexandroff spaces. Finally, we explore the Riordan matrices arising from the iteration of this topological operation and analyze their properties.

We investigate simplicial complexes deterministically growing from a single vertex. In the first step, a vertex and an edge connecting it to the primordial vertex are added. The resulting simplicial complex has a 1-dimensional simplex and two 0-dimensional faces (the vertices). The process continues recursively: On the $n$-th step, every existing $d-$dimensional simplex ($d\leq n-1$) joins a new vertex forming a $(d+1)-$dimensional simplex; all $2^{d+1}-2$ new faces are also added so that the resulting object remains a simplicial complex. The emerging simplicial complex has intriguing local and global characteristics. The number of simplices grows faster than $n!$, and the upper-degree distributions follow a power law. Here, the upper degree (or $d$-degree) of a $d$-simplex refers to the number of $(d{+}1)$-simplices that share it as a face. Interestingly, the $d$-degree distributions evolve quite differently for different values of $d$. We compute the Hodge Laplacian spectra of simplicial complexes and show that the spectral and Hausdorff dimensions are infinite. We also explore a constrained version where the dimension of the added simplices is fixed to a finite value $m$. In the constrained model, the number of simplices grows exponentially. In particular, for $m=1$, the spectral dimension is $2$. For $m=2$, the spectral dimension is finite, and the degree distribution follows a power law, while the $1$-degree distribution decays exponentially.

We prove a relatively simple combinatorial characterization of simplicial $d$-spheres on $d+4$ vertices. Our criteria are given in terms of the intersection patterns of a simplicial complex's family of minimal non-faces. Namely, let $Σ$ be a simplicial complex on $d+4$ vertices and let $\mathcal{F}$ be its family of minimal non-faces. Then $Σ$ is a $d$-sphere if and only if $|\mathcal{F}|=n\geq 3$ is odd and there is an ordering $A_0,\ldots, A_{n-1}$ of the minimal non-faces, indices taken modulo $n$, such that successive $A_i$ are disjoint and the alternating $\frac{(n-1)}{2}$-fold intersections $A_i\cap A_{i+2} \cap A_{i+4} \cap \cdots \cap A_{i+n-3}$ partition the vertex set.

Persistent homology has been studied to better understand the structural properties and topology features of weighted networks. It can reveal hidden layers of information about the higher-order structures formed by non-pairwise interactions in a network. Studying of higher-order interactions (HoIs) of a system provides a more comprehensive understanding of the complex system; moreover, it is a more precise depiction of the system as many complex systems, such as ecological systems and biological systems, etc., demonstrate HoIs. In this study, the weighted simplicial adjacency matrix has been constructed using the concept of adjacency strength of simplices in a clique complex obtained from an unweighted, undirected network. This weighted simplicial adjacency matrix is thus used to calculate the global measure, which is called generalised weighted betweenness centrality, which further helps us in calculating the persistent homology on the given simplicial complex by constructing a filtration on it. Moreover, a local measure called maximal generalised degree centrality has also been established for better understanding of the network topology of the studied simplicial complex. All the generalizations given in this work can be reduced to the graph-theoretic case. i.e., for a simplicial complex of dimension 1. Three different filtration schemes for constructing the sequence of simplicial complexes have been given with the help of both global and local measures, and by using these measures, the topology of higher-order structures of the studied network due to the interactions of their vertices has been compared. Further, the illustration of established definitions has been given using a real-life network by calculating Betti numbers up to dimension two.

The prime simplicial complex $Π(G)$ of a finite group $G$ is composed of all sets of primes $S$ where $G$ has an element of order the product of primes in $S$, with the subsets partially ordered by inclusion. This complex was introduced by Peter Cameron as the generalisation of the well-studied prime (or Gruenberg-Kegel) graphs. In this paper, we establish new results concerning two key properties of $Π(G)$: recognisability and purity. We demonstrate that recognisability by the prime simplicial complex is strictly stronger than recognisability by the prime graph. Notably, we present the first known example of a group that is recognisable by its prime simplicial complex and spectrum, but not by its prime graph, and is not a direct product of two isomorphic simple groups. Furthermore, we classify groups with pure prime simplicial complexes (i.e., all maximal simplices have the same size) across several infinite families of finite simple groups. We also provide a partial classification for non-abelian finite simple groups whose prime simplicial complex has maximal simplices of size at most 2.