arXiv++ Combinatorics

This paper studies mathematical properties of reaction systems that was introduced by Enrenfeucht and Rozenberg as computational models inspired by biochemical reaction in the living cells. In particular, we continue the study on the generative power of functions specified by minimal reaction systems under composition initiated by Salomaa. Allowing degenerate reaction systems, functions specified by minimal reaction systems over a quarternary alphabet that are permutations generate the alternating group on the power set of the background set.

This article studies sums over all compositions of an integer. We derive a generating function for this quantity, and apply it to several special functions, including various generalized Bernoulli numbers. We connect composition sums with a recursive tree introduced by S.G. Woon and extended by P. Fuchs under the name "general PI tree", in which an output sequence $\{x_n\}$ is associated to the input sequence $\{g_n\}$ by summing over each row of the tree built from $\{g_n\}$. Our link with the notion of compositions allows to introduce a modification of Fuchs' tree that takes into account nonlinear transforms of the generating function of the input sequence. We also introduce the notion of \textit{generalized sums over compositions}, where we look at composition sums over each part of a composition.

In this paper, we use two-variable Laurent polynomials attached to matrices to encode properties of compositions of sequences. The Lagrange identity in the ring of Laurent polynomials is then used to give a short and transparent proof of a theorem about the Yang multiplication.

For any triple $(i,a,μ)$ consisting of a vertex $i$ in a quiver $Q$, a positive integer $a$, and a dominant $GL_a$-weight $μ$, we define a quiver current $H^{(i,a)}_μ$ acting on the tensor power $Λ^Q$ of symmetric functions over the vertices of $Q$. These provide a quiver generalization of parabolic Garsia-Jing creation operators in the theory of Hall-Littlewood symmetric functions. For a triple $(\mathbf{i},\mathbf{a},μ(\bullet))$ of sequences of such data, we define the quiver Hall-Littlewood function $H^{\mathbf{i},\mathbf{a}}_{μ(\bullet)}$ as the result of acting on $1\inΛ^Q$ by the corresponding sequence of quiver currents. The quiver Kostka-Shoji polynomials are the expansion coefficients of $H^{\mathbf{i},\mathbf{a}}_{μ(\bullet)}$ in the tensor Schur basis. These polynomials include the Kostka-Foulkes polynomials and parabolic Kostka polynomials (Jordan quiver) and the Kostka-Shoji polynomials (cyclic quiver) as special cases. We show that the quiver Kostka-Shoji polynomials are graded multiplicities in the equivariant Euler characteristic of a vector bundle on Lusztig's convolution diagram determined by the sequences $\mathbf{i},\mathbf{a}$. For certain compositions of currents we conjecture higher cohomology vanishing of the associated vector bundle on Lusztig's convolution diagram. For quivers with no branching we propose an explicit positive formula for the quiver Kostka-Shoji polynomials in terms of catabolizable multitableaux. We also relate our constructions to $K$-theoretic Hall algebras, by realizing the quiver Kostka-Shoji polynomials as natural structure constants and showing that the quiver currents provide a symmetric function lifting of the corresponding shuffle product. In the case of a cyclic quiver, we explain how the quiver currents arise in Saito's vertex representation of the quantum toroidal algebra of type $\mathfrak{sl}_r$.

A vector composition of a vector $\mathbf{\ell}$ is a matrix $\mathbf{A}$ whose rows sum to $\mathbf{\ell}$. We define a weighted vector composition as a vector composition in which the column values of $\mathbf{A}$ may appear in different colors. We study vector compositions from different viewpoints: (1) We show how they are related to sums of random vectors and (2) how they allow to derive formulas for partial derivatives of composite functions. (3) We study congruence properties of the number of weighted vector compositions, for fixed and arbitrary number of parts, many of which are analogous to those of ordinary binomial coefficients and related quantities. Via the Central Limit Theorem and their multivariate generating functions, (4) we also investigate the asymptotic behavior of several special cases of numbers of weighted vector compositions. Finally, (5) we conjecture an extension of a primality criterion due to Mann and Shanks in the context of weighted vector compositions.

