arXiv++ Combinatorics

We report on an exhaustive census of all 1,006,700,565 connected graphs on $11$ vertices to find the minimal examples of graphs whose independence complexes are Cohen-Macaulay but not shellable, or shellable but not vertex decomposable. In particular, there are exactly two graphs $G$ where ${\rm Ind}(G)$ is Cohen-Macaulay but not shellable, when the characteristic is not two, and exactly six graphs where ${\rm Ind}(G)$ is shellable but not vertex decomposable.

The Holant theorem is a powerful tool for studying the computational complexity of counting problems. Due to the great expressiveness of the Holant framework, a converse to the Holant theorem would itself be a very powerful counting indistinguishability theorem. The most general converse does not hold, but we prove the following, still highly general, version: if any two sets of real-valued signatures are Holant-indistinguishable, then they are equivalent up to an orthogonal transformation. This resolves a partially open conjecture of Xia (2010). Consequences of this theorem include the well-known result that homomorphism counts from all graphs determine a graph up to isomorphism, the classical sufficient condition for simultaneous orthogonal similarity of sets of real matrices, and a combinatorial characterization of simultaneously orthogonally decomposable (odeco) sets of symmetric tensors.

Every balanced instance of the stable marriage problem with strict complete preferences has a unique finest partition into prime blocks, and that single partition simultaneously factors three different structures: the reachable execution digraph as a Cartesian product, the proposal-prefix antimatroid as a direct sum, and the stable-matching lattice as a direct product. The converse fails, and fails at every size from two on: two explicit families share the identical Boolean-cube execution while one is maximally decomposable with a single stable matching and the other is prime with n. Uniqueness yields an exact census, a recursion counting the prime instances at every size, under which exactly 88,478,208 of the 110,075,314,176 profiles with four agents on each side are decomposable and the decomposable fraction is asymptotically n! / n^(2n). The blocks are characterised as the square components of the mutual-rank filtration, so the partition is computable in polynomial time and the factorisation is a tool rather than only a fact.

Simon's conjecture (1994) asserts that any pure $d$-dimensional shellable complex on $n$ vertices can be extended to the $d$-skeleton of the simplex on $n$ vertices, one facet at a time, while maintaining shellability. Bolognini and Sentinelli (2026) recently disproved it for every $d \geq 3$. We show that the conjecture becomes true once $d-2$ new vertices are allowed, and that the same holds with $k$-decomposability in place of shellability for any $k \geq 1$. We also show that the number $d-2$ cannot be lowered. Inflating the counterexample of Bolognini and Sentinelli gives, for every $d \geq 3$, a $1$-decomposable complex that cannot be extended in this way with only $d-3$ new vertices, even while merely maintaining shellability.

A graph is locally irregular if adjacent vertices have distinct degrees. A graph G is decomposable if its edge set can be decomposed into locally irregular graphs, and its locally irregular chromatic index lir(G) is the least number of graphs in such a decomposition. We prove that lir(G) <= 18 for every decomposable graph G, improving the previous bound of 220.

For n points in the unit square, the Heilbronn triangle problem asks for the largest possible minimum triangle area. We develop a variational stress theory for this max-min problem. At every positive-area local optimum, normalized Karush-Kuhn-Tucker multipliers assemble into a skew matrix B satisfying Bz = 2ib, where b is the outward square reaction. This equilibrium has the isotropic affine moment sum_i p_i b_i^T = Delta I_2; the identity also holds for every tight subfamily carrying weights inherited from the same multiplier, with Delta scaled by its multiplier mass. It follows that every positive stress component meets all four sides and that there are at most two such components. To handle nonunique multipliers, we introduce the intersection of the stress kernels over the whole KKT face and a canonical hybrid operator incorporating all tight determinant and boundary derivatives. A strictly convex selector removes every decomposable invisible motion, leaving a rank-one-free residual with a sharp dimension bound; the literal maximal two-dimensional residual is excluded. Two-terminal substresses satisfy an exact interface-flux law, and a five-internal-vertex rank-four block has a Pfaffian cofactor carrier. Finally, an analytic reduction followed by exact symbolic enumeration excludes every one-external completion of a specified one-silent five-cycle residual, for all orientation words. These results isolate the remaining degeneracy but do not solve the problem for arbitrary n.

The Foregger-Sinkhorn tie-point conjecture asserts that if a nearly decomposable doubly stochastic matrix minimizes the permanent on a face and the permanental cofactor at a prescribed zero is larger than its permanent, then that zero is a tie point. We give a counterexample in dimension eight.

