A characterization of exponential and ordinary generating functions
type: Item
instance of: scholarly article
title: A characterization of exponential and ordinary generating functions
zbMATH Open document ID: 0995.05005
author: Dan Port
published in: Journal of Combinatorial Theory. Series A
publication date: 2002-10-13T00:00:00Z
review text: This paper deals with the question why, of all possible generating functions, the ordinary and exponential generating functions are special. Let \(\Omega=(\omega_0,\omega_1,\dots)\) be a sequence of reals and \({\mathbf a}=(a_0,a_1,\dots)\) a sequence of complex numbers. Then \[ \Omega_{\mathbf a}(z)=\sum_{n=0}^{\infty}a_n \omega_n z^n \] is called the \(\Omega\)-generating function of \(\mathbf a\). Without loss of generality it may be assumed that \(\omega_0=\omega_1=1\). The two choices of \(\Omega\) corresponding to the ordinary and exponential generating function are \(\Omega=(1,1,1,1,\dots)=:O\) and \(\Omega=(1,1,1/2!,1/3!,\dots)=:E\), respectively. Given \(\Omega\) and \({\mathbf x}=(x_1,x_2,\dots)\) the \(n\)th Comtet polynomial \(C_n^{\Omega}({\mathbf x})\) is defined through \[ \sum_{n=0}^{\infty}C_n^{\Omega}({\mathbf x})\omega_n z^n =\sum_{n=0}^{\infty}\Bigl(\sum_{k=1}^{\infty} x_k\omega_k z^k\Bigr)^n \omega_n. \] Hence the ordinary and exponential Comtet polynomials are given by \[ \sum_{n=0}^{\infty}C_n^O({\mathbf x}) z^n ={1\over 1-\sum_{k=1}^{\infty} x_k z^k} \qquad \text{ and } \qquad \sum_{n=0}^{\infty}C_n^E({\mathbf x}) {z^n \over n!} =\exp\Bigl(\sum_{k=1}^{\infty} x_k {z^k\over k!}\Bigr). \] A sequence of polynomials \(P_n({\mathbf x})\) is called Hankel mean-independent if \(\det(P_{i+j}({\mathbf x}))_{i,j=0}^n\) does not depend on \(x_1\) for all \(n\geq 0\). The main result of the paper is that of the Comtet polynomials only the ordinary and exponential ones are Hankel mean-independent (up to normalization of \(\omega_2\)).
reviewed by: S. Ole Warnaar
Mathematics Subject Classification ID: 05A15
Mathematics Subject Classification ID: 33C45
zbMATH DE Number: 1760679
zbMATH Keywords: generating functions
zbMATH Keywords: characterization
zbMATH Keywords: Bell polynomials
zbMATH Keywords: moments
zbMATH Keywords: Hankel matrix
zbMATH Keywords: Comtet polynomials
zbMATH Keywords: convolution polynomials
MaRDI profile type: Publication
full work available at URL: jcta.2001.3196
OpenAlex ID: W2045132081
cites work: Q4769056
cites work: Q5538132
cites work: On moment sequences and renewal sequences
cites work: Q5624248
cites work: Q4731941
cites work: The umbral calculus
cites work: Q5845997
cites work: Q3748279
cites work: Q5810209
DOI: 10.1006/JCTA.2001.3196
description: scientific article; zbMATH DE number 1760679