arXiv++ Combinatorics

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.

We study decomposable N^d-indexed persistence modules via higher dimensional partitions. Their barcodes are defined in terms of the extended interior of the corresponding Young diagrams. For two decomposable N^d-indexed persistence modules, we present a necessary and sufficient condition, in terms of the partitions, for their rank invariants to be the same. This generalizes the well-known fact that for an N-indexed persistence module, its barcode and its rank invariant determine each other, i.e., the rank invariant is a complete invariant.

Let $V$ be a finite set of $n$ elements, $f: 2^V \rightarrow \mathbb{R}_+$ be a nonnegative monotone supermodular function, and $k$ be a positive integer no greater than $n$. This paper addresses the problem of maximizing $f(S)$ over all subsets $S \subseteq V$ subject to the cardinality constraint $|S| = k$ or $|S|\le k$. Let $r$ be a constant integer. The function $f$ is assumed to be {\em $r$-decomposable}, meaning there exist $m\,(\ge1)$ subsets $V_1, \dots, V_m$ of $V$, each with a cardinality at most $r$, and a corresponding set of nonnegative supermodular functions $f_i : 2^{V_i} \rightarrow \mathbb{R}_+$, $i=1,\ldots,m$ such that $f(S) =\sum_{i=1}^m f_i(S \cap V_i)$ holds for each $S \subseteq V$. Given $r$ as an input, we present a polynomial-time $O(n^{(r-1)/2})$-approximation algorithm for this maximization problem, which does not require prior knowledge of the specific decomposition. When the decomposition $(V_i,f_i)_{i=1}^m$ is known, an additional connectivity requirement is introduced to the problem. Let $G$ be the graph with vertex set $V$ and edge set $\cup_{i=1}^m \{uv:u,v\in V_i,u\neq v\}$. The cardinality constrained solution set $S$ is required to induce a connected subgraph in $G$. This model generalizes the well-known problem of finding the densest connected $k$-subgraph. We propose a polynomial time $O(n^{(r-1)/2})$-approximation algorithm for this generalization. Notably, this algorithm gives an $O(n^{1/2})$-approximation for the densest connected $k$-subgraph problem, improving upon the previous best-known approximation ratio of $O(n^{2/3})$.

In 2022 Kim showed when a graph $G$ is ternary (without induced cycles of length divisible by three), its independence complex $\text{Ind}(G)$ is either contractible or homotopy equivalent to a sphere. In this paper, we show that when $\text{Ind}(G)$ is homotopy equivalent to a sphere of dimension $\dim \text{Ind}(G)$, the complex is Gorenstein. Equivalently, $G$ is a $1$-well-covered graph. This answers a question by Faridi and Holleben. We then focus on the independence complexes of Gorenstein planar ternary graphs. We prove that they are boundaries of vertex decomposable simplicial polytopes. We show that the transformations among these flag spheres using edge subdivisions and contractions can be modeled by the Hasse diagram of the partition refinement poset. In addition, their $h$-polynomials are products of Delannoy polynomials and thus real-rooted. Finally, we demonstrate a way to construct nonplanar Gorenstein ($1$-well-covered) ternary graphs from planar ones.

A well-known conjecture of Simon (1994) states that any pure $d$-dimensional shellable complex on $n$ vertices can be extended to $Δ_{n-1}^{(d)}$, the $d$-skeleton of the $(n-1)$-dimensional simplex, by attaching one facet at a time while maintaining shellability. The notion of $k$-decomposability for simplicial complexes, which generalizes shellability, was introduced by Provan and Billera (1980). Coleman, Dochtermann, Geist, and Oh (2022) showed that any pure $d$-dimensional $0$-decomposable complex on $n$ vertices can similarly be extended to $Δ_{n-1}^{(d)}$, attaching one facet at a time while preserving $0$-decomposability. In this paper, we investigate the analogous question for $1$-decomposable complexes. We prove a slightly relaxed version: any pure $d$-dimensional $1$-decomposable complex on $n$ vertices can be extended to $Δ_{n + d - 3}^{(d)}$, attaching one facet at a time while maintaining $1$-decomposability.

We study the process of bootstrap percolation on n x n permutation matrices, inspired by the work of Shapiro and Stephens [5]. In this percolation model, cells mutate (from 0 to 1) if at least two of their cardinal neighbors contain a 1, and thereafter remain unchanged; the process continues until no further mutations are possible. After carefully analyzing this process, we consider how it interacts with the notion of (in)decomposable permutations. We prove that the number of indecomposable permutations whose matrices "fill up'' to contain all 1's (or are "full") is half of the total number of full permutations. This leads to a new proof of a key result in [5], that the number of full n x n permutations is the (n-1)st large Schroeder number. Finally, after rigorously justifying a heuristic argument in [5], we find a new formula for the number of n x n "no growth" permutations, and hence a new solution to the well-known n-kings problem.

The inference of phylogenetic networks, which model complex evolutionary processes including hybridization and gene flow, remains a central challenge in evolutionary biology. Until now, statistically consistent inference methods have been limited to phylogenetic level-1 networks, which allow no interdependence between reticulate events. In this work, we establish the theoretical foundations for a statistically consistent inference method for a much broader class: semi-directed level-2 networks that are outer-labeled planar and galled. We precisely characterize the features of these networks that are distinguishable from the topologies of their displayed quartet trees. Moreover, we prove that an inter-taxon distance derived from these quartets is circular decomposable, enabling future robust inference of these networks from quartet data, such as concordance factors obtained from gene tree distributions under the Network Multispecies Coalescent model. Our results also have novel identifiability implications across different data types and evolutionary models, applying to any setting in which displayed quartets can be distinguished.

