arXiv++ Combinatorics

A $(d-1)$-dimensional simplicial complex $Δ$ is balanced if its graph $G(Δ)$ is $d$-colorable. Klee and Novik obtained the balanced lower bound theorem for balanced normal $(d-1)$-pseudomanifolds $Δ$ with $d\geq3$ by showing that the subgraph of $G(Δ)$ induced by the vertices colored in $T$ is rigid in $\mathbb{R}^3$ for any $3$ colors $T$. We show that the same rigidity result, and thus the balanced lower bound theorem, holds for balanced minimal $(d-1)$-cycle complexes with $d \geq 3$. Motivated by the Stanley's work on a colored system of parameters for the Stanley-Reisner ring of balanced simplicial complexes, we further investigate the infinitesimal rigidity of non-generic realization of balanced, and more broadly $\bm{a}$-balanced, simplicial complexes. Among other results, we show that for $d \geq 4$, a balanced homology $(d-1)$-manifold can be realized as an infinitesimally rigid framework in $\mathbb{R}^d$ such that each vertex of color $i$ lies on the $i$th coordinate axis.

A simplicial complex $H$ consists of a pair of sets $(V,E)$ where $V$ is a set of vertices and $E\subseteq\mathscr{P}(V)$ is a collection of subsets of $V$ closed under taking subsets. Given a simplicial complex $F$ and $n\in \mathbb N$, the extremal number $\text{ex}(n,F)$ is the maximum number of edges that a simplicial complex on $n$ vertices can have without containing a copy of $F$. We initiate the systematic study of extremal numbers in this context by asymptotically determining the extremal numbers of several natural simplicial complexes. In particular, we asymptotically determine the extremal number of a simplicial complex for which the extremal example has more than one incomplete layer.

Firstly, we characterise the embeddability of simply connected locally 3-connected 2-dimensional simplicial complexes in 3-space in a way analogous to Kuratowski's characterisation of graph planarity, by nine excluded minors. This answers questions of Lovász, Pardon and U. Wagner. The excluded minors are the cones over $K_5$ and $K_{3,3}$, five related constructions, and the remaining two are obtained from triangulations of the Möbius strip by attaching a disc at its central cycle. Secondly, we extend the above theorem to all simply connected 2-dimensional simplicial complexes.

The Bier sphere $Bier(\mathcal{G}) = Bier(K) = K\ast_ΔK^\circ$ and the canonical fan $Fan(Γ) = Fan(K)$ are combinatorial/geometric companions of a simple game $\mathcal{G} = (P,Γ)$ (equivalently the associated simplicial complex $K$), where $P$ is the set of players, $Γ\subseteq 2^P$ is the set of wining coalitions, and $K = 2^P\setminus Γ$ is the simplicial complex of losing coalitions. We characterize roughly weighted majority games as the games $Γ$ such that $Bier(\mathcal{G})$ (respectively $Fan(Γ)$) is canonically polytopal (canonically pseudo-polytopal) and show, by an experimental/theoretical argument, that all simple games with at most five players are polytopal.

Cheeger inequality is a classical result emerging from the isoperimetric problem in the field of geometry. In the graph theory, a discrete version of Cheeger inequality was also studied deeply and the notion was further extended for higher dimensional simplicial complexes in various directions. In this paper, we consider an analogue of discrete Cheeger inequality for high dimensional simplicial complexes from a combinatorial viewpoint.

We study a number of topics in the theory of Boolean Representable Simplicial Complexes (BRSC). These include various operators on BRSC. We look at shellability in higher dimensions and propose a number of new conjectures.

The $m$-neighbor complex of a graph is the simplicial complex in which faces are sets of vertices with at least $m$ common neighbors. We consider these complexes for Erdos-Renyi random graphs and find that for certain explicit families of parameters the resulting complexes are with high probability $(t-1)$-dimensional with all $(t-2)$-faces and each $(t-1)$-face present with a fixed probability. Unlike the Linial-Meshulam measure on the same complexes there can be correlations between pairs of $(t-1)$-faces but we conjecture that the two measures converge in total variation for certain parameter sequences.