Given a graph $G=(V,E)$, $f : V \rightarrow \{0, 1, 2\}$ is a \emph{Roman $\{2\}$-dominating function} of $G$ if for every vertex $v\in V$ with $f(v) =0$, either there exists a vertex $u$ adjacent to $v$ with $f(u) = 2$, or two distinct vertices $x,\; y$ both adjacent to $v$ with $f(x)=f(y)=1$ (Chellali et al. 2016). Every graph $G$ satisfies $γ_{\{R2\}}(G) \leq 2γ(G)$, where $γ_{\{R2\}}(G)$ denotes the minimum weight of a $\{2\}$-Roman dominating function of $G$ and $γ(G)$ is the domination number of $G$. \emph{$\{2\}$-Roman graphs} are those for which the equality is reached (Klostermeyer et al. 2019). A characterization of $\{2\}$-Roman trees was given by Henning et al. in 2017. In 2025, Ferrari et al. characterized the $\{2\}$-Roman property by the existence of a minimum $\{2\}$-Roman dominating function of $G$ that assumes only $0, 2$-values. Afterwards in 2025, Bešter Štorgel et al. introduced the problem of recognizing $\{2\}$-Roman graphs, proved polinomiality for middle graphs, and characterized \hbox{$\{2\}$-Roman} split graphs that can be decomposed with respect to the split join operation into two smaller split graphs. Recognition complexity is still open for general graphs. In this paper we study the \hbox{$\{2\}$-Roman} property on graphs that can be decomposed into two smaller graphs with respect to the join and union operations, allowing to completely characterize the $\{2\}$-Roman property. The 4-path is the non trivial connected non $\{2\}$-Roman graph with the fewest number of vertices and edges. We classify the $\{2\}$-Roman property within specific families of non decomposable graphs with a limited number of 4-paths which are present in the decomposition of partner limited graphs; these are well-labelled spiders, the graphs in ZOO and some special split graphs.

In this paper, we study the Minkowski decomposability of symmetric edge polytopes $P_G^\pm$ of a finite simple graph $G$ on vertex set $[n]$. More precisely, we give a complete characterization of graphs whose symmetric edge polytopes are Minkowski decomposable. We prove that $P_G^\pm$ is Minkowski decomposable if and only if $G$ is one of the three complete multipartite graphs: $K_n$, $K_{2,n-2}$, or $K_{1,1,n-2}$. In other words, if $G$ does not belong to these three families, then $P_G^\pm$ is Minkowski indecomposable.

We identify and study the interval Garside groups arising from the restriction of the absolute order on a Coxeter group to a lattice $[1,w]_T$, where $w$ is an involution. Those involutions $w$ for which $[1,w]_T$ is a lattice were previously classified by the second author; every such involution lies in the center of the parabolic subgroup generated by $[1,w]_T$. Except in type $B_n$, the obtained groups are isomorphic to (decomposable) right-angled Artin groups. We also investigate the situation for some finite complex reflection groups, mostly in rank two, taking for $w$ a (not necessarily involutive) central element.

Let $G$ be a graph and let $\PF_t(G)$ denote the simplicial complex whose faces are vertex subsets whose induced subgraphs contain no path on $t$ vertices. These complexes encode a forbidden-subgraph condition as a family of allowed vertex subsets. In this paper, we study $t$-path-free complexes of complete multipartite graphs. Let \[ G=K_{n_1,\dots,n_m}, \qquad n_1\le\cdots\le n_m. \] We first obtain an explicit structural decomposition of $\PF_t(G)$ as a union of join complexes, together with an additional lower-dimensional size-truncation term. Using this decomposition, we show that for $t\le 2n_{m-1}-2$ the complex $\PF_t(G)$ is not sequentially Cohen-Macaulay, while for $t\ge 2 n_{m-1}-1$ it is vertex decomposable. Consequently, we obtain a complete characterization for complete multipartite graphs: $\PF_t(G)$ is vertex decomposable if and only if $t\ge 2n_{m-1}-1$. Equivalently, this is also exactly the range in which $\PF_t(G)$ is shellable and sequentially Cohen-Macaulay. We further analyze the topology via a Mayer-Vietoris spectral sequence: for complete bipartite graphs, we determine the full homotopy type as an explicit wedge of spheres in all cases.

