arXiv++ Combinatorics

For every probability $p\in[0,1]$ we define a distance-based graph property, the $p$TS-distance-balancedness, that in the case $p=0$ coincides with the standard distance-balancedness, and in the case $p=1$ is related to the Hamiltonian-connectedness. In analogy with the classical case, where the distance-balancedness of a graph is equivalent to the property of being self-median, we characterize the class of $p$TS-distance-balanced graphs in terms of their equity with respect to certain probabilistic centrality measures, inspired by the Travelling Salesman Problem. We prove that it is possible to detect this property looking at the classical distance-balancedness (and therefore looking at the classical centrality problems) of a suitable graph composition, namely the wreath product of graphs. More precisely, we characterize the distance-balancedness of a wreath product of two graphs in terms of the $p$TS-distance-balancedness of the factors.

We describe the cone of deformations of a Coxeter permutahedron, or equivalently, the nef cone of the toric variety associated to a Coxeter complex. This family of polytopes contains polyhedral models for the Coxeter-theoretic analogs of compositions, graphs, matroids, posets, and associahedra. Our description extends the known correspondence between generalized permutahedra, polymatroids, and submodular functions to any finite reflection group.

Many families of combinatorial objects have a Hopf monoid structure. Aguiar and Ardila introduced the Hopf monoid of generalized permutahedra and showed that it contains various other notable combinatorial families as Hopf submonoids, including graphs, posets, and matroids. We introduce the Hopf monoid of orbit polytopes, which is generated by the generalized permutahedra that are invariant under the action of the symmetric group. We show that modulo normal equivalence, these polytopes are in bijection with integer compositions. We interpret the Hopf structure through this lens, and we show that applying the first Fock functor to this Hopf monoid gives a Hopf algebra of compositions. We describe the character group of the Hopf monoid of orbit polytopes in terms of noncommutative symmetric functions, and we give a combinatorial interpretation of the basic character and its polynomial invariant.

Starting from an integrable rank-$n$ vertex model, we construct an explicit family of partition functions indexed by compositions $μ= (μ_1,\dots,μ_n)$. Using the Yang-Baxter algebra of the model and a certain rotation operation that acts on our partition functions, we show that they are eigenfunctions of the Cherednik-Dunkl operators $Y_i$ for all $1 \leq i \leq n$, and are thus equal to nonsymmetric Macdonald polynomials $E_μ$. Our partition functions have the combinatorial interpretation of ensembles of coloured lattice paths which traverse a cylinder. Applying a simple bijection to such path ensembles, we show how to recover the well-known combinatorial formula for $E_μ$ due to Haglund-Haiman-Loehr.

Under what circumstances might every extension of a combinatorial structure contain more copies of another one than the original did? This property, which we call prolificity, holds universally in some cases (e.g., finite linear orders) and only trivially in others (e.g., permutations). Integer compositions, or equivalently layered permutations, provide a middle ground. In that setting, there are prolific compositions for a given pattern if and only if that pattern begins and ends with 1. For each pattern, there is an easily constructed automaton that recognises prolific compositions for that pattern. Some instances where there is a unique minimal prolific composition for a pattern are classified.

A two-parameter deformation of the Touchard polynomials, based on the NEXT $q$-exponential function of Tsallis, defines two statistics on set partitions. The generating function of classical Touchard polynomials is a composition of two exponential functions. By applying analysis of a combinatorial structure of the deformed exponential function, we establish explicit formulae for both statistics. Moreover, the explicit formulae for the deformed Touchard polynomials makes possible to evaluate coefficients of Taylor series expansion for wide variety of functions with different values of parameters $p$ and $q$.

Any function can be constructed using a hierarchy of simpler functions through compositions. Such a hierarchy can be characterized by a binary rooted tree. Each node of this tree is associated with a function which takes as inputs two numbers from its children and produces one output. Since thinking about functions in terms of computation graphs is getting popular we may want to know which functions can be implemented on a given tree. Here, we describe a set of necessary constraints in the form of a system of non-linear partial differential equations that must be satisfied. Moreover, we prove that these conditions are sufficient in both contexts of analytic and bit-valued functions. In the latter case, we explicitly enumerate discrete functions and observe that there are relatively few. Our point of view allows us to compare different neural network architectures in regard to their function spaces. Our work connects the structure of computation graphs with the functions they can implement and has potential applications to neuroscience and computer science.

