A weighted simplicial complex is a simplicial complex with values (called weights) on the vertices. In this paper, we consider weighted simplicial complexes with $\mathbb{R}^2$-valued weights. We study the weighted homology and the weighted analytic torsion for such weighted simplicial complexes.
We extend, in significant ways, the theory of truncated boolean representable simplicial complexes introduced in 2015. This theory, which includes all matroids, represents the largest class of finite simplicial complexes for which combinatorial geometry can be meaningfully applied
Strong placement games (SP-games) are a class of combinatorial games whose structure allows one to describe the game via simplicial complexes. A natural question is whether well-known invariants of combinatorial games, such as "game value", appear as invariants of the simplicial complexes. This paper is the first step in that direction. We show that every simplicial complex encodes a certain type of SP-game (called an "invariant SP-game") whose ruleset is independent of the board it is played on. We also show that in the class of SP-games isomorphic simplicial complexes correspond to isomorphi…
Given a finite CAT(0) cubical complex, we define a flag simplicial complex associated to it, called the crossing complex. We show that the crossing complex holds much of the combinatorial information of the original cubical complex: for example, hyperplanes in the cubical complex correspond to vertex links in the crossing complex, and the crossing complex is balanced if and only if the cubical complex is cubically balanced. The most significant result is that the sets of $f$-vectors of CAT(0) cubical complexes and flag simplicial complexes are equal, up to an invertible linear transformation.
We show that the size of the largest simple d-cycle in a simplicial d-complex $K$ is at least a square root of $K$'s density. This generalizes a well-known classical result of Erdős and Gallai \cite{EG59} for graphs. We use methods from matroid theory applied to combinatorial simplicial complexes.
We show that the $h$-vector of a $2$-dimensional PS ear-decomposable simplicial complex is a pure $\mathcal{O}$-sequence. This provides a strengthening of Stanley's conjecture for matroid $h$-vectors in rank $3$. Our approach modifies the approach of combinatorial shifting for arbitrary simplicial complexes to the setting of $2$-dimensional PS ear-decomposable complexes, which allows us to greedily construct a corresponding pure multicomplex.
Imposing a strong condition on the linear order of shellable complexes, we introduce strong shellability. Basic properties, including the existence of dimension-decreasing strong shelling orders, are developed with respect to nonpure strongly shellable complexes. Meanwhile, pure strongly shellable complexes can be characterized by the corresponding codimension one graphs. In addition, we show that the facet ideals of pure strongly shellable complexes have linear quotients.
This article surveys some of the work done in recent years on random simplicial complexes. We mostly consider higher-dimensional analogs of the well known phase transition in $G(n, p)$ theory that occurs at $p = \frac 1n$ . Our main objective is to provide a more streamlined and unified perspective of some of the papers in this area.
Denham, Suciu and Panov, Ray computed ranks of homotopy groups and Poincaré series of a moment-angle-complex $\mathcal Z(\mathcal K$) / Davis-Januzskiewicz space $DJ(\mathcal K)$ associated to a flag simplicial complex $\mathcal K$. In this note we revisit these results and interpret them as polynomial bounds on the face numbers of an arbitrary simplicial flag complex.
We introduce the notion of a quasi-matroidal class of ordered simplicial complexes: an approximation to the idea of a matroid cryptomorphism in the landscape of ordered simplicial complexes. A quasi-matroidal class contains pure shifted simplicial complexes and ordered matroid independence complexes. The essential property is that if a fixed simplicial complex belongs to this class for every ordering of its vertex set, then it is a matroid independence complex. Some examples of such classes appear implicitly in the matroid theory literature. We introduce various such classes that highlight dif…
We consider the random hypergraph on a finite vertex set by choosing each set of vertices as an hyperedge independently at random. We express the probability distributions of the (lower-)associated simplicial complex and the (lower-)associated independence hypergraph of the random hypergraph in terms of the probability distributions of certain random simplicial complex and certain random independence hypergraph of Erdös-Rényi type. We construct a graded structure of the map algebra explicitly and give algorithms to generate random hypergraphs and random simplicial complexes.
We construct $d$-dimensional pure simplicial complexes and pseudo-manifolds (without boundary) with $n$ vertices whose combinatorial diameter grows as $c_d n^{d-1}$ for a constant $c_d$ depending only on $d$, which is the maximum possible growth. Moreover, the constant $c_d$ is optimal modulo a singly exponential factor in $d$. The pure simplicial complexes improve on a construction of the second author that achieved $c_d n^{2d/3}$. For pseudo-manifolds without boundary, as far as we know, no construction with diameter greater than $n^2$ was previously known.
Let $\mathcal{H}$ be a hypergraph of rank $r$. We show that the simplicial complex whose simplices are the hypergraphs $\mathcal{F}\subset\mathcal{H}$ with covering number at most $p$ is $\left(\binom{r+p}{r}-1\right)$-collapsible, and the simplicial complex whose simplices are the pairwise intersecting hypergraphs $\mathcal{F}\subset\mathcal{H}$ is $\frac{1}{2}\binom{2r}{r}$-collapsible.
We prove that the family of facets of a pure simplicial complex of dimension up to three satisfies the Erdős-Ko-Rado property whenever it is flag and has no boundary ridges. We conjecture the same to be true in arbitrary dimension and give evidence for this conjecture. Our motivation is that complexes with these two properties include flag pseudo-manifolds and cluster complexes.
The paper studies the connectivity properties of facet graphs of simplicial complexes of combinatorial interest. In particular, it is shown that the facet graphs of $d$-cycles, $d$-hypertrees and $d$-hypercuts are, respectively, $(d+1)$, $d$, and $(n-d-1)$-vertex-connected. It is also shown that the facet graph of a $d$-cycle cannot be split into more than $s$ connected components by removing at most $s$ vertices. In addition, the paper discusses various related issues, as well as an extension to cell-complexes.
We study ordered matroids and generalized permutohedra from a Hopf theoretic point of view. Our main object is a Hopf monoid in the vector species of extended generalized permutahedra equipped with an order of the coordinates; this monoid extends the Hopf monoid of generalized permutahedra studied by Aguiar and Ardila. Our formula for the antipode is cancellation-free and multiplicity-free, and is supported only on terms that are compatible with the local geometry of the polyhedron. Our result is part of a larger program to understand orderings on ground sets of simplicial complexes (for insta…
The Euler characteristic, thought of as a function that assigns a numerical value to every finite simplicial complex, is locally determined in both a combinatorial sense and a geometric sense. In this note we show that not every function that assigns a numerical value to every finite simplicial complex via a linear combination of the numbers of simplices in each dimension is locally determined in either sense. In particular, the Charney-Davis quantity $λ(L)$ is not locally determined in either sense if it is defined on a set of simplicial complexes that includes all flag spheres of a given odd…
The notion of $f$-ideal is recent and has so far been studied in several papers. In \cite{qfi}, the idea of $f$-ideal is generalized to quasi $f$-ideals, which is much larger class than the class of $f$-ideals. In this paper, we introduce the concept of quasi $f$-simplicial complex and quasi $f$-graph. We give a characterization of quasi $f$-graphs on $n$ vertices. A complete solution of connectedness of quasi $f$-simplicial complexes is described. We have also shown a method of constructing Cohen-Macaulay quasi $f$-graphs.
We generalize some homotopy calculation techniques such as splittings and matching trees that are introduced for the computations in the case of the independence complexes of graphs to arbitrary simplicial complexes, and exemplify their efficiency on some simplicial complexes, the devoid complexes of graphs, which are simplicial complexes parametrized by graphs. Additionally, we compute the homotopy type of dominance complexes of chordal graphs.
We introduce t-uniform simplicial complexes and we show that the lengths of spheres in such complexes are the terms of certain Lucas sequences. We find optimal constants for the linear isoperimetric inequality in the hyperbolic case.
We study $d$-dimensional simplicial complexes that are PL embeddable in $\mathbb{R}^{d+1}$. It is shown that such a complex must satisfy a certain homological condition. The existence of this obstruction allows us to provide a systematic approach to deriving upper bounds for the number of top-dimensional faces of such complexes, particularly in low dimensions.
We examine virtual resolutions of Stanley-Reisner ideals for a product of projective spaces. In particular, we provide sufficient conditions for a simplicial complex to be virtually Cohen-Macaulay (to have a virtual resolution with length equal to its codimension). We also show that all balanced simplicial complexes are virtually Cohen-Macaulay.
In this manuscript, we define and study probabilistic values for cooperative games on simplicial complexes. Inspired by the work of Weber "Probabilistic values for games", we establish the new theory step by step, following the classical axiomatization, i.e. using the linearity axiom, the dummy axiom, etc. Furthermore, we define Shapley values on simplicial complexes generalizing the classical notion in literature. Remarkably, the traditional axiomatization of Shapley values can be extended to this general setting for a rather interesting class of complexes that generalize the notion of vertex…
We suggest a new possible high dimensional analogue to metric distortion. We then show a possible method for providing lower bounds to this distortion and use this method to prove a "Bourgain-type" distortion theorem for Linial-Meshulam random complexes.
Weighted simplicial complexes (WSCs) are powerful tools for describing weighted cloud data or networks with weighted nodes. In this paper, we propose a novel approach to study WSCs via the concept of polarization. Polarization of a WSC allows one to construct a new (unweighted) simplicial complex which coincides with an object called the mixed wreath product. This new construction preserves several properties and invariants of the underlying simplicial complex of a WSC. Our main focus is to analyze WSCs through their underlying simplicial complexes and mixed wreath products. Combinatorially, w…
We define and study the notion of a minimal Cohen-Macaulay simplicial complex. We prove that any Cohen-Macaulay complex is shelled over a minimal one in our sense, and we give sufficient conditions for a complex to be minimal Cohen-Macaulay. We show that many interesting examples of Cohen-Macaulay complexes in combinatorics are minimal, including Rudin's ball, Ziegler's ball, the dunce hat, and recently discovered non-partitionable Cohen-Macaulay complexes. We further provide various ways to construct such complexes.
We prove some new rank selection theorems for balanced simplicial complexes. Specifically, we prove that rank selected subcomplexes of balanced simplicial complexes satisfying Serre's condition $(S_{\ell})$ retain $(S_{\ell})$. We also provide a formula for the depth of a balanced simplicial complex in terms of reduced homologies of its rank selected subcomplexes. By passing to a barycentric subdivision, our results give information about Serre's condition and the depth of any simplicial compex. Our results extend rank selection theorems for depth proved by Stanley, Munkres, and Hibi.
A relative simplicial complex is a collection of sets of the form $Δ\setminus Γ$, where $Γ\subset Δ$ are simplicial complexes. Relative complexes played key roles in recent advances in algebraic, geometric, and topological combinatorics but, in contrast to simplicial complexes, little is known about their general combinatorial structure. In this paper, we address a basic question in this direction and give a characterization of $f$-vectors of relative (multi)complexes on a ground set of fixed size. On the algebraic side, this yields a characterization of Hilbert functions of quotients of homog…