Generalized Powers of Substitution with Pre-Function Operators

Total Page:16

File Type:pdf, Size:1020Kb

Generalized Powers of Substitution with Pre-Function Operators Applied Mathematics, 2013, 4, 12-17 http://dx.doi.org/10.4236/am.2013.47A004 Published Online July 2013 (http://www.scirp.org/journal/am) Generalized Powers of Substitution with Pre-Function Operators Laurent Poinsot University Paris 13, Paris Sorbonne Cité, LIPN, CNRS, Villetaneuse, France Email: [email protected] Received April 13, 2013; revised May 13, 2013; accepted May 20, 2013 Copyright © 2013 Laurent Poinsot. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. ABSTRACT An operator on formal power series of the form SS , where is an invertible power series, and is a series of the form tt 2 is called a unipotent substitution with pre-function. Such operators, denoted by a pair , , form a group. The objective of this contribution is to show that it is possible to define a generalized powers for a a such operators, as for instance fractional powers , b for every . b Keywords: Formal Power Series; Formal Substitution; Riordan Group; Generalized Powers; Sheffer Sequences; Umbral Calculus 1. Substitution of Formal Power Series inverse of is then denoted by 1 and satisfies 11 In this contribution we let denote any field of t . Finally, it is possible to define a characteristic zero. We recall some basic definitions from semi-direct product of groups by considering pairs [1,2]. The algebra of formal power series in the variable , where is a unipotent series, and is a t is denoted by t . In what follows we sometimes unipotent substitution, and the operation 11, use the notation S t for S t to mean that S 22,, 1 2 212 . The identity element is is a formal power series of the variable t. We recall that (1, t) . This group has been previously studied in [3-5], any formal power series of the form tS for and is called the group of (unipotent) substitutions with and S t is invertible with respect to pre-function. These substitutions with pre-function act on the usual product of series. Its inverse is denoted by 1 t as follows: ,SS for every 1 series S . In [3] is associated a doubly-infinite matrix and has the form tV for some V t . In particular, the set of all series of the form 1t T M , to each such operator which defines a matrix forms a group under multiplication, called the group of representation of the group of substitutions with pre- unipotent series. For a series of the form tt2T , function, and it is proved that there exists a one- n parameter sub-group M , . Therefore, it sa- we may define for any other series S n t an n0 n tisfies MM,, M, for every , , and operation of substitution given by S n0n . A 2 unipotent substitution is a series of the form ttT . M , is the usual -th power of M , whenever Such series form a group under the operation of is an integer. It amounts that for every , M , is substitution, called the group of unipotent substitutions the matrix representation of a substitution with pre- (whenever 0 , a series tt2T is invertible function say , so that MM . The under substitution, and the totality of such series forms a , , group under the operation of substitution called the authors of [3] then define ,, . Actually group of substutions, and it is clear that the group of in [3] no formal proof is given for the existence of such unipotent substitutions is a sub-group of this one). The generalized powers for matrices or unipotent substitu- Copyright © 2013 SciRes. AM L. POINSOT 13 tions with pre-function. n the form n L where n for every n 0 . In this contribution, we provide a combinatorial proof n0 The series Ln converges to an operator of for the existence of these generalized powers for unipo- n0 n tent substitutions with pre-function, and we show that x in the topology of simple convergence (when this even forms a one-parameter sub-group. To achieve has the discrete topology) since for every p x , this objective we use some ingredients well-known in there exists np such that for all nn p , combinatorics such as delta operators, Sheffer sequences Lpn 0 , so that we may define and umbral composition which are briefly presented in np what follows (Sections 2, 3, 4 and 5). The Section 6 con- nn nnLp Lp . tains the proof of our result. nn00 According to [6], if D is a differential operator, then 2. Differential and Delta Operators, and if, and only if, commutes with D , i.e., Their Associated Polynomial Sequences D DD . Moreover, if DDn , then By operator we mean a linear endomorphism of the n0 n -vector space of polynomials x (in one indeter- is also a differential operator if, and only if, 0 0 minate x ). The composition of operators is denoted by a and 1 0 . simple juxtaposition. If p x , then we sometimes Following [1], let us define a sequence of polynomials write px to mean that p is a polynomial in the va- x x x 1 n by 0 and x i riable x . n 0 n 1 n 1!i0 n0 Let p x be a sequence of polynomials. n n0 for every integer n . For , we denote by It is called a polynomial sequence if deg pn n for n every n 0 (in particular, p0 ). It is clear that a polynomial sequence is thus a basis for x . x the value of the polynomial for x . Let L be An operator D is called a differential operator (see n [6]) if a lowering operator, and let UidL L be its 1) D 0 for every . unipotent part. Then we may consider generalized power 2) degDp deg p 1 for every non-constant poly- n nomial p . UL L (in particular, this explains n0 n For instance, the usual derivation of polynomials is a differential operator. Moreover, let , and let the notation E for the shift operator). We observe that k us define the shift-invariant operator E as the unique for every integer k , U really coincides to the k -th n n linear map such that E xx for every power UU of U . Moreover, U UU for n 0 . Then, E1 id is also a differential operator. k factors A polynomial sequence p is said to be a normal every , . We may also form n n0 family if n1 1 n 1) p0 1 . logUidL log LL n1 n 2) pn 0 0 for every n 0 . Let D be a differential operator. A normal family in such a way that for every , p is said to be a basic family for D if n n0 U exp logU Dpnn1 n1 p where for every LLn with 0 , for every n 0 . It is proved in [6] that for any differen- n0 n 0 tial operator admits is one and only one basic family, and, 1 exp n (it is a well-defined operator). This conversely, any normal family is the basic family of a n0 n! unique differential operator. As an example, the normal kind of generalized powers may be used to compute frac- n family x is the basic family of . a n0 Let L be an operator such that for every non-zero tional power of the form U b for every a , b polynomial p x , degLp deg p (in particu- 1 n n lar, L 0 for every constant ). Such an op- (for instance, UU ). They satisfy the usual proper- erator is called a lowering operator (see [7]). For in- ties of powers: Uid0 , UUU . The objective stance any differential operator is a lowering operator. of this contribution is to provide a proof of the existence Then given a lowering operator L , we may consider the of such generalized powers for unipotent substitutions algebra of formal power series L of operators of with pre-function. Copyright © 2013 SciRes. AM 14 L. POINSOT Following [8], we may consider the following sub-set , of formal power series in t with in- of differential operators, called delta operators. A poly- vertible, and 0 0 , 1 0 , such that nomial sequence p is said to be of binomial-type xt n n0 EGF s ;t t e . if for every n 0 , n n n Remark 1. The basic set of a delta operat or D is a pppnknkxy x y x,y. k =0 Sheffer sequence. Let D be a delta-operator with basic set p . An operator is a shift-invariant operator if for n n0 Following [8], the following result holds. every , E E . Now, a delta operator D Propos ition 1. A polynomial sequence s is a is a shift inva riant operator such that Dx . For in- n n0 Sheffer sequence if, and only if, there exists an invertible stance, the usual derivation of polynomials i s a delta 1 shift-invariant operator S such that snn Sp for each operator. It can be proved that a delta operator is a dif- n 0 . Moreover, let S be an invertible shift-invariant ferential operator. The basic family (uniquely) associated operator. Let t be the unique form al power to a delta operator is called its basic set. Moreover, the basic set of a delta operator is of binomial-type, and to series such that S . Then, is invertible, and any polynomial sequence of binomial-type is uniquely 1 1 EGF s ;t 1 ex associated a delta operator.
Recommended publications
  • Relationship of Bell's Polynomial Matrix and K-Fibonacci Matrix
    American Scientific Research Journal for Engineering, Technology, and Sciences (ASRJETS) ISSN (Print) 2313-4410, ISSN (Online) 2313-4402 © Global Society of Scientific Research and Researchers http://asrjetsjournal.org/ Relationship of Bell’s Polynomial Matrix and k-Fibonacci Matrix Mawaddaturrohmaha, Sri Gemawatib* a,bDepartment of Mathematics, University of Riau, Pekanbaru 28293, Indonesia aEmail: [email protected] bEmail: [email protected] Abstract The Bell‟s polynomial matrix is expressed as , where each of its entry represents the Bell‟s polynomial number.This Bell‟s polynomial number functions as an information code of the number of ways in which partitions of a set with certain elements are arranged into several non-empty section blocks. Furthermore, thek- Fibonacci matrix is expressed as , where each of its entry represents the k-Fibonacci number, whose first term is 0, the second term is 1 and the next term depends on a positive integer k. This article aims to find a matrix based on the multiplication of the Bell‟s polynomial matrix and the k-Fibonacci matrix. Then from the relationship between the two matrices the matrix is obtained. The matrix is not commutative from the product of the two matrices, so we get matrix Thus, the matrix , so that the Bell‟s polynomial matrix relationship can be expressed as Keywords: Bell‟s Polynomial Number; Bell‟s Polynomial Matrix; k-Fibonacci Number; k-Fibonacci Matrix. 1. Introduction Bell‟s polynomial numbers are studied by mathematicians since the 19th century and are named after their inventor Eric Temple Bell in 1938[5] Bell‟s polynomial numbers are represented by for each n and kelementsof the natural number, starting from 1 and 1 [2, p 135] Bell‟s polynomial numbers can be formed into Bell‟s polynomial matrix so that each entry of Bell‟s polynomial matrix is Bell‟s polynomial number and is represented by [11].
    [Show full text]
  • Bell Polynomials and Binomial Type Sequences Miloud Mihoubi
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - Publisher Connector Discrete Mathematics 308 (2008) 2450–2459 www.elsevier.com/locate/disc Bell polynomials and binomial type sequences Miloud Mihoubi U.S.T.H.B., Faculty of Mathematics, Operational Research, B.P. 32, El-Alia, 16111, Algiers, Algeria Received 3 March 2007; received in revised form 30 April 2007; accepted 10 May 2007 Available online 25 May 2007 Abstract This paper concerns the study of the Bell polynomials and the binomial type sequences. We mainly establish some relations tied to these important concepts. Furthermore, these obtained results are exploited to deduce some interesting relations concerning the Bell polynomials which enable us to obtain some new identities for the Bell polynomials. Our results are illustrated by some comprehensive examples. © 2007 Elsevier B.V. All rights reserved. Keywords: Bell polynomials; Binomial type sequences; Generating function 1. Introduction The Bell polynomials extensively studied by Bell [3] appear as a standard mathematical tool and arise in combina- torial analysis [12]. Moreover, they have been considered as important combinatorial tools [11] and applied in many different frameworks from, we can particularly quote : the evaluation of some integrals and alterning sums [6,10]; the internal relations for the orthogonal invariants of a positive compact operator [5]; the Blissard problem [12, p. 46]; the Newton sum rules for the zeros of polynomials [9]; the recurrence relations for a class of Freud-type polynomials [4] and many others subjects. This large application of the Bell polynomials gives a motivation to develop this mathematical tool.
    [Show full text]
  • A FAMILY of SEQUENCES of BINOMIAL TYPE 3 and If Jp +1= N Then This Difference Is 0
    A FAMILY OF SEQUENCES OF BINOMIAL TYPE WOJCIECH MLOTKOWSKI, ANNA ROMANOWICZ Abstract. For delta operator aD bDp+1 we find the corresponding polynomial se- − 1 2 quence of binomial type and relations with Fuss numbers. In the case D 2 D we show that the corresponding Bessel-Carlitz polynomials are moments of the− convolu- tion semigroup of inverse Gaussian distributions. We also find probability distributions νt, t> 0, for which yn(t) , the Bessel polynomials at t, is the moment sequence. { } 1. Introduction ∞ A sequence wn(t) n=0 of polynomials is said to be of binomial type (see [10]) if deg w (t)= n and{ for} every n 0 and s, t R we have n ≥ ∈ n n (1.1) w (s + t)= w (s)w − (t). n k k n k Xk=0 A linear operator Q of the form c c c (1.2) Q = 1 D + 2 D2 + 3 D3 + ..., 1! 2! 3! acting on the linear space R[x] of polynomials, is called a delta operator if c1 = 0. Here D denotes the derivative operator: D1 := 0 and Dtn := n tn−1 for n 1. We6 will write Q = g(D), where · ≥ c c c (1.3) g(x)= 1 x + 2 x2 + 3 x3 + .... 1! 2! 3! There is one-to-one correspondence between sequences of binomial type and delta ∞ operators, namely if Q is a delta operator then there is unique sequence w (t) of { n }n=0 binomial type satisfying Qw0(t) = 0 and Qwn(t)= n wn−1(t) for n 1.
    [Show full text]
  • Fitting and Graphing Discrete Distributions
    Chapter 3 Fitting and graphing discrete distributions {ch:discrete} Discrete data often follow various theoretical probability models. Graphic displays are used to visualize goodness of fit, to diagnose an appropriate model, and determine the impact of individual observations on estimated parameters. Not everything that counts can be counted, and not everything that can be counted counts. Albert Einstein Discrete frequency distributions often involve counts of occurrences of events, such as ac- cident fatalities, incidents of terrorism or suicide, words in passages of text, or blood cells with some characteristic. Often interest is focused on how closely such data follow a particular prob- ability distribution, such as the binomial, Poisson, or geometric distribution, which provide the basis for generating mechanisms that might give rise to the data. Understanding and visualizing such distributions in the simplest case of an unstructured sample provides a building block for generalized linear models (Chapter 9) where they serve as one component. The also provide the basis for a variety of recent extensions of regression models for count data (Chapter ?), allow- ing excess counts of zeros (zero-inflated models), left- or right- truncation often encountered in statistical practice. This chapter describes the well-known discrete frequency distributions: the binomial, Pois- son, negative binomial, geometric, and logarithmic series distributions in the simplest case of an unstructured sample. The chapter begins with simple graphical displays (line graphs and bar charts) to view the distributions of empirical data and theoretical frequencies from a specified discrete distribution. It then describes methods for fitting data to a distribution of a given form and simple, effective graphical methods than can be used to visualize goodness of fit, to diagnose an appropriate model (e.g., does a given data set follow the Poisson or negative binomial?) and determine the impact of individual observations on estimated parameters.
    [Show full text]
  • Bell Polynomials in Combinatorial Hopf Algebras Ammar Aboud, Jean-Paul Bultel, Ali Chouria, Jean-Gabriel Luque, Olivier Mallet
    Bell polynomials in combinatorial Hopf algebras Ammar Aboud, Jean-Paul Bultel, Ali Chouria, Jean-Gabriel Luque, Olivier Mallet To cite this version: Ammar Aboud, Jean-Paul Bultel, Ali Chouria, Jean-Gabriel Luque, Olivier Mallet. Bell polynomials in combinatorial Hopf algebras. 2015. hal-00945543v2 HAL Id: hal-00945543 https://hal.archives-ouvertes.fr/hal-00945543v2 Preprint submitted on 8 Apr 2015 (v2), last revised 21 Jan 2016 (v3) HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Bell polynomials in combinatorial Hopf algebras Ammar Aboud,∗ Jean-Paul Bultel,y Ali Chouriaz Jean-Gabriel Luquexand Olivier Mallet{ April 3, 2015 Keywords: Bell polynomials, Symmetric functions, Hopf algebras, Faà di Bruno algebra, Lagrange inversion, Word symmetric functions, Set partitions. Abstract Partial multivariate Bell polynomials have been defined by E.T. Bell in 1934. These polynomials have numerous applications in Combinatorics, Analysis, Algebra, Probabilities etc. Many of the formulæ on Bell polynomials involve combinatorial objects (set partitions, set partitions into lists, permutations etc). So it seems natural to investigate analogous formulæ in some combinatorial Hopf algebras with bases indexed with these objects. In this paper we investigate the connexions between Bell polynomials and several combinatorial Hopf algebras: the Hopf algebra of symmetric functions, the Faà di Bruno algebra, the Hopf algebra of word symmetric functions etc.
    [Show full text]
  • A New Formula of Q-Fubini Numbers Via Goncharov Polynomials
    A NEW FORMULA OF q-FUBINI NUMBERS VIA GONC˘AROV POLYNOMIALS Adel Hamdi 20 aoˆut 2019 Faculty of Science of Gabes, Department of Mathematics, Cit´eErriadh 6072, Zrig, Gabes, Tunisia Abstract Connected the generalized Gon˘carov polynomials associated to a pair (∂, Z) of a delta operator ∂ and an interpolation grid Z, introduced by Lorentz, Tringali and Yan in [7], with the theory of binomial enumeration and order statistics, a new q-deformed of these polynomials given in this paper allows us to derive a new combinatorial formula of q-Fubini numbers. A combinatorial proof and some nice algebraic and analytic properties have been expanded to the q-deformed version. Keywords: q-delta operators, polynomials of q-binomial type, Gon˘carov polynomials, order partitions, q-Fubini numbers. 2010 Mathematics Subject Classification. 05A10, 41A05, 05A40. 1 Introduction This paper grew out of the recent work, generalized Gon˘carov polynomials, of Lo- rentz, Tringali and Yan in [7] where these polynomials are seen as a basis of solutions for the Interpolation problem : Find a polynomial f(x) of degree n such that the ith delta operator ∂ of f(x) at a given complex number ai has value bi, for i = 0, 1, 2, .... There is a natural q-analog of this interpolation by replacing the delta operator with a q-delta arXiv:1908.06939v1 [math.CO] 19 Aug 2019 operator, we extend these polynomials into a generalized q-Gon˘carov basis (tn,q(x))n≥0, i N defined by the q-biorthogonality relation εzi (∂q(tn,q(x))) = [n]q!δi,n, for all i, n ∈ , where Z = (zi)i≥0 is a sequence of scalars and εzi the evaluation at zi.
    [Show full text]
  • The Umbral Calculus of Symmetric Functions
    Advances in Mathematics AI1591 advances in mathematics 124, 207271 (1996) article no. 0083 The Umbral Calculus of Symmetric Functions Miguel A. Mendez IVIC, Departamento de Matematica, Caracas, Venezuela; and UCV, Departamento de Matematica, Facultad de Ciencias, Caracas, Venezuela Received January 1, 1996; accepted July 14, 1996 dedicated to gian-carlo rota on his birthday 26 Contents The umbral algebra. Classification of the algebra, coalgebra, and Hopf algebra maps. Families of binomial type. Substitution of admissible systems, composition of coalgebra maps and plethysm. Umbral maps. Shift-invariant operators. Sheffer families. Hammond derivatives and umbral shifts. Symmetric functions of Schur type. Generalized Schur functions. ShefferSchur functions. Transfer formulas and Lagrange inversion formulas. 1. INTRODUCTION In this article we develop an umbral calculus for the symmetric functions in an infinite number of variables. This umbral calculus is analogous to RomanRota umbral calculus for polynomials in one variable [45]. Though not explicit in the RomanRota treatment of umbral calculus, it is apparent that the underlying notion is the Hopf-algebra structure of the polynomials in one variable, given by the counit =, comultiplication E y, and antipode % (=| p(x))=p(0) E yp(x)=p(x+y) %p(x)=p(&x). 207 0001-8708Â96 18.00 Copyright 1996 by Academic Press All rights of reproduction in any form reserved. File: 607J 159101 . By:CV . Date:26:12:96 . Time:09:58 LOP8M. V8.0. Page 01:01 Codes: 3317 Signs: 1401 . Length: 50 pic 3 pts, 212 mm 208 MIGUEL A. MENDEZ The algebraic dual, endowed with the multiplication (L V M| p(x))=(Lx }My| p(x+y)) and with a suitable topology, becomes a topological algebra.
    [Show full text]
  • On the Combinatorics of Cumulants
    Journal of Combinatorial Theory, Series A 91, 283304 (2000) doi:10.1006Âjcta.1999.3017, available online at http:ÂÂwww.idealibrary.com on On the Combinatorics of Cumulants Gian-Carlo Rota Department of Mathematics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139 and Jianhong Shen School of Mathematics, University of Minnesota, Minneapolis, Minnesota 55455 E-mail: jhshenÄmath.umn.edu View metadata, citation and similar papers at core.ac.uk brought to you by CORE Communicated by the Managing Editors provided by Elsevier - Publisher Connector Received July 26, 1999 dedicated to the memory of gian-carlo rota We study cumulants by Umbral Calculus. Various formulae expressing cumulants by umbral functions are established. Links to invariant theory, symmetric functions, and binomial sequences are made. 2000 Academic Press 1. INTRODUCTION Cumulants were first defined and studied by Danish scientist T. N. Thiele. He called them semi-invariants. The importance of cumulants comes from the observation that many properties of random variables can be better represented by cumulants than by moments. We refer to Brillinger [3] and Gnedenko and Kolmogorov [4] for further detailed probabilistic aspects on this topic. Given a random variable X with the moment generating function g(t), its nth cumulant Kn is defined as d n Kn= n log g(t). dt } t=0 283 0097-3165Â00 35.00 Copyright 2000 by Academic Press All rights of reproduction in any form reserved. 284 ROTA AND SHEN That is, m K : n tn= g(t)=exp : n tn ,(1) n0 n! \ n1 n! + where, mn is the nth moment of X. Generally, if _ denotes the standard deviation, then 2 2 K1=m1 , K2=m2&m1=_ .
    [Show full text]
  • Hermite Polynomials 1 Hermite Polynomials
    Hermite polynomials 1 Hermite polynomials In mathematics, the Hermite polynomials are a classical orthogonal polynomial sequence that arise in probability, such as the Edgeworth series; in combinatorics, as an example of an Appell sequence, obeying the umbral calculus; in numerical analysis as Gaussian quadrature; in finite element methods as shape functions for beams; and in physics, where they give rise to the eigenstates of the quantum harmonic oscillator. They are also used in systems theory in connection with nonlinear operations on Gaussian noise. They were defined by Laplace (1810) [1] though in scarcely recognizable form, and studied in detail by Chebyshev (1859).[2] Chebyshev's work was overlooked and they were named later after Charles Hermite who wrote on the polynomials in 1864 describing them as new.[3] They were consequently not new although in later 1865 papers Hermite was the first to define the multidimensional polynomials. Definition There are two different ways of standardizing the Hermite polynomials: • The "probabilists' Hermite polynomials" are given by , • while the "physicists' Hermite polynomials" are given by . These two definitions are not exactly identical; each one is a rescaling of the other, These are Hermite polynomial sequences of different variances; see the material on variances below. The notation He and H is that used in the standard references Tom H. Koornwinder, Roderick S. C. Wong, and Roelof Koekoek et al. (2010) and Abramowitz & Stegun. The polynomials He are sometimes denoted by H , n n especially in probability theory, because is the probability density function for the normal distribution with expected value 0 and standard deviation 1.
    [Show full text]
  • Arxiv:Math/0412052V1 [Math.PR] 2 Dec 2004 Aetemto Loehruwed N Naaebe O Nywa Only Not Unmanageable
    An umbral setting for cumulants and factorial moments E. Di Nardo, D. Senato ∗ Abstract We provide an algebraic setting for cumulants and factorial moments through the classical umbral calculus. Main tools are the compositional inverse of the unity umbra, connected with the logarithmic power series, and a new umbra here introduced, the singleton umbra. Various formulae are given expressing cumulants, factorial moments and central moments by umbral functions. Keywords: Umbral calculus, generating function, cumulant, factorial moment MSC-class: 05A40, 60C05 (Primary) 62A01(Secondary) 1 Introduction The purpose of this paper is mostly to show how the classical umbral calculus gives a lithe algebraic setting in handling cumulants and factorial moments. The classical umbral calculus consists of a symbolic technique dealing with sequences of numbers an indexed by nonnegative integers n = 0, 1, 2, 3,..., where the subscripts are treated as if they were powers. This kind of device was extensively used since the nineteenth century although the mathematical community was sceptic of it, owing to its lack of foundation. To the best of our knowledge, the method was first proposed by Rev. John Blissard in a series of papers as from 1861 (cf. [5] for the full list of papers), nevertheless it is impossible to put the credit of the original idea down to him since the Blissard’s calculus has its mathematical source in symbolic differentiation. In the thirties, Bell [1] reviewed the whole subject in several papers, restoring the purport of the Blissard’s idea and in [2] he tried to give a rigorous foundation of the arXiv:math/0412052v1 [math.PR] 2 Dec 2004 mystery at the ground of the umbral calculus but his attempt did not have a hold.
    [Show full text]
  • Bell Polynomials in Combinatorial Hopf Algebras
    Word Bell Polynomials Ammar Aboud,∗ Jean-Paul Bultel,† Ali Chouria‡ Jean-Gabriel Luque§and Olivier Mallet¶ January 25, 2016 Keywords: Bell polynomials, Symmetric functions, Hopf algebras, Faà di Bruno algebra, Lagrange inversion, Word symmetric functions, Set partitions. Abstract Partial multivariate Bell polynomials have been defined by E.T. Bell in 1934. These polynomials have numerous applications in Combinatorics, Analysis, Algebra, Probabilities etc. Many of the formulæ on Bell polynomials involve combinatorial objects (set partitions, set partitions into lists, permutations etc). So it seems natural to investigate analogous formulæ in some combinatorial Hopf algebras with bases indexed by these objects. In this paper we investigate the connexions between Bell polynomials and several combinatorial Hopf algebras: the Hopf algebra of symmetric functions, the Faà di Bruno algebra, the Hopf algebra of word symmetric functions etc. We show that Bell polynomials can be defined in all these algebras and we give analogues of classical results. To this aim, we construct and study a family of combinatorial Hopf algebras whose bases are indexed by colored set partitions. 1 Introduction Partial multivariate Bell polynomials (Bell polynomials for short) have been defined by E.T. Bell in [1] in 1934. But their name is due to Riordan [29] which studied the Faà di Bruno formula [11, 12] allowing one to write the nth derivative of a composition f ◦g in terms of the derivatives of f and g [28]. The applications of Bell polynomials in Combinatorics, Analysis, Algebra, Probabilities etc. are so numerous that it should be very long to detail them in the paper. Let us give only a few seminal examples.
    [Show full text]
  • Forest Volume Decompositions and Abel-Cayley-Hurwitz Multinomial
    Forest volume decomp ositions and Ab el-Cayley-Hurwitz multinomial expansions Jim Pitman Technical Rep ort No. 591 Department of Statistics University of California 367 Evans Hall 3860 Berkeley,CA94720-3860 March 29, 2001; revised Octob er 24, 2001 Abstract This pap er presents a systematic approach to the discovery,inter- pretation and veri cation of various extensions of Hurwitz's multino- mial identities, involving p olynomials de ned bysumsover all subsets of a nite set. The identities are interpreted as decomp ositions of for- est volumes de ned bytheenumerator p olynomials of sets of ro oted lab eled forests. These decomp ositions involve the following basic for- est volume formula, which is a re nementofCayley's multinomial expansion: for R S the p olynomial enumerating out-degrees of ver- tices of ro oted forests lab eled by S whose set of ro ots is R, with edges directed away from the ro ots, is P P jS jjRj1 x : x s r s2S r 2R Supp orted in part by N.S.F. Grants DMS 97-03961 and DMS-0071448 1 1 Intro duction Hurwitz [21 ] discovered a numb er of remarkable identities of p olynomials in a nitenumber of variables x ;s 2 S ,involving sums of pro ducts over all s j j 2 subsets A of some xed set S ,witheach pro duct formed from the subset sums P x := x and x = x x , where A := A. 1 A s A A s2A For instance, for S =f0; 1g,withx substituted for x and y for x to 0 1 ease the notation, there are the following: Hurwitz identities [21, I I', I I I, IV] X jAj1 jAj j j xx + x y + x =x + y + x 2 A A A X jAj1 jAj1 j j1 xx + x y y + x =x + y x + y + x 3 A A A j j X X Y jAj jA j jB j x + x y + x = x + y + x jB j! x 4 A b A b2B A j j B j j For j j = n and x 1, by summing rst over A with jAj = k ,theseHurwitz s sums reduce to corresp onding Abel sums [1, 48 ] n X n ; k + nk + A x; y := x + k y + n k 5 n k k =0 for particular integers and .
    [Show full text]