arXiv++ Combinatorics

Convex neural codes are combinatorial structures describing the intersection pattern of a collection of convex sets. Inductively pierced codes are a particularly nice subclass of neural codes introduced in the information visualization literature by Stapleton et al. in 2011 and to the convex codes literature by Gross et al. in 2016. Here, we show that all inductively pierced codes are nondegenerate convex codes and nondegenerate hyperplane codes. In particular, we prove that a $k$-inductively pierced code on $n$ neurons has a convex realization with balls in $\mathbb R^{k+1}$ and with half spaces in $\mathbb R^{n}$. We characterize the simplicial and polar complexes of inductively pierced codes, showing the simplicial complexes are disjoint unions of vertex decomposable clique complexes and that the polar complexes are shellable. In an earlier version of this preprint, we gave a flawed proof that toric ideals of $k$-inductively pierced codes have quadratic Gröbner bases under the term order induced by a shelling order of the polar complex of $\mathcal C$. We now state this as a conjecture, inspired by computational evidence.

In this paper, we first present the relation between a transversal in a Latin square with some concepts in its Latin square graph, and give an equivalent condition for a Latin square has an orthogonal mate. The most famous open problem involving Combinatorics is to find maximum number of disjoint transversals in a Latin square. So finding some family of decomposable Latin squares into disjoint transversals is our next aim. In the next section, we give an equivalent statement of a conjecture which has been attributed to Brualdi, Stein and Ryser by the concept of quasi-transversal. Finally, we prove the truth of the Rodney's conjecture for a family of graphs.

Given a shifted order ideal $U$, we associate to it a family of simplicial complexes $(Δ_t(U))_{t\geq 0}$ that we call squeezed complexes. In a special case, our construction gives squeezed balls that were defined and used by Kalai to show that there are many more simplicial spheres than boundaries of simplicial polytopes. We study combinatorial and algebraic properties of squeezed complexes. In particular, we show that they are vertex decomposable and characterize when they have the weak or the strong Lefschetz property. Moreover, we define a new combinatorial invariant of pure simplicial complexes, called the singularity index, that can be interpreted as a measure of how far a given simplicial complex is from being a manifold. In the case of squeezed complexes $(Δ_t(U))_{t\geq 0}$, the singularity index turns out to be strictly decreasing until it reaches (and stays) zero if $t$ grows.

Each (equigenerated) squarefree monomial ideal in the polynomial ring $S=\mathbb{K}[x_1, \ldots, x_n]$ represents a family of subsets of $[n]$, called a (uniform) clutter. In this paper, we introduce a class of uniform clutters, called decomposable clutters, whose associated ideal has linear quotients and hence linear resolution over all fields. We show that chordality of these clutters guarantees the correctness of a conjecture raised by R. S. Simon on extendable shellability of $d$-skeletons of a simplex $\langle [n] \rangle$, for all $d$. We then prove this conjecture for $d \geq n-3$.

Let $G$ be the circulant graph $C_n(S)$ with $S\subseteq\{ 1,\ldots,\left \lfloor\frac{n}{2}\right \rfloor\}$ and let $Δ$ be its independence complex. We describe the well-covered circulant graphs with 2-dimensional $Δ$ and construct an infinite family of vertex-decomposable circulant graphs within this family.

The 2-block intersection graph (2-BIG) of a twofold triple system (TTS) is the graph whose vertex set is composed of the blocks of the TTS and two vertices are joined by an edge if the corresponding blocks intersect in exactly two elements. The 2-BIGs are themselves interesting graphs: each component is cubic and 3-connected, and a 2-BIG is bipartite exactly when the TTS is decomposable to two Steiner triple systems. Any connected bipartite 2-BIG with no Hamilton cycle is a counter-example to a conjecture posed by Tutte in 1971. Our main result is that there exists an integer $N$ such that for all $v\geq N$, if $v\equiv 1$ or $3\mod{6}$ then there exists a TTS($v$) whose 2-BIG is bipartite and connected but not Hamiltonian. Furthermore, $13<N\leq 663$. Our approach is to construct a TTS($u$) whose 2-BIG is connected bipartite and non-Hamiltonian and embed it within a TTS($v$) where $v>2u$ in such a way that, after a single trade, the 2-BIG of the resulting TTS($v$) is bipartite connected and non-Hamiltonian.

