arXiv++ Combinatorics

Starting from any operad P, one can consider on one hand the free operad on P, and on the other hand the Baez--Dolan construction on P. These two new operads have the same space of operations, but with very different notions of arity and substitution. The main result of this paper is that the incidence bialgebras of the two-sided bar constructions of the two operads constitute together a comodule bialgebra. The result is objective: it concerns comodule-bialgebra structures on groupoid slices, and the proof is given in terms of equivalences of groupoids and homotopy pullbacks. Comodule bialgebras in the usual sense are obtained by taking homotopy cardinality. The simplest instances of the construction cover several comodule bialgebras of current interest in analysis. If P is the identity monad, then the result is the Faà di Bruno comodule bialgebra (dual to multiplication and substitution of power series). If P is any monoid $Ω$ (considered as a one-coloured operad with only unary operations), the resulting comodule bialgebra is the dual of the near-semiring of $Ω$-moulds under product and composition, as employed in Écalle's theory of resurgent functions in local dynamical systems. If P is the terminal operad, then the result is essentially the Calaque--Ebrahimi-Fard--Manchon comodule bialgebra of rooted trees, dual to composition and substitution of B-series in numerical analysis (Chartier--Hairer--Vilmart). The full generality is of interest in category theory. As it holds for any operad, the result is actually about the Baez--Dolan construction itself, providing it with a new algebraic perspective.

In analogy with the semi-Fibonacci partitions studied recently by Andrews, we define semi-Pell compositions and semi-$m$-Pell compositions. We find that these are in bijection with certain weakly unimodal $m$-ary compositions. We give generating functions, bijective proofs, and a number of unexpected congruences for these objects.

The $2$-closure $\overline{G}$ of a permutation group $G$ on $Ω$ is defined to be the largest permutation group on $Ω$, having the same orbits on $Ω\timesΩ$ as $G$. It is proved that if $G$ is supersolvable, then $\overline{G}$ can be found in polynomial time in $|Ω|$. As a byproduct of our technique, it is shown that the composition factors of $\overline{G}$ are cyclic or alternating of prime degree.

The commutative Hopf monoid of set compositions is a fundamental Hopf monoid internal to vector species, having undecorated bosonic Fock space the combinatorial Hopf algebra of quasisymmetric functions. We construct a geometric realization of this Hopf monoid over the adjoint of the (essentialized) braid hyperplane arrangement, which identifies the monomial basis with signed characteristic functions of the interiors of permutohedral tangent cones. We show that the indecomposable quotient Lie coalgebra is obtained by restricting functions to chambers of the adjoint arrangement, i.e. by quotienting out the higher codimensions. The resulting functions are characterized by the Steinmann relations of axiomatic quantum field theory, demonstrating an equivalence between the Steinmann relations, tangent cones to (generalized) permutohedra, and having algebraic structure internal to species. Our results give a new interpretation of a construction appearing in the mathematically rigorous formulation of renormalization by Epstein-Glaser, called causal perturbation theory. In particular, we show that operator products of time-ordered products correspond to the H-basis of the cocommutative Hopf monoid of set compositions, and generalized retarded products correspond to a spanning set of its primitive part Lie algebra.

The connection between the generating functions of various sets of tableaux and the appropriate families of quasisymmetric functions is a significant tool to give a direct analytical proof of some advanced bijective results and provide new combinatorial formulas. In this paper we focus on two kinds of type B Littlewood-Richardson coefficients and derive new formulas using weak composition quasisymmetric functions and Chow's quasisymmetric functions. In the type A case these coefficients give the multiplication table for Schur functions, i.e. the generating functions for classical Young tableaux. We look at their generalisations involving a set of bi-tableaux and domino tableaux.

In the 40s, Mayer introduced a construction of (simplicial) $p$-complex by using the unsigned boundary map and taking coefficients of chains modulo $p$. We look at such a $p$-complex associated to an $(n-1)$-simplex; in which case, this is also a $p$-complex of representations of the symmetric group of rank $n$ - specifically, of permutation modules associated to two-row compositions. In this article, we calculate the so-called slash homology - a homology theory introduced by Khovanov and Qi - of such a $p$-complex. We show that every non-trivial slash homology group appears as an irreducible representation associated to two-row partitions, and how this calculation leads to a basis of these irreducible representations given by the so-called $p$-standard tableaux.

Faà di Bruno's formula gives an expression for the derivatives of the composition of two real-valued functions. In this paper we prove a multivariate and synthesized version of Faà di Bruno's formula in higher dimensions, providing a combinatorial expression for the derivatives of chain compositions $F^{(1)} \circ \ldots \circ F^{(m)}$ of functions $F^{(l)} : \mathbb{R}^N \to \mathbb{R}^N$ in terms of sums over labelled trees. We give several applications of this formula, including a new involution formula for the inversion of multivariate power series. We use this framework to outline a combinatorial approach to studying the invertibility of polynomial mappings, giving a purely combinatorial restatement of the Jacobian conjecture. Our methods extend naturally to the non-commutative case, where we prove a free version of Faà di Bruno's formula for multivariate power series in free indeterminates, and use this formula as a tool for obtaining a new inversion formula for free power series.

