arXiv++ Combinatorics

The concept of weighted infinitesimal bialgebras provides an algebraic framework for understanding the non-homogeneous associative Yang-Baxter equation. In this paper, we endow the space of decorated planar rooted forests with a two-parameters family of coproducts, making it into a weighted infinitesimal bialgebra. A combinatorial characterization of the coproducts is given via the notion of forest biideals. Furthermore, by constructing a bilinear symmetric form and introducing a new grafting operation on rooted forests, we describe the associated dual products. We also introduce the notion of the pair-weight 1-cocycle condition and investigate the universal properties of decorated planar rooted forests satisfying this condition. This leads to the definition of a weighted $Ω$-cocycle infinitesimal unitary bialgebra. As applications, we identify the initial object in the category of free cocycle infinitesimal unitary bialgebras on undecorated planar rooted forests, corresponding to the well-known noncommutative Connes-Kreimer Hopf algebra. In addition, we establish isomorphisms between different coproduct structures and construct a pre-Lie algebra structure on decorated planar rooted forests.

A record of a rooted Cayley tree is a node whose label is the largest along the unique path to the root. In this work, we find elegant functional equations relating the generating functions for records of rooted Cayley trees and for records of forests of rooted trees with the Cayley tree function, and explore the consequences of our results.

Rooted trees are essential for describing numerical schemes via the so-called B-series. They have also been used extensively in rough analysis for expanding solutions of singular Stochastic Partial Differential Equations (SPDEs). When one considers scalar-valued equations, the most efficient combinatorial set is multi-indices. In this paper, we investigate the existence of intermediate combinatorial sets that will lie between multi-indices and rooted trees. We provide a negative result stating that there is no combinatorial set encoding elementary differentials in dimension $d\neq 1$, and compatible with the rooted trees and the multi-indices aside from the rooted trees. This does not close the debate of the existence of such combinatorial sets, but it shows that it cannot be obtained via a naive and natural approach.

The Horton-Strahler number (HS) is a measure of branching complexity of rooted trees, introduced in hydrology and later studied in parallel computing under the name register function. While its order of growth is well understood for classical random trees, fluctuation behavior has largely resisted analysis. In this work we investigate the HS in the setting of butterfly trees -- binary trees constructed from butterfly permutations, a rich class of separable permutations with origins in numerical linear algebra and parallel architectures. For the subclass of simple butterfly trees, we exploit their recursive gluing structure to model the HS as an additive functional of a finite-state Markov process. This framework yields sharp distributional results, including a law of large numbers and a Central Limit Theorem with explicit variance growth, providing what appears to be the first genuine Gaussian limit law for the HS in a nontrivial random tree model. Extending to biased constructions, we further establish functional limit theorems via analytic and probabilistic tools. For general butterfly trees, while exact analysis remains open, empirical sampling shows that the HS distribution is confined to a narrower support than in classical models, and appears to concentrate tightly near the upper bound $\lfloor \log_4 N\rfloor$.

Arborified multiple zeta values are a generalization of multiple zeta values associated with rooted trees. There are two types of decorated rooted trees, corresponding respectively to the series and the integral expressions. Manchon introduces the contracting arborification (resp. the simple arborification), which is maps from the BCK Hopf algebras of the decorated rooted trees corresponding to the series expression (resp. the integral expression) to the non-commutative polynomial algebras of the set $\mathbb{N}$ (resp. the set $\{0,1\}$). There is a natural map between the two non-commutative polynomial algebras. Manchon posed the question of finding a natural map between the two BCK Hopf algebras that would make the diagram commutative. In this paper, we consider planar rooted trees and use a recursive method to construct such a map between the two BCK Hopf algebras, making the diagram commutative.

Schutzenberger's promotion operator, pro, is a fundamental map in dynamical algebraic combinatorics. At first, its action was mainly considered on standard Young tableaux. But pro was subsequently shown to have interesting properties when applied to natural labelings of other posets. Pechenik defined a K-theoretic version of promotion, pro_K, on m-packed labelings of tableaux. The operator pro was then extended to increasing labelings of other posets. The purpose of the current work is to show that the original action of pro_K on m-packed labelings yields interesting results when applied to partially ordered sets in general, and to rooted trees in particular. We show that under certain conditions, the sizes of the orbits and order of pro_K exhibit nice divisibility properties. We also completely determine, for certain values of m, the orbit sizes for the action on various types of rooted trees such as extended stars, combs, zippers, and a type of three-leaved tree.

The Ward numbers $W(n,k)$ combinatorially enumerate set partitions with block sizes $\geq 2$ and phylogenetic trees (total partition trees). We prove that $W(n,k)$ also counts \emph{increasing Schröder trees} by verifying they satisfy Ward's recurrence. We construct a direct type-preserving bijection between total partition trees and increasing Schröder trees, complementing known type-preserving bijections to set partitions (including Chen's decomposition for increasing Schröder trees). Weighted generalizations extend these bijections to enriched increasing Schröder trees trees and Schröder trees trees, yielding new links to labeled rooted trees. Finally, we deduce a functional equation for weighted increasing Schröder trees, whose solution using Chen's decomposition leads to a combinatorial interpretation of a Lagrange inversion variant.

