arXiv++ Combinatorics

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.

Let $a(n,k)$ be the number of $1324$-avoiding permutations of length $n$ with $k$ inversions. Claesson, Jelinek and Steingrimsson conjectured that $a(n,k)\le a(n+1,k)$, which would bound the growth rate of the class by $13.002$; Linusson and Verkama proved this for $k\le2n-7$ using an injection $f\sqcup g$ defined on decomposable and almost decomposable permutations. We study the residuals $\mathcal{R}_{δ,n}$, the indecomposable non-almost-decomposable avoiders at defect $δ=k-2n+7\ge1$, and prove the identity $a(n+1,k)-a(n,k)=|\mathrm{Av}^k_{n+1}(1324)\setminus\mathrm{im}(f\sqcup g)|-|\mathcal{R}_{δ,n}|$. Classifying the residuals at defect one and two gives $|\mathcal{R}_{1,n}|=8(n-7)$ and $|\mathcal{R}_{2,n}|=32n-214$, an exact formula for the difference at $k=2n-6$, and the inequality for all $k\le2n-5$. Beyond that we prove a skeleton reduction: membership in $\mathcal{R}_{δ,n}$ amounts to one quadratic equation in the block sizes of an inflation together with a nonsingleton condition read off the skeleton alone. Every skeleton occurring at defect $δ$ has length at most $8δ+25$; the proof rests on two facts about inversion graphs of $1324$-avoiders that seem to be new. Consequently $|\mathcal{R}_{δ,n}|$ agrees, for large $n$, with a polynomial of degree at most two, given explicitly as a sum of binomial coefficients. Four lemmas on cut vertices and on entries of inversion degree two then show that every residual of length at least $23$ admits an admissible deletion; this determines $\mathcal{R}_{δ,n}$ for all $n$ at every $δ\le10$ and yields $a(n,k)\le a(n+1,k)$ for all $k\le2n+3$, ten steps past the Linusson-Verkama line. The conjecture in its full form, for all $n$ and $k$, remains open.

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.

We develop a combinatorial and order-theoretic framework for shuffles, understood as ordered concatenations of indexed families of sequences that induce total orders on the natural numbers. Motivated by the classical Šarkovskiĭ order, we introduce elementary building blocks that encode finite and infinite order patterns and focus on decomposable shuffles constructed from finite ordinals together with $ω$ and its dual $ω^*$. We define representations that allow individual elements to be located within a shuffle and show how suitable structural conditions yield total orders on $\mathbb{N}$

We study structural and topological properties of nested set complexes of matroids with arbitrary building sets, proving that these complexes are vertex decomposable and admit convex ear decompositions. These results unify and generalize several recent and classical theorems on Bergman complexes and augmented Bergman complexes of matroids. As a first application, we show that the $h$-vector of a nested set complex is strongly flawless and, in particular, top-heavy. We then specialize to the boundary complex of the Deligne--Mumford--Knudsen moduli space $\overline{\mathcal{M}}_{0, n}$ of rational stable marked curves, which coincides with the complex of trees, establishing new structural decomposition theorems and deriving combinatorial formulas for its face enumeration polynomials.

In this paper, we study rooted products of graphs from the perspective of combinatorial commutative algebra. For edge ideals, we introduce the 2-Cohen-Macaulayness with respect to a vertex and use it to investigate when edge ideals of rooted products of graphs are Cohen-Macaulay. Moreover, we completely determine when attaching a graph on at most six vertices to a given graph as rooted products, yields a Cohen-Macaulay edge ideal. Also, we define mulit-clique corona graphs as a generalization of clique-corona graphs and multi-whisker graphs. We prove that multi-clique corona graphs are vertex decomposable and hence sequentially Cohen-Macaulay. Also, we give formulas for the projective dimension and the Castelnuovo-Mumford regularity.

We introduce a new family of pure simplicial complexes, called the $r$-co-connected complex of $G$ with respect to $A$, $Σ_r(A,G)$, where $r\geq 1$ is a natural number, $G$ is a simple graph, and $A$ is a subset of vertices. Interestingly, when $A$ is empty, this complex is precisely the Alexander dual of the $r$-independence complex of $G$. We focus on uncovering the relationship between the topological and combinatorial properties of the complex and the algebraic and homological properties of the Stanley-Reisner ideal of the dual complex. First, we prove that $Σ_r(A,G)$ is vertex decomposable whenever the induced subgraph $G[A]$ is connected and nonempty, yielding a versatile deletion-link calculus for higher independence via Alexander duality. Furthermore, when $A=\emptyset$ and $r \ge 2$, we establish that for several significant classes of graphs - including chordal, co-chordal, cographs, cycles, complements of cycles, and certain grid graphs - the properties of vertex decomposability, shellability, and Cohen-Macaulayness are equivalent and precisely characterized by the co-chordality of the associated clutter $\mathrm{Con}_r(G)$. These results extend Fröberg's theorem to the setting of $r$-connected ideals for these graph classes and motivate a conjecture concerning the linear resolution property of $r$-connected ideals in general. We also construct examples separating shellability from vertex decomposability.