Intrinsic volumes of inscribed random polytopes in smooth convex bodies

Let $K$ be a $d$ dimensional convex body with a twice continuously differentiable boundary and everywhere positive Gauss-Kronecker curvature. Denote by $K_n$ the convex hull of $n$ points chosen randomly and independently from $K$ according to the uniform distribution. Matching lower and upper bounds are obtained for the orders of magnitude of the variances of the $s$-th intrinsic volumes $V_s(K_n)$ of $K_n$ for $s\in\{1, ..., d\}$. Furthermore, strong laws of large numbers are proved for the intrinsic volumes of $K_n$. The essential tools are the Economic Cap Covering Theorem of B\'ar\'any and Larman, and the Efron-Stein jackknife inequality

Intrinsic volumes and Gaussian polytopes: the missing piece of the jigsaw

The intrinsic volumes of Gaussian polytopes are considered. A lower variance bound for these quantities is proved, showing that, under suitable normalization, the variances converge to strictly positive limits. The implications of this missing piece of the jigsaw in the theory of Gaussian polytopes are discussed

Finite Satisfiability for Guarded Fixpoint Logic

The finite satisfiability problem for guarded fixpoint logic is decidable and complete for 2ExpTime (resp. ExpTime for formulas of bounded width)