arXiv++ Combinatorics

Quasisymmetric functions in superspace were introduced as a natural extension of classical quasisymmetric functions involving both commuting and anticommuting variables. In this paper, we first provide a characterization of the algebra of quasisymmetric functions in superspace as an algebra of invariants under a quasisymmetrizing action of the symmetric group. Furthermore, we complete the superspace analogue of the classical hierarchy of combinatorial Hopf algebras by introducing the algebra of quasisymmetric functions in noncommuting variables in superspace. We endow this algebra with a Hopf superalgebra structure and thoroughly investigate its $Q$-basis and monomial basis, which are indexed by set supercompositions. By restricting to the minimal elements of the underlying poset, we construct the Hopf superalgebra of superpermutations, serving as the superspace analogue of the Malvenuto--Reutenauer algebra. We provide explicit product and coproduct formulas for these bases in terms of super-shuffles and global descents. Finally, via an abelianization morphism, we apply these noncommutative structures to derive a product formula for fundamental quasisymmetric functions in superspace.

Bergeron and Ceballos defined a Hopf algebra structure on equivalence classes of subword complexes. We introduce a category of subword complexes, endow it with a proto-exact-like structure, and show that the corresponding dual Hall Hopf algebra is isomorphic to the algebra of Bergeron-Ceballos. We prove that the full subcategory of root-independent objects is proto-abelian in the sense of Dyckerhoff. We give a categorical lift of flips in subword complexes. We consider a version of a category of formal direct sums of subobjects for a root-independent subword complex and interpret it in terms of quivers. If the corresponding quiver is a tree, the category is endowed with a proto-exact structure. We show that its Hall algebra is isomorphic to the Hall algebra of the category of representations of this quiver over $\mathbb{F}_1$. Under certain conditions, a flip corresponds to changing a proto-exact structure while keeping the category the same up to isomorphism, which corresponds to a non-trivial automorphism of the Hall algebra. In type $A$, this leads to a realization of the nilpotent part of the universal enveloping algebra and its automorphisms.

The design of numerical integrators for solving stochastic dynamics with high weak order relies on tedious calculations and is subject to a high number of order conditions. The original approaches from the literature consider strong approximations and adapt them for the weak approximation by replacing the iterated stochastic integrals by appropriate random variables. The methods obtained this way are sub-optimal in their number of function evaluations and the analysis of order conditions is unnecessarily complicated. We provide in this paper a novel approach, relying on well-chosen sets of random Runge-Kutta coefficients, that greatly reduce the number of order conditions. The approach is successfully applied to the creation of a collection of new stochastic Runge-Kutta methods of second weak order with an optimal number of function evaluations and a smaller number of random variables. The efficiency of the new methods is confirmed with numerical experiments and a modern algebraic approach using Hopf algebras is provided for the derivation and the study of the order conditions.

We equip the graded polynomial algebra generated by nonplanar rooted binary trees with a Hopf algebra structure by defining a coproduct which disallows cutting both children of any given vertex, refining Connes-Kreimer's notion of admissible cuts. We show that the terms in this coproduct have an additional combinatorial interpretation in terms of subsets of leaves, which facilitates the construction of Hopf algebra morphisms involving this Hopf algebra, and creates a connection with a Hopf algebra of Bruned used in the renormalization of stochastic processes. Finally, we show that this Hopf algebra is dual to the universal enveloping algebra of a Lie algebra arising from a pre-Lie operator on binary trees based on edge-insertion.

Butcher forests extend naturally into aromatic and clumped forests and play a fundamental role in the numerical analysis of volume-preserving methods. The description of numerical volume-preservation is filled with open problems and recent attempts showed progress on specific dynamics and in low-dimension. Following this trend, we introduce aromatic and clumped multi-indices, that are simpler algebraic objects that better describe the Taylor expansions in low dimension. We provide their algebraic structure of pre-Lie-Rinehart algebra, Hopf algebroid, and Hopf algebra, and we generalise in the aromatic context the Hopf embedding from multi-indices to the BCK Hopf algebra.

In this paper, we extend the iterated integrals from smooth manifolds to digraphs and develop the associated algebraic and geometric structures. Iterated integrals on a digraph naturally give rise to the iterated path algebra and the iterated loop algebra, both defined as quotient algebras of a shuffle algebra, with the latter carrying a canonical Hopf algebra structure. We construct a non-degenerate pairing between elementarily equivalent classes of loops on a digraph and the iterated loop algebra. By restricting to iterated integrals that are invariant under $C_\partial$-homotopy, a distinguished subalgebra is obtained which, under this pairing, corresponds to the group algebra of the fundamental group. We further show that this subalgebra is a homotopy invariant and forms a Hopf algebra with involutive antipode.

Starting from a single solution of QYBE (or CYBE) we produce an infinite family of solutions of QYBE (or CYBE) parametrized by transitive arrays and, in particular, by signed permutations. We are especially interested in cases when such solutions yield quasi-triangular structures on direct powers of Lie bialgebras and tensor powers of Hopf algebras. We obtain infinite families of such structures as well and study the corresponding Poisson-Lie structures and co-quasi-triangular algebras.