This paper is concerned with finding bounds on betti numbers and describing combinatorially and topologically (minimal) free resolutions of powers of ideals generated by a fixed number $q$ of square-free monomials. Among such ideals, we focus on a specific ideal $\mathcal{E}_q$, which we call {\it extremal}, and which has the property that for each $r\ge 1$ the betti numbers of ${\mathcal{E}_q}^r$ are an upper bound for the betti numbers of $I^r$ for any ideal $I$ generated by $q$ square-free monomials (in any number of variables). We study the Scarf complex of the ideals ${\mathcal{E}_q}^r$ and use this simplicial complex to extract information on minimal free resolutions. In particular, we show that ${\mathcal{E}_q}^r$ has a minimal free resolution supported on its Scarf complex when $q\leq 4$ or when $r\leq 2$, and we describe explicitly this complex. For any $q$ and $r$, we also show that $β_1({\mathcal{E}_q}^r)$ is the smallest possible, or in other words equal to the number of edges in the Scarf complex. These results lead to effective bounds on the betti numbers of $I^r$, with $I$ as above. For example, we obtain that pd$(I^r)\leq 5$ for all ideals $I$ generated by $4$ square-free monomials and any $r\geq 1$.

We investigate the algebraic properties of the coordinate ring of grid polyominoes. This class of non-simple and thin polyominoes was introduced by Mascia, Rinaldo, and Romeo, but not much is known about their polyomino ideals, $I_{\mathcal{P}}$, and their related coordinate ring, $K[\mathcal{P}]$. We give a formula for the Krull dimension of $K[\mathcal{P}]$ in terms of the combinatorics of the polyomino and we prove that $I_{\mathcal{P}}$ is of König type if and only if the polyomino has exactly one hole. In addition, we study a Conjecture of Rinaldo and Romeo which characterizes the thin polyominoes, and we confirm it for grid polyominoes. Namely, in the main result of this article, we prove that the $h$-polynomial of $K[\mathcal{P}]$ is equal to the rook polynomial of $\mathcal{P}$, and, as a consequence, the Castelnuovo-Mumford regularity of $K[\mathcal{P}]$ is equal to $r(\mathcal{P})$, the maximum number of rooks that can be placed in $\mathcal{P}$ in non-attacking positions. Our method to prove this result is based on the theory of simplicial complexes. We provide a suitable shelling order for $Δ_{\mathcal{P}}$, the simplicial complex attached to $\mathcal{P}$ in relation to a generalized step of a facet, and we show that there is a one-to-one correspondence between the facets of $Δ_{\mathcal{P}}$ with $k$ generalized steps and the $k$-rook configurations in $\mathcal{P}$.

Each connected graded, graded-commutative algebra $A$ of finite type over a field $\Bbbk$ of characteristic zero defines a complex of finitely generated, graded modules over a symmetric algebra, whose homology graded modules are called the (higher) Koszul modules of $A$. In this note, we investigate the geometry of the support loci of these modules, called the resonance schemes of the algebra. When $A=\Bbbk\langle Δ\rangle$ is the exterior Stanley-Reisner algebra associated to a finite simplicial complex $Δ$, we show that the resonance schemes are reduced. We also compute the Hilbert series of the Koszul modules and give bounds on the regularity and projective dimension of these graded modules. This leads to a relationship between resonance and Hilbert series that generalizes a known formula for the Chen ranks of a right-angled Artin group.

By a classical result of Brodmann, the function $\operatorname{depth} R/I^t$ is asymptotically a constant, i.e. there is a number $s$ such that $\operatorname{depth} R/I^t = \operatorname{depth} R/I^s$ for $t > s$. One calls the smallest number $s$ with this property the index of depth stability of $I$ and denotes it by $\operatorname{dstab}(I)$. This invariant remains mysterious til now. The main result of this paper gives an explicit formula for $\operatorname{dstab}(I)$ when $I$ is an arbitrary ideal generated by squarefree monomials of degree 2. That is the first general case where one can characterize $\operatorname{dstab}(I)$ explicitly. The formula expresses $\operatorname{dstab}(I)$ in terms of the associated graph. The proof involves new techniques which relate different topics such as simplicial complexes, systems of linear inequalities, graph parallelizations, and ear decompositions. It provides an effective method for the study of powers of edge ideals.

