arXiv++ Combinatorics

Given a simplicial complex $Δ$, we investigate how to construct a new simplicial complex $\barΔ$ such that the corresponding monomial ideals satisfy nice algebraic properties. We give a procedure to check the vertex decomposability of an arbitrary hypergraph. As a consequence, we prove that attaching non-pure skeletons at all vertices of a cycle cover of a simplicial complex $Δ$ results in a simplicial complex $\barΔ$ such that the associated hypergraph $\mathcal{H}(\barΔ)$ is vertex decomposable. Also, we prove that all symbolic powers of the cover ideal of $\barΔ$ are componentwise linear. Our work generalizes the earlier known result where non-pure complete graphs were added to all vertices of a cycle cover of a graph.

We prove that the second page of the Mayer-Vietoris spectral sequence, with respect to anti-star covers, can be identified with another homological invariant of simplicial complexes: the $0$-degree überhomology. Consequently, we obtain a combinatorial interpretation of the second page of the Mayer-Vietoris sequence in this context. This interpretation is then used to extend the computations of bold homology, which categorifies the connected domination polynomial at $-1$.

In this paper, we study some useful properties of persistent pairs in a discrete Morse function on a simplicial complex $K$. In case of $\dim K=1$ (i.e., a graph), by using the properties, we characterize strongly connectedness of critical simplices between two distinct discrete Morse functions, and relate the number of such pairs to the Euler characteristic of $K$.

We define a family of graphs we call dual systolic graphs. This definition comes from graphs that are duals of systolic simplicial complexes. Our main result is a sharp (up to constants) isoperimetric inequality for dual systolic graphs. The first step in the proof is an extension of the classical isoperimetric inequality of the boolean cube. The isoperimetric inequality for dual systolic graphs, however, is exponentially stronger than the one for the boolean cube. Interestingly, we know that dual systolic graphs exist, but we do not yet know how to efficiently construct them. We, therefore, define a weaker notion of dual systolicity. We prove the same isoperimetric inequality for weakly dual systolic graphs, and at the same time provide an efficient construction of a family of graphs that are weakly dual systolic. We call this family of graphs clique products. We show that there is a non-trivial connection between the small set expansion capabilities and the threshold rank of clique products, and believe they can find further applications.

We show that, if $Γ$ is a point group of $\mathbb{R}^{k+1}$ of order two for some $k\geq 2$ and $\mathcal S$ is a $k$-pseudomanifold which has a free automorphism of order two, then either $\mathcal S$ has a $Γ$-symmetric infinitesimally rigid realisation in $\mathbb{R}^{k+1}$ or $k=2$ and $Γ$ is a half-turn rotation group.This verifies a conjecture made by Klee, Nevo, Novik and Zhang for the case when $Γ$ is a point-inversion group. Our result implies that Stanley's lower bound theorem for centrally symmetric polytopes extends to pseudomanifolds with a free simplicial involution, thus verifying (the inequality part) of another conjecture of Klee, Nevo, Novik and Zheng. Both results actually apply to a much larger class of simplicial complexes, namely the circuits of the simplicial matroid. The proof of our rigidity result adapts earlier ideas of Fogelsanger to the setting of symmetric simplicial complexes.

If K,G are finite abstract simplicial complexes and K is a subcomplex of G then the eigenvalues of the Hodge Laplacian of K are smaller or equal than the eigenvalues of the Hodge Laplacian of G, provided the eigenvalue lists are padded left.

We highlight some features of the SimplicialComplexes package in Macaulay2.

Let $Ass_k(n)$ denote the simplicial complex of $(k+1)$-crossing-free subsets of edges in $\binom{n}{2}$. Here $k,n\in \mathbb{N}$ and $n\ge 2k+1$. It is conjectured that this simplicial complex is polytopal (Jonsson 2005). However, despite several recent advances, this is still an open problem. In this paper we attack this problem using as a vector configuration the rows of a rigidity matrix, namely, hyperconnectivity restricted to bipartite graphs. We see that in this way $Ass_k(n)$ can be realized as a polytope for $k=2$ and $n\le 10$, and as a fan for $k=2$ and $n\le 13$, and for $k=3$ and $n\le 11$. However, we also prove that the cases with $k\ge 3$ and $n\ge \max\{12,2k+4\}$ are not realizable in this way. We also give an algebraic interpretation of the rigidity matroid, relating it to a projection of determinantal varieties with implications in matrix completion, and prove the presence of a fan isomorphic to $Ass_{k-1}(n-2)$ in the tropicalization of that variety.

