arXiv++ Combinatorics

We study decomposable combinatorial labeled structures in the exp-log class, specifically, two examples of type a=1 and two examples of type a=1/2. Our approach is to establish how well existing theory matches experimental data. For instance, the median length of the longest cycle in a random n-permutation is (0.6065...)*n, whereas the median length of the largest component in a random n-mapping is (0.7864...)*n. Unsolved problems are highlighted, in the hope that someone else might address these someday.

We establish concentration inequalities for Lipschitz functions of dependent random variables, whose dependencies are specified by forests. We also give concentration results for decomposable functions, improving Janson's Hoeffding-type inequality for the summation of graph-dependent bounded variables. These results extend McDiarmid's bounded difference inequality to the dependent cases.

We compare two constructions of exact Lagrangian fillings of Legendrian positive braid closures, the Legendrian weaves of Casals-Zaslow, and the decomposable Lagrangian fillings, of Ekholm-Honda-Kálmán and show that they coincide for large families of Lagrangian fillings. As a corollary, we obtain an explicit correspondence between Hamiltonian isotopy classes of decomposable Lagrangian fillings of Legendrian $(2,n)$ torus links described by Ekholm-Honda-Kálmán and the weave fillings constructed by Treumann and Zaslow. We apply this result to describe the orbital structure of the Kálmán loop and give a combinatorial criteria to determine the orbit size of a filling. We follow our geometric discussion with a Floer-theoretic proof of the orbital structure, where an identity studied by Euler in the context of continued fractions makes a surprise appearance. We conclude by giving a purely combinatorial description of the Kálmán loop action on the fillings discussed above in terms of edge flips of triangulations.

An odd graph is a finite graph all of whose vertices have odd degrees. Given graph $G$ is decomposable into $k$ odd subgraphs if its edge set can be partitioned into $k$ subsets each of which induces an odd subgraph of $G$. The minimum value of $k$ for which such a decomposition of $G$ exists is the odd chromatic index, $χ_{o}'(G)$, introduced by Pyber (1991). For every $k\geqχ_{o}'(G)$, the graph $G$ is said to be odd $k$-edge-colorable. Apart from two particular exceptions, which are respectively odd $5$- and odd $6$-edge-colorable, the rest of connected loopless graphs are odd $4$-edge-colorable, and moreover one of the color classes can be reduced to size $\leq2$. In addition, it has been conjectured that an odd $4$-edge-coloring with a color class of size at most $1$ is always achievable. Atanasov et al. (2016) characterized the class of subcubic graphs in terms of the value $χ_{o}'(G)\leq4$. In this paper, we extend their result to a characterization of all subdivisions of odd graphs in terms of the value of the odd chromatic index. This larger class $\mathcal{S}$ is of a particular interest as it collects all `least instances' of non-odd graphs. As a prelude to our main result, we show that every connected graph $G\in \mathcal{S}$ requiring the maximum number of four colors, becomes odd $3$-edge-colorable after removing a certain edge. Thus, we provide support for the mentioned conjecture by proving it for all subdivisions of odd graphs. The paper concludes with few problems for possible further work.

The study of Chow varieties of decomposable forms lies at the confluence of algebraic geometry, commutative algebra, representation theory and combinatorics. There are many open questions about homological properties of Chow varieties and interesting classes of modules supported on them. The goal of this note is to survey some fundamental constructions and properties of these objects, and to propose some new directions of research. Our main focus will be on the study of certain maximal Cohen-Macaulay modules of covariants supported on Chow varieties, and on defining equations and syzygies. We also explain how to assemble Tor groups over Veronese subalgebras into modules over a Chow variety, leading to a result on the polynomial growth of these groups.

We study triangle decompositions of graphs. We consider constructions of classes of graphs where every edge lies on a triangle and the addition of the minimum number of multiple edges between already adjacent vertices results in a strongly triangle divisible graph that is also triangle decomposable. We explore several classes of planar graphs as well as a class of toroidal graphs.

