Lah distribution: Stirling numbers, records on compositions, and convex hulls of high-dimensional random walks

Abstract

Let \(\xi _1,\xi _2,\ldots \) be a sequence of independent copies of a random vector in \(\mathbb {R}^d\) having an absolutely continuous distribution. Consider a random walk \(S_i:=\xi _1+\cdots +\xi _i\), and let \(C_{n,d}:={{\,\mathrm{conv}\,}}(0,S_1,S_2,\ldots ,S_n)\) be the convex hull of the first \(n+1\) points it has visited. The polytope \(C_{n,d}\) is called k-neighborly if for any indices \(0\le i_1<\cdots < i_k\le n\) the convex hull of the k points \(S_{i_1},\ldots , S_{i_k}\) is a \((k-1)\)-dimensional face of \(C_{n,d}\). We study the probability that \(C_{n,d}\) is k-neighborly in various high-dimensional asymptotic regimes, i.e. when n, d, and possibly also k diverge to \(\infty \). There is an explicit formula for the expected number of \((k-1)\)-dimensional faces of \(C_{n,d}\) which involves Stirling numbers of both kinds. Motivated by this formula, we introduce a distribution, called the Lah distribution, and study its properties. In particular, we provide a combinatorial interpretation of the Lah distribution in terms of random compositions and records, and explicitly compute its factorial moments. Limit theorems which we prove for the Lah distribution imply neighborliness properties of \(C_{n,d}\). This yields a new class of random polytopes exhibiting phase transitions parallel to those discovered by Vershik and Sporyshev, Donoho and Tanner for random projections of regular simplices and crosspolytopes.