arXiv++ Combinatorics

The present article deals with various generating series and group schemes (not necessarily affine ones) associated with MZVs. Our developments are motivated by Ecalle's mould calculus approach to the latter. We propose in particular a Hopf algebra--type encoding of symmetril moulds and introduce a new resummation process for MZVs.

In this paper we describe the Hopf algebra approach to the center problem for the differential equation $\frac{dv}{dx}=\sum_{i=1}^{\infty}a_{i}(x)v^{i+1}$, $x\in [0,T]$, and study some combinatorial properties of the first return map of this equation. The paper summarizes and extends previously developed approaches to the center problem due to Devlin and the author.

We study combinatorial Dyson Schwinger equations, expressed in the Hopf algebra of words with a quasi shuffle product. We map them into an algebra of polynomials in one indeterminate L and show that the leading log expansion one obtains with such a mapping are simple power law like expression

This is a set of working notes which give a second proof of the Shareshian--Wachs conjecture, the first (and recent) proof being by Brosnan and Chow in November 2015. The conjecture relates some symmetric functions constructed combinatorially out of unit interval graphs (their $q$-chromatic quasisymmetric functions), and some symmetric functions constructed algebro-geometrically out of Tymoczko's representation of the symmetric group on the equivariant cohomology ring of a family of subvarieties of the complex flag variety, called regular semisimple Hessenberg varieties. Brosnan and Chow's proof is based in part on the idea of deforming the Hessenberg varieties. The proof given here, in contrast, is based on the idea of recursively decomposing Hessenberg varieties, using a new Hopf algebra as the organizing principle for this recursion. We hope that taken together, each approach will shed some light on the other, since there are still many outstanding questions regarding the objects under study.

Quasi-triangular Hopf algebras were introduced by Drinfel'd in his construction of solutions to the Yang--Baxter Equation. This algebra is built upon $\mathcal{U}_h(\mathfrak{sl}_2)$, the quantized universal enveloping algebra of the Lie algebra $\mathfrak{sl}_2$. In this paper, combinatorial structure in $\mathcal{U}_h(\mathfrak{sl}_2)$ is elicited, and used to assist in highly intricate calculations in this algebra. To this end, a combinatorial methodology is formulated for straightening algebraic expressions to a canonical form in the case $n=1$. We apply this formalism to the quasi-triangular Hopf algebras and obtain a constructive account not only for the derivation of the Drinfel'd's $R$-matrix, but also for the arguably mysterious ribbon elements of $\mathcal{U}_h(\mathfrak{sl}_2)$. Finally, we extend these techniques to the higher dimensional algebras $\mathcal{U}_h(\mathfrak{sl}_{n+1})$. While these explicit algebraic results are well-known, our contribution is in our formalism and perspective: our emphasis is on the combinatorial structure of these algebras and how that structure may guide algebraic constructions.

Decomposition spaces are simplicial $\infty$-groupoids subject to a certain exactness condition, needed to induce a coalgebra structure on the space of arrows. Conservative ULF functors (CULF) between decomposition spaces induce coalgebra homomorphisms. Suitable added finiteness conditions define the notion of Möbius decomposition space, a far-reaching generalisation of the notion of Möbius category of Leroux. In this paper, we show that the Lawvere-Menni Hopf algebra of Möbius intervals, which contains the universal Möbius function (but is not induced by a Möbius category), can be realised as the homotopy cardinality of a Möbius decomposition space $U$ of all Möbius intervals, and that in a certain sense $U$ is universal for Möbius decomposition spaces and CULF functors.

In the aim to understand the generalization of Stirling numbers occurring in the bosonic normal ordering problem, several combinatorial models have been proposed. In particular, Blasiak \emph{et al.} defined combinatorial objects allowing to interpret the number of $S_{\bf{r,s}}(k)$ appearing in the identity $(a^†)^{r_n}a^{s_n}\cdots(a^†)^{r_1}a^{s_1}=(a^†)^α\displaystyle\sum S_{\bf{r,s}}(k)(a^†)^k a^k$, where $α$ is assumed to be non-negative. These objects are used to define a combinatorial Hopf algebra which specializes to the enveloping algebra of the Heisenberg Lie algebra. Here, we propose a new variant of this construction which admits a realization with variables. This means that we construct our algebra from a free algebra $\mathbb{C}\langle A \rangle$ using quotient and shifted product. The combinatorial objects (B-diagrams) are slightly different from those proposed by Blasiak \emph{et al.}, but give also a combinatorial interpretation of the generalized Stirling numbers together with a combinatorial Hopf algebra related to Heisenberg Lie algebra. The main difference comes from the fact that the B-diagrams have the same number of inputs and outputs. After studying the combinatorics and the enumeration of B-diagrams, we propose two constructions of algebras called Fusion algebra $\mathcal{F}$, defined using formal variable and another algebra $\mathcal{B}$ constructed directly from the B-diagrams. We show the connection between these two algebras and that $\mathcal{B}$ can be endowed with a Hopf structure. We recognize two already known combinatorial Hopf subalgebras of $\mathcal{B}$ : $\mathrm{WSym}$ the algebra of word symmetric functions indexed by set partitions and $\mathrm{BWSym}$ the algebra of biword symmetric functions indexed by set partitions into lists.

Three equivalent methods allow to compute the antipode of the Hopf algebras of Feynman diagrams in perturbative quantum field theory (QFT): the Dyson-Salam formula, the Bogoliubov formula, and the Zimmermann forest formula. Whereas the first two hold generally for arbitrary connected graded Hopf algebras, the third one requires extra structure properties of the underlying Hopf algebra but has the nice property to reduce drastically the number of terms in the expression of the antipode (it is optimal in that sense).The present article is concerned with the forest formula: we show that it generalizes to arbitrary right-handed polynomial Hopf algebras. These Hopf algebras are dual to the enveloping algebras of preLie algebras -a structure common to many combinatorial Hopf algebras which is carried in particular by the Hopf algebras of Feynman diagrams.

Using cocommutativity of the Hopf algebra of symmetric functions, certain skew Schur functions are proved to be equal. Some of these skew Schur function identities are new.

We propose an algebraic study of the simple graph isomorphism problem. We define a Hopf algebra from an explicit realization of its elements as formal power series. We show that these series can be evaluated on graphs and count occurrences of subgraphs. We establish a criterion for the isomorphism test of two simple graphs by means of occurrence counting of subgraphs. This criterion is deduced from algebraic relations between elements of our algebra.

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.