A theta is a graph formed by three paths between the same pair of distinct vertices so that the union of any two of the paths induces a hole. A wheel is a graph formed by a hole and a node that has at least 3 neighbors in the hole. In this paper we obtain a decomposition theorem for the class of graphs that do not contain an induced subgraph isomorphic to a theta or a wheel, i.e. the class of (theta, wheel)-free graphs. The decomposition theorem uses clique cutsets and 2-joins. Clique cutsets are vertex cutsets that work really well in decomposition based algorithms, but are unfortunately not general enough to decompose more complex hereditary graph classes. A 2-join is an edge cutset that appeared in decomposition theorems of several complex classes, such as perfect graphs, even-hole-free graphs and others. In these decomposition theorems 2-joins are used together with vertex cutsets that are more general than clique cutsets, such as star cutsets and their generalizations (which are much harder to use in algorithms). This is a first example of a decomposition theorem that uses just the combination of clique cutsets and 2-joins. This has several consequences. First, we can easily transform our decomposition theorem into a complete structure theorem for (theta, wheel)-free graphs, i.e. we show how every (theta, wheel)-free graph can be built starting from basic graphs that can be explicitly constructed, and gluing them together by prescribed composition operations; and all graphs built this way are (theta, wheel)-free. Such structure theorems are very rare for hereditary graph classes, only a few examples are known. Secondly, we obtain an $\mathcal O (n^4m)$-time decomposition based recognition algorithm for (theta, wheel)-free graphs. Finally, in Parts III and IV of this series, we give further applications of our decomposition theorem.

We characterize the downsets of integer partitions (ordered by containment of Ferrers diagrams) and compositions (ordered by the generalized subword order) which have finite dimension in the sense of Dushnik and Miller. In the case of partitions, while the set of all partitions has infinite dimension, we show that every proper downset of partitions has finite dimension. For compositions we identify four minimal downsets of infinite dimension and establish that every downset which does not contain one of these four has finite dimension.

We define the operation of composing two hereditary classes of permutations using the standard composition of permutations as functions and we explore properties and structure of permutation classes considering this operation. We mostly concern ourselves with the problem of whether permutation classes can be composed from their proper subclasses. We provide examples of classes which can be composed from two proper subclasses, classes which can be composed from three but not from two proper subclasses and classes which cannot be composed from any finite number of proper subclasses.

We introduce the Hopf algebra of quasi-symmetric functions with semigroup exponents generalizing the Hopf algebra QSym of quasi-symmetric functions. As a special case we obtain the Hopf algebra WCQSym of weak composition quasi-symmetric functions, which provides a framework for the study of a question proposed by G.-C.~Rota relating symmetric type functions and Rota-Baxter algebras. We provide the transformation formulas between the weak composition monomial and fundamental quasi-symmetric functions, which extends the corresponding results for quasi-symmetric functions. Moreover, we show that QSym is a Hopf subalgebra and a Hopf quotient algebra of WCQSym. Rota's question is addressed by identifying WCQsym with the free commutative unitary Rota-Baxter algebra of weight 1 on one generator, which also allows us to equip this algebra with a Hopf algebra structure.

We define a quantity $c_m(n,k)$ as a generalization of the notion of the composition of the positive integer $n$ into $k$ parts. We proceed to derive some known properties of this quantity. In particular, we relate two partial Bell polynomials, in which the sequence of the variables of one polynomial is the invert transform of the sequence of the variables of the other. We connect the quantities $c_m(n,k)$ and $c_{m-1}(n,k)$ via Pascal matrices. We then relate $c_m(n,k)$ with the numbers of some restricted words over a finite alphabet. We develop a method which transfers some properties of restricted words over an alphabet of $N$ letters to the restricted words over an alphabet of $N+1$ letters. Several examples illustrate our findings. Note that all our results depend solely on the initial arithmetic function $f_0$.

Motivated by a recent paper of Adin, Bagno and Roichman, we present an involution on Dyck paths that preserves the rise composition and interchanges the number of returns and the position of the first double fall.

