arXiv++ Combinatorics

Tristan Bozec gave a definition of generalized quantum groups that extends the usual definition of quantum groups to finite quivers with loops at vertices, and he introduced a theory of generalized crystals for this new family of Hopf algebras. We explicitly characterize the generalized crystal $\mathcal{B}(\infty)$ associated to a certain family of quivers with multiple loops by providing a complete set of relations among the Kashiwara operators themselves.

The aim of this work is to outline in some detail the use of combinatorial algebra in planar quantum field theory. Particular emphasis is given to the relations between the different types of planar Green's functions. The key object is a Hopf algebra which is naturally defined on non-commuting sources, and the fact that its genuine unshuffle coproduct splits into left- and right unshuffle half-coproduts. The latter give rise to the notion of unshuffle bialgebra. This setting allows to describe the relation between planar full and connected Green's functions by solving a simple linear fixed point equation. A modification of this linear fixed point equation gives rise to the relation between planar connected and one-particle irreducible Green's functions. The graphical calculus that arises from this approach also leads to a new understanding of functional calculus in planar QFT, whose rules for differentiation with respect to non-commuting sources can be translated into the language of growth operations on planar rooted trees. We also include a brief outline of our approach in the framework of non-planar theories.

We introduce a Hopf algebra structure of subword complexes, including both finite and infinite types. We present an explicit cancellation free formula for the antipode using acyclic orientations of certain graphs, and show that this Hopf algebra induces a natural non-trivial sub-Hopf algebra on $c$-clusters in the theory of cluster algebras.

A function on the state space of a Markov chain is a "lumping" if observing only the function values gives a Markov chain. We give very general conditions for lumpings of a large class of algebraically-defined Markov chains, which include random walks on groups and other common constructions. We specialise these criteria to the case of descent operator chains from combinatorial Hopf algebras, and, as an example, construct a "top-to-random-with-standardisation" chain on permutations that lumps to a popular restriction-then-induction chain on partitions, using the fact that the algebra of symmetric functions is a subquotient of the Malvenuto-Reutenauer algebra.

By considering Tutte polynomials of Hopf algebras, we show how a Tutte polynomial can be canonically associated with combinatorial objects that have some notions of deletion and contraction. We show that several graph polynomials from the literature arise from this framework. These polynomials include the classical Tutte polynomial of graphs and matroids, Las Vergnas' Tutte polynomial of the morphism of matroids and his Tutte polynomial for embedded graphs, Bollobas and Riordan's ribbon graph polynomial, the Krushkal polynomial, and the Penrose polynomial. We show that our Tutte polynomials of Hopf algebras share common properties with the classical Tutte polynomial, including deletion-contraction definitions, universality properties, convolution formulas, and duality relations. New results for graph polynomials from the literature are then obtained as examples of the general results. Our results offer a framework for the study of the Tutte polynomial and its analogues in other settings, offering the means to determine the properties and connections between a wide class of polynomial invariants.

A combinatorial interpretation is given of Devlin's word problem underlying the classical center-focus problem of Poincare for non-autonomous differential equations. It turns out that the canonical polynomials of Devlin are from the point of view of connected graded Hopf algebras intimately related to the graded components of a Hopf algebra antipode applied to the formal power series of Ferfera. The link is made by passing through control theory since the Abel equation, which describes a center, is equivalent to an output feedback equation, and the Hopf algebra of output feedback is derived from the composition of iterated integrals rather than just the products of iterated integrals, which yields the shuffle algebra. This means that the primary algebraic structure at play in Devlin's approach is actually not the shuffle algebra, but a Faa di Bruno type Hopf algebra, which is defined in terms of the shuffle product but is a distinct algebraic structure.

This paper is devoted to the study of renormalization of the quartic melonic tensor model in dimension (=rank) five. We review the perturbative renormalization and the computation of the one loop beta function, confirming the asymptotic freedom of the model. We then define the Connes-Kreimer-like Hopf algebra describing the combinatorics of the renormalization of this model and we analyze in detail, at one- and two-loop levels, the Hochschild cohomology allowing to write the combinatorial Dyson-Schwinger equations. Feynman tensor graph Hopf subalgebras are also exhibited.

