Completely monotone multisequences, symmetric probabilities and a normal limit theorem (Q1592951)

It is to find a one-to-one correspondence between the set of all symmetric probabilities on \(\{0,1,\dots,k\}^n\) and the set of all completely monotone multisequences of order \(n\) and degree \(k\). It helps in the investigation of some properties of these spaces, for example, the set of extreme points. It is proved, that if we assign to the set of all completely monotone multisequences of order \(n\) the uniform probability measure, then the coordinate variables, suitably centering and normalized, converge in distribution as \(n\to\infty\) \((k\) fix) to multivariate normal distribution with zero mean and covariance matrix depending on the moments of the Dirichlet distribution on the standard simplex in \(R^d\).