TOPICS
Search

Complete Bell Polynomial


A complete Bell polynomial Y_n(x_1,...,x_n) is a polynomial that enumerates set partitions of an n-element set, with each set block of size j assigned weight x_j. In the exponential convention used here, it is the sum of the partial Bell polynomials over all possible numbers of blocks,

 Y_n(x_1,...,x_n)=sum_(k=1)^nB_(n,k)(x_1,...,x_(n-k+1))
(1)

for a positive integer n, with Y_0=1. Ordinary normalizations have different factorial weights. In particular, the ordinary partial family rescales both the arguments and the coefficients of the partial Bell polynomials (Di Nardo and Guarino 2022, p. 220).

The exponential generating function is

 sum_(n=0)^inftyY_n(x_1,...,x_n)(t^n)/(n!)=exp(sum_(j=1)^inftyx_j(t^j)/(j!)).
(2)

The first few complete Bell polynomials are

Y_1(x_1)=x_1
(3)
Y_2(x_1,x_2)=x_1^2+x_2
(4)
Y_3(x_1,x_2,x_3)=x_1^3+3x_1x_2+x_3
(5)
Y_4(x_1,x_2,x_3,x_4)=x_1^4+6x_1^2x_2+3x_2^2+4x_1x_3+x_4.
(6)

Suppressing the arguments, a recurrence relation is

 Y_(n+1)=sum_(j=0)^n(n; j)x_(j+1)Y_(n-j),
(7)

where n is a nonnegative integer. Setting every x_j=x gives the univariate Bell polynomial phi_n(x)=Y_n(x,...,x), while setting every x_j=1 gives the Bell number.

Complete Bell polynomials express derivatives of an exponential function through Faà di Bruno's formula,

 (d^n)/(dz^n)e^(g(z))=e^(g(z))Y_n(g^'(z),g^('')(z),...,g^((n))(z)),
(8)

where n is a positive integer and the necessary derivatives exist. If F is analytic and nonzero near a point, with logarithmic derivative Phi=F^'/F, this gives F^((n))=FY_n(Phi,Phi^',...,Phi^((n-1))). Applying the identity to F(z)=(z-a)^mf(z) gives formulas for complex residues at poles of order m (Liu 2001, p. 134).

Complete Bell polynomials also express raw moments in terms of cumulants. For a random variable whose moment-generating function is defined near 0,

 mu_n^'=Y_n(kappa_1,...,kappa_n),
(9)

where n is a positive integer, mu_n^' is its nth raw moment, and kappa_n its nth cumulant. The identity follows from M(t)=e^(K(t)), where M is the moment-generating function and K the cumulant-generating function (Di Nardo and Guarino 2022, p. 208).


See also

Bell Number, Bell Polynomial, Cumulant, Cumulant-Generating Function, Faà di Bruno's Formula, Partial Bell Polynomial, Raw Moment, Set Partition

Explore with Wolfram|Alpha

References

Comtet, L. Advanced Combinatorics: The Art of Finite and Infinite Expansions, rev. enl. ed. Dordrecht, Netherlands: Reidel, p. 133, 1974.Di Nardo, E. and Guarino, G. "kStatistics: Unbiased Estimates of Joint Cumulant Products from the Multivariate Faà di Bruno's Formula." R Journal 14, 208-228, 2022. https://doi.org/10.32614/RJ-2022-033.Kim, T.; Kim, D. S.; Jang, L.-C.; Lee, H.; and Kim, H.-Y. "Complete and Incomplete Bell Polynomials Associated with Lah-Bell Numbers and Polynomials." Adv. Difference Equ. 2021, 101, 2021. https://doi.org/10.1186/s13662-021-03258-3.Liu, Z.-G. "Residue Theorem and Theta Function Identities." Ramanujan J. 5, 129-151, 2001. https://doi.org/10.1023/A:1011427622187.Roman, S. "The Bell Polynomials." §4.1.8 in The Umbral Calculus. New York: Academic Press, pp. 82-87, 1984.Trott, M. "Logarithmic Residue." Exercise and solution 41(c) in The Mathematica GuideBook for Symbolics. New York: Springer-Verlag, 2006. https://doi.org/10.1007/0-387-28815-5. https://www.mathematicaguidebooks.org/.Wheeler, F. S. "Bell Polynomials." ACM SIGSAM Bull. 21, 44-53, 1987. https://doi.org/10.1145/29309.29317.

Cite this as:

Weisstein, Eric W. "Complete Bell Polynomial." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/CompleteBellPolynomial.html

Subject classifications