arXiv++ Combinatorics

We establish a bijection between the set of finite topological $T_0$-spaces (or partially ordered sets) and equivalence classes of square matrices. The absolute value of the determinant or the rank of these matrices serve as simple homotopy invariants for the corresponding topological spaces, and consequently, for finite simplicial complexes. To conclude, we explore further relationships and problems concerning finite posets within the context of these matrices.

We prove that the simplicial complex $Δ_{\mathcal{C}_n,2}$ is pure and a weak pseudomanifold of dimension $2(n-1)$, where $Δ_{\mathcal{C}_n,2}$ is the simplicial complex associated with $2$-triangulations on the half-cylinder with $n$ marked points. This result generalizes the work of Vincent Pilaud and Francisco Santos for polygons and resolves a conjecture of Mathias Lepoutre and Vincent Pilaud for $k=2$. To achieve this, we show that $2$-triangulations on the half-cylinder decompose as complexes of star polygons, and that $2$-triangulations on the half-cylinder are in bijection with $2$-triangulations on the $4n$-gon invariant under rotation by $π/2$ radians. Building on work by Vincent Pilaud and Christian Stump, we also introduce chevron pipe dreams, a new combinatorial model that more naturally captures the symmetries of $k$-triangulations.

Given an arbitrary abstract simplicial complex $K$ on $[m]:=\{1,2,\ldots,m\}$, different from the simplex $Δ_{[m]}$ with $m$ vertices, we introduce and study a canonical $(2m-2)$-dimensional toric manifold $X_K$, associated to the canonical $(m-1)$-dimensional complete regular fan $Σ_K$. This construction yields an infinite family of toric manifolds that are not quasitoric and provides a topological proof of the Dehn-Sommerville relations for the associated Bier sphere $\mathrm{Bier}(K)$. Finally, we prove a criterion for orientability of canonical real toric manifolds.

We introduce the notion of doubling and r-tupling for simplicial complexes, a notion reminiscent to that of matching complexes in graph theory. We prove a connectivity result for such complexes and relate r-tupling to stabilizing r times faster in homological stability.

In this survey, we explore recent literature on finding the cores of higher graphs using geometric and topological means. We study graphs, hypergraphs, and simplicial complexes, all of which are models of higher graphs. We study the notion of a core, which is a minimalist representation of a higher graph that retains its geometric or topological information. We focus on geometric and topological methods based on discrete curvatures, effective resistance, and persistent homology. We aim to connect tools from graph theory, discrete geometry, and computational topology to inspire new research on the simplification of higher graphs.

We study the Hopf monoid of convex geometries, which contains partial orders as a Hopf submonoid, and investigate the combinatorial invariants arising from canonical characters. Each invariant consists of a pair: a polynomial and a more general quasisymmetric function. We give combinatorial descriptions of the polynomial invariants and prove combinatorial reciprocity theorems for the Edelman-Jamison and Billera-Hsiao-Provan polynomials, which generalize the order and enriched order polynomials, respectively, within a unified framework. For the quasisymmetric invariants, we show that their coefficients enumerate faces of certain simplicial complexes, including subcomplexes of the Coxeter complex and a simplicial sphere structure introduced by Billera, Hsiao, and Provan. We also examine the associated $ab$- and $cd$-indices. We establish an equivalent condition for convex geometries to be supersolvable and use this result to give a geometric interpretation of the $ab$- and $cd$-index coefficients for this class of convex geometries.

Coset incidence geometries, introduced by Jacques Tits, provide a versatile framework for studying the interplay between group theory and geometry. In this article, we build upon that idea by extending classical group-theoretic constructions (amalgamated products, HNN-extensions, semi-direct products, and twisting) to the setting of coset geometries. This gives a general way to glue together incidence geometries in various ways. This provides a general framework for combining or gluing incidence geometries in different ways while preserving essential properties such as flag-transitivity and residual connectedness. Using these techniques, we analyze families of Shephard groups, which generalize both Coxeter and Artin-Tits groups, and their associated simplicial complexes. Our results also point to the existence of a Bass-Serre theory for coset geometries and of a fundamental geometry of a graph of coset geometries.

For a $(d-1)$-dimensional simplicial complex $Δ$ and $1\leq i\leq d$, let $f_{i-1}$ be the number of $(i-1)$-faces of $Δ$ and $m_i$ be the number of missing $i$-faces of $Δ$. In the nineties, Kalai asked for a characterization of the $m$-numbers of simplicial polytopes and spheres -- a problem that remains wide open to this day. Here, we study the $m$-numbers of nearly neighborly and neighborly polytopes and spheres. Specifically, for $d\geq 4$, we obtain a lower bound on $m_{\lfloor d/2\rfloor}$ in terms of $f_0$ and $f_{\lfloor d/2\rfloor-1}$ in the class of all $(\lfloor d/2\rfloor-1)$-neighborly $(d-1)$-spheres. For neighborly spheres, we (almost) characterize the $m$-numbers of $2$-neighborly $4$-spheres, and we show that, for all odd values of $k$, there exists an infinite family of neighborly simplicial $2k$-spheres with $m_{k+1}=0$. Along the way, we provide a simple numerical condition based on the $m$-numbers that allows to establish non-polytopality of some neighborly odd-dimensional spheres.