Forman-Ricci curvature (FRC) is a potent and powerful tool for analysing empirical networks, as the distribution of the curvature values can identify structural information that is not readily detected by other geometrical methods. Crucially, FRC captures higher-order structural information of clique complexes of a graph or Vietoris-Rips complexes, which is not readily accessible to alternative methods. However, existing FRC platforms are prohibitively computationally expensive. Therefore, herein we develop an efficient set-theoretic formulation for computing such high-order FRC in simplicial complexes. Significantly, our set theory representation reveals previous computational bottlenecks and also accelerates the computation of FRC. Finally, We provide a pseudo-code, a software implementation coined FastForman, as well as a benchmark comparison with alternative implementations. We envisage that FastForman will be used in Topological and Geometrical Data analysis for high-dimensional complex data sets. Moreover, our development paves the way for future generalisations towards efficient computations of FRC on cell complexes.

Let $\text{Fl}_{n,q}$ be the simplicial complex whose vertices are the non-trivial subspaces of $\mathbb{F}_q^n$ and whose simplices correspond to families of subspaces forming a flag. Let $Δ^{+}_k(\text{Fl}_{n,q})$ be the $k$-dimensional weighted upper Laplacian on $ \text{Fl}_{n,q}$. The spectrum of $Δ^{+}_k(\text{Fl}_{n,q})$ was first studied by Garland, who obtained a lower bound on its non-zero eigenvalues. Here, we focus on the $k=0$ case. We determine the asymptotic behavior of the eigenvalues of $Δ_{0}^{+}(\text{Fl}_{n,q})$ as $q$ tends to infinity. In particular, we show that for large enough $q$, $Δ_{0}^{+}(\text{Fl}_{n,q})$ has exactly $\left\lfloor n^2/4\right\rfloor+2$ distinct eigenvalues, and that every eigenvalue $λ\neq 0,n-1$ of $Δ_{0}^{+}(\text{Fl}_{n,q})$ tends to $n-2$ as $q$ goes to infinity. This solves the $0$-dimensional case of a conjecture of Papikian.

The Leray number of an abstract simplicial complex is the minimal integer $d$ where its induced subcomplexes have trivial homology groups in dimension $d$ or greater. We give an upper bound on the Leray number of a complex in terms of how the facets are attached to each other. We also describe the structure of complexes for the equality of the bound that we found. Through the Stanley-Reisner correspondence, our results give an Eisenbud-Goto type inequality for any square-free monomial ideals. This generalizes Terai's result.

Garland introduced a vanishing criterion for a characteristic zero cohomology group of a locally finite and locally connected simplicial complex. The criterion is based on the spectral gaps of the graph Laplacians of the links of faces and has turned out to be effective in a wide range of examples. In this note we extend the approach to include a range of non-simplicial (co)chain complexes associated to combinatorial structures we call Garland posets and elaborate further on the case of cubical complexes.

Action convergence provides a limit theory for linear bounded operators $A_n:L^{\infty}(Ω_n)\longrightarrow L^1(Ω_n)$ where $Ω_n$ are potentially different probability spaces. This notion of convergence emerged in graph limits theory as it unifies and generalizes many notions of graph limits. We generalize the theory of action convergence to sequences of multi-linear bounded operators $A_n:L^{\infty}(Ω_n)\times \ldots \times L^{\infty}(Ω_n)\longrightarrow L^1(Ω_n)$. Similarly to the linear case, we obtain that for a uniformly bounded (under an appropriate norm) sequence of multi-linear operators, there exists an action convergent subsequence. Additionally, we explain how to associate different types of multi-linear operators to a tensor and we study the different notions of convergence that we obtain for tensors and in particular for adjacency tensors of hypergraphs. We obtain several hypergraphs convergence notions and we link these with the hierarchy of notions of quasirandomness for hypergraph sequences. This convergence also covers sparse and inhomogeneous hypergraph sequences and it preserves many properties of adjacency tensors of hypergraphs. Moreover, we explain how to obtain a meaningful convergence for sequences of non-uniform hypergraphs and, therefore, also for simplicial complexes. Additionally, we highlight many connections with the theory of dense uniform hypergraph limits (hypergraphons) and we conjecture the equivalence of this theory with a modification of multi-linear action convergence.

