Source author record

Loïc Foissy

Loïc Foissy appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

30works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

30 published item(s)

preprint2022arXiv

Typed angularly decorated planar rooted trees and generalized Rota-Baxter algebras

We introduce a generalization of parametrized Rota-Baxter algebras, which includes family and matching Rota-Baxter algebras. We study the structure needed on the set $Ω$ of parameters in order to obtain that free Rota-Baxter algebras are described in terms of typed and angularly decorated planar rooted trees: we obtain the notion of $λ$-extended diassociative semigroup, which includes sets (for matching Rota-Baxter algebras) and semigroups (for family Rota-Baxter algebras), and many other examples. We also describe free commutative $Ω$-Rota-Baxter algebras generated by a commutative algebra A in terms of typed words.

preprint2021arXiv

From non-unitary wheeled PROPs to smooth amplitudes and generalised convolutions

We introduce the concept of TRAP (Traces and Permutations), which can roughly be viewed as a wheeled PROP (Products and Permutations) without unit. TRAPs are equipped with a horizontal concatenation and partial trace maps. Continuous morphisms on an infinite dimensional topological space and smooth kernels (resp. smoothing operators) on a closed manifold form a TRAP but not a wheeled PROP. We build the free objects in the category of TRAPs as TRAPs of graphs and show that a TRAP can be completed to a unitary TRAP (or wheeled PROP). We further show that it can be equipped with a vertical concatenation, which on the TRAP of linear homomorphisms of a vector space, amounts to the usual composition. The vertical concatenation in the TRAP of smooth kernels gives rise to generalised convolutions. Graphs whose vertices are decorated by smooth kernels (resp. smoothing operators) on a closed manifold form a TRAP. From their universal properties we build smooth amplitudes associated with the graph.

preprint2020arXiv

Operads of (noncrossing) partitions, interacting bialgebras, and moment-cumulant relations

We establish and explore a relationship between two approaches to moment-cumulant relations in free probability theory: on one side the main approach, due to Speicher, given in terms of Möbius inversion on the lattice of noncrossing partitions, and on the other side the more recent non-commutative shuffle-algebra approach, where the moment-cumulant relations take the form of certain exponential-logarithm relations. We achieve this by exhibiting two operad structures on (noncrossing) partitions, different in nature: one is an ordinary, non-symmetric operad whose composition law is given by insertion into gaps between elements, the other is a coloured, symmetric operad with composition law expressing refinement of blocks. We show that these operad structures interact so as to make the corresponding incidence bialgebra of the former a comodule bialgebra for the latter. Furthermore, this interaction is compatible with the shuffle structure and thus unveils how the two approaches are intertwined. Moreover, the constructions and results are general enough to extend to ordinary set partitions.

preprint2020arXiv

Plane posets, special posets, and permutations

We study the self-dual Hopf algebra $\h\_{\SP}$ of special posets introduced by Malvenuto and Reutenauer and the Hopf algebra morphism from $\h\_{\SP}$ to to the Hopf algebra of free quasi-symmetric functions $\FQSym$ given by linear extensions. In particular, we construct two Hopf subalgebras both isomorphic to $\FQSym$; the first one is based on plane posets, the second one on heap-ordered forests. An explicit isomorphism between these two Hopf subalgebras is also defined with the help of two transformations on special posets. The restriction of the Hopf pairing of $\h\_{\SP}$ to these Hopf subalgebras and others is also studied, as well as certain isometries between them. These problems are solved using duplicial and dendriform structures.An error in Section 7 has been noticed by Darij Grinberg, and the text has been modified accordingly.

preprint2020arXiv

Quadri-algebras, preLie algebras, and the Catalan family of Lie idempotents

We compute the expansion of the Catalan family of Lie idempotents introduced in [Menous et al., Adv. Applied Math. 51 (2013), 177-22] on the PBW basis of the Lie module. It is found that the coefficient of a tree depends only on its number of left and right internal edges. In particular, the Catalan idempotents belong to a preLie algebra based on naked binary trees, of which we identify several Lie and preLie subalgebras.

preprint2016arXiv

A theory of pictures for quasi-posets