We consider framed chord diagrams, i.e. chord diagrams with chords of two types. It is well known that chord diagrams modulo 4T-relations admit Hopf algebra structure, where the multiplication is given by any connected sum with respect to the orientation. But in the case of framed chord diagrams a natural way to define a multiplication is not known yet. In the present paper, we first define a new module $\mathcal{M}_2$ which is generated by chord diagrams on two circles and factored by $4$T-relations. Then we construct a "covering" map from the module of framed chord diagrams into $\mathcal{M}_2$ and a weight system on $\mathcal{M}_2$. Using the map and weight system we show that a connected sum for framed chord diagrams is not a well-defined operation. In the end of the paper we touch linear diagrams, the circle replaced by a directed line.

We investigate the combinatorial properties of the functional equation $φ[h(z)]=h(qz)$ for the conjugation of a formal diffeomorphism $φ$ of $\mathbb{C}$ to its linear part $z\mapsto qz$. This is done by interpreting the functional equation in terms of symmetric functions, and then lifting it to noncommutative symmetric functions. We describe explicitly the expansion of the solution in terms of plane trees and prove that its expression on the ribbon basis has coefficients in ${\mathbb N}[q]$ after clearing the denominators $(q)_n$. We show that the conjugacy equation can be lifted to a quadratic fixed point equation in the free triduplicial algebra on one generator. This can be regarded as a $q$-deformation of the duplicial interpretation of the noncommutative Lagrange inversion formula. Finally, these calculations are interpreted in terms of the group of the operad of Stasheff polytopes, and are related to Ecalle's arborified expansion by means of morphisms between various Hopf algebras of trees.

We generalize the Hopf algebras of free quasisymmetric functions, quasisymmetric functions, noncommutative symmetric functions, and symmetric functions to certain representations of the category of all finite Coxeter systems and its dual category. We investigate their connections with the representation theory of 0-Hecke algebras of finite Coxeter systems. Restricted to type B and D we obtain dual graded modules and comodules over the corresponding Hopf algebras in type A.

We define semi-pointed partition posets, which are a generalisation of partition posets and show that they are Cohen-Macaulay. We then use multichains to compute the dimension and the character for the action of the symmetric groups on their homology. We finally study the associated incidence Hopf algebra, which is similar to the Fa{à} di Bruno Hopf algebra.

This paper is motivated by the interplay between the Tamari lattice, J.-L. Loday's realization of the associahedron, and J.-L. Loday and M. Ronco's Hopf algebra on binary trees. We show that these constructions extend in the world of acyclic $k$-triangulations, which were already considered as the vertices of V. Pilaud and F. Santos' brick polytopes. We describe combinatorially a natural surjection from the permutations to the acyclic $k$-triangulations. We show that the fibers of this surjection are the classes of the congruence $\equiv^k$ on $\mathfrak{S}_n$ defined as the transitive closure of the rewriting rule $U ac V_1 b_1 \cdots V_k b_k W \equiv^k U ca V_1 b_1 \cdots V_k b_k W$ for letters $a < b_1, \dots, b_k < c$ and words $U, V_1, \dots, V_k, W$ on $[n]$. We then show that the increasing flip order on $k$-triangulations is the lattice quotient of the weak order by this congruence. Moreover, we use this surjection to define a Hopf subalgebra of C. Malvenuto and C. Reutenauer's Hopf algebra on permutations, indexed by acyclic $k$-triangulations, and to describe the product and coproduct in this algebra and its dual in term of combinatorial operations on acyclic $k$-triangulations. Finally, we extend our results in three directions, describing a Cambrian, a tuple, and a Schröder version of these constructions.

The mod 2 Steenrod algebra $\mathcal{A}_2$ can be defined as the quotient of the mod 2 Leibniz--Hopf algebra $\mathcal{F}_2$ by the Adem relations. Dually, the mod 2 dual Steenrod algebra $\mathcal{A}_2^*$ can be thought of as a sub-Hopf algebra of the mod 2 dual Leibniz--Hopf algebra $\mathcal{F}_2^*$. We study $\mathcal{A}_2^*$ and $\mathcal{F}_2^*$ from this viewpoint and give generalisations of some classical results in the literature.

