English

Cotype of random polytopes

Functional Analysis 2026-03-06 v1 Metric Geometry Probability

Abstract

For NnN\geq n, let PN,nP_{N,n} be a random polytope in Rn{\mathbb R}^n with vertices ±Xi\pm X_i, 1iN1\leq i\leq N, where X1,,XNX_1,\dots,X_N are i.i.d standard Gaussian vectors in Rn{\mathbb R}^n. Random polytopes PN,nP_{N,n}, as well as their duals, are classical objects of interest in high-dimensional convex geometry and local Banach space theory. In this paper, we provide a {\it dimension-independent} bound on the cotype of the corresponding normed space (Rn,PN,n)({\mathbb R}^n,\|\cdot\|_{P_{N,n}}), generated by PN,nP_{N,n}. Let KK>1K'\geq K>1, and assume that KNnKK'\geq \frac{N}{n}\geq K. We show that with probability 1o(1)1-o(1), for any k1k\geq 1, and any collection y1,,yky_1,\dots,y_k of vectors in Rn{\mathbb R}^n, Eσi=1kσiyiPN,nq1Cqqi=1kyiPN,nq, {\mathbb E}_\sigma\,\Big\|\sum_{i=1}^k \sigma_i y_i\Big\|_{P_{N,n}}^q \geq \frac{1}{C_q^q}\sum_{i=1}^k \big\|y_i\big\|_{P_{N,n}}^q, where σ=(σ1,,σk)\sigma=(\sigma_1,\dots,\sigma_k) is a vector of random signs, and where q[2,)q\in [2,\infty) and Cq[1,)C_q\in[1,\infty) may only depend on K,KK,K'. We discuss the result in context of infinite-dimensional Banach spaces.

Keywords

Cite

@article{arxiv.2603.04749,
  title  = {Cotype of random polytopes},
  author = {Han Huang and Konstantin Tikhomirov},
  journal= {arXiv preprint arXiv:2603.04749},
  year   = {2026}
}
R2 v1 2026-07-01T11:04:13.086Z