In 2001, Chow developed the theory of the $B_n$ posets $P$ and the type $B$ $P$-partition enumerators $K^B_P$. To provide a representation-theoretic interpretation of $K^B_P$, we define the poset modules $M^B_P$ of the 0-Hecke algebra $H_n^B(0)$ of type $B$ by endowing the set of type-$B$ linear extensions of $P$ with an $H_n^B(0)$-action. We then show that the Grothendieck group of the category associated to type-$B$ poset modules is isomorphic to the space of type $B$ quasisymmetric functions as both a $\mathrm{QSym}$-module and comodule, where $\mathrm{QSym}$ denotes the Hopf algebra of quasisymmetric functions. Considering an equivalence relation on $B_n$ posets, where two posets are equivalent if they share the same set of type-$B$ linear extensions, we identify a natural representative of each equivalence class, which we call a distinguished poset. We further characterize the distinguished posets whose sets of type-$B$ linear extensions form intervals in the right weak Bruhat order on the the hyperoctahedral groups. Finally, we discuss the relationship among the categories associated to type-$B$ weak Bruhat interval modules, $B_n$ poset modules, and finite-dimensional $H_n^B(0)$-modules.

We consider the Hopf algebra of B-diagrams as an algebra projecting onto the Heisenberg algebra and designed to encode the combinatorics of the bosonic normal-ordering problem. In order to understand and generalize the properties of the algebra of noncommutative symmetric polynomials viewed as a Hopf subalgebra of the Hopf algebra linearly spanned by B-diagrams, we describe and study its dual Hopf algebra. This construction also allows us to establish connections with combinatorial Hopf algebras based on colored set partitions.

The Connes-Kreimer Hopf algebra of rooted trees is an operated Hopf algebra whose coproduct satisfies the classical Hochschild 1-cocycle condition. In this paper, we extend the setting from rooted trees to the space $H_{\rm RT}(X,Ω)$ of $(X,Ω)$-rooted trees, in which internal vertices are decorated by a set $Ω$ and leafs are decorated by $X \cup Ω$. We introduce a new coalgebra structure on $H_{\rm RT}(X,Ω)$ whose coproduct satisfies a weighted Hochschild 1-cocycle condition involving multiple operators, thereby generalizing the classical condition. A combinatorial interpretation of this coproduct is also provided. We then endow $H_{\rm RT}(X,Ω)$ with a Hopf algebra structure. Finally, we define weighted $Ω$-cocycle Hopf algebras, characterized by a Hochschild 1-cocycle condition with weights, and show that $H_{\rm RT}(X,Ω)$ is the free object in the category of $Ω$-cocycle Hopf algebras.

There is a natural bijection between standard immaculate tableaux of composition shape $α\vDash n$ and length $\ell(α) = k$ and the $ \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} $ set-partitions of $\{ 1, 2, \ldots, n \}$ into $k$ blocks, for the Stirling number $ \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} $ of the second kind. We introduce a family of tableaux that we refer to as \emph{lexical tableaux} that generalize immaculate tableaux in such a way that there is a bijection between standard lexical tableaux of shape $α\vDash n$ and length $\ell(α) = k$ and the $ \left[ \begin{smallmatrix} n \\ k \end{smallmatrix} \right] $ permutations on $\{ 1, 2, \ldots, n \}$ with $k$ disjoint cycles. In addition to the entries in the first column strictly increasing, the defining characteristic of lexical tableaux is that the word $w$ formed by the consecutive labels in any row is the lexicographically smallest out of all cyclic permutations of $w$. This includes weakly increasing words, and thus, lexical tableaux provide a natural generalization of immaculate tableaux. Extending this generalization, we introduce a pair of dual bases of the Hopf algebras $\textsf{QSym}$ and $\textsf{NSym}$ defined in terms of lexical tableaux. We present two expansions of these bases, involving the monomial and fundamental bases (or, dually, the ribbon and complete homogeneous bases), using Kostka coefficient analogues and coefficients derived from standard lexical tableaux.

A permutation statistic is substring-compatible if its value on a permutation determines its value on every substring of that permutation. We construct the substring coalgebra of such a statistic, an analog of the shuffle algebra of a shuffle-compatible statistic introduced by Gessel and Zhuang. Furthermore, we show that for substring-compatible statistics that also satisfy a weak form of shuffle compatibility, the shuffle algebra and substring coalgebra can be combined to yield a Hopf algebra. Finally, we conjecture that the only nontrivial permutation statistics that are both shuffle-compatible and substring-compatible are the descent set, the peak set, and the valley set, and we describe our progress towards proving this conjecture.