Given a simple undirected graph $G$ there is a simplicial complex $\mathrm{Ind}(G)$, called the independence complex, whose faces correspond to the independent sets of $G$. This is a well studied concept because it provides a fertile ground for interactions between commutative algebra, graph theory and algebraic topology. One of the line of research pursued by many authors is to determine the graph classes for which the associated independence complex is Cohen-Macaulay. For example, it is known that when $G$ is a chordal graph the complex $\mathrm{Ind}(G)$ is in fact vertex decomposable, the strongest condition in the Cohen-Macaulay ladder. In this article we consider a generalization of independence complex. Given $r\geq 1$, a subset of the vertex set is called $r$-independent if the connected components of the induced subgraph have cardinality at most $r$. The collection of all $r$-independent subsets of $G$ form a simplicial complex called the $r$-independence complex and is denoted by $\mathrm{Ind}_r(G)$. It is known that when $G$ is a chordal graph the complex $\mathrm{Ind}_r(G)$ has the homotopy type of a wedge of spheres. Hence it is natural to ask which of these complexes are shellable or even vertex decomposable. We prove, using Woodroofe's chordal hypergraph notion, that these complexes are always shellable when the underlying chordal graph is a tree. Further, using the notion of vertex splittable ideals we show that for caterpillar graphs the associated $r$-independence complex is vertex decomposable for all values of $r$. We also construct chordal graphs on $2r+2$ vertices such that their $r$-independence complexes are not sequentially Cohen-Macaulay for any $r \ge 2$.

Decomposable graphical models, also known as perfect DAG models, play a fundamental role in standard approaches to probabilistic inference via graph representations in modern machine learning and statistics. However, such models are limited by the assumption that the data-generating distribution does not entail strictly context-specific conditional independence relations. The family of staged tree models generalizes DAG models so as to accommodate context-specific knowledge. We provide a new characterization of perfect discrete DAG models in terms of their staged tree representations. This characterization identifies the family of balanced staged trees as the natural generalization of discrete decomposable models to the context-specific setting.

The study of toppling on permutations with an extra labeled chip was initiated by the first author with D. Hathcock and P. Tetali (arXiv:2010.11236), where the extra chip was added in the middle. We extend this to all possible locations $p$ as well as values $r$ of the extra chip and give a complete characterization of permutations which topple to the identity. Further, we classify all permutations which are outcomes of the toppling process in this generality, which we call resultant permutations. Resultant permutations turn out to be certain decomposable permutations. The number of configurations toppling to a given resultant permutation is shown to depend purely on the number of left-to-right maxima (or records) of the permutation to the left of $n-p$ and the number of right-to-left minima to the right of $n-p$. The number of permutations toppling to a given resultant permutation (identity or otherwise) is shown to be the binomial transform of a poly-Bernoulli number of type B.

This paper is devoted to the study of multigraded algebras and multigraded linear series. For an $\mathbb{N}^s$-graded algebra $A$, we define and study its volume function $F_A:\mathbb{N}_+^s\to \mathbb{R}$, which computes the asymptotics of the Hilbert function of $A$. We relate the volume function $F_A$ to the volume of the fibers of the global Newton-Okounkov body $Δ(A)$ of $A$. Unlike the classical case of standard multigraded algebras, the volume function $F_A$ is not a polynomial in general. However, in the case when the algebra $A$ has a decomposable grading, we show that the volume function $F_A$ is a polynomial with non-negative coefficients. We then define mixed multiplicities in this case and provide a full characterization for their positivity. Furthermore, we apply our results on multigraded algebras to multigraded linear series. Our work recovers and unifies recent developments on mixed multiplicities. In particular, we recover results on the existence of mixed multiplicities for (not necessarily Noetherian) graded families of ideals and on the positivity of the multidegrees of multiprojective varieties.