Interval graphs are a special class of chordal graphs, and hence have connections to commutative algebra via Fröberg's theorem that characterizes linear resolutions of squarefree quadratic ideals. In recent years, several hypergraphic analogues of interval and chordal graphs have been proposed, in part as an effort to extend Fröberg's theorem to ideals generated in higher degree. In this paper, we study two such classes from the literature, cointerval hypergraphs and underclosed complexes, and show that they are in fact equivalent up to complementation. We then consider their place in the broader theory of higher-dimensional chordality, proving that an underclosed clutter is chordal in the sense of Woodroofe. As a consequence, we answer a question of Dochtermann and Engström by showing that the associated Alexander dual complexes are vertex decomposable, implying that the corresponding circuit ideals have linear quotients. We furthermore show that these dual complexes have shellings induced by their underclosed vertex orders.

In this paper we study the class of graphs without cycles of size 4 and independent sets of size 4 as induced subgraphs: $\mathop{Free}\{C_4, 4K_1\}$. This is one of the three minimal minimal open cases for the complexity of the colouring problem when restricted to classes defined by excluding induced subgraphs of order 4. We investigate the clique width of some subclasses of $\mathop{Free}\{C_4, 4K_1\}$. We introduce a new framework: the $(k,l,m)$-decomposition and prove that if all the graphs of a class $\cal G$ are $(k,l,m)$-decomposable, then graphs in $\cal G$ have bounded clique width. We give a few examples of such class, found with the help of a program we designed. We also show, for any graph $G \in \mathop{Free}\{C_4, 4K_1\}$ that is 3 cliques coverable, an infinite family in $\mathop{Free}\{C_4, 4K_1\}$ of supergraphs of $G$ which have unbounded clique width.

Let $G$ be a graph and $r \ge 1$. A vertex subset is $r$-independent if every connected component of its induced subgraph has size at most $r$. The family of all such subsets forms a simplicial complex, the $r$-independence complex $\Ind_r(G)$, generalizing the classical independence complex. Recent work has focused on shellability and vertex decomposability of these complexes. For chordal graphs, $\Ind_r(G)$ has the homotopy type of a wedge of spheres for all $r$, and some chordal subfamilies are known where these complexes are not even sequentially Cohen-Macaulay. Thus, determining chordal graph classes and values of $r$ for which $\Ind_r(G)$ is sequentially Cohen-Macaulay, shellable, or vertex decomposable remains an active area. Existing methods, based on chordal hypergraphs or special graph properties, do not extend to arbitrary chordal graphs. In this paper, we show that for every tree $T$ and every integer $r \ge 1$, the complex $\Ind_r(T)$ is vertex decomposable, resolving a conjecture \cite[Conjecture 3.15]{PD23chordal} of Abdelmalek et al. Our approach gives a structural description of shedding vertices via rooted subtrees and uses it to prove vertex decomposability recursively.

We develop a toric topological framework for studying the cohomology of Vietoris--Rips complexes $VR(Q_n;r)$ of hypercube graphs. Using total domination invariants and spectral methods, we establish general lower bounds on connectivity, which leads to infinite families of counterexamples to Shukla's conjecture, and derive first global upper bounds on coconnectivity. Our approach interprets Vietoris--Rips complexes via Stanley--Reisner rings, moment-angle complexes, and Tor algebras, allowing global topological information to be extracted from combinatorial data. In a second direction, we construct explicit cohomology classes using the Koszul resolution and show that they decomposable products of $1$-dimensional classes, and that their representatives can be combimbinatorially realised as the boundary of cross polytopes positively answering the question posed by Adams and Virk. We introduce ghost vertices as a new tool for detecting, extending, and proving linear independence of cohomology classes.

A collection $B$ of patterns is called inversion monotone if $\mathrm{av}_n^k(B)$, the number of $B$-avoiding permutations of length $n$ with $k$ inversions, is weakly increasing in $n$ for any fixed $k$. In 2012, Claesson, Jelínek and Steingrímsson posed the inversion monotonicity conjecture, which states that the pattern $1324$ is inversion monotone and implies a new upper bound for its Stanley--Wilf limit. We prove that the collections $\{1324, 231\}$ and $\{1324, 2314, 3214, 4213\}$ are inversion monotone via explicit injections. The latter follows from a general procedure for constructing inversion-monotone sets. Our results constitute the first known nontrivial examples of inversion-monotone sets. A key feature of the inversion monotonicity conjecture is that $1324$ has a limit sequence: $\mathrm{av}_n^k(1324)$ is constant in $n$ when $n$ is large. We characterize the sets of patterns that have limit sequences, and determine the limit sequences of all pairs $\{1324, p\}$, where $p$ is a pattern of length four. Connections to various families of integer partitions arise. Finally, we expand on work by Linusson and Verkama (2025) on almost decomposable permutations to determine a broad family of sets containing $1324$ that are inversion monotone under the assumption $n \geq \frac{k+7}{2}$. The method yields an enumeration of $\mathrm{av}_n^k(1324, 1342)$ when $n \geq \frac{k+7}{2}$.