The theory of pictures between posets is known to encode much of the combinatorics of symmetric group representations and related topics such as Young diagrams and tableaux. Many reasons, com-binatorial (e.g. since semi-standard tableaux can be viewed as double quasi-posets) and topological (quasi-posets identify with finite topolo-gies) lead to extend the theory to quasi-posets. This is the object of the present article.

preprint2016arXiv

Commutative and non-commutative bialgebras of quasi-posets and applications to Ehrhart polynomials

To any poset or quasi-poset is attached a lattice polytope, whose Ehrhart polynomial we study from a Hopf-algebraic point of view. We use for this two interacting bialgebras on quasi-posets. The Ehrhart polynomial defines a Hopf algebra morphism taking its values in Q[X], we deduce from the interacting bialgebras an algebraic proof of the duality principle, a generalization and a new proof of a result on B-series due to Whright and Zhao, using a monoid of characters on quasi-posets, and a generalization of Faulhaber's formula. We also give non-commutative versions of these results: polynomials are replaced by packed words. We obtain in particular a non-commutative duality principle.

preprint2016arXiv

Lie theory for quasi-shuffle bialgebras

Many features of classical Lie theory generalize to the broader context of algebras over Hopf operads. However, this idea remains largely to be developed systematically. Quasi-shuffle algebras provide for example an interesting illustration of these phenomena, but have not been investigated from this point of view.The notion of quasi-shuffle algebras can be traced back to the beginings of the theory of Rota--Baxter algebras, but was developed systematically only recently, starting essentially with Hoffman's work, that was motivated by multizeta values (MZVs) and featured their bialgebra structure. Many partial results on the fine structure of quasi-shuffle bialgebras have been obtained since then but, besides the fact that each of these articles features a particular point of view, they fail to develop systematically a complete theory.This article builds on these various results and develops the analog theory, for quasi-shuffle algebras, of the theory of descent algebras and their relations to free Lie algebras for classical enveloping algebras.

preprint2015arXiv

A divisibility result on combinatorics of generalized braids

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.

preprint2015arXiv

Examples of Com-PreLie Hopf algebras

We gives examples of Com-PreLie bialgebras, that is to say bialgebras with a preLie product satisfying certain compatibilities. Three families are defined on shuffle algebras: one associated to linear endomorphisms, one associated to linear form, one associated to preLie algebras. We also give all graded preLie product on K[X], making this bialgebra a Com-PreLie bialgebra, and classify all connected cocommutative Com-PreLie bialgebras.

preprint2015arXiv

Free quadri-algebras and dual quadri-algebras

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.

preprint2015arXiv

Infinitesimal and $B\_\infty$-algebras, finite spaces, and quasi-symmetric functions

Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be put on recent topological and combinatorial Hopf algebra techniques. We will show that the linear span of finite spaces carries generalized Hopf algebraic structures that are closely connected with familiar constructions and structures in topology (such as the one of cogroups in the category of associative algebras that has appeared e.g. in the study of loop spaces of suspensions). The most striking results that we obtain are certainly that the linear span of finite spaces carries the structure of the enveloping algebra of a $B\_\infty$--algebra, and that there are natural (Hopf algebraic) morphisms between finite spaces and quasi-symmetric functions. In the process, we introduce the notion of Schur-Weyl categories in order to describe rigidity theorems for cogroups in the category of associative algebras and related structures, as well as to account for the existence of natural operations (graded permutations) on them.

preprint2015arXiv

Mulitgraded Dyson-Schwinger systems

We study systems of combinatorial Dyson-Schwinger equations with an arbitrary number $N$ of coupling constants. The considered Hopf algebra of Feynman graphs is $\mathbb{N}^N$-graded, and we wonder if the graded subalgebra generated by the solution is Hopf or not. We first introduce a family of pre-Lie algebras which we classify, dually providing systems generating a Hopf subalgebra, we also describe the associated groups, as extensions of groups of formal diffeomorphisms on several variables. We then consider systems coming from Feynman graphs of a Quantum Field Theory. We show that if the number $N$ of independent coupling constants is the number of interactions of the considered QFT, then the generated subalgebra is Hopf. For QED, $φ^3$ and QCD, we also prove that this is the minimal value of $N$. All these examples are generalizations of the first family of Dyson-Schwinger systems in the one coupling constant case, called fundamental.We also give a generalization of the second family, called cyclic.

preprint2014arXiv