We consider a certain class of simplicial complexes which includes the independence complexes of forests. We show that if a simplicial complex $K$ belongs to this class, then the polyhedral join $\mathcal{Z}^*_{K}(\underline{X}, \emptyset)$ is homotopy equivalent to a wedge sum of CW complexes of the form $Σ^r X_{i_1} * X_{i_2} * \cdots * X_{i_k}$, where $\underline{X}$ is a family $\{X_i\}_{i \in V(K)}$ of CW complexes and $Σ$ denotes the unreduced suspension. This result is applied to study the homotopy type of the independence complex of the lexicographic product $G[H]$ of a graph $H$ over a forest $G$. We denote by $L_m$ a tree on $m$ vertices with no branches. We show that the geometric realization of the independence complex of $L_m [H]$ is homotopy equivalent to a wedge sum of spheres if $m \neq 2,3$ and the geometric realization of the independence complex of $H$ is homotopy equivalent to a wedge sum of same dimensional spheres.

The purpose of this short note is to guide a reader to a reliable reference for the following result of S. Parsa: For any $k,l\ge2$ there exist simplicial complexes $K, L$ of dimensions $k,l$ such that $K$ does not embed into $\mathbb R^{2k}$, and $L$ does not embed into $\mathbb R^{2l}$, but the join $K*L$ embeds into $\mathbb R^{2(k+l+1)}$.

We introduce the multineighbor complex of a graph, which is a simplicial complex in which a simplex is a subset of the graph with a sufficient number of mutual neighbors. We investigate the asymptotic homological properties of such complexes for the Erdos-Renyi random graphs and obtain a number of vanishing and nonvanishing results. We use this construction to perform a topological data analysis classification of noisy synthetic point clouds obtaining favorable accuracy as obtained by the standard methods. The case when there is a single neighbor has been studied earlier by Mathew Kahle.

Algorithmicists are well-aware that fast dynamic programming algorithms are very often the correct choice when computing on compositional (or even recursive) graphs. Here we initiate the study of how to generalize this folklore intuition to mathematical structures writ large. We achieve this horizontal generality by adopting a categorial perspective which allows us to show that: (1) structured decompositions (a recent, abstract generalization of many graph decompositions) define Grothendieck topologies on categories of data (adhesive categories) and that (2) any computational problem which can be represented as a sheaf with respect to these topologies can be decided in linear time on classes of inputs which admit decompositions of bounded width and whose decomposition shapes have bounded feedback vertex number. This immediately leads to algorithms on objects of any C-set category; these include -- to name but a few examples -- structures such as: symmetric graphs, directed graphs, directed multigraphs, hypergraphs, directed hypergraphs, databases, simplicial complexes, circular port graphs and half-edge graphs. Thus we initiate the bridging of tools from sheaf theory, structural graph theory and parameterized complexity theory; we believe this to be a very fruitful approach for a general, algebraic theory of dynamic programming algorithms. Finally we pair our theoretical results with concrete implementations of our main algorithmic contribution in the AlgebraicJulia ecosystem.

We consider standard graded toric rings $R_Δ$ whose generators correspond to the faces of a simplicial complex $Δ$. When $R_Δ$ is normal, it is shown that its divisor class group is free. For a flag complex $Δ$ which is the clique complex of a perfect graph, a nice description for the class group and the canonical module of $R_Δ$ in terms of the minimal vertex covers of the graph is given. Moreover, for a quasi-forest simplicial complex a quadratic Gröbner basis for the defining ideal of $R_Δ$ is presented. Using this fact we give combinatorial descriptions for the $a$-invariant and the Gorenstein property of $R_Δ$.

The graph Laplacian is a fundamental object in the analysis of and optimization on graphs. This operator can be extended to a simplicial complex $K$ and therefore offers a way to perform ``signal processing" on $p$-(co)chains of $K$. Recently, the concept of persistent Laplacian was proposed and studied for a pair of simplicial complexes $K\hookrightarrow L$ connected by an inclusion relation, further broadening the use of Laplace-based operators. In this paper, we expand the scope of the persistent Laplacian by generalizing it to a pair of simplicial complexes connected by a simplicial map $f: K \to L$. Such simplicial map setting arises frequently, e.g., when relating a coarsened simplicial representation with an original representation, or the case when the two simplicial complexes are spanned by different point sets i.e. cases in which it does not hold that $K\subset L$. However, the simplicial map setting is more challenging than the inclusion setting since the underlying algebraic structure is more complicated. We present a natural generalization of the persistent Laplacian to the simplicial setting. To shed insight on the structure behind it, as well as to develop an algorithm to compute it, we exploit the relationship between the persistent Laplacian and the Schur complement of a matrix. A critical step is to view the Schur complement as a functorial way of restricting a self-adjoint PSD operator to a given subspace. As a consequence, we prove that persistent Betti numbers of a simplicial map can be recovered by persistent Laplacians. We then propose an algorithm for finding the matrix representations of persistent Laplacians which in turn yields a new algorithm for computing persistent Betti numbers of a simplicial map. Finally, we study the persistent Laplacian on simplicial towers under simplicial maps and establish monotonicity results for their eigenvalues.

