arXiv++ Combinatorics

The natural Hopf algebra $\mathbf{N} \cdot \mathcal{O}$ of an operad $\mathcal{O}$ is a Hopf algebra whose bases are indexed by some words on $\mathcal{O}$. We construct polynomial realizations of $\mathbf{N} \cdot \mathcal{O}$ by using alphabets of noncommutative variables endowed with unary and binary relations. By using particular alphabets, we establish links between $\mathbf{N} \cdot \mathcal{O}$ and some other Hopf algebras including the Hopf algebra of word quasi-symmetric functions of Hivert, the decorated versions of the noncommutative Connes-Kreimer Hopf algebra of Foissy, the noncommutative Faà di Bruno Hopf algebra and its deformations, the noncommutative multi-symmetric functions Hopf algebras of Novelli and Thibon, and the double tensor Hopf algebra of Ebrahimi-Fard and Patras.

In a recent paper Zhuoke Yang, New approaches to ${\mathfrak gl}(N)$ weight system, Izvestiya Mathematics, 2023, vol. 77:6, 150--166; arXiv:2202.12225 (2022) a construction of a weight system, which unifies ${\mathfrak gl}(N)$ weight systems for $N=1,2,\dots$, has been suggested. The construction is based on an extension of the ${\mathfrak gl}(N)$ weight systems to permutations. This universal weight system takes values in the algebra of polynomials ${\mathbb C}[N;C_1,C_2,\dots]$ in infinitely many variables. We show that under the substitution $C_m=xN^{m-1}$, $m=1,2,\dots$, the leading term in $N$ of the value of the universal ${\mathfrak gl}$ weight system becomes the chromatic polynomial of the intersection graph of the chord diagram. Moreover, we show that under the substition $C_m=p_m N^{m-1}$, $m=1,2,\dots$, the leading term in $N$ of the value of the universal ${\mathfrak gl}$ weight system determines a flitered Hopf algebra homomorphism from the rotational Hopf algebra of permutations, which we construct in the present paper, to the Hopf algebra of polynomials ${\mathbb C}[p_1,p_2,\dots]$.

We study the compatibility between the antipode and the preLie product of a Com-PreLie Hopf algebra, that is to say a commutative Hopf algebra with a complementary preLie product, compatible with the product and the coproduct in a certain sense. An example of such a Hopf algebra is the Connes-Kreimer Hopf algebra, with the preLie product given by graftingof forests, extending the free preLie product of grafting of rooted trees. This compatibility is then used to study the antipode of the Connes-Moscovici subalgebra, whichcan be defined with the help of this preLie product. The antipode of the generators of this subalgebra gives a family of combinatorial coefficients indexed by partitions,which can be computed with the help of iterated harmonic sums.

The $(P, w)$-partition generating function $K_{(P,w)}(x)$ is a quasisymmetric function obtained from a labeled poset. Recently, Liu and Weselcouch gave a formula for the coefficients of $K_{(P,w)}(x)$ when expanded in the quasisymmetric power sum function basis. This formula generalizes the classical Murnaghan--Nakayama rule for Schur functions. We extend this result to weighted $(P, w)$-partitions and provide a short combinatorial proof, avoiding the Hopf algebra machinery used by Liu--Weselcouch.

We propose a combinatorial formula for the coproduct in a Hopf algebra of decorated multi-indices that recently appeared in the literature, which can be briefly described as the graded dual of the enveloping algebra of the free Novikov algebra generated by the set of decorations. Similarly to what happens for the Hopf algebra of rooted forests, the formula can be written in terms of admissible cuts. We also prove a combinatorial formula for the extraction-contraction coproduct for undecorated multi-indices, in terms of a suitable notion of covering subforest.

In this paper, we mainly study two notions of pattern avoidance in parking functions. First, for any collection of length 3 patterns, we compute the number of parking functions of size $n$ that avoid them under the first notion. This is motivated by the recent work of Adeniran and Pudwell, who obtained analogous results using a second notion of pattern avoidance. Then, we provide new purely bijective proofs for two of their results, and improve the formula of another one. Finally, we apply similar enumeration techniques to the work of Novelli and Thibon on certain Hopf algebras of generalised parking functions, and compute their graded dimensions.

