Cramér transform, half-space depth and threshold phenomena for convex bodies

Abstract

We study the relationship between the Cramér transform and Tukey's half-space depth for log-concave probability measures. For the uniform probability measure $μ_K$ on a convex body $K\subseteq\mathbb{R}^n$, we prove the sharp pointwise comparison $$Λ_K^*(x)\leq -\log q_K(x)\leq Λ_K^*(x)+\frac12\log n+C,\qquad x\in\operatorname{int}(K),$$ where $C$ is an absolute constant. The order $\log n$ is optimal, as shown by the Euclidean ball. The proof combines exponential tilting, one-dimensional log-concavity, and self-concordance of the Cramér transform. As consequences, we obtain sharp-order moment and tail estimates for $Λ_K^*$ and identify $\exp(Λ_K^*(x))$, up to polynomial factors in the dimension, with the number of independent samples needed for $x$ to be captured by their random convex hull. We also establish an $O(n^2)$ variance bound for the logarithmic half-space depth and use it to derive a general criterion for sharp thresholds of random convex hulls. In particular, this criterion applies to the uniform measures on $\ell_p$-balls for every $p>1$. These results establish a quantitative link between large-deviation cost, geometric depth, and sampling complexity in high-dimensional convex geometry.