Given any polynomial $p$ in $C[X]$, we show that the set of irreducible matrices satisfying $p(A)=0$ is finite. In the specific case $p(X)=X^2-nX$, we count the number of irreducible matrices in this set and analyze the arising sequences and their asymptotics. Such matrices turn out to be related to generalized compositions and generalized partitions.

A decomposition space (also called 2-Segal space) is a simplicial object satisfying an exactness condition weaker than the Segal condition: just as the Segal condition expresses composition, the new condition expresses decomposition. It is a general framework for incidence (co)algebras. In this contribution, after establishing a formula for the section coefficients, we survey a large supply of examples, emphasising the notion's firm roots in classical combinatorics. The first batch of examples, similar to binomial posets, serves to illustrate 2 key points: (1) the incidence algebra in question is realised directly from a decomposition space, without a reduction step, and reductions are often given by CULF functors; (2) at the objective level, the convolution algebra is a monoidal structure of species. We encounter the usual Cauchy product of species, the shuffle product of L-species, the Dirichlet product of arithmetic species, the Joyal-Street external product of q-species and the Morrison `Cauchy' product of q-species. In each case a power series representation results from taking cardinality. The external product of q-species exemplifies the fact that Waldhausen's S-construction on an abelian category is a decomposition space, yielding Hall algebras. The next class of examples includes Schmitt's chromatic Hopf algebra, the Faà di Bruno bialgebra, the Butcher-Connes-Kreimer Hopf algebra of trees and variations from operad theory. Similar structures on posets and directed graphs exemplify a general construction of decomposition spaces from directed restriction species. An appetiser on decomposition spaces of symmetric functions is included. We finish by computing the Möbius function in a few cases, and commenting on certain cancellations that occur in the process of taking cardinality, substantiating that these cancellations are not possible at the objective level.

The neural ideal of a binary code $\mathbb{C} \subseteq \mathbb{F}_2^n$ is an ideal in $\mathbb{F}_2[x_1,\ldots, x_n]$ closely related to the vanishing ideal of $\mathbb{C}$. The neural ideal, first introduced by Curto et al, provides an algebraic way to extract geometric properties of realizations of binary codes. In this paper we investigate homomorphisms between polynomial rings $\mathbb{F}_2[x_1,\ldots, x_n]$ which preserve all neural ideals. We show that all such homomorphisms can be decomposed into a composition of three basic types of maps. Using this decomposition, we can interpret how these homomorphisms act on the underlying binary codes. We can also determine their effect on geometric realizations of these codes using sets in $\mathbb{R}^d$. We also describe how these homomorphisms affect a canonical generating set for neural ideals, yielding an efficient method for computing these generators in some cases.

The concept of diagrammatic combinatorial Hopf algebras in the form introduced for describing the Heisenberg-Weyl algebra in~\cite{blasiak2010combinatorial} is extended to the case of so-called rule diagrams that present graph rewriting rules and their composites. The resulting rule diagram algebra may then be suitably restricted in four different ways to what we call the rule algebras, which are non-commutative, unital associative algebras that implement the algebra of compositions of graph rewriting rules. Notably, our framework reveals that there exist two more types of graph rewriting systems than previously known in the literature, and we present an analysis of the structure of the rule algebras as well as a form of Poincaré-Birkhoff-Witt theorem for the rule diagram algebra. Our work lays the foundation for a fundamentally new way of analyzing graph transformation systems, and embeds this very important concept from theoretical computer science firmly into the realm of mathematical combinatorics and statistical physics.

The set D_n of all difunctional relations on an n element set is an inverse semigroup under a variation of the usual composition operation. We solve an open problem of Kudryavtseva and Maltcev (2011), which asks: What is the rank (smallest size of a generating set) of D_n? Specifically, we show that the rank of D_n is B(n)+n, where B(n) is the nth Bell number. We also give the rank of an arbitrary ideal of D_n. Although D_n bears many similarities with families such as the full transformation semigroups and symmetric inverse semigroups (all contain the symmetric group and have a chain of J-classes), we note that the fast growth of rank(D_n) as a function of n is a property not shared with these other families.