In a series of recent talks Richard Stanley introduced a symmetric function associated to digraphs called the Redei-Berge symmetric function. This symmetric function enumerates descent sets of permutations corresponding to digraphs. We show that such constructed symmetric function arises from a suitable structure of combinatorial Hopf algebra on digraphs. The induced Redei-Berge polynomial satisfies the deletion-contraction property which makes it similar to the chromatic polynomial. The Berge's classical result on the number of Hamiltonian paths in digraphs is a consequence of the reciprocity formula for the Redei-Berge polynomial.

A rectangulation is a decomposition of a rectangle into finitely many rectangles. Via natural equivalence relations, rectangulations can be seen as combinatorial objects with a rich structure, with links to lattice congruences, flip graphs, polytopes, lattice paths, Hopf algebras, etc. In this paper, we first revisit the structure of the respective equivalence classes: weak rectangulations that preserve rectangle-segment adjacencies, and strong rectangulations that preserve rectangle-rectangle adjacencies. We thoroughly investigate posets defined by adjacency in rectangulations of both kinds, and unify and simplify known bijections between rectangulations and permutation classes. This yields a uniform treatment of mappings between permutations and rectangulations that unifies the results from earlier contributions, and emphasizes parallelism and differences between the weak and the strong cases. Then, we consider the special case of guillotine rectangulations, and prove that they can be characterized - under all known mappings between permutations and rectangulations - by avoidance of two mesh patterns that correspond to "windmills" in rectangulations. This yields new permutation classes in bijection with weak guillotine rectangulations, and the first known permutation class in bijection with strong guillotine rectangulations. Finally, we address enumerative issues and prove asymptotic bounds for several families of strong rectangulations.

Given a graded bialgebra $H$, we let $Δ^{\left[ k\right] }:H\rightarrow H^{\otimes k}$ and $m^{\left[ k\right] }:H^{\otimes k}\rightarrow H$ be its iterated (co)multiplications for all $k\in\mathbb{N}$. For any $k$-tuple $α=\left( α_{1},α_{2},\ldots,α_{k}\right) \in\mathbb{N}^{k}$ of nonnegative integers, and any permutation $σ$ of $\left\{ 1,2,\ldots,k\right\} $, we consider the map $p_{α,σ}:=m^{\left[ k\right] }\circ P_α\circσ^{-1}\circΔ^{\left[ k\right] }:H\rightarrow H$, where $P_α$ denotes the projection of $H^{\otimes k}$ onto its multigraded component $H_{α_{1}}\otimes H_{α_{2}}\otimes\cdots\otimes H_{α_{k}}$, and where $σ^{-1}:H\rightarrow H$ permutes the tensor factors. We prove formulas for the composition $p_{α,σ}\circ p_{β,τ}$ and the convolution $p_{α,σ}\star p_{β,τ}$ of two such maps. When $H$ is cocommutative, these generalize Patras's 1994 results (which, in turn, generalize Solomon's Mackey formula). We also construct a combinatorial Hopf algebra $\operatorname*{PNSym}$ ("permuted noncommutative symmetric functions") that governs the maps $p_{α,σ}$ for arbitrary connected graded bialgebras $H$ in the same way as the well-known $\operatorname*{NSym}$ governs them in the cocommutative case. We end by outlining an application to checking identities for connected graded Hopf algebras.

We here construct an explicit isomorphism between any commutative Hopf algebra which underlying coalgebra is the tensor coalgebra of a space $V$ and the shuffle algebra based on the same space. This isomorphism uses the commutative $B_\infty$ structure that governs the product and the eulerian idempotent, as well as the canonical projection on the space $V$. This generalizes Homan's isomorphism between commutative quasi-shuffle and shuffle algebras, which correspond to the case when the $B_\infty$ structure is given by an associative and commutative product. We develop several examples in details, including the Hopf algebra of finite topologies.