We consider a Hopf algebra of simplicial complexes and provide a cancellation-free formula for its antipode. We then obtain a family of combinatorial Hopf algebras by defining a family of characters on this Hopf algebra. The characters of these combinatorial Hopf algebras give rise to symmetric functions that encode information about colorings of simplicial complexes and their $f$-vectors. We also use characters to give a generalization of Stanley's $(-1)$-color theorem. A $q$-analog version of this family of characters is also studied.

We study quadri-algebras and dual quadri-algebras. We describe the free quadri-algebra on one generator as a subobject of the Hopf algebra of permutations FQSym, proving a conjecture due to Aguiar and Loday, using that the operad of quadri-algebras can be obtained from the operad of dendriform algebras by both black and white Manin products. We also give a combinatorial description of free dual quadri-algebras. A notion of quadri-bialgebra is also introduced, with applications to the Hopf algebras FQSym and WQSym.

For every finite Coxeter group $Γ$, each positive braids in the corresponding braid group admits a unique decomposition as a finite sequence of elements of $Γ$, the so-called Garside-normal form.The study of the associated adjacency matrix $Adj(Γ)$ allows to count the number of Garside-normal form of a given length.In this paper we prove that the characteristic polynomial of $Adj(B_n)$ divides the one of $Adj(B_{n+1})$. The key point is the use of a Hopf algebra based on signed permutations. A similar result was already known for the type $A$. We observe that this does not hold for type $D$. The other Coxeter types ($I$, $E$, $F$ and $H$) are also studied.

Consider the vector space $\mathbb{K}\mathcal{P}$ spanned by parking functions. By representing parking functions as labeled digraphs, Hivert, Novelli and Thibon constructed a cocommutative Hopf algebra PQSym$^{*}$ on $\mathbb{K}\mathcal{P}$. The product and coproduct of PQSym$^{*}$ are analogous to the product and coproduct of the Hopf algebra NCSym of symmetric functions in noncommuting variables defined in terms of the power sum basis. In this paper, we view a parking function as a word. We shall construct a Hopf algebra PFSym on $\mathbb{K}\mathcal{P}$ with a formal basis $\{M_a\}$ analogous to the monomial basis of NCSym. By introducing a partial order on parking functions, we transform the basis $\{M_a\}$ to another basis $\{Q_a\}$ via the Möbius inversion. We prove the freeness of PFSym by finding two free generating sets in terms of the $M$-basis and the $Q$-basis, and we show that PFSym is isomorphic to the Hopf algebra PQSym$^{*}$. It turns out that our construction, when restricted to permutations and non-increasing parking functions, leads to a new way to approach the Grossman-Larson Hopf algebras of ordered trees and heap-ordered trees.

Recently, Diaconis, Ram and I created Markov chains out of the coproduct-then-product operator on combinatorial Hopf algebras. These chains model the breaking and recombining of combinatorial objects. Our motivating example was the riffle-shuffling of a deck of cards, for which this Hopf algebra connection allowed explicit computation of all the eigenfunctions. The present note replaces in this construction the coproduct-then-product map with convolutions of projections to the graded subspaces, effectively allowing us to dictate the distribution of sizes of the pieces in the breaking step of the previous chains. An important example is removing one "vertex" and reattaching it, in analogy with top-to-random shuffling. This larger family of Markov chains all admit analysis by Hopf-algebraic techniques. There are simple combinatorial expressions for their stationary distributions and for their eigenvalues and multiplicities and, in some cases, the eigenfunctions are also calculable.

We exhibit an internal coproduct on the Hopf algebra of finite topologies recently defined by the second author, C. Malvenuto and F. Patras, dual to the composition of "quasi-ormoulds", which are the natural version of J. Ecalle's moulds in this setting. All these results are displayed in the linear species formalism.

We consider a model for topological recursion based on the Hopf Algebra of planar binary trees of Loday and Ronco. We show that extending this Hopf Algebra by identifying pairs of nearest neighbor leaves and producing in this way graphs with loops we obtain the full recursion formula of Eynard and Orantin.