A strong arc decomposition of a digraph $D=(V,A)$ is a decomposition of its arc set $A$ into two disjoint subsets $A_1$ and $A_2$ such that both of the spanning subdigraphs $D_1=(V,A_1)$ and $D_2=(V,A_2)$ are strong. Let $T$ be a digraph with $t$ vertices $u_1,\dots , u_t$ and let $H_1,\dots H_t$ be digraphs such that $H_i$ has vertices $u_{i,j_i},\ 1\le j_i\le n_i.$ Then the composition $Q=T[H_1,\dots , H_t]$ is a digraph with vertex set $\cup_{i=1}^t V(H_i)=\{u_{i,j_i}\mid 1\le i\le t, 1\le j_i\le n_i\}$ and arc set \[ \left(\cup^t_{i=1}A(H_i) \right) \cup \left( \cup_{u_iu_p\in A(T)} \{u_{ij_i}u_{pq_p} \mid 1\le j_i\le n_i, 1\le q_p\le n_p\} \right). \] We obtain a characterization of digraph compositions $Q=T[H_1,\dots H_t]$ which have a strong arc decomposition when $T$ is a semicomplete digraph and each $H_i$ is an arbitrary digraph. Our characterization generalizes a characterization by Bang-Jensen and Yeo (2003) of semicomplete digraphs with a strong arc decomposition and solves an open problem by Sun, Gutin and Ai (2018) on strong arc decompositions of digraph compositions $Q=T[H_1,\dots , H_t]$ in which $T$ is semicomplete and each $H_i$ is arbitrary. Our proofs are constructive and imply the existence of a polynomial algorithm for constructing a \good{} decomposition of a digraph $Q=T[H_1,\dots , H_t]$, with $T$ semicomplete, whenever such a decomposition exists.

In this paper we give a fast algorithm to generate all partitions of a positive integer $n$. Integer partitions may be encoded as either ascending or descending compositions for the purposes of systematic generation. It is known that the ascending composition generation algorithm is substantially more efficient than its descending composition counterpart. Using tree structures for storing the partitions of integers, we develop a new ascending composition generation algorithm which is substantially more efficient than the algorithms from the literature.

Partially ordered patterns (POPs) generalize the notion of classical patterns studied widely in the literature in the context of permutations, words, compositions and partitions. In an occurrence of a POP, the relative order of some of the elements is not important. Thus, any POP of length $k$ is defined by a partially ordered set on $k$ elements, and classical patterns correspond to $k$-element chains. The notion of a POP provides a convenient language to deal with larger sets of permutation patterns. This paper contributes to a long line of research on classical permutation patterns of length 4 and 5, and beyond, by conducting a systematic search of connections between sequences in the Online Encyclopedia of Integer Sequences (OEIS) and permutations avoiding POPs of length 4 and 5. As the result, we (i) obtain 13 new enumerative results for classical patterns of length 4 and 5, and a number of results for patterns of arbitrary length, (ii) collect under one roof many sporadic results in the literature related to avoidance of patterns of length 4 and 5, and (iii) conjecture 6 connections to the OEIS. Among the most intriguing bijective questions we state, 7 are related to explaining Wilf-equivalence of various sets of patterns, e.g.\ 5 or 8 patterns of length 4, and 2 or 6 patterns of length~5.

A syntax tree is a planar rooted tree where internal nodes are labeled on a graded set of generators. There is a natural notion of occurrence of contiguous pattern in such trees. We describe a way, given a set of generators $\mathfrak{G}$ and a set of patterns $\mathcal{P}$, to enumerate the trees constructed on $\mathfrak{G}$ and avoiding $\mathcal{P}$. The method is built around inclusion-exclusion formulas forming a system of equations on formal power series of trees, and composition operations of trees. This does not require particular conditions on the set of patterns to avoid. We connect this result to the theory of nonsymmetric operads. Syntax trees are the elements of such free structures, so that any operad can be seen as a quotient of a free operad. Moreover, in some cases, the elements of an operad can be seen as trees avoiding some patterns. Relying on this, we use operads as devices for enumeration: given a set of combinatorial objects we want enumerate, we endow it with the structure of an operad, understand it in term of trees and pattern avoidance, and use our method to count them. Several examples are provided.

We initiate an algebraic approach to study DNA origami structures by associating an element from a monoid to each structure. We identify two types of basic building blocks and describe an DNA origami structure with their composition. These building blocks are taken as generators of a monoid, called origami monoid, and, motivated by the well studied Temperley-Lieb algebras, we identify a set of relations that characterize the origami monoid. We also present several observations about the Green's relations for the origami monoid and study the relations to a cross product of Jones monoids that is a morphic image of an origami monoid.

Suppose that your mother gave you n candies. You have to eat at least one candy each day. One possibility is to eat all n of them the first day. The other extreme is to make them last n days, and only eat one candy a day. Altogether, you have, famously, 2 to the power n-1 choices. If each such choice is equally likely, what is the probability that you never have three consecutive days, where in the first day you ate at least 2 candies, in the second day you ate at least 5 candies, and in the third day you ate at least 3 candies? This article describes algorithms, fully implemented in two Maple packages, to answer such important questions, and more general ones, of this kind.

We introduce a model for random chain complexes over a finite field. The randomness in our complex comes from choosing the entries in the matrices that represent the boundary maps uniformly over $\mathbb{F}_q$, conditioned on ensuring that the composition of consecutive boundary maps is the zero map. We then investigate the combinatorial and homological properties of this random chain complex.

