Showing 1–50 of 50 results for author: Duchamp, G H

Hausdorff moment problem for combinatorial numbers of Brown and Tutte: exact solution

Authors: K. A. Penson, K. Górska, A. Horzela, G. H. E. Duchamp

Abstract: We investigate the combinatorial sequences $A(M, n)$ introduced by W. G. Brown (1964) and W. T. Tutte (1980) appearing in enumeration of convex polyhedra. Their formula is $$A(M, n) = \frac{2 (2M+3)!}{(M+2)! M!}\,\frac{(4n+2M+1)!}{n! (3n + 2M + 3)!} $$ with $n, M =0, 1, 2, \ldots$, and we conceive it as Hausdorff moments, where $M$ is a parameter and $n$ enumerates the moments. We solve exactly th… ▽ More We investigate the combinatorial sequences $A(M, n)$ introduced by W. G. Brown (1964) and W. T. Tutte (1980) appearing in enumeration of convex polyhedra. Their formula is $$A(M, n) = \frac{2 (2M+3)!}{(M+2)! M!}\,\frac{(4n+2M+1)!}{n! (3n + 2M + 3)!} $$ with $n, M =0, 1, 2, \ldots$, and we conceive it as Hausdorff moments, where $M$ is a parameter and $n$ enumerates the moments. We solve exactly the corresponding Hausdorff moment problem: $A(M, n) = \int_{0}^{R} x^{n} W_{M}(x) d x$ on the natural support $(0, R)$, $R = 4^{4}/3^{3}$, using the method of inverse Mellin transform. We provide explicitly the weight functions $W_{M}(x)$ in terms of the Meijer G-functions $G_{4, 4}^{4, 0}$, or equivalently, the generalized hypergeometric functions ${_{3}F_{2}}$ (for $M=0, 1$) and ${_{4}F_{3}}$ (for $M \geq 2$). For $M = 0, 1$, we prove that $W_{M}(x)$ are non-negative and normalizable, thus they are probability distributions. For $M \geq 2$, $W_{M}(x)$ are signed functions vanishing on the extremities of the support. By rephrasing this problem entirely in terms of Meijer G representations we reveal an integral relation which directly furnishes $W_M(x)$ based on ordinary generating function of $A(M, n)$ as an input. All the results are studied analytically as well as graphically. △ Less

Submitted 16 June, 2023; v1 submitted 14 September, 2022; originally announced September 2022.

Journal ref: Enumerative Combinatorics and Applications, ECA 3:2 (2023) Article #S2R15, 10 pages

Elementary remarks about Pisano periods

Authors: Gérard Henry Edmond Duchamp, Pierre Simonnet

Abstract: In this short note, we reprove in a very elementary way some known facts about Pisano periods as well as some considerations about the link between Pisano periods and the order of roots of the characteristic equation. The technics only requires a small background in ring theory (merely the definition of a commutative ring). The tools set here can be reused for all linear recurrences with quadratic… ▽ More In this short note, we reprove in a very elementary way some known facts about Pisano periods as well as some considerations about the link between Pisano periods and the order of roots of the characteristic equation. The technics only requires a small background in ring theory (merely the definition of a commutative ring). The tools set here can be reused for all linear recurrences with quadratic non-constant characteristic equation. △ Less

Submitted 20 June, 2022; v1 submitted 1 June, 2022; originally announced June 2022.

A local Theory of Domains and its (Noncommutative) Symbolic Counterpart

Authors: V. C. Bui, G. H. E. Duchamp, V. Hoang Ngoc Minh, Q. H. Ngo, K. Penson

Abstract: It is widely accepted nowadays that polyzetas are connected by polynomial relations. One way to obtain relations among polyzetas is to consider their generating series and the relations among these generating series. This leads to the indexation of the generating series of polylogarithms, recently described in \cite{GHM22,BHN,CM}. But, in order to understand the bridge between the extension of thi… ▽ More It is widely accepted nowadays that polyzetas are connected by polynomial relations. One way to obtain relations among polyzetas is to consider their generating series and the relations among these generating series. This leads to the indexation of the generating series of polylogarithms, recently described in \cite{GHM22,BHN,CM}. But, in order to understand the bridge between the extension of this "polylogarithmic calculus" and the world of harmonic sums, a local theory of domains has to be done, preserving quasi-shuffle identities, Taylor expansions and Hadamard products. In this contribution, we present a sketched version of this theory. As an example of generating series, one can consider the eulerian gamma function, \begin{eqnarray*} Γ(1+z)=\exp\biggl(-γz+\sum_{n\ge2} ζ(n)\dfrac{(-z)^n}{n}\biggr) {eqnarray*} and this may suggest to regularize the divergent zeta value $ζ(1)$, for the quasi-shuffle structure, as to be Euler's $γ$ constant. In the same vein, in \cite{BHN}, we introduce a family of eulerian functions, \begin{eqnarray*} Γ_{y_k}(1+z)=\exp\biggl(\sum_{n\ge1}ζ(kn)\dfrac{(-z^k)^n}{n}\biggr), &\mbox{for}&k\ge2,y_k\in Y=\{y_n\}_{n\ge1}. {eqnarray*} This being done, in this work, via their analytical aspects, we establish, on one side, their existence and the fact that their inverses are entire. On the other side, using the same symmetrization technique, we give their distributions of zeroes. △ Less

Submitted 18 September, 2020; v1 submitted 10 September, 2020; originally announced September 2020.

Comments: preprint

Kleene stars of the plane, polylogarithms and symmetries

Authors: Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh, Ngo Quoc Hoan

Abstract: We extend the definition and construct several bases for polylogarithms Li T , where T are some series, recognizable by a finite state (multiplicity) automaton of alphabet 4 X = {x 0 , x 1 }. The kernel of this new "polylogarithmic map" Li $\bullet$ is also characterized and provides a rewriting process which terminates to a normal form. We concentrate on algebraic and analytic aspects of this ext… ▽ More We extend the definition and construct several bases for polylogarithms Li T , where T are some series, recognizable by a finite state (multiplicity) automaton of alphabet 4 X = {x 0 , x 1 }. The kernel of this new "polylogarithmic map" Li $\bullet$ is also characterized and provides a rewriting process which terminates to a normal form. We concentrate on algebraic and analytic aspects of this extension allowing index polylogarithms at non positive multi-indices, by rational series and regularize polyzetas at non positive multi-indices. △ Less

Submitted 20 February, 2020; v1 submitted 22 November, 2018; originally announced November 2018.

Journal ref: Theoretical Computer Science, Elsevier, 2019, 800, pp.52-72

Operational Methods in the Study of Sobolev-Jacobi Polynomials

Authors: Nicolas Behr, Giuseppe Dattoli, Gérard H. E. Duchamp, Silvia Licciardi, Karol A. Penson