The junction-tree representation provides an attractive structural property for organizing a decomposable graph. In this study, we present two novel stochastic algorithms, which we call the junction-tree expander and junction-tree collapser for sequential sampling of junction trees for decomposable graphs. We show that recursive application of the junction-tree expander, expanding incrementally the underlying graph with one vertex at a time, has full support on the space of junction trees with any given number of underlying vertices. On the other hand, the junction-tree collapser provides a complementary operation for removing vertices in the underlying decomposable graph of a junction tree, while maintaining the junction tree property. A direct application of our suggested algorithms is demonstrated in a sequential-Monte-Carlo setting designed for sampling from distributions on spaces of decomposable graphs. Numerical studies illustrate the utility of the proposed algorithms for combinatorial computations on decomposable graphs and junction trees. All the methods proposed in the paper are implemented in the Python library trilearn.

Let $G$ be a finite simple graph and $I(G)$ denote the corresponding edge ideal. In this paper, we obtain upper bounds for the Castelnuovo-Mumford regularity of $I(G)^q$ in terms of certain combinatorial invariants associated with $G$. We also prove a weaker version of a conjecture by Alilooee, Banerjee, Beyarslan and Hà on an upper bound for the regularity of $I(G)^q$ and we prove the conjectured upper bound for the class of vertex decomposable graphs. Using these results, we explicitly compute the regularity of $I(G)^q$ for several classes of graphs.

The tight-span of a finite metric space is a polytopal complex that has appeared in several areas of mathematics. In this paper we determine the polytopal structure of the tight-span of a totally split decomposable (finite) metric. Totally split-decomposable metrics are a generalization of tree-metrics and have importance within phylogenetics. In previous work, we showed that the cells of the tight-span of such a metric are zonotopes that are polytope isomorphic to either hypercubes or rhombic dodecahedra. Here, we extend these results and show that the tight-spanof a totally split-decomposable metric can be broken up into a canonical collection of polytopal complexes whose polytopal structures can be directly determined from the metric. This allows us to also completely determine the polytopal structure of the tight-span of a totally split-decomposable metric in a very direct way.We anticipate that our improved understanding of this structure may ultimately lead to improved techniques for phylogenetic inference.

A Schur ring over a finite group is said to be decomposable if it is the generalized wreath product of Schur rings over smaller groups. In this paper we establish a sufficient condition for a decomposable Schur ring over the direct product of elementary abelian groups to be a $CI$-Schur ring. By using this condition we reprove in a short way known results on the $CI$-property for decomposable Schur rings over an elementary abelian group of rank at most $5$.

We prove that for every $d\geq 2$, deciding if a pure, $d$-dimensional, simplicial complex is shellable is NP-hard, hence NP-complete. This resolves a question raised, e.g., by Danaraj and Klee in 1978. Our reduction also yields that for every $d \ge 2$ and $k \ge 0$, deciding if a pure, $d$-dimensional, simplicial complex is $k$-decomposable is NP-hard. For $d \ge 3$, both problems remain NP-hard when restricted to contractible pure $d$-dimensional complexes. Another simple corollary of our result is that it is NP-hard to decide whether a given poset is CL-shellable.

In contrast with Kotzig's result that the line graph of a $3$-regular graph $X$ is Hamilton decomposable if and only if $X$ is Hamiltonian, we show that for each integer $k\geq 4$ there exists a simple non-Hamiltonian $k$-regular graph whose line graph has a Hamilton decomposition. We also answer a question of Jackson by showing that for each integer $k\geq 3$ there exists a simple connected $k$-regular graph with no separating transitions whose line graph has no Hamilton decomposition.

In this paper, we consider the generalization of chordal graphs to clutters proposed by Bigdeli, et al in J. Combin. Theory, Series A (2017). Assume that $\mathcal{C}$ is a $d$-dimensional uniform clutter. It is known that if $\mathcal{C}$ is chordal, then $I(\bar{\mathcal{C}})$ has a linear resolution over all fields. The converse has recently been rejected, but the following question which poses a weaker version of the converse is still open: "if $I(\bar{\mathcal{C}})$ has linear quotients, is $\mathcal{C}$ necessarily chordal?". Here, by introducing the concept of the ascent of a clutter, we split this question into two simpler questions and present some clues in support of an affirmative answer. In particular, we show that if $I(\bar{\mathcal{C}})$ is the Stanley-Reisner ideal of a simplicial complex with a vertex decomposable Alexander dual, then $\mathcal{C}$ is chordal.