Given a tournament $T$, a module of $T$ is a subset $M$ of $V(T)$ such that for $x, y\in M$ and $v\in V(T)\setminus M$, $(v,x)\in A(T)$ if and only if $(v,y)\in A(T)$. The trivial modules of $T$ are $\emptyset$, $\{u\}$ $(u\in V(T))$ and $V(T)$. The tournament $T$ is indecomposable if all its modules are trivial; otherwise it is decomposable. Let $T$ be a tournament with at least five vertices. In a previous paper, the authors proved that the smallest number $δ(T)$ of arcs that must be reversed to make $T$ indecomposable satisfies $δ(T) \leq \left\lceil \frac{v(T)+1}{4} \right\rceil$, and this bound is sharp, where $v(T) = |V(T)|$ is the order of $T$. In this paper, we prove that if the tournament $T$ is not transitive of even order, then $T$ can be made indecomposable by reversing the arcs of a subtournament of $T$. We denote by $δ'(T)$ the smallest size of such a subtournament. We also prove that $δ(T) = \left\lceil \frac{δ'(T)}{2} \right\rceil$.

It is possible for a combinatorial type of polytope to have both decomposable and indecomposable realizations; here decomposability is meant with respect to Minkowski addition. Such polytopes are called conditionally decomposable. We show that the minimum number of vertices of a conditionally decomposable $d$-polytope is in the range $[3d-3, 4d-4]$, and that for a polytope having a line segment for a summand, $4d-4$ is sharp. As an application, the exact lower bound of the number of $k$-faces of a decomposable $d$-polytope with $2d+m$ vertices ($2 \le m\le d-4$) is obtained. Concerning the facets, in dimension 4, the minimum number of facets of a conditionally decomposable polytope is 9, and in dimension $d\ge 5$, the minimum is $d+4$.

In a graph $G=(V,E)$, a module is a vertex subset $M$ of $V$ such that every vertex outside $M$ is adjacent to all or none of $M$. For example, $\emptyset$, $\{x\}$ $(x\in V )$ and $V$ are modules of $G$, called trivial modules. A graph, all the modules of which are trivial, is prime; otherwise, it is decomposable. A vertex $x$ of a prime graph $G$ is critical if $G - x$ is decomposable. Moreover, a prime graph with $k$ non-critical vertices is called $(-k)$-critical graph. A prime graph $G$ is $k$-minimal if there is some $k$-vertex set $X$ of vertices such that there is no proper induced subgraph of $G$ containing $X$ is prime. From this perspective, I. Boudabbous proposes to find the $(-k)$-critical graphs and $k$-minimal graphs for some integer $k$ even in a particular case of graphs. This research paper attempts to answer I. Boudabbous's question. First, it describes the $(-k)$-critical tree. As a corollary, we determine the number of nonisomorphic $(-k)$-critical tree with $n$ vertices where $k\in \{1,2,\lfloor\frac{n}{2}\rfloor\}$. Second, it provide a complete characterization of the $k$-minimal tree. As a corollary, we determine the number of nonisomorphic $k$-minimal tree with $n$ vertices where $k\leq 3$.

A weight system is a function on chord diagrams that satisfies the so-called four-term relations. Vassiliev's theory of finite-order knot invariants describes these invariants in terms of weight systems. In particular, there is a weight system corresponding to the colored Jones polynomial. This weight system can be easily defined in terms of the Lie algebra $\mathfrak{sl}_2$, but this definition is too cumbersome from the computational point of view, so that the values of this weight system are known only for some limited classes of chord diagrams. In the present paper we give a formula for the values of the $\mathfrak{sl}_2$ weight system for a class of chord diagrams whose intersection graphs are complete bipartite graphs with no more than three vertices in one of the parts. Our main computational tool is the Chmutov--Varchenko reccurence relation. Furthermore, complete bipartite graphs with no more than three vertices in one of the parts generate Hopf subalgebras of the Hopf algebra of graphs, and we deduce formulas for the projection onto the subspace of primitive elements along the subspace of decomposable elements in these subalgebras. We compute the values of the $\mathfrak{sl}_2$ weight system for the projections of chord diagrams with such intersection graphs. Our results confirm certain conjectures due to S.K.Lando on the values of the weight system $\mathfrak{sl}_2$ at the projections of chord diagrams on the space of primitive elements.