We introduce new partial order structures on the underlying sets of free nonsymmetric operads. These posets involve decorated ordered rooted trees, and their terminal intervals are lattices. These lattices are not graded, not self-dual, and not semi-distributive, but they are EL-shellable, and their Mbius functions take values in $\{-1, 0, 1\}$. They admit sublattices on the families of $m$-Fuss-Catalan objects and of forests of trees. This latter order structure is used to construct two new bases for the natural Hopf algebras of free nonsymmetric operads: a fundamental basis and a homogeneous basis. Along with the already known elementary basis of these Hopf algebras, this yields a triple of bases. The situation is similar to what is observed in the Hopf algebras of Malvenuto-Reutenauer, Loday-Ronco, and noncommutative symmetric functions, each of which presents such triples of bases and basis changes involving, respectively, the right weak partial order, the Tamari partial order, and the Boolean lattice partial order.

Prüfer codes provide an encoding scheme for representing a vertex-labeled tree on $n$ vertices with a string of length $n-2$. Indeed, two labeled trees are isomorphic if and only if their Prüfer codes are identical, and this supplies a proof of Cayley's Theorem. Motivated by a graph decomposition of freight networks into a corpus of vertex-colored rooted trees, we extend the notion of Prüfer codes to that setting, i.e., trees without a unique labeling, by defining a canonical label for a vertex-colored rooted tree and incorporating vertex colors into our variation of the Prüfer code. Given a pair of trees, we prove properties of the vertex-colored Prüfer code (abbreviated VCPC) equivalent to (1) isomorphism between a pair of vertex-colored rooted trees, (2) the subtree relationship between vertex-colored rooted trees, and (3) when one vertex-colored rooted tree is isomorphic to a minor of another vertex-colored rooted tree.

There has been significant recent interest in studying how the number of numerical semigroups of genus $g$ behaves as a function of $g$. Bras-Amorós has shown how to organize the collection of numerical semigroups of genus $g$ into a rooted tree called the ordinarization tree. The ordinarization number of a numerical semigroup $S$ is the length of the path from $S$ back to the root of the tree. We study the problem of counting numerical semigroups of genus $g$ with a fixed ordinarization number $r$. We show how this can be interpreted as a counting problem about integer points in a certain rational polyhedral cone and use ideas from Ehrhart theory to study this problem. We give a formula for the number of numerical semigroups of genus $g$ and ordinarization number $2$, building on the corresponding result of Bras-Amorós for ordinarization number $1$. We show that the ordinarization number of a numerical semigroup generated by two elements is equal to the number of integer points in a certain right triangle with rational vertices. We consider the analogous problem for supersymmetric numerical semigroups with more generators. We also study ordinarization numbers of numerical semigroups generated by an interval.

Measures of tree balance play an important role in many different research areas such as mathematical phylogenetics or theoretical computer science. Typically, tree balance is quantified by a single number which is assigned to the tree by a balance or imbalance index, of which several exist in the literature. Most of these indices are based on structural aspects of tree shape, such as clade sizes or leaf depths. For instance, indices like the Sackin index, total cophenetic index, and $\widehat{s}$-shape statistic all quantify tree balance through clade sizes, albeit with different definitions and properties. In this paper, we formalize the idea that many tree (im)balance indices are functions of similar underlying tree shape characteristics by introducing metaconcepts of tree balance. A metaconcept is a function $Φ_f$ that depends on a function $f$ capturing some aspect of tree shape, such as balance values, clade sizes, or leaf depths. These metaconcepts encompass existing indices but also provide new means of measuring tree balance. The versatility and generality of metaconcepts allow for the systematic study of entire families of (im)balance indices, providing deeper insights that extend beyond index-by-index analysis.

We give and study a construction of pre-Lie algebra structures on rooted trees whose edges and vertices are decorated, with a grafting product acting, through a map $φ$, both on the decoration of the created edge and on the vertex that holds the grafting. We show that this construction gives a pre-Lie algebra if, and only if, the map $φ$ satisfies a commutation relation, called tree-compatibility. We show how to extend this pre-Lie algebra structure to a post-Lie one by a semi-direct extension with another post-Lie algebra. We also define several constructions to obtain tree-compatible maps, and give examples, including a description of all tree-admissible maps when the space of decorations of the vertices is $2$-dimensional and the space of decorations of the edges is finite-dimensional. A particular example of such a construction is used by Bruned, Hairer and Zambotti for the study of stochastic partial differential equations: when no noise is involved, we show that the underlying tree-compatible map is the exponential of a simpler one and deduce an explicit isomorphism with a classical pre-Lie algebra of rooted trees; when a noise is involved, we obtain the underlying tree-compatible map as a direct sum. We also obtain with our formalism the post-Lie algebras described by Bruned and Katsetsiadis.