In this article, we take a closer look at the reliability of large minimal networks constructed by repeated compositions of the simplest possible networks. For a given number of devices $n=2^m$ we define the set of all the possible compositions of series and parallel networks of two devices. We then define several partial orders over this set and study their properties. As far as we know the ranking problem has not been addressed before in this context, and this article establishes the first results in this direction. The usual approach when dealing with reliability of two-terminal networks is to determine existence or non-existence of uniformly most reliable networks. The problem of ranking two-terminal networks is thus more complex, but by restricting our study to the set of compositions we manage to determine and demonstrate the existence of a poset.

The automorphism group of the composition of graphs $G \circ H$ contains the wreath product $Aut(H) \wr Aut(G)$ of the automorphism groups of the corresponding graphs. The classical problem considered by Sabidussi and Hemminger was under what conditions $G \circ H$ has no other automorphisms. In this paper we deal with the converse. If the automorphism group of a graph (or a colored graph or digraph) is the wreath product $A \wr B$ of permutation groups, then the graph must be the result of the corresponding construction. The question we consider is whether $A$ and $B$ must be the automorphism groups of graphs involved in the construction. We solve this problem, generally in positive, for the wreath product in its natural imprimitive action (which refers to the results by Sabidussi and Hemminger). Yet, we consider also the same problems for the wreath product in its product action, which turns out to be more complicated and leads to interesting open questions involving other combinatorial structures.

We introduce iposets---posets with interfaces---equipped with a novel gluing composition along interfaces and the standard parallel composition. We study their basic algebraic properties as well as the hierarchy of gluing-parallel posets generated from singletons by finitary applications of the two compositions. We show that not only series-parallel posets, but also interval orders, which seem more interesting for modelling concurrent and distributed systems, can be generated, but not all posets. Generating posets is also important for constructing free algebras for concurrent semirings and Kleene algebras that allow compositional reasoning about such systems.

We use moment method to understand the cycle structure of the composition of independent invariant permutations. We prove that under a good control on fixed points and cycles of length 2, the limiting joint distribution of the number of small cycles is the same as in the uniform case i.e. for any positive integer k, the number of cycles of length k converges to the Poisson distribution with parameter 1/k and is asymptotically independent of the number of cycles of length k' different from k.

Let $w$ be a permutation of $\{1,2,\ldots,n \}$, and let $D(w)$ be the Rothe diagram of $w$. The Schubert polynomial $\mathfrak{S}_w(x)$ can be realized as the dual character of the flagged Weyl module associated to $D(w)$. This implies a coefficient-wise inequality \[\mathrm{Min}_w(x)\leq \mathfrak{S}_w(x)\leq \mathrm{Max}_w(x),\] where both $\mathrm{Min}_w(x)$ and $\mathrm{Max}_w(x)$ are polynomials determined by $D(w)$. Fink, Mészáros and St.$\,$Dizier found that $\mathfrak{S}_w(x)$ equals the lower bound $\mathrm{Min}_w(x)$ if and only if $w$ avoids twelve permutation patterns. In this paper, we show that $\mathfrak{S}_w(x)$ reaches the upper bound $\mathrm{Max}_w(x)$ if and only if $w$ avoids two permutation patterns 1432 and 1423. Similarly, for any given composition $α\in \mathbb{Z}_{\geq 0}^n$, one can define a lower bound $\mathrm{Min}_α(x)$ and an upper bound $\mathrm{Max}_α(x)$ for the key polynomial $κ_α(x)$. Hodges and Yong established that $κ_α(x)$ equals $\mathrm{Min}_α(x)$ if and only if $α$ avoids five composition patterns. We show that $κ_α(x)$ equals $\mathrm{Max}_α(x)$ if and only if $α$ avoids a single composition pattern $(0,2)$. As an application, we obtain that when $α$ avoids $(0,2)$, the key polynomial $κ_α(x)$ is Lorentzian, partially verifying a conjecture of Huh, Matherne, Mészáros and St.$\,$Dizier.

This paper concerns itself with the question of list decoding for general adversarial channels, e.g., bit-flip ($\textsf{XOR}$) channels, erasure channels, $\textsf{AND}$ ($Z$-) channels, $\textsf{OR}$ channels, real adder channels, noisy typewriter channels, etc. We precisely characterize when exponential-sized (or positive rate) $(L-1)$-list decodable codes (where the list size $L$ is a universal constant) exist for such channels. Our criterion asserts that: "For any given general adversarial channel, it is possible to construct positive rate $(L-1)$-list decodable codes if and only if the set of completely positive tensors of order-$L$ with admissible marginals is not entirely contained in the order-$L$ confusability set associated to the channel." The sufficiency is shown via random code construction (combined with expurgation or time-sharing). The necessity is shown by 1. extracting equicoupled subcodes (generalization of equidistant code) from any large code sequence using hypergraph Ramsey's theorem, and 2. significantly extending the classic Plotkin bound in coding theory to list decoding for general channels using duality between the completely positive tensor cone and the copositive tensor cone. In the proof, we also obtain a new fact regarding asymmetry of joint distributions, which be may of independent interest. Other results include 1. List decoding capacity with asymptotically large $L$ for general adversarial channels; 2. A tight list size bound for most constant composition codes (generalization of constant weight codes); 3. Rederivation and demystification of Blinovsky's [Bli86] characterization of the list decoding Plotkin points (threshold at which large codes are impossible); 4. Evaluation of general bounds ([WBBJ]) for unique decoding in the error correction code setting.