Given a tournament $T$, a module of $T$ is a subset $M$ of $V(T)$ such that for $x, y\in M$ and $v\in V(T)\setminus M$, $(x,v)\in A(T)$ if and only if $(y,v)\in A(T)$. The trivial modules of $T$ are $\emptyset$, $\{u\}$ $(u\in V(T))$ and $V(T)$. The tournament $T$ is indecomposable if all its modules are trivial; otherwise it is decomposable. The decomposability index of $T$, denoted by $δ(T)$, is the smallest number of arcs of $T$ that must be reversed to make $T$ indecomposable. In a previous paper, we proved that for $n \geq 5$, we have $δ(n) = \left\lceil \frac{n+1}{4} \right\rceil$, where $δ(n)$ is the maximum of $δ(T)$ over the tournaments $T$ with $n$ vertices. In this paper, we characterize the tournaments $T$ with $δ$-maximal decomposability, i.e., such that $δ(T)=δ(\vert T\vert)$.

In this article, we discuss the vertex decomposability of three well-studied simplicial complexes associated to forests. In particular, we show that the bounded degree complex of a forest and the complex of directed trees of a multidiforest are vertex decomposable. We then prove that the non-cover complex of a forest is either contractible or homotopy equivalent to a sphere. Finally, we provide a complete characterization of forests whose non-cover complexes are vertex decomposable.

It is proved that if a graph is regular of even degree and contains a Hamilton cycle, or regular of odd degree and contains a Hamiltonian $3$-factor, then its line graph is Hamilton decomposable. This result partially extends Kotzig's result that a $3$-regular graph is Hamiltonian if and only if its line graph is Hamilton decomposable, and proves the conjecture of Bermond that the line graph of a Hamilton decomposable graph is Hamilton decomposable.

We say that a pure $d$-dimensional simplicial complex $Δ$ on $n$ vertices is \emph{shelling completable} if $Δ$ can be realized as the initial sequence of some shelling of $Δ_{n-1}^{(d)}$, the $d$-skeleton of the $(n-1)$-dimensional simplex. A well-known conjecture of Simon posits that any shellable complex is shelling completable. In this note we prove that vertex decomposable complexes are shelling completable. In fact we show that if $Δ$ is a vertex decomposable complex then there exists an ordering of its ground set $V$ such that adding the revlex smallest missing $(d+1)$-subset of $V$ results in a complex that is again vertex decomposable. We explore applications to matroids and shifted complexes, as well as connections to ridge-chordal complexes and $k$-decomposability. We also show that if $Δ$ is a $d$-dimensional complex on at most $d+3$ vertices then the notions of shellable, vertex decomposable, shelling completable, and extendably shellable are all equivalent.

Barnette's conjecture is an unsolved problem in graph theory. The problem states that every 3-regular (cubic), 3-connected, planar, bipartite (Barnette) graph is Hamiltonian. Partial results have been derived with restrictions on number of vertices, several properties of face-partitions and dual graphs of Barnette graphs while some studies focus just on structural characterizations of Barnette graphs. Noting that Spider web graphs are a subclass of Annular Decomposable Barnette (ADB graphs) graphs and are Hamiltonian, we study ADB graphs and their annular-connected subclass (ADB-AC graphs). We show that ADB-AC graphs can be generated from the smallest Barnette graph using recursive edge operations. We derive several conditions assuring the existence of Hamiltonian cycles in ADB-AC graphs without imposing restrictions on number of vertices, face size or any other constraints on the face partitions. We show that there can be two types of annuli in ADB-AC graphs, ring annuli and block annuli. Our main result is, ADB-AC graphs having non singular sequences of ring annuli are Hamiltonian.

Let $H$ be a simple undirected graph and $G=\mathrm{L}(H)$ be its line graph. Assume that $Δ(G)$ denotes the clique complex of $G$. We show that $Δ(G)$ is sequentially Cohen-Macaulay if and only if it is shellable if and only if it is vertex decomposable. Moreover if $Δ(G)$ is pure, we prove that these conditions are also equivalent to being strongly connected. Furthermore, we state a complete characterizations of those $H$ for which $Δ(G)$ is Cohen-Macaulay, sequentially Cohen-Macaulay or Gorenstein. We use these characterizations to present linear time algorithms which take a graph $G$, check whether $G$ is a line graph and if yes, decide if $Δ(G)$ is Cohen-Macaulay or sequentially Cohen-Macaulay or Gorenstein.