We introduce vertex dismissible and scalable simplicial complexes, generalizing the classical notions of vertex decomposability and shellability. We prove that a complex satisfies these properties if and only if its initial dimension skeleton is vertex decomposable or shellable, respectively. Algebraically, we define vertex divisible ideals and ideals with degree quotients, proving they are the exact Alexander duals of these complexes. This establishes a corresponding topological and homological hierarchy that interpolates between classical structural properties and the initially Cohen-Macaulay condition. Furthermore, we demonstrate that for complexes of initial dimension one and the independence complexes of co-chordal and cycle graphs, vertex dismissibility, scalability, and initial Cohen-Macaulayness are equivalent to weak connectedness. Finally, we provide a complete skeletal characterization of these properties, a generalized perspective that recovers numerous classical theorems as immediate consequences.

Using the orthogonal connectedness, we introduce the notion of orthogonal decomposability of convex polytopes and study it in the case of Platonic and Archimedean solids. While doing so, we also encounter polytopes which are not orthogonally decomposable.

Let $D$ be a multidigraph. We study the simplicial complex $\mathrm{Dlf}(D)$, whose vertices are the directed edges of $D$ and whose faces correspond to directed linear forests, that is, vertex-disjoint unions of directed paths. We also consider the related directed tree complex $\mathrm{DT}(D)$. Our main approach is to associate with $D$ a simple graph encoding the local incompatibilities among the edges of $D$. Under mild acyclicity assumptions, we show that $\mathrm{Dlf}(D)$ and $\mathrm{DT}(D)$ can be realized as the independence complexes of respective graphs. This correspondence allows us to apply structural results from the theory of independence complexes to obtain graph-theoretic criteria guaranteeing vertex decomposability, shellability, and sequential Cohen-Macaulayness of these complexes. In particular, we describe explicit forbidden induced directed subgraphs that obstruct vertex decomposability, and we identify classes of multidigraphs-including certain acyclic multidigraphs and multidigraphs whose underlying graphs are forests or cycles-for which $\mathrm{Dlf}(D)$ and $\mathrm{DT}(D)$ are vertex decomposable. We also provide examples showing that these properties do not hold in general.

We study combinatorial and algebraic properties of $t$-clique-free complexes, a family of simplicial complexes associated with finite simple graphs that generalize the classical independence complex. For a graph $G$ and an integer $t \ge 2$, the $t$-clique-free complex $\mathsf{CF}_t(G)$ is the simplicial complex on the vertex set of $G$ whose faces are the subsets inducing no cliques of size $t$. Our main results provide sufficient conditions for shellability and related decomposability properties of $t$-clique-free complexes. In particular, we show that if $G$ is a $t$-diamond-free chordal graph (in particular, a block graph), then $\mathsf{CF}_t(G)$ is $(t-2)$-decomposable and hence shellable. We also investigate how graph modifications via clique attachments influence shellability. Generalizing earlier constructions involving whiskers and clique extensions, we introduce the following operation: given a graph $H$, a subset $S \subseteq V(H)$, and an integer $t \ge 2$, we form a graph $\operatorname{Cl}(H,S,t)$ by attaching to each vertex in $S$ a clique of size at least $t$. We prove that $\mathsf{CF}_t(H\setminus S)$ is shellable if and only if $\mathsf{CF}_t(\operatorname{Cl}(H,S,t))$ is shellable. This yields a flexible method for constructing shellable complexes, particularly when $S$ is a cycle cover. In addition, we extend the notion of clique whiskering and show that for any graph admitting a clique vertex-partition, the resulting $t$-clique whiskering produces a pure and shellable, and hence Cohen-Macaulay, $t$-clique-free complex. Finally, we establish a Fröberg-type result linking chordality and linear resolutions. We show that for any chordal graph $G$, the edge ideal of the complement $t$-clique clutter $\overline{\mathcal{CH}_t(G)}$ admits a $t$-linear resolution over any field.