This paper investigates the shellability of $r$-independence complexes $\mathcal{I}_r(G)$, a generalization of classical independence complexes introduced by Paolini and Salvetti. For a graph $G$, a subset $A \subseteq V(G)$ is $r$-independent if every connected component of the induced subgraph $G[A]$ has at most $r$ vertices. The associated simplicial complex $\mathcal{I}_r(G)$ has been the subject of significant interest due to its connections to combinatorial topology and commutative algebra. We address the classification problem for shellable $r$-independence complexes, focusing on block graphs, trees, and related families. Our main results establish sufficient conditions for shellability based on structural graph parameters such as diameter and forbidden subgraphs. Furthermore, we develop constructive techniques for generating shellable complexes through graph operations, including star-clique attachments, clique whiskering, and clique cycle constructions. These results extend and refine earlier work on classical independence complexes and provide a framework for understanding the topological and algebraic properties of higher independence complexes in structured graph families.

The study of face-number-related invariants in simplicial complexes is a central topic in combinatorial topology. Among these, the invariant $g_2$ plays a significant role. For a normal $d$-pseudomanifold $K$ ($d \geq 3$), it is known that $g_2(K) \geq g_2(lk(v, K))$ for every vertex $v$. If $K$ has at most two singularities and satisfies $g_2(K) = g_2(lk(t, K))$ for a singular vertex $t$, then $g_3(K) \geq g_3(lk(t,K))$ holds. A normal $d$-pseudomanifold $K$ is called $g_2$- and $g_3$-optimal if $g_2(K) = g_2(lk (t,K))$ and $g_3(K) = g_3(lk (t,K))$ for a singular vertex $t$. In this article, we establish structural results for normal $4$-pseudomanifolds under $g_2$- and $g_3$-optimality conditions. We show that if $K$ is a normal $4$-pseudomanifold with exactly one singular vertex $t$ and is $g_2$- and $g_3$-optimal at $t$, then $K$ can be obtained from boundary complexes of $5$-simplices through a sequence of operations of types vertex foldings and connected sums. When $K$ has exactly two singularities and is $g_2$- and $g_3$-optimal at one singular vertex, it is derived from the boundary complexes of $4$-simplices through a sequence of operations of types one-vertex suspensions, vertex foldings, and connected sums. Alternatively, we prove that if $K$ has two singular vertices and is $g_2$- and $g_3$-optimal at one of them, then it arises from boundary complexes of $5$-simplices through a sequence of operations of types vertex foldings, edge foldings, and connected sums.

Discrete Forman-Ricci curvature (FRC) is an efficient tool that characterizes essential geometrical features and associated transitions of real-world networks, extending seamlessly to higher-dimensional computations in simplicial complexes. In this article, we provide two major advancements: First, we give a decomposition for FRC, enabling local computations of FRC. Second, we construct a set-theoretical proof enabling an efficient algorithm for the local computation of FRC in Vietoris-Rips (VR) complexes.Strikingly, this approach reveals critical information and geometric insights often overlooked by conventional classification techniques. Our findings open new avenues for geometric computations in VR complexes and highlight an essential yet under-explored aspect of data classification: the geometry underpinning statistical patterns.

We provide first a categorical exploration of, and then completion of the mapping of the relationships among, three fundamental perspectives on binary relations: as the incidence matrices of hypergraphs, as the formal contexts of concept lattices, and as specifying topological cosheaves of simplicial (Dowker) complexes on simplicial (Dowker) complexes. We provide an integrative, functorial framework combining previously known with three new results: 1) given a binary relation, there are order isomorphisms among the bounded edge order of the intersection complexes of its dual hypergraphs and its concept lattice; 2) the concept lattice of a context is an isomorphism invariant of the Dowker cosheaf (of abstract simplicial complexes) of that context; and 3) a novel Dowker cosheaf (of chain complexes) of a relation is an isomorphism invariant of the concept lattice of the context that generalizes Dowker's original homological result. We illustrate these concepts throughout with a running example, and demonstrate relationships to past results.

{\tt AbstractSimplicialComplexes.m2} is a computer algebra package written for the computer algebra system {\tt Macaulay2} \cite{M2}. It provides new infrastructure to work with abstract simplicial complexes and related homological constructions. Its key novel feature is to implement each given abstract simplicial complex as a certain graded list in the form of a hash table with integer keys. Among other features, this allows for a direct implementation of the associated reduced and non-reduced simplicial chain complexes. Further, it facilitates construction of random simplicial complexes. The approach that we employ here builds on the {\tt Macaulay2} package {\tt Complexes.m2} \cite{Stillman:Smith:Complexes.m2}. It complements and is entirely different from the existing {\tt Macaulay2} simplicial complexes framework that is made possible by the package {\tt SimplicialComplexes.m2} \cite{Smith:et:al:SimplicialComplexes.m2:jsag}.