An $n$-ary quasigroup $f$ of order $q$ is an $n$-ary operation over a set of cardinality $q$ such that the Cayley table of the operation is an $n$-dimensional latin hypercube of order $q$. A transversal in a quasigroup $f$ (or in the corresponding latin hypercube) is a collection of $q$ $(n+1)$-tuples from the Cayley table of $f$, each pair of tuples differing at each position. The problem of transversals in latin hypercubes was posed by Wanless in 2011. An $n$-ary quasigroup $f$ is called reducible if it can be obtained as a composition of two quasigroups whose arity is at least 2, and it is completely reducible if it can be decomposed into binary quasigroups. In this paper we investigate transversals in reducible quasigroups and in quasigroups of order 4. We find a lower bound on the number of transversals for a vast class of completely reducible quasigroups. Next we prove that, except for the iterated group $\mathbb{Z}_4$ of even arity, every $n$-ary quasigroup of order 4 has a transversal. Also we obtain a lower bound on the number of transversals in quasigroups of order 4 and odd arity and count transversals in the iterated group $\mathbb{Z}_4$ of odd arity and in the iterated group $\mathbb{Z}_2^2.$ All results of this paper can be regarded as those concerning latin hypercubes.

We study the well-known problem of combinatorial classification of fullerenes. By a (mathematical) fullerene we mean a convex simple three dimensional polytope with all facets pentagons and hexagons. We analyse approaches of construction of arbitrary fullerene from the dodecahedron (a fullerene $C_{20}$). A growth operation is a combinatorial operation that substitutes the patch with more facets and the same boundary for the patch on the surface of a simple polytope to produce a new simple polytope. It is known that an infinite set of different growth operations transforming fullerenes into fullerenes is needed to construct any fullerene from the dodecahedron. We prove that if we allow a polytope to contain one exceptional facet, which is a quadrangle or a heptagon, then a finite set of growth operation is sufficient. We analyze pairs of objects: a finite set of operations, and a family of acceptable polytopes containing fullerenes such that any polytope of the family can be obtained from the dodecahedron by a sequence of operations from the corresponding set. We describe explicitly three such pairs. First two pairs contain seven operations, and the last -- eleven operations. Each of these operations corresponds to a finite set of growth operations and is a composition of edge- and two edges-truncations.

It is well-known that the Toffoli gate and the negation gate together yield a universal gate set, in the sense that every permutation of $\{0,1\}^n$ can be implemented as a composition of these gates. Since every bit operation that does not use all of the bits performs an even permutation, we need to use at least one auxiliary bit to perform every permutation, and it is known that one bit is indeed enough. Without auxiliary bits, all even permutations can be implemented. We generalize these results to non-binary logic: For any finite set $A$, a finite gate set can generate all even permutations of $A^n$ for all $n$, without any auxiliary symbols. This directly implies the previously published result that a finite gate set can generate all permutations of $A^n$ when the cardinality of $A$ is odd, and that one auxiliary symbol is necessary and sufficient to obtain all permutations when the cardinality of $A$ is even. We also consider the conservative case, that is, those permutations of $A^n$ that preserve the weight of the input word. The weight is the vector that records how many times each symbol occurs in the word or, more generally, the image of the word under a fixed monoid homomorphism from $A^*$ to a commutative monoid. It turns out that no finite conservative gate set can, for all $n$, implement all conservative even permutations of $A^n$ without auxiliary bits. But we provide a finite gate set that can implement all those conservative permutations that are even within each weight class of $A^n$.

In this note we list a number of open problems in the fields of number theory, combinatorics, and representation theory: algebraic functions with Fermat property; power product expansion of the generating function for the partition function; relation between the non-trivial Riemann zeros and eigenvalues of the transfer operator; functional equation related to norm forms; two problems from geometric combinatorics; a problem on the moments of the Minkowski question mark function; a question in representation theory; a problem on interpolating the moments of the Stern's diatomic sequence; an arithmetic properties of the binary composition function.