The higher characteristics w_m(G) for a finite abstract simplicial complex G are topological invariants that satisfy k-point Green function identities and can be computed in terms of Euler characteristic in the case of closed manifolds, where we give a new proof of w_m(G)=w_1(G). Also the sphere formula generalizes: for any simplicial complex, the total higher characteristics of unit spheres at even dimensional simplices is equal to the total higher characteristic of unit spheres at odd dimensional simplices.

The Golodness of a simplicial complex is defined algebraically in terms of the Stanley-Reisner ring, and it has been a long-standing problem to find its combinatorial characterization. The tightness of a simplicial complex is a combinatorial analogue of a tight embedding of a manifold into the Euclidean space, and has been studied in connection to minimal manifold triangulations. In this paper, we prove that tight complexes are Golod, and as a corollary, we obtain that for triangulations of closed connected orientable manifolds, the Golodness and the tightness are equivalent.

Rank-based linkage is a new tool for summarizing a collection $S$ of objects according to their relationships. These objects are not mapped to vectors, and ``similarity'' between objects need be neither numerical nor symmetrical. All an object needs to do is rank nearby objects by similarity to itself, using a Comparator which is transitive, but need not be consistent with any metric on the whole set. Call this a ranking system on $S$. Rank-based linkage is applied to the $K$-nearest neighbor digraph derived from a ranking system. Computations occur on a 2-dimensional abstract oriented simplicial complex whose faces are among the points, edges, and triangles of the line graph of the undirected $K$-nearest neighbor graph on $S$. In $|S| K^2$ steps it builds an edge-weighted linkage graph $(S, \mathcal{L}, σ)$ where $σ(\{x, y\})$ is called the in-sway between objects $x$ and $y$. Take $\mathcal{L}_t$ to be the links whose in-sway is at least $t$, and partition $S$ into components of the graph $(S, \mathcal{L}_t)$, for varying $t$. Rank-based linkage is a functor from a category of ``out-ordered'' digraphs to a category of partitioned sets, with the practical consequence that augmenting the set of objects in a rank-respectful way gives a fresh clustering which does not ``rip apart'' the previous one. The same holds for single linkage clustering in the metric space context, but not for typical optimization-based methods. Orientation sheaves play in a fundamental role and ensure that partially overlapping data sets can be ``glued'' together. Open combinatorial problems are presented in the last section.

Cheeger-type inequalities in which the decomposability of a graph and the spectral gap of its Laplacian mutually control each other play an important role in graph theory and network analysis, in particular in the context of expander theory. The natural problem to extend such inequalities to simplicial complexes and their higher order Eckmann Laplacians has been open for a long time. Before proving any inequality, however, one needs to identify the right Cheeger-type constant for which such an inequality can hold. Here, we solve this problem. Our solution involves and combines constructions from simplicial topology, signed graphs, Gromov filling radii and an interpolation between the standard 2-Laplacians and the analytically more difficult 1-Laplacians, for which, however, the inequalities become equalities. It is then natural to develop a general theory for $p$-Laplacians on simplicial complexes and investigate the related Cheeger-type inequalities.

The Eulerian transformation is the linear operator on polynomials in one variable with real coefficients which maps the powers of this variable to the corresponding Eulerian polynomials. The derangement transformation is defined similarly. Brändén and Jochemko have conjectured that the Eulerian transforms of a class of polynomials with nonnegative coefficients, which includes those having all their roots in the interval $[-1,0]$, have only real zeros. This conjecture is proven in this paper. More general transformations are introduced in the combinatorial-geometric context of uniform triangulations of simplicial complexes, where Eulerian and derangement transformations arise in the special case of barycentric subdivision, and are shown to have strong unimodality and gamma-positivity properties. General real-rootedness conjectures for these transformations, which unify various results and conjectures in the literature, are also proposed.

Given a (finite) simplicial complex, we define its $i$-th Laplacian polytope as the convex hull of the columns of its $i$-th Laplacian matrix. This extends Laplacian simplices of finite simple graphs, as introduced by Braun and Meyer. After studying basic properties of these polytopes, we focus on the $d$-th Laplacian polytope of the boundary of a $(d+1)$-simplex $\partial(σ_{d+1})$. If $d$ is odd, then as for graphs, the $d$-th Laplacian polytope turns out to be a $(d+1)$-simplex in this case. If $d$ is even, we show that the $d$-th Laplacian polytope of $\partial(σ_{d+1})$ is combinatorially equivalent to a $d$-dimensional cyclic polytope on $d+2$ vertices. Moreover, we provide an explicit regular unimodular triangulation for the $d$-th Laplacian polytope of $\partial(σ_{d+1})$. This enables us to to compute the normalized volume and to show that the $h^\ast$-polynomial is real-rooted and unimodal, if $d$ is odd and even, respectively.