A prelie algebra associated to a linear endomorphism and related algebraic structures

We attach to any linear endomorphism f of any vector space V a structure of prelie algebra on the shuffle algebra T(V); we describe its enveloping algebra, the dual Hopf algebra and the associated group of characters. For f=Id\_V, we find the algebra of formal diffeomorphisms, seen as a subalgebra of the Connes-Kreimer Hopf algebra of rooted trees in the context of QFT; for other well-chosen f, we obtain the groups of Fliess operators in Control Theory. An algebraic structures of these Com-Prelie Hopf algebras is carried out: gradations, group of automorphisms, subobject generated by V, etc.

preprint2014arXiv

The Hopf algebra of finite topologies and T-partitions

A noncommutative and noncocommutative Hopf algebra on finite topologies H_T is introduced and studied (freeness, cofreeness, self-duality...). Generalizing Stanley's definition of P-partitions associated to a special poset, we define the notion of T-partitions associated to a finite topology, and deduce a Hopf algebra morphism from H_T to the Hopf algebra of packed words WQSym. Generalizing Stanley's decomposition by linear extensions, we deduce a factorization of this morphism, which induces a combinatorial isomorphism from the shuffle product to the quasi-shuffle product of WQSym. It is strongly related to a partial order on packed words, here described and studied.

preprint2014arXiv

The Hopf algebra of Fliess operators and its dual pre-Lie algebra

We study the Hopf algebra H of Fliess operators coming from Control Theory in the one-dimensional case. We prove that it admits a graded, finte-dimensional, connected gradation. Dually, the vector space IR is both a pre-Lie algebra for the pre-Lie product dual of the coproduct of H, and an associative, commutative algebra for the shuffle product. These two structures admit a compatibility which makes IR a Com-pre-Lie algebra. We give a presentation of this object as a Com-pre-Lie algebra and as a pre-Lie algebra.

preprint2013arXiv

Algebraic structures on double and plane posets

We study the Hopf algebra of double posets and two of its Hopf subalgebras, the Hopf algebras of plane posets and of posets "without N". We prove that they are free, cofree, self-dual, and we give an explicit Hopf pairing on these Hopf algebras. We also prove that they are free 2-As algebras; in particular, the Hopf algebra of posets "without N" is the free 2-As algebra on one generator. We deduce a description of the operads of 2-As algebras and of B_infty algebras in terms of plane posets.

preprint2013arXiv

Deformations of shuffles and quasi-shuffles

We investigate deformations of the shuffl e Hopf algebra structure Sh(A) which can be de fined on the tensor algebra over a commutative algebra A. Such deformations, leading for example to the quasi-shuffl e algebra QSh(A), can be interpreted as natural transformations of the functor Sh, regarded as a functor from commutative nonunital algebras to coalgebras. We prove that the monoid of natural endomophisms of the functor Sh is isomorphic to the monoid of formal power series in one variable without constant term under composition, so that in particular, its natural automorphisms are in bijection with formal diffeomorphisms of the line. These transformations can be interpreted as elements of the Hopf algebra of word quasi-symmetric functions WQSym, and in turn de fine deformations of its structure. This leads to a new embedding of free quasi-symmetric functions into WQSym, whose relevance is illustrated by a simple and transparent proof of Goldberg's formula for the coe cients of the Hausdorff series.

preprint2012arXiv

Bruhat order on plane posets and applications

A plane poset is a finite set with two partial orders, satisfying a certain incompatibility condition. The set PP of isoclasses of plane posets owns two products, and an infinitesimal Hopf algebra structure is defined on the vector space H_PP generated by PP, using the notion of biideals of plane posets. We here define a partial order on PP, making it isomorphic to the set of partitions with the weak Bruhat order. We prove that this order is compatible with both products of PP; moreover, it encodes a non degenerate Hopf pairing on the infinitesimal Hopf algebra H_PP.

preprint2012arXiv

Deformation of the Hopf algebra of plane posets

We describe and study a four parameters deformation of the two products and the coproduct of the Hopf algebra of plane posets. We obtain a family of braided Hopf algebras, generally self-dual. We also prove that in a particular case (when the second parameter goes to zero and the first and third parameters are equal), this deformation is isomorphic, as a self-dual braided Hopf algebra, to a deformation of the Hopf algebra of free quasi-symmetric functions.

