[論文レビュー] A universal deviation inequality for random polytopes

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

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

ひとこと要約

本稿は、任意の次元 $d \geq 2$ の $ℝ^d$ 内の任意の凸体において、i.i.d. に一様に抽出された点から形成されるランダム多面体の欠落体積について、体積、位置、境界の滑らかさに制限のない普遍的な指数的偏差不等式を確立する。メトリックエントロピーと体積正規化変換を活用することで、次元に依存する明示的な定数を有する偏差バウンドを導出し、すべての凸体に一様に適用可能な、すべてのモーメントのレート最適上界をもたらす。

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.

研究の動機と目的

• 任意の凸体 $K \in \mathbb{R}^d$ に対して、体積、位置、境界の滑らかさに制限のない、すべての凸体に一様に成り立つランダム多面体の欠落体積に関する普遍的な偏差不等式を導出すること。
• 特定の凸体 $K$ に依存しない、欠落体積のすべてのモーメントに対する上界を提供すること。
• 従来の結果が $K$ に依存する暗黙の定数に依存するか、体積正規化や滑らかさの仮定を必要としていたという制限を克服すること。
• メトリックエントロピーと幾何的変換に基づく一般枠組みを確立し、凸体の全クラスにわたる一様な制御を可能にすること。

提案手法

• 任意の凸体 $K$ を可逆線形変換 $T$ で変換し、$K' = T(K) \in \mathcal{K}_d^1$（単位球内に含まれる凸体のクラス）に写像する。
• ハウスドルフ距離における $\mathcal{K}_d^1$ の $\delta$-ネット（$\delta = n^{-2/(d+1)}$）を用い、ブラウンシュタインの結果を用いて、その濃度が $C_1 \delta^{-(d-1)/2}$ で上界付けられることを用いる。
• 確率 $\mathbb{P}_K[|K \setminus \hat{K}_n|/|K| > \varepsilon]$ を、ランダム多面体 $\hat{K}_n'$ がハウスドルフ距離でネット要素 $G_j$ に近いかどうかに帰着させる。
• ルベーグ測度に対する三角不等式を用いて、欠落体積を三つの部分に分解する：$|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$ で上界付け、測度差を幾何的およびメトリックエントロピー的議論で推定する。
• 最終的に、$\delta = n^{-2/(d+1)}$ を用いて、$\mathbb{P}_K[|K \setminus \hat{K}_n|/|K| > \varepsilon] \leq C_1 \exp(\alpha_3 \delta n - \varepsilon n / \beta_d)$ の形の指数的バウンドを導出し、次元 $d$ のみに依存する明示的定数を有する普遍的な偏差不等式を得る。

実験結果

リサーチクエスチョン

• RQ1 任意の凸体 $K \in \mathbb{R}^d$ に対して、体積、位置、境界の滑らかさに制限のない、すべての凸体に一様に成り立つランダム多面体の欠落体積に関する普遍的な偏差不等式を導出できるか？
• RQ2 すべての凸体にわたる欠落体積のモーメントの最適な減衰レートは何か？ また、このレートは次元に依存する明示的定数を用いて達成可能か？
• RQ3 凸体空間のメトリックエントロピーを活用することで、$K$ に依存するパrameter に依存せずに一様な確率的バウンドを導出できるか？
• RQ4 凸体を単位球に正規化する変換は、確率的構造を保ちつつ、クラス $\mathcal{K}_d$ 全体にわたる一様な解析を可能にするか？
• RQ5 すべてのモーメントの上界として最適な減衰レートを達成する偏差不等式を導出し、定数が特定の凸体に依存しない形で得られるか？

主な発見

• 本稿は、体積、位置、境界の滑らかさに制限のないすべての凸体 $K \in \mathcal{K}_d$ に対して、相対的欠落体積 $|K \setminus \hat{K}_n|/|K|$ について、普遍的な指数的偏差不等式を確立する。
• 導出されたバウンドは、$\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$ は絶対定数である。
• この不等式により、すべての $q > 0$ に対して $\mathbb{E}_K[|K \setminus \hat{K}_n|^q]$ のモーメントが、$n^{-2q/(d+1)}$ の減衰レートでレート最適な上界をもたらすことが保証される。これは既知の漸近的順序と一致する。
• 線形変換による $K$ の単位球への正規化と、正規化後クラス $\mathcal{K}_d^1$ におけるメトリックエントロピーの議論を用いることで、$K$ に依存する定数を避けることにより、すべての凸体にわたる一様性を達成している。
• 主な技術的革新は、$\mathcal{K}_d^1$ 上のハウスドルフ距離における $\delta$-ネットの使用であり、その濃度はブロンシュタインのエントロピー推定により制御可能であり、一様なカバーと確率的バウンドの両方を可能にする。
• 最終的なバウンドは、定数が次元 $d$ のみに依存するという意味で普遍的であり、従来の結果が暗黙的または $K$ に依存する定数に依存していたという主な制限を解消している。