Kühn and Osthus conjectured in 2013 that regular tripartite tournaments are decomposable into Hamilton cycles. Somewhat surprisingly, Granet gave a simple counterexample to this conjecture almost 10 years later. In this paper, we show that the conjecture of Kühn and Osthus nevertheless holds in an approximate sense, by proving that every regular tripartite tournament admits an approximate decomposition into Hamilton cycles. We also study Hamilton cycle packings of directed graphs in the same regime, and show that for large $n$, every balanced tripartite digraph on $3n$ vertices which is $d$-regular for $d\ge (1+o(1))n$ admits a Hamilton decomposition.

We explicitly construct a minimal free resolution of the cover ideals of clique-whiskered graphs. In particular, Cohen--Macaulay chordal graphs, clique corona graphs, and Cohen--Macaulay Cameron--Walker graphs are examples of clique-whiskered graphs. We also introduce multi-clique-whiskered graphs as a generalization of both clique-whiskered graphs and multi-whisker graphs. We prove that multi-clique-whiskered graphs are vertex decomposable and hence sequentially Cohen--Macaulay. Moreover, we provide formulas for the projective dimension and the Castelnuovo--Mumford regularity of their edge ideals. Finally, we construct minimal free resolutions of the cover ideals of both multi-clique-whiskered graphs and very well-covered graphs.

Distance-hereditary graphs are known to be the graphs that are totally decomposable for the split decomposition. We characterise distance-hereditary graphs whose complement is also distance-hereditary by their split decomposition and by their modular decomposition.

Let $G$ be a graph consisting of $s$ odd cycles that all share a common vertex. Bhaskara, Higashitani, and Shibu Deepthi recently computed the $h$-polynomial for the quotient ring $R/I_G$, where $I_G$ is the toric ideal of $G$, in terms of the number and sizes of odd cycles in the graph. The purpose of this note is to prove the stronger result that these toric ideals are geometrically vertex decomposable, which allows us to deduce the result of Bhaskara, Higashitani, and Shibu Deepthi about the $h$-polyhomial as a corollary.

Let $G$ be a permutation graph. We show that $G$ is Cohen-Macaulay if and only if $G$ is unmixed and vertex decomposable. When this is the case, we obtain a combinatorial description for the $a$-invariant of $G$. Moreover, we characterize the Gorenstein permutation graphs.

We consider a family of toroidal graphs, denoted by $\mathcal{T}_{i, j}$, which contain neither $i$-cycles nor $j$-cycles. A graph $G$ is $(d, h)$-decomposable if it contains a subgraph $H$ with $Δ(H) \leq h$ such that $G - E(H)$ is a $d$-degenerate graph. For each pair $(i, j) \in \{(3, 4), (3, 6), (4, 6), (4, 7)\}$, Lu and Li proved that every graph in $\mathcal{T}_{i, j}$ is $(2, 1)$-decomposable. In this short note, we present a unified approach to prove that a common superclass of $\mathcal{T}_{i, j}$ is also $(2, 1)$-decomposable.

We affirm most open cases of a conjecture that first appeared in Alspach et al. (1987) which stipulates that the wreath (lexicographic) product of two hamiltonian decomposable directed graphs is also hamiltonian decomposable. Specifically, we show that the wreath product of a hamiltonian decomposable directed graph $G$, such that $|V(G)|$ is even and $|V(G)|\geqslant 2$, with a hamiltonian decomposable directed graph $H$, such that $|V(H)| \geqslant 4$, is also hamiltonian decomposable except possibly when $G$ is a directed cycle and $H$ is a directed graph of odd order that admits a decomposition into $c$ directed hamiltonian cycle where $c$ is odd and $3\leqslant c \leqslant |V(H)|-2$.

Unit interval and interval complexes are higher-dimensional generalizations of unit interval and interval graphs, respectively. We show that strongly connected unit interval complexes are shellable with shellings induced by their unit interval orders. We also show that these complexes are vertex decomposable and hence shelling completable. On the other hand, we give simple examples of strongly connected interval complexes that are not shellable in dimensions two and higher.

The coherent configuration $\mathsf{WL}(X)$ of a graph $X$ is the smallest coherent configuration on the vertices of $X$ that contains the edge set of $X$ as a relation. The aim of the paper is to study $\mathsf{WL}(X)$ when $X$ is a Cartesian product of graphs. The example of a Hamming graph shows that, in general, $\mathsf{WL}(X)$ does not coincide with the tensor product of the coherent configurations of the factors. We prove that if $X$ is ``closed'' with respect to the $6$-dimensional Weisfeiler-Leman algorithm, then $\mathsf{WL}(X)$ is the tensor product of the coherent configurations of certain graphs related to the prime decomposition of $X$. This condition is trivially satisfied for almost all graphs. In addition, we prove that the property of a graph ``to be decomposable into a Cartesian product of $k$ connected prime graphs'' for some $k\ge 1$ is recognized by the $m$-dimensional Weisfeiler-Leman algorithm for all $m\ge 6$.

We study the poset topology of lattices arising from orientations of 1-skeleta of directionally simple polytopes, with Bruhat interval polytopes $Q_{e,w}$ as our main example. We show that the order complex $Δ((u,v)_w)$ of an interval therein is homotopy equivalent to a sphere if $Q_{u,v}$ is a face of $Q_{e,w}$ and is otherwise contractible. This significantly generalizes the known case of the permutahedron. We also show that saturated chains from $u$ to $v$ in such lattices are connected, and in fact highly connected, under moves corresponding to flipping across a 2-face. When $w$ is a Grassmannian permutation, this implies a strengthening of the restriction of Postnikov's move-equivalence theorem to the class of BCFW bridge decomposable plabic graphs.