Ehrenborg, Govindaiah, Park, and Readdy recently introduced the van der Waerden complex, a pure simplicial complex whose facets correspond to arithmetic progressions. Using techniques from combinatorial commutative algebra, we classify when these pure simplicial complexes are vertex decomposable or not Cohen-Macaulay. As a corollary, we classify the van der Waerden complexes that are shellable.

We define the excess degree $ξ(P)$ of a $d$-polytope $P$ as $2f_1-df_0$, where $f_0$ and $f_1$ denote the number of vertices and edges, respectively. This parameter measures how much $P$ deviates from being simple. It turns out that the excess degree of a $d$-polytope does not take every natural number: the smallest possible values are $0$ and $d-2$, and the value $d-1$ only occurs when $d=3$ or 5. On the other hand, for fixed $d$, the number of values not taken by the excess degree is finite if $d$ is odd, and the number of even values not taken by the excess degree is finite if $d$ is even. The excess degree is then applied in three different settings. It is used to show that polytopes with small excess (i.e. $ξ(P)<d$) have a very particular structure: provided $d\ne5$, either there is a unique nonsimple vertex, or every nonsimple vertex has degree $d+1$. This implies that such polytopes behave in a similar manner to simple polytopes in terms of Minkowski decomposability: they are either decomposable or pyramidal, and their duals are always indecomposable. Secondly, we characterise completely the decomposable $d$-polytopes with $2d+1$ vertices (up to combinatorial equivalence). And thirdly all pairs $(f_0,f_1)$, for which there exists a 5-polytope with $f_0$ vertices and $f_1$ edges, are determined.

We introduce pretty $k$-clean monomial ideals and $k$-decomposable multicomplexes, respectively, as the extensions of the notions of $k$-clean monomial ideals and $k$-decomposable simplicial complexes. We show that a multicomplex $Γ$ is $k$-decomposable if and only if its associated monomial ideal $I(Γ)$ is pretty $k$-clean. Also, we prove that an arbitrary monomial ideal $I$ is pretty $k$-clean if and only if its polarization $I^p$ is $k$-clean. Our results extend and generalize some results due to Herzog-Popescu, Soleyman Jahan and the current author.

A Hamiltonian decomposition of $G$ is a partition of its edge set into disjoint Hamilton cycles. Manikandan and Paulraja conjectured that if $G$ and $H$ are Hamilton cycle decomposable circulant graphs with at least one of them is nonbipartite, then their tensor product is Hamilton cycle decomposable. In this paper, we have proved that, if $G$ is a Hamilton cycle decomposable circulant graph with certain properties and $H$ is a Hamilton cycle decomposable multigraph, then their tensor product is Hamilton cycle decomposable. In particular, tensor products of certain sparse Hamilton cycle decomposable circulant graphs are Hamilton cycle decomposable.

In this paper, we introduce the concept of $k$-clean monomial ideals as an extension of clean monomial ideals and present some homological and combinatorial properties of them. Using the hierarchal structure of $k$-clean ideals, we show that a $(d-1)$-dimensional simplicial complex is $k$-decomposable if and only if its Stanley-Reisner ideal is $k$-clean, where $k\leq d-1$. We prove that the classes of monomial ideals like monomial complete intersection ideals, Cohen-Macaulay monomial ideals of codimension 2 and symbolic powers of Stanley-Reisner ideals of matroid complexes are $k$-clean for all $k\geq 0$.

A lonesum matrix is a $(0,1)$-matrix that is uniquely determined by its row and column sum vectors. In this paper, we introduce lonesum decomposable matrices and study their properties. We provide a necessary and sufficient condition for a matrix $A$ to be lonesum decomposable, and give a generating function for the number $D_k(m,n)$ of $m\times n$ lonesum decomposable matrices of order $k$. Moreover, by using this generating function we prove some congruences for $D_k(m,n)$ modulo a prime.

A graph is Cartesian decomposable if it is isomorphic to a Cartesian product of (more than one) strictly smaller graphs, each of which has more than one vertex and admits no such decomposition. These smaller graphs are called the Cartesian-prime factors of the Cartesian decomposition, and were shown, by Sabidussi and Vizing independently, to be uniquely determined up to isomorphism. We characterise by their parameters those generalised Paley graphs which are Cartesian decomposable, and we prove that for such graphs, the Cartesian-prime factors are themselves smaller generalised Paley graphs. This generalises a result of Lim and the second author which deals with the case where all the Cartesian-prime factors are complete graphs. These results contribute to the determination, by parameters, of generalised Paley graphs with automorphism groups larger than the 1-dimensional affine subgroups used to define them.