preprint2012arXiv

Natural endomorphisms of shuffle algebras

We focus in this text on the adaptation to the study of shuffles of the main combinatorial tool in the theory of free Lie algebras, namely the existence of a universal algebra of endomorphisms for tensor and other cocommutative Hopf algebras: the family of Solomon's descent algebras of type A. We show that there exists similarly a natural endomorphism algebra for commutative shuffle algebras, which is a natural extension of the Malvenuto-Reutenauer Hopf algebra of permutations, or algebra of free quasi-symmetric functions. We study this new algebra for its own, establish freeness properties, study its generators, bases, and also feature its relations to the internal structure of shuffle algebras.

preprint2011arXiv

Free and cofree Hopf algebras

We first prove that a graded, connected, free and cofree Hopf algebra is always self-dual; then that two graded, connected, free and cofree Hopf algebras are isomorphic if, and only if, they have the same Poincaré-Hilbert formal series. If the characteristic of the base field is zero, we prove that the Lie algebra of the primitive elements of such an object is free, and we deduce a characterization of the formal series of free and cofree Hopf algebras by a condition of growth of the coefficients. We finally show that two graded, connected, free and cofree Hopf algebras are isomorphic as (non graded) Hopf algebras if, and only if, the Lie algebra of their primitive elements have the same number of generators.

preprint2011arXiv

General Dyson-Schwinger equations and systems

We classify combinatorial Dyson-Schwinger equations giving a Hopf subalgebra of the Hopf algebra of Feynman graphs of the considered Quantum Field Theory. We first treat single equations with an arbitrary number (eventually infinite) of insertion operators. we distinguish two cases; in the first one, the Hopf subalgebra generated by the solution is isomorphic to the Faà di Bruno Hopf algebra or to the Hopf algebra of symmetric functions; in the second case, we obtain the dual of the enveloping algebra of a particular associative algebra (seen as a Lie algebra). We also treat systems with an arbitrary finite number of equations, with an arbitrary number of insertion operators, with at least one of degree 1 in each equation.

preprint2010arXiv

Systems of Dyson-Schwinger equations

We consider systems of combinatorial Dyson-Schwinger equations (briefly, SDSE) X_1=B^+_1(F_1(X_1,...,X_N))...X_N=B^+_N(F_N(X_1,...,X_N)) in the Connes-Kreimer Hopf algebra H_I of rooted trees decorated by I={1,...,N},where B^+_i is the operator of grafting on a root decorated by i, and F_1...,F_N are non-constant formal series.The unique solution X=(X_1,...,X_N) of this equation generates a graded subalgebra H_S of H_I. We characterize here all the families of formal series (F_1,...,F_N) such that H_S is a Hopf subalgebra. More precisely, we define three operations on SDSE (change of variables, dilatation and extension) and give two families of SDSE (cyclic and fundamental systems), and prove that any SDSE (S) such that H_S is Hopf is the concatenation of several fundamental or cyclic systems after the application of a change of variables, a dilatation and iterated extensions. We also describe the Hopf algebra H_S as the dual of the enveloping algebra of a Lie algebra g_S of one of the following types: 1. g_S is a Lie algebra of paths associated to a certain oriented graph. 2. g_S is an iterated extension of the Faà di Bruno Lie algebra. 3. g_S is an iterated extension of an abelian Lie algebra.

preprint2005arXiv

Bidendriform bialgebras, trees, and free quasi-symmetric functions

We introduce bidendriform bialgebras, which are bialgebras such that both product and coproduct can be split into two parts satisfying good compatibilities. For example, the Malvenuto-Reutenauer Hopf algebra and the non-commutative Connes-Kreimer Hopf algebras of planar decorated rooted trees are bidendriform bialgebras. We prove that all connected bidendriform bialgebras are generated by their primitive elements as a dendriform algebra bidendriform Milnor-Moore theorem) and then is isomorphic to a Connes-Kreimer Hopf algebra. As a corollary, the Hopf algebra of Malvenuto-Reutenauer is isomorphic to the Connes-kreimer Hopf algebra of planar rooted trees decorated by a certain set. We deduce that the Lie algebra of its primitive elements is free in characteristic zero (G. Duchamp, F. Hivert and J.-Y. Thibon conjecture).