On expected face numbers of random beta and beta’ polytopes

Abstract

AbstractThe random beta polytope is defined as the convex hull of n independent random points with the density proportional to $$(1-\Vert x\Vert ^2)^\beta $$ ( 1 - ‖ x ‖ 2 ) β on the d-dimensional unit ball, where $$\beta >-1$$ β > - 1 is a parameter. Similarly, the random beta’ polytope is defined as the convex hull of n independent random points with the density proportional to $$(1+\Vert x\Vert ^2)^{-\beta }$$ ( 1 + ‖ x ‖ 2 ) - β on $$\mathbb R^d$$ R d , where $$\beta >\frac{d}{2}$$ β > d 2 . In a previous work (Kabluchko, Adv. Math.  380:107612, 2021), we established exact and explicit formulae for the expected f-vectors of these random polytopes in terms of certain definite integrals. In the present paper, we use purely algebraic manipulations to derive several identities for these integrals which yield alternative formulae for the expected f-vectors. Similar algebraic manipulations apply to Stirling numbers and yield the following identity: $$\begin{aligned} \sum _{s=0}^k \genfrac\rbrace \lbrace {0.0pt}{}{n-s}{d-s} (d-s) \genfrac[]{0.0pt}{}{d-s}{k-s}= & {} \sum _{s=0}^k (-1)^s \genfrac\rbrace \lbrace {0.0pt}{}{n-s}{d} \genfrac[]{0.0pt}{}{d+1}{k-s} \\= & {} \sum _{s=0}^{d-k} (-1)^s \genfrac\rbrace \lbrace {0.0pt}{}{n+1}{d-s} \genfrac[]{0.0pt}{}{d-s}{k}. \end{aligned}$$ ∑ s = 0 k n - s d - s ( d - s ) d - s k - s = ∑ s = 0 k ( - 1 ) s n - s d d + 1 k - s = ∑ s = 0 d - k ( - 1 ) s n + 1 d - s d - s k .