Sunday, 18 June 2006

co.combinatorics - On the Bell Numbers

It's easy to see that Bnge2Bn1 since we always have a choice of whether to add n to the same part as n1 or not. Since the number of parts in a typical set partition of size n1 grows, the choices for adding n to a new or existing part grow, so



limntoinftyBn1/Bn=0.
There are asymptotics in the Wikipedia article on the Bell numbers, but it may not be obvious how to work with the Lambert W-function in that expression, or how to bound Bn1/Bn. A faster proof that the limit is 0 can be obtained from Dobrinski's formula, that Bn is the nth moment of a Poisson distribution with mean 1:



For any cinmathbbR, the Poisson distribution has positive probability of being greater than c. So, for large enough n, the nth moment Bn is at least cn. By Jensen's inequality, the moments satisfy



Bnfracn+1nleBn+1



clesqrt[n]BnlefracBn+1Bn

No comments:

Post a Comment