Abstract: Inspired by ideas from umbral calculus and based on the two types of integrals occurring in the defining equations for the gamma and the reciprocal gamma functions, respectively, we develop a multi-variate version of umbral calculus and of the so-called umbral image technique. Besides providing a class of new formulae for generalized hypergeometric functions and an implementation of series manipul… ▽ More Inspired by ideas from umbral calculus and based on the two types of integrals occurring in the defining equations for the gamma and the reciprocal gamma functions, respectively, we develop a multi-variate version of umbral calculus and of the so-called umbral image technique. Besides providing a class of new formulae for generalized hypergeometric functions and an implementation of series manipulations for computing lacunary generating functions, our main application of these techniques is the study of Sobolev-Jacobi polynomials. Motivated by applications to theoretical chemistry, we moreover present a deep link between generalized normal-ordering techniques introduced by Gurappa and Panigrahi, two-variable Hermite polynomials and our integral-based series transforms. Notably, we thus calculate all K-tuple L-shifted lacunary exponential generating functions for a certain family of SJ polynomials explicitly. △ Less

Submitted 2 February, 2019; v1 submitted 23 October, 2018; originally announced October 2018.

Comments: 23+11 pages, 2 tables; MDPI LaTeX class, published version

MSC Class: 33C45; 05A40 (Primary) 30B10; 05A15 (Secondary)

Journal ref: Mathematics, vol. 7, no. 2, p. 124, Jan. 2019

Explicit formulae for all higher order exponential lacunary generating functions of Hermite polynomials

Authors: Nicolas Behr, Gérard H. E. Duchamp, Karol A. Penson

Abstract: For a sequence $P=(p_n(x))_{n=0}^{\infty}$ of polynomials $p_n(x)$, we study the $K$-tuple and $L$-shifted exponential lacunary generating functions $\mathcal{G}_{K,L}(λ;x):=\sum_{n=0}^{\infty}\frac{λ^n}{n!} p_{n\cdot K+L}(x)$, for $K=1,2\dotsc$ and $L=0,1,2\dotsc$. We establish an algorithm for efficiently computing $\mathcal{G}_{K,L}(λ;x)$ for generic polynomial sequences $P$. This procedure is… ▽ More For a sequence $P=(p_n(x))_{n=0}^{\infty}$ of polynomials $p_n(x)$, we study the $K$-tuple and $L$-shifted exponential lacunary generating functions $\mathcal{G}_{K,L}(λ;x):=\sum_{n=0}^{\infty}\frac{λ^n}{n!} p_{n\cdot K+L}(x)$, for $K=1,2\dotsc$ and $L=0,1,2\dotsc$. We establish an algorithm for efficiently computing $\mathcal{G}_{K,L}(λ;x)$ for generic polynomial sequences $P$. This procedure is exemplified by application to the study of Hermite polynomials, whereby we obtain closed-form expressions for $\mathcal{G}_{K,L}(λ;x)$ for arbitrary $K$ and $L$, in the form of infinite series involving generalized hypergeometric functions. The basis of our method is provided by certain resummation techniques, supplemented by operational formulae. Our approach also reproduces all the results previously known in the literature. △ Less

Submitted 21 June, 2018; originally announced June 2018.

Comments: 15+13 pages, 2 tables

MSC Class: 05A15 (Primary) 33C45; 30B10 (Secondary)

Combinatorics of chemical reaction systems

Authors: Nicolas Behr, Gérard H. E. Duchamp, Karol A. Penson

Abstract: We propose a concise stochastic mechanics framework for chemical reaction systems that allows to formulate evolution equations for three general types of data: the probability generating functions, the exponential moment generating functions and the factorial moment generating functions. This formulation constitutes an intimate synergy between techniques of statistical physics and of combinatorics… ▽ More We propose a concise stochastic mechanics framework for chemical reaction systems that allows to formulate evolution equations for three general types of data: the probability generating functions, the exponential moment generating functions and the factorial moment generating functions. This formulation constitutes an intimate synergy between techniques of statistical physics and of combinatorics. We demonstrate how to analytically solve the evolution equations for all six elementary types of single-species chemical reactions by either combinatorial normal-ordering techniques, or, for the binary reactions, by means of Sobolev-Jacobi orthogonal polynomials. The former set of results in particular highlights the relationship between infinitesimal generators of stochastic evolution and parametric transformations of probability distributions. △ Less

Submitted 22 February, 2018; v1 submitted 18 December, 2017; originally announced December 2017.

Comments: 33+12 pages, 4 figures

Mathematical renormalization in quantum electrodynamics via noncommutative generating series

Authors: Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh, Quoc Hoan Ngo, Karol A. Penson, Pierre Simonnet

Abstract: In this work, we focus on on the approach by noncommutative formal power series to study the combinatorial aspects of the renormalization at the singularities in $\{0,1,+\infty\}$ of the solutions of nonlinear differential equations involved in quantum electrodynamics. In this work, we focus on on the approach by noncommutative formal power series to study the combinatorial aspects of the renormalization at the singularities in $\{0,1,+\infty\}$ of the solutions of nonlinear differential equations involved in quantum electrodynamics. △ Less

Submitted 23 February, 2017; originally announced February 2017.

Comments: arXiv admin note: text overlap with arXiv:0910.1932

Structure of Polyzetas and Explicit Representation on Transcendence Bases of Shuffle and Stuffle Algebras

Authors: Van Chien Bui, Gerard H. E. Duchamp, Vincel Hoang Ngoc Minh

Abstract: Polyzetas, indexed by words, satisfy shuffle and quasi-shuffle identities. In this respect, one can explore the multiplicative and algorithmic (locally finite) properties of their generating series. In this paper, we construct pairs of bases in duality on which polyzetas are established in order to compute local coordinates in the infinite dimensional Lie groups where their non-commutative generat… ▽ More Polyzetas, indexed by words, satisfy shuffle and quasi-shuffle identities. In this respect, one can explore the multiplicative and algorithmic (locally finite) properties of their generating series. In this paper, we construct pairs of bases in duality on which polyzetas are established in order to compute local coordinates in the infinite dimensional Lie groups where their non-commutative generating series live. We also propose new algorithms leading to the ideal of polynomial relations, homogeneous in weight, among polyzetas (the graded kernel) and their explicit representation (as data structures) in terms of irreducible elements. △ Less

Submitted 18 December, 2016; originally announced December 2016.

Comments: 26 pages, 2 tables

MSC Class: 68 ACM Class: F.2.2; G.2.1

The mechanics of shuffle products and their siblings

Authors: Jean-Yves Enjalbert, Vincel Hoang, Gérard H. E. Duchamp, Christophe Tollu

Abstract: We carry on the investigation initiated in [15] : we describe new shuffle products coming from some special functions and group them, along with other products encountered in the literature, in a class of products, which we name $\varphi$-shuffle products. Our paper is dedicated to a study of the latter class, from a combinatorial standpoint. We consider first how to extend Radford's theorem to th… ▽ More We carry on the investigation initiated in [15] : we describe new shuffle products coming from some special functions and group them, along with other products encountered in the literature, in a class of products, which we name $\varphi$-shuffle products. Our paper is dedicated to a study of the latter class, from a combinatorial standpoint. We consider first how to extend Radford's theorem to the products in that class, then how to construct their bi-algebras. As some conditions are necessary do carry that out, we study them closely and simplify them so that they can be seen directly from the definition of the product. We eventually test these conditions on the products mentioned above. △ Less