In 1988, Björner and Kalai used combinatorial shadow functions to characterize the maximal Betti sequence for a given $f$-vector and the minimal $f$-vector for a given Betti sequence. Their description of the maximal Betti sequence was expressed through a set of inequalities. In this paper, we introduce an error function $δ_k$ associated with the combinatorial shadow functions and use it to sharpen these inequalities into exact equalities. As a corollary, we obtain an equivalent form of Björner and Kalai's characterization of all possible pairs $(f,β)$ that can occur as the $f$-vector and Betti sequence of a simplicial complex. Moreover, combining our results with a previous result of Björner in 2011, we derive a new number-theoretic inequality concerning the count of odd square-free integers with a specified number of prime factors.

The edge group of a simplicial complex is a well-known, combinatorial version of the fundamental group. It is a group associated to a simplicial complex that consists of equivalence classes of edge loops and that is isomorphic to the ordinary (topological) fundamental group of the spatial realization. We define a counterpart to the edge group that likewise gives a combinatorial version of the second (higher) homotopy group. Working entirely combinatorially, we show our group is an abelian group and also respects products. We show that our combinatorially defined group is isomorphic to the ordinary (topological) second homotopy group of the spatial realization.

The terms "whiskering", and more generally "grafting", refer to adding generators to any monomial ideal to make the resulting ideal Cohen-Macaulay. We investigate the independence complexes of simplicial complexes that are constructed through a whiskering or grafting process, and we show that these independence complexes are (generalized) Bier balls. More specifically, the independence complexes are either homeomorphic to a ball or a sphere. In a related direction, we classify when the independence complexes of very well-covered graphs are homeomorphic to balls or spheres.

The simplex graph $S(G)$ of a graph $G$ is defined as the graph whose vertices are the cliques of $G$ (including the empty set), with two vertices being adjacent if, as cliques of $G$, they differ in exactly one vertex. Simplex graphs form a subclass of median graphs and include many well-known families of graphs, such as gear graphs, Fibonacci cubes and Lucas cubes. In this paper, we characterize simplex graphs from four different perspectives: the first focuses on a graph class associated with downwards-closed sets -- namely, the daisy cubes; the second identifies all forbidden partial cube-minors of simplex graphs; the third is from the perspective of the $Θ$ equivalent classes; and the fourth explores the relationship between the maximum degree and the isometric dimension. Furthermore, very recently, Betre et al.\ [K. H. Betre, Y. X. Zhang, C. Edmond, Pure simplicial and clique complexes with a fixed number of facets, 2024, arXiv: 2411.12945v1] proved that an abstract simplicial complex (i.e., an independence system) of a finite set can be represented to a clique complex of a graph if and only if it satisfies the Weak Median Property. As a corollary, we rederive this result by using the graph-theoretical method.

We explore connections between stellar moves on simplicial complexes (these are fundamental operations of combinatorial topology) and projective Fra{ï}ss{é} limits (this is a model theoretic construction with topological applications). We identify a class of simplicial maps that arise from the stellar moves of welding and subdividing. We call these maps weld-division maps. The core of the paper is the proof that the category of weld-division maps fulfills the projective amalgamation property. This gives an example of an amalgamation class that substantially differs from known classes. The weld-division amalgamation class naturally gives rise to a projective Fra{ï}ss{é} class. We compute the canonical limit of this projective Fra{ï}ss{é} class and its canonical quotient space. This computation gives a combinatorial description of the geometric realization of a simplicial complex and an example of a combinatorially defined projective Fra{ï}ss{é} class whose canonical quotient space has topological dimension strictly bigger than $1$. The method of proof of the amalgamation theorem is new. It is not geometric or topological, but rather it consists of combinatorial calculations performed on finite sequences of finite sets and functions among such sequences. Set theoretic nature of the entries of the sequences is crucial to the arguments.

We show that if a simplicial complex is a near-cone of sufficiently high depth, then the only maximum families of small pairwise intersecting faces are those with a common intersection. Thus, near-cones of sufficiently high depth satisfy the strict Erdős-Ko-Rado property conjectured by Holroyd and Talbot and by Borg. One consequence is a strict Erdős-Ko-Rado theorem for independence complexes of chordal graphs with an isolated vertex. Under stronger shiftedness conditions, we prove a sharper stability theorem of Hilton-Milner type, as well as two cross-intersecting theorems.

We initiate the study of simple games from the point of view of combinatorial topology. The starting premise is that the losing coalitions of a simple game can be identified with a simplicial complex. Various topological constructions and results from the theory of simplicial complexes then carry over to the setting of simple games. Examples are cone, join, and the Alexander dual, each of which have interpretations as familiar game-theoretic objects. We also provide some new topological results about simple games, most notably in applications of homology of simplicial complexes to weighted simple games. The exposition is introductory and largely self-contained, intended to inspire further work and point to what appears to be a wealth of potentially fruitful directions of investigation bridging game theory and topology.