We present a short proof of the Jordan-Hölder theorem with uniqueness for semimodular semilattice: Given two maximal chains in a semimodular semilattice of finite height, they both have the same length. Moreover there is a unique bijection that takes the prime intervals of the first chain to the prime intervals of the second chain such that the interval and its image are up-and-down projective. The theorem generalizes the classical result that all composition series of a finite group have the same length and isomorphic factors. Moreover, it shows that the isomorphism is in some sense unique.

In the late 80s, V.~Arnold and V.~Vassiliev initiated the topological study of the space of real univariate polynomials of a given degree d and with no real roots of multiplicity exceeding a given positive integer. Expanding their studies, we consider the spaces of real monic univariate polynomials of degree d whose real divisors avoid sequences of root multiplicities taken from a given poset of compositions which is closed under certain natural combinatorial operations. In this paper, we concentrate on the fundamental group of such spaces. We find explicit presentations for the fundamental groups in terms of generators and relations and show that in a number of cases they are free with rank bounded from above by a quadratic function in d. We also show that the fundamental group stabilizes for d large. We further show that the fundamental groups admit an interpretation as special bordisms of immersions of 1-manifolds into the cylinder S^1 \times R, whose images avoid the tangency patterns from the poset with respect to the generators of the cylinder.

Let $A, B \subseteq \mathbb{N}$ be two finite sets of natural numbers. We say that $B$ is an additive divisor for $A$ if there exists some $C \subseteq \mathbb{N}$ with $A = B+C$. We prove that among those subsets of $\{0, 1, \ldots, k\}$ which have $0$ as an element, the full interval $\{0, 1, \ldots,k\}$ has the most divisors. To generalize to sets which do not have $0$ as an element, we prove a correspondence between additive divisors and lunar multiplication, introduced by Appelgate, LeBrun and Sloane (2011) in their study of a kind of min/max arithmetic. The number of binary lunar divisors is related to compositions of integers which are restricted in that the first part is greater or equal to all other parts. We establish some bounds on such compositions to show that $\{1, \ldots, k\}$ has the most divisors among all subsets of $\{0, 1, \ldots, k\}$. These results resolve two conjectures of LeBrun et al. regarding the maximal number of lunar binary divisors, a special case of a more general conjecture about lunar divisors in arbitrary bases. We resolve this third conjecture by generalizing from sum-sets to sum-multisets.

The total graph is built by joining the graph to its line graph by means of the incidences. We introduce a similar construction for signed graphs. Under two similar definitions of the line signed graph, we define the corresponding total signed graph and we show that it is stable under switching. We consider balance, the frustration index and frustration number, and the largest eigenvalue. In the regular case we compute the spectrum of the adjacency matrix of the total graph and the spectra of certain compositions, and we determine some with exactly two main eigenvalues.

Compact quantum groups can be studied by investigating their co-representation categories in analogy to the Schur-Weyl/Tannaka-Krein approach. For the special class of (unitary) "easy" quantum groups these categories arise from a combinatorial structure: Rows of two-colored points form the objects, partitions of two such rows the morphisms; vertical/horizontal concatenation and reflection give composition, monoidal product and involution. Of the four possible classes $\mathcal{O}$, $\mathcal{B}$, $\mathcal{S}$ and $\mathcal{H}$ of such categories (inspired respectively by the classical orthogonal, bistochastic, symmetric and hyperoctahedral groups) we treat the first three -- the non-hyperoctahedral ones. We introduce many new examples of such categories. They are defined in terms of subtle combinations of block size, coloring and non-crossing conditions. This article is part of an effort to classify all non-hyperoctahedral categories of two-colored partitions. The article is purely combinatorial in nature; The quantum group aspects are left out.

By establishing relations between operators on compositions, we show that the posets of compositions arising from the right and left Pieri rules for noncommutative Schur functions can each be endowed with both the structure of dual graded graphs and dual filtered graphs when paired with the poset of compositions arising from the Pieri rules for quasisymmetric Schur functions and its deformation.

A jump system is defined as a set of integer points (vectors) with a certain exchange property, generalizing the concepts of matroids, delta-matroids, and base polyhedra of integral polymatroids (or submodular systems). A discrete convexity concept is defined for functions on constant-parity jump systems and it has been used in graph theory and algebra. In this paper we call it "jump M-convexity" and extend it to "jump M-natural-convexity" for functions defined on a larger class of jump systems. By definition, every jump M-convex function is a jump M-natural-convex function, and we show the equivalence of these concepts by establishing an (injective) embedding of jump M-natural-convex functions in n variables into the set of jump M-convex functions in n+1 variables. Using this equivalence we show further that jump M-natural-convex functions admit a number of natural operations such as aggregation, projection (partial minimization), convolution, composition, and transformation by a network.