[论文解读] A universal deviation inequality for random polytopes

Victor-Emmanuel Brunel|arXiv (Cornell University)|Nov 12, 2013

Point processes and geometric inequalities参考文献 12被引用 9

一句话总结

本文在 $\mathbb{R}^d$（$d \geq 2$）中任意凸体中，通过独立同分布的均匀抽样构造的随机多面体的缺失体积，建立了通用的指数偏差不等式，且对体积、位置或边界光滑性无任何限制。通过利用凸体空间的度量熵和体积归一化变换，作者推导出具有显式、依赖维度的常数的偏差界，从而在所有凸体上统一地得到缺失体积所有矩的率最优上界。

ABSTRACT

We consider the convex hull of a finite sample of i.i.d. points uniformly distributed in a convex body in $\R^d$, $d\geq 2$. We prove an exponential deviation inequality, which leads to rate optimal upper bounds on all the moments of the missing volume of the convex hull, uniformly over all convex bodies of $\R^d$, with no restriction on their volume, location in the space and smoothness of the boundary.

研究动机与目标

• 推导一个适用于 $\mathbb{R}^d$ 中所有凸体的随机多面体缺失体积的通用偏差不等式，且不依赖于体积、位置或边界光滑性的限制。
• 提供所有缺失体积矩的上界，这些上界为率最优且与特定凸体 $K$ 无关。
• 克服先前结果的局限性，这些结果依赖于与 $K$ 相关的隐式常数，或需要体积归一化或光滑性假设。
• 建立一个基于度量熵和几何变换的一般框架，实现在整个凸体类上的统一控制。

提出的方法

• 通过可逆线性变换 $T$ 将原始凸体 $K$ 映射到单位球 $B_d$，确保 $K' = T(K) \in \mathcal{K}_d^1$，即单位球内部的凸体类。
• 使用 Hausdorff 距离的 $\delta$-网，其中 $\delta = n^{-2/(d+1)}$，其基数由 Bronshtein 的度量熵结果控制，上界为 $C_1 \delta^{-(d-1)/2}$。
• 通过将概率 $\mathbb{P}_K[|K \setminus \hat{K}_n|/|K| > \varepsilon]$ 与随机多面体 $\hat{K}_n'$ 接近网元素 $G_j$ 的 Hausdorff 距离相关联，来界定该概率。
• 利用 Lebesgue 测度的三角不等式，将缺失体积分解为三部分：$|K' \setminus G_{j^*}|$、$|G_{j^*} \setminus G_{\hat{j}}|$ 和 $|G_{\hat{j}} \setminus \hat{K}_n'|$，并利用网的性质控制前两项。
• 利用包含关系 $\hat{K}_n' \subseteq G_{\hat{j}}^\delta$，将 $\mathbb{P}[\hat{j} = j]$ 的界表示为 $\left(1 - \frac{|K' \setminus G_j^\delta|}{|K'|}\right)^n$，并通过几何和度量熵论证估计测度差。
• 最终推导出指数界 $\mathbb{P}_K[|K \setminus \hat{K}_n|/|K| > \varepsilon] \leq C_1 \exp(\alpha_3 \delta n - \varepsilon n / \beta_d)$，其中 $\delta = n^{-2/(d+1)}$，从而得到一个常数仅依赖于 $d$ 的通用偏差不等式。

实验结果

研究问题

• RQ1 能否推导出一个适用于 $\mathbb{R}^d$ 中所有凸体的随机多面体缺失体积的通用偏差不等式，且不依赖于体积、位置或边界光滑性？
• RQ2 所有凸体上缺失体积的矩的最优衰减速率是什么？能否以显式、依赖维度的常数实现该速率？
• RQ3 如何利用凸体空间的度量熵来推导不依赖于 $K$ 的参数的统一概率界？
• RQ4 将凸体通过变换归一化为单位球，是否能保持概率结构的同时实现在整个类 $\mathcal{K}_d$ 上的统一分析？
• RQ5 能否推导出一个偏差不等式，使得所有缺失体积矩的上界均为率最优，且常数与特定凸体无关？

主要发现

• 本文为相对缺失体积 $|K \setminus \hat{K}_n|/|K|$ 建立了适用于所有凸体 $K \in \mathcal{K}_d$ 的通用指数偏差不等式，且对体积、位置或边界光滑性无任何限制。
• 所推导的界形式为 $\mathbb{P}_K[|K \setminus \hat{K}_n|/|K| > \varepsilon] \leq C_1 \exp(\alpha_3 \delta n - \varepsilon n / \beta_d)$，其中 $\delta = n^{-2/(d+1)}$，$\alpha_3$ 仅依赖于 $d$，$C_1$ 为绝对常数。
• 该不等式可导出所有矩 $\mathbb{E}_K[|K \setminus \hat{K}_n|^q]$（$q > 0$）的率最优上界，衰减速率为 $n^{-2q/(d+1)}$，与已知的渐近阶数一致。
• 通过使用线性变换将 $K$ 归一化为单位球，并在得到的归一化类 $\mathcal{K}_d^1$ 上应用度量熵论证，该方法实现了在所有凸体上的统一性，避免了依赖于 $K$ 的常数。
• 关键技术创新在于在 $\mathcal{K}_d^1$ 上使用 Hausdorff 距离的 $\delta$-网，其基数通过 Bronshtein 的熵估计得到控制，从而实现统一的覆盖和概率界。
• 最终的界具有普遍性，因为常数仅依赖于维度 $d$，而不依赖于特定凸体 $K$，从而解决了先前结果依赖于隐式或 $K$-相关常数的关键局限。