As remarked by Berndt, no combinatorial perspective seems to be alluded in the original definition of the Ramanujan polynomials. On a different scene, a recursive algorithm to generate rooted trees has been devised independently by Shor and Dumont-Ramamonjisoa. Zeng discovered the connection between the Ramanujan polynomials and the enumeration of rooted trees by number of improper edges. We present a proper labeling scheme for rooted trees by employing an extra label. Harnessed by this grammar, we develop a calculus heavily depending on the constant properties for the Ramanujan polynomials. From the grammatical formulation, we recover the defining equation of Ramanujan on an implicit function. So the two themes of Ramanujan converge to one combinatorial structure. Moreover, we provide a grammatical treatment of a bijection behind the recursion independently due to Shor and Berndt-Evans-Wilson.

A set $S$ of vertices in a graph $G$ is a paired dominating set if every vertex of $G$ is adjacent to a vertex in $S$ and the subgraph induced by $S$ contains a perfect matching (not necessarily as an induced subgraph). The paired domination number, $γ_{\mathrm{pr}}(G)$, of $G$ is the minimum cardinality of a paired dominating set of $G$. We present a linear algorithm for computing the paired domination number of a tree. As an application of our algorithm, we prove that the paired domination number is asymptotically normal in a random rooted tree of order $n$ generated by a conditioned Galton-Watson process as $n\to\infty$. In particular, we have found that the paired domination number of a random Cayley tree of order $n$, where each tree is equally likely, is asymptotically normal with expectation approaching $(0.5177\ldots)n$.

We study an alternating sum involving factorials and Stirling numbers of the first kind. We give an exponential generating function for these numbers and show they are nonnegative and enumerate the number of increasing trees on $n$ vertices that are won by the second of two players when interpreted as a game tree. We also give a simple description of the quotient from the weak order to the Tamari lattice in terms of plane trees, and give bijections between plane trees, 213-avoiding permutations, and 312-avoiding permutations. Finally, for a rooted tree, we give equivalent characterizations of when it describes a game won by the first or second player in terms of the rank-generating function of the lattice of prunings and the Euler characteristic of an associated real variety.

An elimination tree of a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $v$ and recursing on the connected components of $G-v$ to obtain the subtrees of $v$. The graph associahedron of $G$ is a polytope whose vertices correspond to elimination trees of $G$ and whose edges correspond to tree rotations, a natural operation between elimination trees. These objects generalize associahedra, which correspond to the case where $G$ is a path. Ito et al. [ICALP 2023] recently proved that the problem of computing distances on graph associahedra is NP-hard. In this paper we prove that the problem, for a general graph $G$, is fixed-parameter tractable parameterized by the distance $k$. Prior to our work, only the case where $G$ is a path was known to be fixed-parameter tractable. To prove our result, we use a novel approach based on a marking scheme that restricts the search to a set of vertices whose size is bounded by a (large) function of $k$.

Starting from the data of an arbor, which is a rooted tree with vertices decorated by disjoint sets, we introduce a lattice polytope and a partial order on its lattice points. We give recursive algorithms for various classical invariants of these polytopes and posets, using the tree structure. For linear arbors, we propose a conjecture exchanging the Ehrhart polynomial of the polytope with the Zeta polynomial of the poset for the reverse arbor. The general motivation comes from the action of a transmutation operator acting on M -triangles, which should link the posets considered here with some kinds of generalized noncrossing partitions and generalized associahedra. We give some evidence for this relationship in several cases, including notably some polytopes, namely halohedra and Hochschild polytopes.

We calculate an explicit closed formula for the action of the height 2 full Morava stabilizer group on the coefficient ring of height 2 Morava E-theory. In particular, this yields an explicit, surprisingly simple closed formula for the action of the automorphism group of a height 2 formal group law on its Lubin-Tate deformation ring. The formula is of a combinatorial nature, given by sums over certain labelled ordered rooted trees.

We obtain structure theorems for graphs excluding a fan (a path with a universal vertex) or a dipole ($K_{2,k}$) as a topological minor. The corresponding decompositions can be computed in FPT linear time. This is motivated by the study of a graph parameter we call treebandwidth which extends the graph parameter bandwidth by replacing the linear layout by a rooted tree such that neighbours in the graph are in ancestor-descendant relation in the tree. We deduce an approximation algorithm for treebandwidth running in FPT linear time from our structure theorems. We complement this result with a precise characterisation of the parameterised complexity of computing the parameter exactly.

Arboreal networks are a generalization of rooted trees, defined by keeping the tree-like structure, but dropping the requirement for a single root. Just as the class of cographs is precisely the class of undirected graphs that can be explained by a labelled rooted tree (T,t), we show that the class of distance-hereditary graphs is precisely the class of undirected graphs that can be explained by a labelled arboreal network (N,t).