Forest Volume Decompositions and Abel-Cayley-Hurwitz Multinomial

Total Page:16

File Type:pdf, Size:1020Kb

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 . Esp ecially, 2 with x w and y = z nw s reduces to Abel's binomial theorem [1] n X n k 1 nk n xx + kw z kw =x + z k k =0 and 4 for x w reduces to a classical identity due to Cauchy. Strehl s [56] explains how Hurwitz was led to suchidentities via the combinatorial problem, which arose in the theory of Riemann surfaces [20 ], of counting the number of ways a given p ermutation can b e written as a pro duct of a minimal numb er of transp ositions which generate the full symmetric group. 2 This pap er develops a systematic approach to the discovery,interpre- tation and veri cation of identities of Hurwitz typ e such as 2-4 . This metho d is related to, but not the same, as Knuth's metho d in [32] and [31, Ex. 2.3.4.30]. There Hurwitz's binomial theorem 3 was proved byinter- preting b oth sides for p ositiveinteger x; y and x ;s 2 asanumber of rooted s forests with x + y + x + j j vertices, sub ject to constraints dep ending on the x . The present metho d is closer to the approachofFrancon[18], who de- s rived 2 and 3 using a form of Cayley's multinomial expansion over trees, expressed in terms of enumerator p olynomials for mappings from S to S . Section 2 intro duces the notion of forest volumes, de ned by the enumerator p olynomials of sets of ro oted lab eled forests, with emphasis on a general- ization of Cayley's multinomial expansion over trees, called here the forest volume formula. This formula relates Hurwitz typ e identities to decomp osi- tions of forest volumes. Probabilistic interpretations of forest volumes were developed in [40, 41, 42, 43]. This pap er, written mostly in combinatorial rather than probabilistic language, is a condensed version of [40 ]. Acom- bined version of [40] and [41 ] app ears in the companion pap er [44]. Section 3 o ers two di erent extensions of the forest volume formula. Then Section 4 presents a numb er of Hurwitz typ e identities, with pro ofs by forest volume decomp ositions. Finally, Section 5 p oints out some sp ecializations of these Hurwitz identities which give combinatorial interpretations of Ab el sums. 2 Forest volumes Ro oted lab eled forests. Francon's approach to Hurwitz identities is sim- pli ed byworking exclusively with various subsets of the set F := fall ro oted forests F lab eled by S g S whose enumerativecombinatorics has b een extensively studied [37 , 2.4 and 3.5], [54 , 5.3]. Each F 2 F is a directedgraph with vertex set S , that is a S subset of S S , each of whose comp onents is a tree with some ro ot r 2 S , with the convention in this pap er that the edges of F are directed away from the ro ots of its trees. The set of vertices of the tree comp onentof F ro oted at r is the set of all s 2 S such that there is a directedpath from r to s in F , F denoted r ; s, meaning either r = s or there is a sequence of one or more F F F F ! s means s ;s 2 F . Let F := fx : s ! xg edges r ! ! s, where s 2 1 2 s 1 3 denote the set of children of s in F . So jF j is the out-degree of vertex s s in the forest F . Note that the F are p ossibly empty disjoint sets with s [ F = S ro ots F , where ro ots F is the set of ro ot vertices F . So the s2S s P total numb er of edges of F is jF j = jS jjro ots F j and jro ots F j is s s2S the numb er of tree comp onents of F . Forest volumes. For B F ,theenumerator p olynomial in variables S x ;s 2 S s X Y jF j s V [F 2 B ]:=V [F 2 B ]x ;s 2 S := x 6 S S s s F 2B s2S is called here the volume of B , to emphasise that B ! V [F 2 B ]isa S measure on subsets B of F , for each xedchoice of x ;s 2 S withx 0. S s s As explained later in this section, this notion of forest volumes includes b oth the probabilistic interpretations develop ed in [43, 41 , 42 , 40 ], and the forest volume of a graph de ned by Kelmans [29, 26 , 27]. Consider the volume of all forests F 2 F with a given set of ro ots R. S This volume decomp oses according to the set A = [ F of children of r 2R r all ro ot vertices of F . With := S R,thisgives the recursivevolume decomp osition X jAj V [ro otsF =R]= x V [ro otsF =A] 7 R[ R A where each side is a p olynomial in variables x ;s 2 S ,and S = [ R with s R \ =;. Consideration of 7 for small jS j leads quickly to the following generalization of Cayley's multinomial expansion over trees [13, 47 ]: Theorem 1 The forest volume formula [13, 45, 47, 18, 11, 40] For R S , the volume of forests labeledbyS whose set of roots is R is jS jjRj1 V [ro otsF =R]=x x : 8 S R S Pro of. Observe rst that 8 transforms 7 into the following Hurwitz typ e identity of p olynomials in variables x and x ;s 2 : R s X j jjAj1 jAj j j1 x x : 9 x x + x = x A R R R A But 9 is very easily veri ed directly, and 8 follows from 7 and 9 by induction on jS j. 2 4 History and alternative pro ofs of the forest volume formula. Cayley [13] formulated the sp ecial case of 8 with R = fr g, call it the tree volume formula, along with the sp ecial case of 8 with general R and x 1;s 2 S , s that is the enumeration jS jjRj1 jfF 2 F with ro ots F =Rgj = jRjjS j 10 S n2 which for jRj = 1 yields the Borchardt-Cayley formula n for the number of unro oted trees lab eled by a set of n vertices. These sp ecial cases of the forest volume formula are among the b est known results in enumerativecom- binatorics. See for instance [45, 47 , 43 , 42, 54 , 7 ] for various pro ofs of the tree volume formula and [19, 36 , 37 , 57 , 51 , 3] for 10 . The preceding pro of of the forest volume formula parallels a pro of of 10 by induction, using the consequence of 7 that the numb er in 10 is jS j; jRj with the recursion n X n a k + n; k = k n; a: 11 a a=1 Mo on [37 , p. 33] attributes this pro of of 10 to Gob el [19]. The forest volume formula can also b e derived by the metho d of Prufer co des [45 ], which has b een applied to obtain a host of other results in the same vein [30],[37, Chapter 2].
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]
  • An Infinite Dimensional Umbral Calculus
    An infinite dimensional umbral calculus Dmitri Finkelshtein Department of Mathematics, Swansea University, Singleton Park, Swansea SA2 8PP, U.K.; e-mail: [email protected] Yuri Kondratiev Fakult¨atf¨urMathematik, Universit¨atBielefeld, 33615 Bielefeld, Germany; e-mail: [email protected] Eugene Lytvynov Department of Mathematics, Swansea University, Singleton Park, Swansea SA2 8PP, U.K.; e-mail: [email protected] Maria Jo~aoOliveira Departamento de Ci^enciase Tecnologia, Universidade Aberta, 1269-001 Lisbon, Por- tugal; CMAF-CIO, University of Lisbon, 1749-016 Lisbon, Portugal; e-mail: [email protected] Abstract The aim of this paper is to develop foundations of umbral calculus on the space D0 of distri- d 0 butions on R , which leads to a general theory of Sheffer polynomial sequences on D . We define a sequence of monic polynomials on D0, a polynomial sequence of binomial type, and a Sheffer sequence. We present equivalent conditions for a sequence of monic polynomials on D0 to be of binomial type or a Sheffer sequence, respectively. We also construct a lift- ing of a sequence of monic polynomials on R of binomial type to a polynomial sequence of 0 0 binomial type on D , and a lifting of a Sheffer sequence on R to a Sheffer sequence on D . Examples of lifted polynomial sequences include the falling and rising factorials on D0, Abel, Hermite, Charlier, and Laguerre polynomials on D0. Some of these polynomials have already appeared in different branches of infinite dimensional (stochastic) analysis and played there a fundamental role. arXiv:1701.04326v2 [math.FA] 5 Mar 2018 Keywords: Generating function; polynomial sequence on D0; polynomial sequence of binomial type on D0; Sheffer sequence on D0; shift-invariance; umbral calculus on D0.
    [Show full text]