[論文レビュー] Monotonicity of the Sample Range of 3-D Data: Moments of Volumes of Random Tetrahedra

Stefan Kunis, Benjamin Reichenwallner+1 more|arXiv (Cornell University)|Dec 6, 2016

Point processes and geometric inequalities参考文献 6被引用数 3

ひとこと要約

本稿は、3次元において、凸体内のランダムな点の凸包の期待体積が集合包含に関して単調であるという予想を反証する。四面体の無限小摂動と、1つの頂点を面の重心に固定したランダム単体の体積の偶数モーメントを計算することで、より小さい集合における期待体積がより大きい集合におけるものよりも大きい反例を構成し、Meckesが提起した未解決問題を解決する。また、四面体内におけるこのような体積の偶数モーメントの明示的公式を提供する。

ABSTRACT

The sample range of uniform random points $X_1, \dots , X_n$ chosen in a given convex set is the convex hull ${ m conv}[X_1, \dots, X_n]$. It is shown that in dimension three the expected volume of the sample range is not monotone with respect to set inclusion. This answers a question by Meckes in the negative. The given counterexample is the three-dimensional tetrahedron together with an infinitesimal variation of it. As side result we obtain an explicit formula for all even moments of the volume of a random simplex which is the convex hull of three uniform random points in the tetrahedron and the center of one facet.

研究の動機と目的

• 3次元におけるi.i.d.一様ランダム点の凸体K内の凸包の期待体積が集合包含に関して単調であるかどうかを解明すること。
• より小さい凸体L ⊂ Kがより大きな凸体Kよりも大きな期待凸包体積を持つ反例を構成することで、Meckesによる予想を反証すること。
• 四面体内の3つの一様ランダム点とその1つの面の重心からなるランダム単体の体積の偶数モーメントを計算すること。
• モーメント情報のみを用いて期待体積の上界を求めるために、多項式近似技術を開発・適用すること。
• 四面体内におけるこのようなランダム単体の体積のすべての偶数モーメントの明示的公式を提供し、反例の数値的検証を可能にすること。

提案手法

• 単調性の問題を解くために、Rademacherの補題を用い、1つの頂点を境界点に固定したランダム単体の期待体積が、その点をランダム点に置き換えた場合の期待体積よりも上界に抑えられることを確認することで、問題を簡略化する。
• 四面体の1つの面の重心にランダム単体の1頂点を固定し、対称性を活用して計算を簡素化する。
• 解析的積分法と記号計算を用いて、1つの頂点が固定されたランダム単体の体積の偶数モーメントを計算する。
• 区間 $[-1/3, 1/3]$ における絶対値関数の片側多項式近似を適用し、Hermite補間を用いて $P(x) \to |x|$ が上から近似されるようにし、期待体積の上界を導出する。
• 有限次元線形計画法を用いて、$n=13$ および $L=1000$ 個の補間ノードを用いた最適な多項式近似を求める。ノードを有理数化することで、有理数係数の多項式を得る。
• 計算されたモーメントと多項式による上界を用いて、$\mathbb{E}|\text{conv}[X_1,X_2,X_3,c]| < \mathbb{E}|\text{conv}[X_1,X_2,X_3,X_4]|$ を示し、反例の成立を証明する。

実験結果

リサーチクエスチョン

• RQ1 3次元の凸体 $K \subset \mathbb{R}^3$ 内の $n=4$ 個のi.i.d.一様ランダム点の凸包の期待体積は、集合包含に関して単調か？
• RQ2 より小さい凸体 $L \subset K$ がより大きな凸体 $K$ よりも大きな期待凸包体積を持つ反例を構成できるか？
• RQ3 四面体内の3つの一様ランダム点とその1つの面の重心からなるランダム単体の体積の偶数モーメントは何か？
• RQ4 多項式近似技術を用いて、モーメント情報のみを用いてこのような単体の期待体積の上界を求められるか？
• RQ5 四面体設定下での体積の偶数モーメントの明示的公式は、非単調性の数値的検証を可能にするか？

主な発見

• 3次元の四面体内における4つの一様ランダム点の凸包の期待体積は $\frac{13}{720} - \frac{\pi^2}{15015} \approx 0.01739$ である。
• 四面体内の3つの一様ランダム点と1つの面の重心からなるランダム単体の体積の期待値は、26次偶数多項式近似を用いて $0.0173791\ldots$ 未満に上界が抑えられる。
• この上界は、完全な四面体における期待体積よりも厳密に小さいため、$\mathbb{E}|\text{conv}[X_1,X_2,X_3,c]| < \mathbb{E}|\text{conv}[X_1,X_2,X_3,X_4]|$ が成立することを証明する。
• 反例は四面体の無限小摂動を考察することで構成され、$\mathbb{R}^3$ における包含に関して期待体積が単調でないことを示す。
• 1つの頂点が面の重心に固定されたランダム単体の体積のすべての偶数モーメントについて、明示的公式が導出され、反例の正確な数値的検証が可能になる。
• 直接的な体積計算の困難さを、モーメント計算と多項式近似を組み合わせることで克服し、厳密な上界を提供する。