The (weak) chromatic number of a hypergraph $H$, denoted by $χ(H)$, is the smallest number of colors required to color the vertices of $H$ so that no hyperedge of $H$ is monochromatic. For every $2\le k\le d+1$, denote by $χ_L(k,d)$ (resp. $χ_{PL}(k,d)$) the supremum $\sup_H χ(H)$ where $H$ runs over all finite $k$-uniform hypergraphs such that $H$ forms the collection of maximal faces of a simplicial complex that is linearly (resp. PL) embeddable in $\mathbb{R}^d$. Following the program by Heise, Panagiotou, Pikhurko and Taraz, we improve their results as follows: For $d \geq 3$, we show that A. $χ_L(k,d)=\infty$ for all $2\le k\le d$, B. $χ_{PL}(d+1,d)=\infty$ and C. $χ_L(d+1,d)\ge 3$ for all odd $d\ge 3$. As an application, we extend the results by Lutz and Møller on the weak chromatic number of the $s$-dimensional faces in the triangulations of a fixed triangulable $d$-manifold $M$: D. $χ_s(M)=\infty$ for $1\leq s \leq d$.

The independence complex of a graph $G=(V,E)$ is the simplicial complex $I(G)$ on vertex set $V$ whose simplices are the independent sets in $G$. We present new lower bounds on the eigenvalues of the $k$-dimensional Laplacian $L_k(I(G))$ in terms of the eigenvalues of the graph Laplacian $L(G)$. As a consequence, we show that for all $k\geq 0$, the dimension of the $k$-th reduced homology group (with real coefficients) of $I(G)$ is at most \[ \left| \left\{ 1\leq i_1<\cdots<i_{k+1}\leq |V| : \, λ_{i_1}+λ_{i_2}+\cdots+λ_{i_{k+1}} \geq |V|\right\}\right|,\] where $λ_1\geqλ_2\geq \cdots\geq λ_{|V|}=0$ are the eigenvalues of $L(G)$. In particular, if $k$ is the minimal number such that the sum of the $k$ largest eigenvalues of $L(G)$ is at least $|V|$, then $\tilde{H}_i(I(G);\mathbb{R})=0$ for all $i\leq k-2$. This extends previous results by Aharoni, Berger and Meshulam. Our proof relies on a relation between the $k$-dimensional Laplacian $L_k(I(G))$ and the $(k+1)$-th additive compound matrix of $L_0(I(G))$, which is an $\binom{n}{k+1}\times\binom{n}{k+1}$ matrix whose eigenvalues are all the possible sums of $k+1$ eigenvalues of the $0$-dimensional Laplacian. Our results apply also in the more general setting of vertex-weighted Laplacian matrices.

Given a graph $G$, we define a filtration of simplicial complexes associated to $G$, $\mathcal{F}_0(G)\subseteq\mathcal{F}_1(G)\subseteq\cdots\subseteq\mathcal{F}_\infty(G)$ where the first complex is the independence complex and the last the complex is formed by the acyclic sets of vertices. We prove some properties of this filtration and we calculate the homotopy type for various families of graphs. We give an upper bound for the decycling number and generalizations of this parameter using the dimensions of the rational cohomology groups of these complexes. We also derive an upper bound for the Fibonacci numbers of ternary graphs.

Various simplicial complexes can be associated with a graph. Box complexes form an important families of such simplicial complexes and are especially useful for providing lower bounds on the chromatic number of the graph via some of their topological properties. They provide thus a fascinating topic mixing topology and discrete mathematics. This paper is intended to provide an up-do-date survey on box complexes. It is based on classical results and recent findings from the literature, but also establishes new results improving our current understanding of the topic, and identifies several challenging open questions.