Noncommutative multi-indices are noncommutative monomials in a $\mathbb{N}$-indexed family of indeterminates. We define on them a $\mathbb{Z}$-graded operadic structure, with the help of a shifting derivation. Multi-indices of degree 0 are called populated: they form a suboperad, isomorphic to the operad of Novikov algebras. This operadic structure, and the relation between pre-Lie and Novikov algebras, induces two bialgebraic structure in cointeraction on commutative multi-indices. We show how to combinatorially embed this double bialgebra into the Connes-Kreimer Hopf algebra of rooted trees, with its two coproducts based, firstly on cuts, secondly, on contraction of edges, and how this embedding can be characterized by a Dyson-Schwinger equation. We also study the unique polynomial invariant compatible with the two bialgebraic structures on multi-indices and use to describe the antipode for the first coproduct.

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.

Cho and van Willigenburg (arXiv:1508.07670) and Alinaeifard, Wang, and van Willgenburg (arXiv:2010.00147) introduce multiplicative chromatic bases for the ring $Λ$ of symmetric functions, consisting of the chromatic symmetric functions (CSFs) of a sequence of connected graphs $G_1,G_2,\dots$ such that $G_n$ has total weight $n$, together with the CSFs of their disjoint unions. In arXiv:1707.04058, Tsujie introduces an alternative ring structure $\widetildeΛ$ on the vector space $Λ$ that makes CSFs multiply over joins instead of over disjoint unions. The $\widetilde{m}_λ$ basis, consisting of all CSFs of weighted cliques, is a multiplicative basis for $\widetildeΛ$, as is the $r_λ$ basis of complete multipartite graphs studied by Penaguiao (arXiv:1803.08824) and Crew and Spirkl (arXiv:2009.14141). We show that one can get more of these "cochromatic bases" (where the starting graphs are combined by joins instead of disjoint unions, hence forming a multiplicative basis for $\widetildeΛ$ instead of $Λ$) if and only if the starting graphs are edgeless. We also show that $\widetildeΛ$ is a Hopf algebra with the same coproduct as $Λ$, and that many of the chromatic bases for $Λ$ generated by cliques can be taken to their corresponding cochromatic bases via Hopf algebra isomorphisms $Λ\to \widetildeΛ.$ We also show that there is a single Hopf algebra morphism taking the CSFs of all unweighted triangle-free graphs to the CSFs of their complements, and we give several more conditions and examples for when one can or cannot find Hopf algebra maps taking the CSFs of certain graphs to the CSFs of their complements. Finally, we show that $K$-analogues of many of the above statements also hold if one instead uses the Kromatic symmetric function (KSF) defined by Crew, Pechenik, and Spirkl (arXiv:2301.02177).

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.

We extend Wood's graph theoretic interpretation of certain quotients of the mod $2$ dual Steenrod algebra to quotients of the mod $p$ dual Steenrod algebra where $p$ is an odd prime and to quotients of the $C_2$-equivariant dual Steenrod algebra. We establish connectedness criteria for graphs associated to monomials in these algebra quotients and investigate questions about trees and Hamilton cycles in these settings. We also give graph theoretic interpretations of algebraic structures such as the coproduct and antipode arising from the Hopf algebra structure on the mod $p$ dual Steenrod algebra and the Hopf algebroid structure of the $C_2$-equivariant dual Steenrod algebra.

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.

The (ordinary) representation theory of the symmetric group is fascinating and has rich connections to combinatorics, including the Frobenius correspondence to the self-dual graded Hopf algebra of symmetric functions. The $0$-Hecke algebra (of type $A$) is a deformation of the group algebra of the symmetric group, and its representation theory has an analogous correspondence to the dual graded Hopf algebras of quasisymmetric functions and noncommutative symmetric functions. Macdonald used the hook length formula for the number of standard Young tableaux of a fixed shape to determine how many irreducible representations of the symmetric group have dimensions indivisible by a prime $p$. In this paper, we study the dimensions of the projective indecomposable modules of the $0$-Hecke algebra modulo $p$; such a module is indexed by a composition and its dimension is given by a ribbon number, i.e., the cardinality of a descent class. Applying a result of Dickson on the congruence of multinomial coefficients, we count how many ribbon numbers belong to each congruence class modulo $p$. We also extend the result to other finite Coxeter groups.

The well-known descent-to-peak map $Θ_{\mathrm{QSym}}$ for the Hopf algebra of quasisymmetric functions, $\mathrm{QSym}$, and the peak algebra $Π$ were originally defined by Stembridge in 1997. We introduce their noncommutative analogues, the labelled descent-to-peak map $Θ_{\mathrm{NCQSym}}$ for the Hopf algebra of quasisymmetric functions in noncommuting variables, $\mathrm{NCQSym}$, and the peak algebra in noncommuting variables $\mathrm{NC}Π$. Then, we define the Hopf algebra of Schur $Q$-functions in noncommuting variables. We show that our generalizations possess many properties analogous to their classical counterparts. Furthermore, we show that the coefficients in the expansion of certain elements of $\mathrm{NC}Π$ in the monomial basis of $\mathrm{NCQSym}$ satisfy the generalized Dehn-Sommerville equation of Bayer and Billera. In the end, we give representation-theoretic interpretations of the descent-to-peak map for the Hopf algebras of symmetric functions and noncommutative symmetric functions.