The Rota-Baxter operator and the modified Rota-Baxter operator on various algebras are both important in mathematics and mathematical physics. The former is originated from the integration-by-parts formula and probability with applications to the renormalization of quantum field theory and the classical Yang-Baxter equation. The latter originated from Hilbert transformations with applications to ergodic theory and the modified Yang-Baxter equation. Their merged form, called the extended Rota-Baxter operators, has also found interesting applications recently. This paper presents a systematic study of the extended Rota-Baxter operator. We show that while extended Rota-Baxter operators have properties similar to Rota-Baxter operators; they provide a linear structure that unifies Rota-Baxter operators and modified Rota-Baxter operators. Examples of extended Rota-Baxter operators are also given, especially from polynomials and Laurent series due to their importance in ($q$-)integration and the renormalization in quantum field theory. We then construct free commutative extended Rota-Baxter operators by a generalization of the quasi-shuffle product. The multiplication of the initial object in the category of commutative extended Rota-Baxter operators allows a combinatorial interpretation in terms of a color-enrichment of Delannoy paths. Applying its universal property, we equip a free commutative extended Rota-Baxter operators with a coproduct which has a cocycle condition, yielding a bialgebraic structure. We then show that this bialgebra on a free extended Rota-Baxter operators possesses an increasing filtration and a connectedness property, culminating at a Hopf algebraic structure on a free commutative extended Rota-Baxter operator.

We provide a construction for the kromatic symmetric function $\overline{X}_G$ of a graph introduced by Crew, Pechenik, and Spirkl using combinatorial (linearly compact) Hopf algebras. As an application, we show that $\overline{X}_G$ has a positive expansion into multifundamental quasisymmetric functions. We also study two related quasisymmetric $q$-analogues of $\overline{X}_G$, which are $K$-theoretic generalizations of the quasisymmetric chromatic function of Shareshian and Wachs. We classify exactly when one of these analogues is symmetric. For the other, we derive a positive expansion into symmetric Grothendieck functions when $G$ is the incomparability graph of a natural unit interval order.

In this work we study conditional monotone cumulants and additive convolution in the shuffle-algebraic approach to non-commutative probability. We describe c-monotone cumulants as an infinitesimal character and identify the c-monotone additive convolution as an associative operation in the set of pairs of characters in the dual of a double tensor Hopf algebra. In this algebraic framework, we understand previous results on c-monotone cumulants and prove a combinatorial formula that relates c-free and c-monotone cumulants. We also identify the notion of $t$-Boolean cumulants in the shuffle-algebraic approach and introduce the corresponding notion of $t$-monotone cumulants as a particular case of c-monotone cumulants.

The natural Hopf algebra $\mathcal{N} \mathcal{O}$ of an operad $\mathcal{O}$ is a Hopf algebra whose bases are indexed by some words on $\mathcal{O}$. We introduce new bases of these Hopf algebras deriving from free operads via new lattice structures on their basis elements. We construct polynomial realizations of $\mathcal{N} \mathcal{O}$ by using alphabets of variables endowed with unary and binary relations. By specializing our polynomial realizations, we discover links between $\mathcal{N} \mathcal{O}$ and the Hopf algebra of word quasi-symmetric functions of Hivert, the decorated versions of the Connes-Kreimer Hopf algebra of Foissy, the Faà di Bruno Hopf algebra and its deformations, and the noncommutative multi-symmetric functions Hopf algebras of Novelli and Thibon.

In this paper, we establish product and coproduct rules for three bases of the Hopf algebra $\textsf{QSym}_F$ of quasisymmetric functions over $F$, with $F$ being either $\mathbb{C}(q,t)$ or $\mathbb{C}(q)$. These results are derived through the categorizations of $\textsf{QSym}_{\mathbb{C}}$ obtained by utilizing the normal lattice supercharacter theories. Firstly, we deal with a basis $\{\mathcal{D}_α(q,t) \mid α\in \textsf{Comp}\}$ of $\textsf{QSym}_{\mathbb{C}(q,t)}$, where $\textsf{Comp}$ denotes the set of all compositions. This basis is obtained from the direct sum of specific supercharacter function spaces and consists of superclass identifier functions. Upon appropriate specializations of $q$ and $t$, it yields notable bases of $\textsf{QSym}_{\mathbb{C}}$ and $\textsf{QSym}_{\mathbb{C}(q)}$, including enriched $q$-monomial quasisymmetric functions introduced by Grinberg and Vassilieva. Secondly, we deal with the basis $\{G_α(q) \mid α\in \textsf{Comp}\}$ of $\textsf{QSym}_{\mathbb{C}(q)}$, where $G_α(q)$ represents the quasisymmetric Hall-Littlewood function introduced by Hivert. Our product rule is new, whereas our coproduct rule turns out to be equivalent to the existing coproduct rule of Hivert. Finally, we consider a basis $\{M_α(q) \mid α\in \textsf{Comp}\}$ of $\textsf{QSym}_{\mathbb{C}(q)}$, where $M_α(q)$ is a $q$-analogue of the monomial quasisymmetric function.