Euler showed that the number of partitions of $n$ into distinct parts equals the number of partitions of $n$ into odd parts. This theorem was generalized by Glaisher and further by Franklin. Recently, Beck made three conjectures on partitions with restricted parts, which were confirmed analytically by Andrews and Chern and combinatorially by Yang. Analogous to Euler's partition theorem, it is known that the number of compositions of $n$ with odd parts equals the number of compositions of $n+1$ with parts greater than one, as both numbers equal the Fibonacci number $F_n$. Recently, Sills provided a bijective proof for this result using binary sequences, and Munagi proved a generalization similar to Glaisher's result using the zigzag graphs of compositions. Extending Sills' bijection, we obtain a further generalizaiton which is analogous to Franklin's result. We establish, both analytically and combinatorially, two closed formulas for the number of compositions with restricted parts appearing in our generalization. We also prove some composition analogues for the conjectures of Beck.

A digraph $D=(V,A)$ has a good decomposition if $A$ has two disjoint sets $A_1$ and $A_2$ such that both $(V,A_1)$ and $(V,A_2)$ are strong. Let $T$ be a digraph with $t$ vertices $u_1,\dots , u_t$ and let $H_1,\dots H_t$ be digraphs such that $H_i$ has vertices $u_{i,j_i},\ 1\le j_i\le n_i.$ Then the composition $Q=T[H_1,\dots , H_t]$ is a digraph with vertex set $\{u_{i,j_i}\mid 1\le i\le t, 1\le j_i\le n_i\}$ and arc set $$A(Q)=\cup^t_{i=1}A(H_i)\cup \{u_{ij_i}u_{pq_p}\mid u_iu_p\in A(T), 1\le j_i\le n_i, 1\le q_p\le n_p\}.$$ For digraph compositions $Q=T[H_1,\dots H_t]$, we obtain sufficient conditions for $Q$ to have a good decomposition and a characterization of $Q$ with a good decomposition when $T$ is a strong semicomplete digraph and each $H_i$ is an arbitrary digraph with at least two vertices. For digraph products, we prove the following: (a) if $k\geq 2$ is an integer and $G$ is a strong digraph which has a collection of arc-disjoint cycles covering all vertices, then the Cartesian product digraph $G^{\square k}$ (the $k$th powers with respect to Cartesian product) has a good decomposition; (b) for any strong digraphs $G, H$, the strong product $G\boxtimes H$ has a good decomposition.

We consider ribbon shapes, not necessarily connected, whose rows, with at least two boxes in each, are in monotone length order. These ribbons are uniquely defined by a pair of partitions: the row partition consisting of the row lengths in decreasing order, and the overlapping partition whose entries count the total number of columns with two boxes in the successive ribbon shapes obtained by sequentially subtracting the longest row. The support of such ribbon Schur functions, considered as a subposet of the dominance order lattice on partitions, has the row partition as bottom element, and, as top element, the partition whose two parts consist of the total number of columns, and the total number of columns of length two respectively. We give a complete system of linear inequalities in terms of the partition pair defining the aforesaid ribbon shape under which the ribbon Schur function attains all the Schur interval when expanded in the basis of Schur functions. We then conclude that the Gaetz-Hardt-Sridhar necessary condition for a connected ribbon to have full equivalence class is equivalent to the condition for a monotone connected ribbon to have full Schur support. That is, the set of partitions with full equivalence class is a subset of those monotone connected ribbons with full Schur support. M. Gaetz, W. Hardt and S. Sridhar conjectured that the necessary condition is also sufficient which translates now to every monotone connected ribbon with full Schur support has full equivalence class. The main tool of our analysis is the structure of the companion tableau of a ribbon Littlewood-Richardson (LR) tableau detected by the descent set defined by the composition whose parts are the ribbon row lengths.

Lieanders are special cases of meanders and first appeared in connection with Lie algebras. Using the results from the author with E. Goujard, P. Zograf and A. Zorich, we prove a polynomial asymptotics for the number of lieanders with fixed composition sizes as the number of arches tend to infinity. The coefficients of the asymptotics are rational numbers divided by an even power of pi.

In this work, we generalize a recursive enumerative formula for connected Feynman diagrams with two external legs. The Feynman diagrams are defined from a fermionic gas with a two-body interaction. The generalized recurrence is valid for connected Feynman diagrams with an arbitrary number of external legs and an arbitrary order. The recurrence formula terms are expressed in function of weak compositions of non-negative integers and partitions of positive integers in such a way that to each term of the recurrence correspond a partition and a weak composition. The foundation of this enumeration is the Wick theorem, permitting an easy generalization to any quantum field theory. The iterative enumeration is constructive and enables a fast computation of the number of connected Feynman diagrams for a large amount of cases. In particular, the recurrence is solved exactly for two and four external legs, leading to the asymptotic expansion of the number of different connected Feynman diagrams.

We shall generalize the notion of a Laver table to algebras which may have many generators, several fundamental operations, fundamental operations of arity higher than 2, and to algebras where only some of the operations are self-distributive or where the operations satisfy a generalized version of self-distributivity. These algebras mimic the algebras of rank-into-rank embeddings $\mathcal{E}_λ/\equiv^γ$ in the sense that composition and the notion of a critical point make sense for these sorts of algebras.