Submitted 5 December, 2015; originally announced December 2015.

(Pure) transcendence bases in $φ$-deformed shuffle bialgebras

Authors: Van Chiên Bui, Gérard H. E. Duchamp, Quoc Hoan Ngô, Vincel Hoang Ngoc Minh, Christophe Tollu

Abstract: Computations with integro-differential operators are often carried out in an associative algebra with unit, and they are essentially non-commutative computations. By adjoining a cocommutative co-product, one can have those operators perform act on a bialgebra isomorphic to an enveloping algebra. That gives an adequate framework for a computer-algebra implementation via monoidal factorization, (pur… ▽ More Computations with integro-differential operators are often carried out in an associative algebra with unit, and they are essentially non-commutative computations. By adjoining a cocommutative co-product, one can have those operators perform act on a bialgebra isomorphic to an enveloping algebra. That gives an adequate framework for a computer-algebra implementation via monoidal factorization, (pure) transcendence bases and Poincaré--Birkhoff--Witt bases. In this paper, we systematically study these deformations, obtaining necessary and sufficient conditions for the operators to exist, and we give the most general cocommutative deformations of the shuffle co-product and an effective construction of pairs of bases in duality. The paper ends by the combinatorial setting of local systems of coordinates on the group of group-like series. △ Less

Submitted 20 June, 2018; v1 submitted 4 July, 2015; originally announced July 2015.

Comments: The present work is part of a series of papers devoted to the study of the renormalization of divergent polyzetas (at positive and at non-positive indices) via the factorization of the non commutative generating series of polylogarithms and of harmonic sums and via the effective construction of pairs of dual bases in duality in $φ$ deformed shuffle algebras. It is a sequel to [3] and its content was presented in several seminars and meetings, including the 74th Séminaire Lotharingien de Combinatoire

Journal ref: Seminaire Lotharingien de Combinatoire, Universit{é} Louis Pasteur, 2015, 74, pp.1-31

Combinatorial interpretation and proof of Glaisher-Crofton identity

Authors: Pawel Blasiak, Gerard H. E. Duchamp, Andrzej Horzela, Karol A. Penson

Abstract: We give a purely combinatorial proof of the Glaisher-Crofton identity which derives from the analysis of discrete structures generated by iterated second derivative. The argument illustrates utility of symbolic and generating function methodology of modern enumerative combinatorics and their applications to computational problems. We give a purely combinatorial proof of the Glaisher-Crofton identity which derives from the analysis of discrete structures generated by iterated second derivative. The argument illustrates utility of symbolic and generating function methodology of modern enumerative combinatorics and their applications to computational problems. △ Less

Submitted 18 July, 2014; originally announced July 2014.

Comments: 13 pages, 4 figures

MSC Class: 05Axx

Journal ref: Adv. Math. Phys. 2018, Article ID 9575626 (2018)

Renormalization group-like proof of the universality of the Tutte polynomial for matroids

Authors: G. H. E. Duchamp, N. Hoang-Nghia, T. Krajewski, A. Tanasa

Abstract: In this paper we give a new proof of the universality of the Tutte polynomial for matroids. This proof uses appropriate characters of Hopf algebra of matroids, algebra introduced by Schmitt (1994). We show that these Hopf algebra characters are solutions of some differential equations which are of the same type as the differential equations used to describe the renormalization group flow in quantu… ▽ More In this paper we give a new proof of the universality of the Tutte polynomial for matroids. This proof uses appropriate characters of Hopf algebra of matroids, algebra introduced by Schmitt (1994). We show that these Hopf algebra characters are solutions of some differential equations which are of the same type as the differential equations used to describe the renormalization group flow in quantum field theory. This approach allows us to also prove, in a different way, a matroid Tutte polynomial convolution formula published by Kook, Reiner and Stanton (1999). This FPSAC contribution is an extended abstract. △ Less

Submitted 21 October, 2013; originally announced October 2013.

Comments: 12 pages, 3 figures, conference proceedings, 25th International Conference on Formal Power Series and Algebraic Combinatorics, Paris, France, June 2013

Journal ref: Discrete Mathematics & Theoretical Computer Science Proceedings FPSAC 2013, pag. 397-408 (2013)

A selection-quotient process for packed word Hopf algebra

Authors: G. H. E. Duchamp, N. Hoang-Nghia, A. Tanasa

Abstract: In this paper, we define a Hopf algebra structure on the vector space spanned by packed words using a selection-quotient coproduct. We show that this algebra is free on its irreducible packed words. Finally, we give some brief explanations on the Maple codes we have used. In this paper, we define a Hopf algebra structure on the vector space spanned by packed words using a selection-quotient coproduct. We show that this algebra is free on its irreducible packed words. Finally, we give some brief explanations on the Maple codes we have used. △ Less

Submitted 16 October, 2013; originally announced October 2013.

Comments: 12 pages, conference proceedings, 5th International Conference on Algebraic Informatics, September 3-6, 2013

Journal ref: Lecture Notes in Computer Science, volume 8080, Pages 223-234, 2013

A combinatorial non-commutative Hopf algebra of graphs

Authors: G. H. E. Duchamp, L. Foissy, N. Hoang-Nghia, D. Manchon, A. Tanasa

Abstract: A non-commutative, planar, Hopf algebra of rooted trees was proposed in L. Foissy, Bull. Sci. Math. 126 (2002) 193-239. In this paper we propose such a non-commutative Hopf algebra for graphs. In order to define a non-commutative product we use a quantum field theoretical (QFT) idea, namely the one of introducing discrete scales on each edge of the graph (which, within the QFT framework, correspon… ▽ More A non-commutative, planar, Hopf algebra of rooted trees was proposed in L. Foissy, Bull. Sci. Math. 126 (2002) 193-239. In this paper we propose such a non-commutative Hopf algebra for graphs. In order to define a non-commutative product we use a quantum field theoretical (QFT) idea, namely the one of introducing discrete scales on each edge of the graph (which, within the QFT framework, corresponds to energy scales of the associated propagators). △ Less

Submitted 29 September, 2013; v1 submitted 15 July, 2013; originally announced July 2013.

Comments: 14 pages, 7 figures; v2 removes the four supplementary pages added by arXiv Latex compiler; v3 introduces a notion of standard labelling for the discrete scales associated to the edges of the graphs. One co-author have been added

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol 16, No 1 (2014) 356-370

Schützenberger's factorization on the (completed) Hopf algebra of $q-$stuffle product

Authors: Chen Bui, Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh

Abstract: In order to extend the Schützenberger's factorization, the combinatorial Hopf algebra of the $q$-stuffles product is developed systematically in a parallel way with that of the shuffle product and and in emphasizing the Lie elements as studied by Ree. In particular, we will give here an effective construction of pair of bases in duality. In order to extend the Schützenberger's factorization, the combinatorial Hopf algebra of the $q$-stuffles product is developed systematically in a parallel way with that of the shuffle product and and in emphasizing the Lie elements as studied by Ree. In particular, we will give here an effective construction of pair of bases in duality. △ Less

Submitted 20 May, 2013; originally announced May 2013.

Comments: arXiv admin note: text overlap with arXiv:1302.5391

Dual bases for non commutative symmetric and quasi-symmetric functions via monoidal factorization

Authors: Gérard Henry Edmond Duchamp, Ladji Kane, Vincel Hoang Ngoc Minh, Christophe Tollu

Abstract: In this work, an effective construction, via Schützenberger's monoidal factorization, of dual bases for the non commutative symmetric and quasi-symmetric functions is proposed. In this work, an effective construction, via Schützenberger's monoidal factorization, of dual bases for the non commutative symmetric and quasi-symmetric functions is proposed. △ Less

Submitted 20 May, 2013; originally announced May 2013.

Finite Decomposition Semigroups

Authors: Matthieu Deneufchâtel, Gérard H. E. Duchamp

Abstract: In this paper, we explain the importance of finite decomposition semigroups and present two theorems related to their structure. In this paper, we explain the importance of finite decomposition semigroups and present two theorems related to their structure. △ Less

Submitted 15 March, 2013; originally announced March 2013.

Comments: 1 figure

Combinatorics of $φ$-deformed stuffle Hopf algebras

Authors: Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh, Christophe Tollu, Bùi Chiên, Nguyen Hoang Nghia

Abstract: In order to extend the Schützenberger's factorization to general perturbations, the combinatorial aspects of the Hopf algebra of the $φ$-deformed stuffle product is developed systematically in a parallel way with those of the shuffle product. In order to extend the Schützenberger's factorization to general perturbations, the combinatorial aspects of the Hopf algebra of the $φ$-deformed stuffle product is developed systematically in a parallel way with those of the shuffle product. △ Less

Submitted 1 March, 2014; v1 submitted 21 February, 2013; originally announced February 2013.

Recipe theorem for the Tutte polynomial for matroids, renormalization group-like approach

Authors: Gérard H. E. Duchamp, Nguyen Hoang-Nghia, Thomas Krajewski, Adrian Tanasa

Abstract: Using a quantum field theory renormalization group-like differential equation, we give a new proof of the recipe theorem for the Tutte polynomial for matroids. The solution of such an equation is in fact given by some appropriate characters of the Hopf algebra of isomorphic classes of matroids, characters which are then related to the Tutte polynomial for matroids. This Hopf algebraic approach als… ▽ More Using a quantum field theory renormalization group-like differential equation, we give a new proof of the recipe theorem for the Tutte polynomial for matroids. The solution of such an equation is in fact given by some appropriate characters of the Hopf algebra of isomorphic classes of matroids, characters which are then related to the Tutte polynomial for matroids. This Hopf algebraic approach also allows to prove, in a new way, a matroid Tutte polynomial convolution formula appearing in W. Kook {\it et. al., J. Comb. Series} {\bf B 76} (1999). △ Less

Submitted 4 January, 2013; originally announced January 2013.

Comments: 14 pages, 3 figures

Journal ref: Advances in Applied Mathematics 51 (2013), 345-358

A word Hopf algebra based on the selection/quotient principle

Authors: G. H. E. Duchamp, N. Hoang-Nghia, A. Tanasa

Abstract: In this paper, we define a Hopf algebra structure on the vector space spanned by packed words using a selection/quotient coproduct. We show that this algebra is free on its irreducible packed words. We also construct the Hilbert series of this Hopf algebra and we investigate its primitive elements. In this paper, we define a Hopf algebra structure on the vector space spanned by packed words using a selection/quotient coproduct. We show that this algebra is free on its irreducible packed words. We also construct the Hilbert series of this Hopf algebra and we investigate its primitive elements. △ Less

Submitted 13 September, 2013; v1 submitted 27 July, 2012; originally announced July 2012.

Comments: 13 pages. Several sequences of integers found in the paper are investigated in more detail (and one of them is related to Sloane's OEIS sequence A000629). The presentation is clarified and misprints are corrected. The explanations on the choice of the name of the algebra defined in the paper are changed. Two co-authors have been added

Journal ref: Seminaire Lotharingien de Combinatoire, B68c (2013)

Degrees of entanglement for multipartite systems

Authors: A. I. Solomon, C. -L. Ho, G. H. E. Duchamp

Abstract: We propose a unified mathematical scheme, based on a classical tensor isomorphism, for characterizing entanglement that works for pure states of multipartite systems of any number of particles. The degree of entanglement is indicated by a set of absolute values of the determinants for each subspace of the multipartite systems. Unlike other schemes, our scheme provides indication of the degrees of… ▽ More We propose a unified mathematical scheme, based on a classical tensor isomorphism, for characterizing entanglement that works for pure states of multipartite systems of any number of particles. The degree of entanglement is indicated by a set of absolute values of the determinants for each subspace of the multipartite systems. Unlike other schemes, our scheme provides indication of the degrees of entanglement when the qubits are measured or lost successively, and leads naturally to the necessary and sufficient conditions for multipartite pure states to be separable. For systems with a large number of particles, a rougher indication of the degree of entanglement is provided by the set of mean values of the determinantal values for each subspace of the multipartite systems. △ Less

Submitted 30 January, 2013; v1 submitted 22 May, 2012; originally announced May 2012.

Comments: 12 pages, no figures

Journal ref: J. Phys. A: Math. Theor. 46 (2013) 075302

Radford bases and Schützenberger's Factorizations

Authors: Matthieu Deneufchâtel, Gérard H. E. Duchamp, Vincel Hoang Ngoc Minh

Abstract: In this paper, we present Schützenberger's factorization in different combinatorial contexts and show that its validity is not restricted to these cases but can be extended to every Lie algebra endowed with an ordered basis. We also expose some elements of the relations between the Poincaré-Birkhoff-Witt bases of the enveloping algebra and their dual families. In this paper, we present Schützenberger's factorization in different combinatorial contexts and show that its validity is not restricted to these cases but can be extended to every Lie algebra endowed with an ordered basis. We also expose some elements of the relations between the Poincaré-Birkhoff-Witt bases of the enveloping algebra and their dual families. △ Less

Submitted 30 November, 2011; v1 submitted 29 November, 2011; originally announced November 2011.

Comments: Submitted to FPSAC'12

Definite integrals and operational methods

Authors: D. Babusci, G. Dattoli, G. H. E. Duchamp, K. Górska, K. A. Penson

Abstract: An operatorial method, already employed to formulate a generalization of the Ramanujan master theorem, is applied to the evaluation of integrals of various type. This technique provide a very flexible and powerful tool yielding new results encompassing various aspects of the special function theory. An operatorial method, already employed to formulate a generalization of the Ramanujan master theorem, is applied to the evaluation of integrals of various type. This technique provide a very flexible and powerful tool yielding new results encompassing various aspects of the special function theory. △ Less

Submitted 6 November, 2012; v1 submitted 30 May, 2011; originally announced May 2011.

Comments: 9 pages; minor changes to match published version

MSC Class: 33

Journal ref: Applied Mathematics and Computation 219 (2012) 3017-3021

Independence of hyperlogarithms over function fields via algebraic combinatorics

Authors: Matthieu Deneufchâtel, Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh, Allan I. Solomon

Abstract: We obtain a necessary and sufficient condition for the linear independence of solutions of differential equations for hyperlogarithms. The key fact is that the multiplier (i.e. the factor $M$ in the differential equation $dS=MS$) has only singularities of first order (Fuchsian-type equations) and this implies that they freely span a space which contains no primitive. We give direct applications wh… ▽ More We obtain a necessary and sufficient condition for the linear independence of solutions of differential equations for hyperlogarithms. The key fact is that the multiplier (i.e. the factor $M$ in the differential equation $dS=MS$) has only singularities of first order (Fuchsian-type equations) and this implies that they freely span a space which contains no primitive. We give direct applications where we extend the property of linear independence to the largest known ring of coefficients. △ Less

Submitted 23 January, 2017; v1 submitted 24 January, 2011; originally announced January 2011.

From Quantum Mechanics to Quantum Field Theory: The Hopf route

Authors: Allan I. Solomon, Gérard Henry Edmond Duchamp, Pawel Blasiak, Andrzej Horzela, Karol A. Penson

Abstract: We show that the combinatorial numbers known as {\em Bell numbers} are generic in quantum physics. This is because they arise in the procedure known as {\em Normal ordering} of bosons, a procedure which is involved in the evaluation of quantum functions such as the canonical partition function of quantum statistical physics, {\it inter alia}. In fact, we shall show that an evaluation of the non-in… ▽ More We show that the combinatorial numbers known as {\em Bell numbers} are generic in quantum physics. This is because they arise in the procedure known as {\em Normal ordering} of bosons, a procedure which is involved in the evaluation of quantum functions such as the canonical partition function of quantum statistical physics, {\it inter alia}. In fact, we shall show that an evaluation of the non-interacting partition function for a single boson system is identical to integrating the {\em exponential generating function} of the Bell numbers, which is a device for encapsulating a combinatorial sequence in a single function. We then introduce a remarkable equality, the Dobinski relation, and use it to indicate why renormalisation is necessary in even the simplest of perturbation expansions for a partition function. Finally we introduce a global algebraic description of this simple model, giving a Hopf algebra, which provides a starting point for extensions to more complex physical systems. △ Less

Submitted 2 November, 2010; originally announced November 2010.

Journal ref: J.Phys.Conf.Ser.284:012055,2011

An interface between physics and number theory

Authors: Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh, Allan I. Solomon, Silvia Goodenough

Abstract: We extend the Hopf algebra description of a simple quantum system given previously, to a more elaborate Hopf algebra, which is rich enough to encompass that related to a description of perturbative quantum field theory (pQFT). This provides a {\em mathematical} route from an algebraic description of non-relativistic, non-field theoretic quantum statistical mechanics to one of relativistic quantum… ▽ More We extend the Hopf algebra description of a simple quantum system given previously, to a more elaborate Hopf algebra, which is rich enough to encompass that related to a description of perturbative quantum field theory (pQFT). This provides a {\em mathematical} route from an algebraic description of non-relativistic, non-field theoretic quantum statistical mechanics to one of relativistic quantum field theory. Such a description necessarily involves treating the algebra of polyzeta functions, extensions of the Riemann Zeta function, since these occur naturally in pQFT. This provides a link between physics, algebra and number theory. As a by-product of this approach, we are led to indicate {\it inter alia} a basis for concluding that the Euler gamma constant $γ$ may be rational. △ Less

Submitted 8 December, 2010; v1 submitted 2 November, 2010; originally announced November 2010.

Combinatorial Algebra for second-quantized Quantum Theory

Authors: P. Blasiak, G. H. E. Duchamp, A. I. Solomon, A. Horzela, K. A. Penson

Abstract: We describe an algebra G of diagrams which faithfully gives a diagrammatic representation of the structures of both the Heisenberg-Weyl algebra H - the associative algebra of the creation and annihilation operators of quantum mechanics - and U(L_H), the enveloping algebra of the Heisenberg Lie algebra L_H. We show explicitly how G may be endowed with the structure of a Hopf algebra, which is als… ▽ More We describe an algebra G of diagrams which faithfully gives a diagrammatic representation of the structures of both the Heisenberg-Weyl algebra H - the associative algebra of the creation and annihilation operators of quantum mechanics - and U(L_H), the enveloping algebra of the Heisenberg Lie algebra L_H. We show explicitly how G may be endowed with the structure of a Hopf algebra, which is also mirrored in the structure of U(L_H). While both H and U(L_H) are images of G, the algebra G has a richer structure and therefore embodies a finer combinatorial realization of the creation-annihilation system, of which it provides a concrete model. △ Less

Submitted 27 January, 2010; originally announced January 2010.

Comments: 28 pages, 6 figures

MSC Class: 81R99; 05C25; 05E15

Statistics on Graphs, Exponential Formula and Combinatorial Physics

Authors: L. Poinsot, G. H. E. Duchamp, S. Goodenough, K. A. Penson

Abstract: The concern of this paper is a famous combinatorial formula known under the name "exponential formula". It occurs quite naturally in many contexts (physics, mathematics, computer science). Roughly speaking, it expresses that the exponential generating function of a whole structure is equal to the exponential of those of connected substructures. Keeping this descriptive statement as a guideline,… ▽ More The concern of this paper is a famous combinatorial formula known under the name "exponential formula". It occurs quite naturally in many contexts (physics, mathematics, computer science). Roughly speaking, it expresses that the exponential generating function of a whole structure is equal to the exponential of those of connected substructures. Keeping this descriptive statement as a guideline, we develop a general framework to handle many different situations in which the exponential formula can be applied. △ Less

Submitted 11 February, 2010; v1 submitted 5 October, 2009; originally announced October 2009.

Journal ref: Journal of Nonlinear Systems and Applications 1, 1 (2010) 58-62

On certain non-unique solutions of the Stieltjes moment problem

Authors: K. A. Penson, P. Blasiak, G. H. E. Duchamp, A. Horzela, A. I. Solomon

Abstract: We construct explicit solutions of a number of Stieltjes moment problems based on moments of the form $ρ_{1}^{(r)}(n)=(2rn)!$ and $ρ_{2}^{(r)}(n)=[(rn)!]^{2}$, $r=1,2,...$, $n=0,1,2,...$, \textit{i.e.} we find functions $W^{(r)}_{1,2}(x)>0$ satisfying $\int_{0}^{\infty}x^{n}W^{(r)}_{1,2}(x)dx = ρ_{1,2}^{(r)}(n)$. It is shown using criteria for uniqueness and non-uniqueness (Carleman, Krein, Berg… ▽ More We construct explicit solutions of a number of Stieltjes moment problems based on moments of the form $ρ_{1}^{(r)}(n)=(2rn)!$ and $ρ_{2}^{(r)}(n)=[(rn)!]^{2}$, $r=1,2,...$, $n=0,1,2,...$, \textit{i.e.} we find functions $W^{(r)}_{1,2}(x)>0$ satisfying $\int_{0}^{\infty}x^{n}W^{(r)}_{1,2}(x)dx = ρ_{1,2}^{(r)}(n)$. It is shown using criteria for uniqueness and non-uniqueness (Carleman, Krein, Berg, Pakes, Stoyanov) that for $r>1$ both $ρ_{1,2}^{(r)}(n)$ give rise to non-unique solutions. Examples of such solutions are constructed using the technique of the inverse Mellin transform supplemented by a Mellin convolution. We outline a general method of generating non-unique solutions for moment problems generalizing $ρ_{1,2}^{(r)}(n)$, such as the product $ρ_{1}^{(r)}(n)\cdotρ_{2}^{(r)}(n)$ and $[(rn)!]^{p}$, $p=3,4,...$. △ Less

Submitted 26 September, 2009; originally announced September 2009.

Journal ref: Discrete Mathematics and Theoretical Computer Science 12, 2 (2010) 295-306

Ladder Operators and Endomorphisms in Combinatorial Physics

Authors: Gérard Henry Edmond Duchamp, Laurent Poinsot, Allan I. Solomon, Karol A. Penson, Pawel Blasiak, Andrzej Horzela

Abstract: Starting with the Heisenberg-Weyl algebra, fundamental to quantum physics, we first show how the ordering of the non-commuting operators intrinsic to that algebra gives rise to generalizations of the classical Stirling Numbers of Combinatorics. These may be expressed in terms of infinite, but {\em row-finite}, matrices, which may also be considered as endomorphisms of $\C[[x]]$. This leads us to… ▽ More Starting with the Heisenberg-Weyl algebra, fundamental to quantum physics, we first show how the ordering of the non-commuting operators intrinsic to that algebra gives rise to generalizations of the classical Stirling Numbers of Combinatorics. These may be expressed in terms of infinite, but {\em row-finite}, matrices, which may also be considered as endomorphisms of $\C[[x]]$. This leads us to consider endomorphisms in more general spaces, and these in turn may be expressed in terms of generalizations of the ladder-operators familiar in physics. △ Less

Submitted 30 December, 2009; v1 submitted 17 August, 2009; originally announced August 2009.

MSC Class: 05E99; 03.65.Fd

Journal ref: DMTCS 12, 2 (2010) 1

Laguerre-type derivatives: Dobinski relations and combinatorial identities

Authors: K. A. Penson, P. Blasiak, A. Horzela, A. I. Solomon, G. H. E. Duchamp

Abstract: We consider properties of the operators D(r,M)=a^r(a^†a)^M (which we call generalized Laguerre-type derivatives), with r=1,2,..., M=0,1,..., where a and a^†are boson annihilation and creation operators respectively, satisfying [a,a^†]=1. We obtain explicit formulas for the normally ordered form of arbitrary Taylor-expandable functions of D(r,M) with the help of an operator relation which general… ▽ More We consider properties of the operators D(r,M)=a^r(a^†a)^M (which we call generalized Laguerre-type derivatives), with r=1,2,..., M=0,1,..., where a and a^†are boson annihilation and creation operators respectively, satisfying [a,a^†]=1. We obtain explicit formulas for the normally ordered form of arbitrary Taylor-expandable functions of D(r,M) with the help of an operator relation which generalizes the Dobinski formula. Coherent state expectation values of certain operator functions of D(r,M) turn out to be generating functions of combinatorial numbers. In many cases the corresponding combinatorial structures can be explicitly identified. △ Less

Submitted 2 April, 2009; originally announced April 2009.

Comments: 14 pages, 1 figure

Journal ref: J. Math. Phys. 50, 083512 (2009)

Combinatorial Deformations of Algebras: Twisting and Perturbations

Authors: Gérard Henry Edmond Duchamp, Christophe Tollu, K. A. Penson, Gleb Koshevoy

Abstract: The framework used to prove the multiplicative law deformation of the algebra of Feynman-Bender diagrams is a \textit{twisted shifted dual law} (in fact, twice). We give here a clear interpretation of its two parameters. The crossing parameter is a deformation of the tensor structure whereas the superposition parameters is a perturbation of the shuffle coproduct of Hoffman type which, in turn, can… ▽ More The framework used to prove the multiplicative law deformation of the algebra of Feynman-Bender diagrams is a \textit{twisted shifted dual law} (in fact, twice). We give here a clear interpretation of its two parameters. The crossing parameter is a deformation of the tensor structure whereas the superposition parameters is a perturbation of the shuffle coproduct of Hoffman type which, in turn, can be interpreted as the diagonal restriction of a superproduct. Here, we systematically detail these constructions. △ Less

Submitted 27 August, 2010; v1 submitted 12 March, 2009; originally announced March 2009.

Some Open Problems in Combinatorial Physics

Authors: Gérard Henry Edmond Duchamp, H. Cheballah

Abstract: We point out four problems which have arisen during the recent research in the domain of Combinatorial Physics. We point out four problems which have arisen during the recent research in the domain of Combinatorial Physics. △ Less

Submitted 17 January, 2009; originally announced January 2009.

Rational Hadamard products via Quantum Diagonal Operators

Authors: Gérard Henry Edmond Duchamp, Silvia Goodenough, Karol A. Penson

Abstract: We use the remark that, through Bargmann-Fock representation, diagonal operators of the Heisenberg-Weyl algebra are scalars for the Hadamard product to give some properties (like the stability of periodic fonctions) of the Hadamard product by a rational fraction. In particular, we provide through this way explicit formulas for the multiplication table of the Hadamard product in the algebra of ra… ▽ More We use the remark that, through Bargmann-Fock representation, diagonal operators of the Heisenberg-Weyl algebra are scalars for the Hadamard product to give some properties (like the stability of periodic fonctions) of the Hadamard product by a rational fraction. In particular, we provide through this way explicit formulas for the multiplication table of the Hadamard product in the algebra of rational functions in $\C[[z]]$. △ Less

Submitted 20 October, 2008; originally announced October 2008.

Noncommutative Symmetric Functions VII: Free Quasi-Symmetric Functions Revisited

Authors: Gerard H. E. Duchamp, Florent Hivert, Jean-Christophe Novelli, Jean-Yves Thibon

Abstract: We prove a Cauchy identity for free quasi-symmetric functions and apply it to the study of various bases. A free Weyl formula and a generalization of the splitting formula are also discussed. We prove a Cauchy identity for free quasi-symmetric functions and apply it to the study of various bases. A free Weyl formula and a generalization of the splitting formula are also discussed. △ Less

Submitted 26 September, 2008; v1 submitted 25 September, 2008; originally announced September 2008.

Comments: 21 pages, Latex, 2 figures

Journal ref: Annals of Combinatorics 15 (2011), 655-673

Approximate substitutions and the normal ordering problem

Authors: H. Cheballah, G. H. E. Duchamp, K. A. Penson

Abstract: In this paper, we show that the infinite generalised Stirling matrices associated with boson strings with one annihilation operator are projective limits of approximate substitutions, the latter being characterised by a finite set of algebraic equations. In this paper, we show that the infinite generalised Stirling matrices associated with boson strings with one annihilation operator are projective limits of approximate substitutions, the latter being characterised by a finite set of algebraic equations. △ Less

Submitted 8 February, 2008; originally announced February 2008.

Hopf Algebras in General and in Combinatorial Physics: a practical introduction

Authors: G. H. E. Duchamp, P. Blasiak, A. Horzela, K. A. Penson, A. I. Solomon

Abstract: This tutorial is intended to give an accessible introduction to Hopf algebras. The mathematical context is that of representation theory, and we also illustrate the structures with examples taken from combinatorics and quantum physics, showing that in this latter case the axioms of Hopf algebra arise naturally. The text contains many exercises, some taken from physics, aimed at expanding and exe… ▽ More This tutorial is intended to give an accessible introduction to Hopf algebras. The mathematical context is that of representation theory, and we also illustrate the structures with examples taken from combinatorics and quantum physics, showing that in this latter case the axioms of Hopf algebra arise naturally. The text contains many exercises, some taken from physics, aimed at expanding and exemplifying the concepts introduced. △ Less

Submitted 2 February, 2008; originally announced February 2008.

Sweedler's duals and Schützenberger's calculus

Authors: Gérard H. E. Duchamp, Christophe Tollu

Abstract: We describe the problem of Sweedler's duals for bialgebras as essentially characterizing the domain of the transpose of the multiplication. This domain is the set of what could be called ``representative linear forms'' which are the elements of the algebraic dual which are also representative on the multiplicative semigroup of the algebra. When the algebra is free, this notion is indeed equivale… ▽ More We describe the problem of Sweedler's duals for bialgebras as essentially characterizing the domain of the transpose of the multiplication. This domain is the set of what could be called ``representative linear forms'' which are the elements of the algebraic dual which are also representative on the multiplicative semigroup of the algebra. When the algebra is free, this notion is indeed equivalent to that of rational functions of automata theory. For the sake of applications, the range of coefficients has been considerably broadened, i.e. extended to semirings, so that the results could be specialized to the boolean and multiplicity cases. This requires some caution (use of ``positive formulas'', iteration replacing inversion, stable submodules replacing finite-rank families for instance). For the theory and its applications has been created a rational calculus which can, in return, be applied to harness Sweedler's duals. A new theorem of rational closure and application to Hopf algebras of use in Physics and Combinatorics is provided. The concrete use of this ``calculus'' is eventually illustrated on an example. △ Less

Submitted 17 August, 2009; v1 submitted 2 December, 2007; originally announced December 2007.

Hopf algebras of diagrams

Authors: Gerard Henry Edmond Duchamp, Jean-Gabriel Luque, Jean-Christophe Novelli, Christophe Tollu, Frederic Toumazet

Abstract: We investigate several Hopf algebras of diagrams related to Quantum Field Theory of Partitions and whose product comes from the Hopf algebras WSym or WQSym respectively built on integer set partitions and set compositions. Bases of these algebras are indexed either by bipartite graphs (labelled or unlabbeled) or by packed matrices (with integer or set coefficients). Realizations on biword are ex… ▽ More We investigate several Hopf algebras of diagrams related to Quantum Field Theory of Partitions and whose product comes from the Hopf algebras WSym or WQSym respectively built on integer set partitions and set compositions. Bases of these algebras are indexed either by bipartite graphs (labelled or unlabbeled) or by packed matrices (with integer or set coefficients). Realizations on biword are exhibited, and it is shown how these algebras fit into a commutative diagram. Hopf deformations and dendriform structures are also considered for some algebras in the picture. △ Less

Submitted 30 October, 2007; originally announced October 2007.

Comments: 21 pages, LaTEX

MSC Class: 05E99; 16W30; 18D50

Graph model of the Heisenberg-Weyl algebra

Authors: P. Blasiak, A. Horzela, G. H. E. Duchamp, K. A. Penson, A. I. Solomon

Abstract: We consider an algebraic formulation of Quantum Theory and develop a combinatorial model of the Heisenberg-Weyl algebra structure. It is shown that by lifting this structure to the richer algebra of graph operator calculus, we gain a simple interpretation involving, for example, the natural composition of graphs. This provides a deeper insight into the algebraic structure of Quantum Theory and she… ▽ More We consider an algebraic formulation of Quantum Theory and develop a combinatorial model of the Heisenberg-Weyl algebra structure. It is shown that by lifting this structure to the richer algebra of graph operator calculus, we gain a simple interpretation involving, for example, the natural composition of graphs. This provides a deeper insight into the algebraic structure of Quantum Theory and sheds light on the intrinsic combinatorial underpinning of its abstract formalism. △ Less

Submitted 27 June, 2012; v1 submitted 1 October, 2007; originally announced October 2007.

Comments: 8 pages, 3 figures

Journal ref: J. Phys.: Conf. Ser. 213, 012014 (2010)

Moderate Growth Time Series for Dynamic Combinatorics Modelisation

Authors: Luaï Jaff, Gérard H. E. Duchamp, Hatem Hadj Kacem, Cyrille Bertelle

Abstract: Here, we present a family of time series with a simple growth constraint. This family can be the basis of a model to apply to emerging computation in business and micro-economy where global functions can be expressed from local rules. We explicit a double statistics on these series which allows to establish a one-to-one correspondence between three other ballot-like strunctures. Here, we present a family of time series with a simple growth constraint. This family can be the basis of a model to apply to emerging computation in business and micro-economy where global functions can be expressed from local rules. We explicit a double statistics on these series which allows to establish a one-to-one correspondence between three other ballot-like strunctures. △ Less

Submitted 16 August, 2007; originally announced August 2007.

Journal ref: ECELM-2, Tirgu-Mures : Roumanie (2006)

Combinatorics and Boson normal ordering: A gentle introduction

Authors: P. Blasiak, A. Horzela, K. A. Penson, A. I. Solomon, G. H. E. Duchamp

Abstract: We discuss a general combinatorial framework for operator ordering problems by applying it to the normal ordering of the powers and exponential of the boson number operator. The solution of the problem is given in terms of Bell and Stirling numbers enumerating partitions of a set. This framework reveals several inherent relations between ordering problems and combinatorial objects, and displays… ▽ More We discuss a general combinatorial framework for operator ordering problems by applying it to the normal ordering of the powers and exponential of the boson number operator. The solution of the problem is given in terms of Bell and Stirling numbers enumerating partitions of a set. This framework reveals several inherent relations between ordering problems and combinatorial objects, and displays the analytical background to Wick's theorem. The methodology can be straightforwardly generalized from the simple example given herein to a wide class of operators. △ Less

Submitted 24 April, 2007; originally announced April 2007.

Comments: 8 pages, 1 figure

Journal ref: Am. J. Phys. 75, 639-646 (2007)

Transitive factorizations of free partially commutative monoids and Lie algebras

Authors: Jean-Gabriel Luque, Gérard Henry Edmond Duchamp

Abstract: Let $\M(A,θ)$ be a free partially commutative monoid. We give here a necessary and sufficient condition on a subalphabet $B\subset A$ such that the right factor of a bisection $\M(A,θ)=\M(B,θ\_B).T$ be also partially commutative free. This extends strictly the (classical) elimination theory on partial commutations and allows to construct new factorizations of $\M(A,θ)$ and associated bases of… ▽ More Let $\M(A,θ)$ be a free partially commutative monoid. We give here a necessary and sufficient condition on a subalphabet $B\subset A$ such that the right factor of a bisection $\M(A,θ)=\M(B,θ\_B).T$ be also partially commutative free. This extends strictly the (classical) elimination theory on partial commutations and allows to construct new factorizations of $\M(A,θ)$ and associated bases of $L\_K(A,θ)$. △ Less

Submitted 18 July, 2006; originally announced July 2006.

Journal ref: Discrete Mathematics 246, Issue 1-3 (2002) 83 - 97

Congruences Compatible with the Shuffle Product

Authors: Gérard Henry Edmond Duchamp, Jean-Gabriel Luque

Abstract: This article is devoted to the study of monoids which can be endowed with a shuffle product with coefficients in a semiring. We show that, when the multiplicities do not belong to a ring with prime characteristic, such a monoid is a monoid of traces. When the characteristic is prime, we give a decomposition of the congruences $\equiv$ (or relators $R$) such that $A^*/\_\equiv=< A; R>$ admits a s… ▽ More This article is devoted to the study of monoids which can be endowed with a shuffle product with coefficients in a semiring. We show that, when the multiplicities do not belong to a ring with prime characteristic, such a monoid is a monoid of traces. When the characteristic is prime, we give a decomposition of the congruences $\equiv$ (or relators $R$) such that $A^*/\_\equiv=< A; R>$ admits a shuffle product. This decomposition involves only addition of primitive elements to the successive quotients. To end with, we study the compatibility with Magnus transformation and examine the case of congruences which are homogeneous for some weight function. The existence of such a weight function is also showed for congruences of depth one. △ Less

Submitted 18 July, 2006; originally announced July 2006.

Journal ref: Formal Power Series and Algebraic Combinatorics (2000) 422-431

Feynman graphs and related Hopf algebras

Authors: Gérard Henry Edmond Duchamp, Pawel Blasiak, Andrzej Horzela, Karol A. Penson, Allan I. Solomon

Abstract: In a recent series of communications we have shown that the reordering problem of bosons leads to certain combinatorial structures. These structures may be associated with a certain graphical description. In this paper, we show that there is a Hopf Algebra structure associated with this problem which is, in a certain sense, unique. In a recent series of communications we have shown that the reordering problem of bosons leads to certain combinatorial structures. These structures may be associated with a certain graphical description. In this paper, we show that there is a Hopf Algebra structure associated with this problem which is, in a certain sense, unique. △ Less

Submitted 15 October, 2005; originally announced October 2005.

ACM Class: G.2.1

Transitive Hall sets

Authors: Gérard Henry Edmond Duchamp, Jean-Gabriel Luque, Marianne Deboysson-Flouret

Abstract: We give the definition of Lazard and Hall sets in the context of transitive factorizations of free monoids. The equivalence of the two properties is proved. This allows to build new effective bases of free partially commutative Lie algebras. The commutation graphs for which such sets exist are completely characterized and we explicit, in this context, the classical PBW rewriting process. We give the definition of Lazard and Hall sets in the context of transitive factorizations of free monoids. The equivalence of the two properties is proved. This allows to build new effective bases of free partially commutative Lie algebras. The commutation graphs for which such sets exist are completely characterized and we explicit, in this context, the classical PBW rewriting process. △ Less

Submitted 2 July, 2005; originally announced July 2005.

MSC Class: 05E99

Boson Normal Ordering via Substitutions and Sheffer-type Polynomials

Authors: P Blasiak, A Horzela, K A Penson, G H E Duchamp, A I Solomon

Abstract: We solve the boson normal ordering problem for (q(a*)a + v(a*))^n with arbitrary functions q and v and integer n, where a and a* are boson annihilation and creation operators, satisfying [a,a*]=1. This leads to exponential operators generalizing the shift operator and we show that their action can be expressed in terms of substitutions. Our solution is naturally related through the coherent stat… ▽ More We solve the boson normal ordering problem for (q(a*)a + v(a*))^n with arbitrary functions q and v and integer n, where a and a* are boson annihilation and creation operators, satisfying [a,a*]=1. This leads to exponential operators generalizing the shift operator and we show that their action can be expressed in terms of substitutions. Our solution is naturally related through the coherent state representation to the exponential generating functions of Sheffer-type polynomials. This in turn opens a vast arena of combinatorial methodology which is applied to boson normal ordering and illustrated by a few examples. △ Less

Submitted 26 January, 2005; originally announced January 2005.

Comments: 10 pages, 24 references

Journal ref: Phys. Lett. A 338, 108 (2005)

Free quasi-symmetric functions, product actions and quantum field theory of partitions

Authors: Gerard Henry Edmond Duchamp, Jean-Gabriel Luque, Karol A. Penson, Christophe Tollu

Abstract: We examine two associative products over the ring of symmetric functions related to the intransitive and Cartesian products of permutation groups. As an application, we give an enumeration of some Feynman type diagrams arising in Bender's QFT of partitions. We end by exploring possibilities to construct noncommutative analogues. We examine two associative products over the ring of symmetric functions related to the intransitive and Cartesian products of permutation groups. As an application, we give an enumeration of some Feynman type diagrams arising in Bender's QFT of partitions. We end by exploring possibilities to construct noncommutative analogues. △ Less

Submitted 13 December, 2004; originally announced December 2004.

Comments: Submitted 28.11.04

A product formula and combinatorial field theory

Authors: A. Horzela, P. Blasiak, G. H. E. Duchamp, K. A. Penson, A. I. Solomon

Abstract: We treat the problem of normally ordering expressions involving the standard boson operators a, a* where [a,a*]=1. We show that a simple product formula for formal power series - essentially an extension of the Taylor expansion - leads to a double exponential formula which enables a powerful graphical description of the generating functions of the combinatorial sequences associated with such fun… ▽ More We treat the problem of normally ordering expressions involving the standard boson operators a, a* where [a,a*]=1. We show that a simple product formula for formal power series - essentially an extension of the Taylor expansion - leads to a double exponential formula which enables a powerful graphical description of the generating functions of the combinatorial sequences associated with such functions - in essence, a combinatorial field theory. We apply these techniques to some examples related to specific physical Hamiltonians. △ Less

Submitted 22 September, 2004; originally announced September 2004.

Comments: Presented at the XI International Conference on Symmetry Methods in Physics (SYMPHYS-11), Prague, Czech Republic, June 21-24, 2004. 17 pages, 36 references, 3 f