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

TL;DR

This paper investigates the neighborliness of convex hulls of high-dimensional random walks, introduces the Lah distribution related to Stirling numbers, and explores phase transitions in the geometric properties of these random polytopes.

Contribution

It introduces the Lah distribution with combinatorial interpretation, connects it to neighborliness of random polytopes, and establishes phase transition phenomena in high-dimensional asymptotics.

Findings

Explicit formula for expected number of faces involving Stirling numbers

Introduction and analysis of the Lah distribution

Identification of phase transitions in neighborliness properties

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}:=\text{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 every indices $0\leq i_0 <\cdots < i_k\leq n$ the convex hull of the $k+1$ points $S_{i_0},\ldots, S_{i_k}$ is a $k$-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$-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.