We obtain a cancellation-free formula, represented in terms of Schröder trees, for the antipode in the double tensor Hopf algebra introduced by Ebrahimi-Fard and Patras. We apply the antipode formula in the context of non-commutative probability and recover cumulant-moment formulas as well as a new expression for Anshelevich's free Wick polynomials in terms of Schröder trees.

We give a framework for growth models on posets which simultaneously generalizes the Classical Sequential Growth models for posets from causal set theory and the tree growth models of natural growth and simple tree classes, the latter of which also appear as solutions of combinatorial Dyson-Schwinger equations in quantum field theory. We prove which cases of the Classical Sequential Growth models give subHopf algebras of the Hopf algebra of posets, in analogy to a characterization due to Foissy in the Dyson-Schwinger case. We find a family of generating sets for the Connes-Moscovici Hopf algebra.

I present an overview of the research I have conducted for the past ten years in algebraic, bijective, enumerative, and geometric combinatorics. The two main objects I have studied are the permutahedron and the associahedron as well as the two partial orders they are related to: the weak order on permutations and the Tamari lattice. This document contains a general introduction (Chapters 1 and 2) on those objects which requires very little previous knowledge and should be accessible to non-specialist such as master students. Chapters 3 to 8 present the research I have conducted and its general context. You will find: * a presentation of the current knowledge on Tamari interval and a precise description of the family of Tamari interval-posets which I have introduced along with the rise-contact involution to prove the symmetry of the rises and the contacts in Tamari intervals; * my most recent results concerning q, t-enumeration of Catalan objects and Tamari intervals in relation with triangular partitions; * the descriptions of the integer poset lattice and integer poset Hopf algebra and their relations to well known structures in algebraic combinatorics; * the construction of the permutree lattice, the permutree Hopf algebra and permutreehedron; * the construction of the s-weak order and s-permutahedron along with the s-Tamari lattice and s-associahedron. Chapter 9 is dedicated to the experimental method in combinatorics research especially related to the SageMath software. Chapter 10 describes the outreach efforts I have participated in and some of my approach towards mathematical knowledge and inclusion.

The algebra of quasisymmetric functions QSym and the shuffle algebra of compositions Sh are isomorphic as graded Hopf algebras (in characteristic zero), and isomorphisms between them can be specified via shuffle bases of QSym. We use the notion of infinitesimal characters to characterize shuffle bases, and we establish a universal property for Sh in the category of connected graded Hopf algebras equipped with an infinitesimal character, analogous to the universal property of QSym as a combinatorial Hopf algebra described by Aguiar, Bergeron, and Sottile. We then use these results to give general constructions for quasisymmetric power sums, recovering four previous constructions from the literature, and study their properties.

We define a new pair of dual bases that generalize the immaculate and dual immaculate bases to the colored algebras $QSym_A$ and $NSym_A$. The colored dual immaculate functions are defined combinatorially via tableaux, and we present results on their Hopf algebra structure, expansions to and from other bases, and skew functions. For the colored immaculate functions, defined using creation operators, we study expansions to and from other bases and provide a right Pieri rule. This includes a combinatorial method for expanding colored immaculate functions into the colored ribbon basis that specializes to a new analogous result in the uncolored case. We use the same methods to define colored generalizations of the row-strict immaculate and row-strict dual immaculate functions with similar results.